Dissertations / Theses on the topic 'Java Est'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Java Est.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Gallet, Xavier. "Dynamique de la sédimentation dans les grottes du karst de Punung (Pacitan, Java) : relations avec les occupations paléolithiques." Paris, Muséum national d'histoire naturelle, 2004. http://www.theses.fr/2004MNHN0011.
Full textThe Punung karstic area (Pacitan, East Java, Indonesia) is well known for its numerous caves, some of them containing archaeological remains. Excavations in the Song Terus cave offers an important sedimentary filling beside archaeological remains. This section exploits first time a well preserved sedimentary background with human occupations in stratigraphical positions. The cave shows a new and major reference for proposing a stratigraphical and geological background to the humain occupations in this area. The geological study of the Song Terus cave pinpointed five major sedimentary processes : alluvials deposits, aeolian transport, volcanic impact, karstic activity and anthropic actions. These influences show the variability of sedimentary processes in the Punung karstic area. These results also arise climatic hypothesis, chronostratigraphic correlations between Song Terus and the nearby cave of Goa Tabuhan and a geological history of this area. This work gives new datas about the dynamic of sedimentation relating to human occupations in the Punung karstic area
Ingicco, Thomas. "Les primates quaternaires de Song Terus (Java Est, Indonésie) : implications paléobiogéographiques et archéozoologiques pour l'Asie du Sud-Est." Paris, Muséum national d'histoire naturelle, 2010. http://www.theses.fr/2010MNHN0030.
Full textNon-human primates represent 70% of the holocene fauna from the archaeological site of Song Terus. On focusing our study on this site, which present a stratigraphical filling of 15 m comprising the Pleistocene-Holocene boundary, we possess the temporal and spatial context where all the questions concerning the interaction between human and non-human primates may be approached. After filling some lacunar datas essential for ou research, we describe in details the fossils of Song Terus. The species Trachypithecus auratus represent up to 96% of the non-human primate remaines, and Macaca sp. Only 4%. We look for distinguishing javan specimens of T. Auratus in one hand and sumatran and bornean specimens in the other hand, as fossils share characters with both of them. We then focus on the contour of the orbites from Elliptical Fourier Analysis as they seem to us, discriminant among actuals and fossils. Two fossils present a completly different shape of the orbite. We test the part of endemism and palaeoenvironment on the shape of the orbites with Two-Block Partial Least Square analysis. Results show a possible very old migration from continent to insular Southeast Asia that occured once. After this period, many migrations occured between the different islands of the region, up to recently. This permit to conclude that probably no savanna corridor existed during the Last Glacial Maximum. To understand the relationship between human and non-human primates, we study dental microwears first. The high frugivory of the T. Auratus fossils from Song Terus is surprising as those species are known to be extremely folivorous and poorly flexible. The question of commensalism of those primates to human is asked. Methods of archaeozoology show different results, as the absence of hand remains, while all the skeleton is completly preserved in the site, could be interpreted as trapping technics. The spatial analysis doesn’t provide any light on any of these hypothesis. We then suspect a complex relationship between human and non-human primates, mixing commensalism and hunting, as it is still known today
Nur, Hasjim. "Le néogène marin du Nord-Est de Java (Indonésie) : foraminifères et nannoplancton." Lyon 1, 1987. http://www.theses.fr/1987LYO10061.
Full textHameau, Sébastien. "Datation des sites paléolithiques du Pléistocène moyen et supérieur de Punung (Pacitan, Java) : Applications des méthodes ESR et U-Th aux grottes de Song Terus et Goa Tabuhan." Paris, Muséum national d'histoire naturelle, 2004. http://www.theses.fr/2004MNHN0027.
Full textTwo caves in Pacitan area (Java,Indonesia), Goa Tabuhan and Song Terus, rich in archaeological and palaeontological material have been studied. The application of U-series and ESR methods, combined with a study of the sedimentary filling, allows us to define a chronological framework for the geological and archaeological levels. The "Terus" lithic industry are the oldest of the Song Terus cave and are dated to 300 ky. The "Tabuhan" archaeological levels are dated from 30 to 80 ky. To apply ESR method, it was necessary to modelize the sedimentary surrounding of the sample in order evaluate the external dose rate. The "Keplek" levels which contain many artefacts associated with an human burial are Holocene aged. Finally, the dating of a stalagmitic flowstone, provide evidence of Middle Pleistocene age for the karstic fillings (more than 300 ky). These results obtained indicate the possibility in this area of finding levels corresponding to the Homo erectus-Homo sapiens transition
MULYADI, EDDY. "Le complexe de bromo-tengger (est java, indonesie). Etude structurale et volcanologique." Clermont-Ferrand 2, 1992. http://www.theses.fr/1992CLF21453.
Full textFranck, Manuelle. "Semis urbain et urbanisation des campagnes : les processus d'urbanisation à Java-est, Indonésie." Paris 1, 1989. http://www.theses.fr/1989PA010580.
Full textEast-java is a very densely populated province. The urban system is provided with a primate capital city, some big and medium sized cities and numerous towns. We have tried to understand the factors that shaped such an urban system. After having described the main natural areas, the study focuses on the conditions in which cities are developing. Agriculture and tertiary activities are spatially linked to urbanization within the districts, whereas it is not the case of industry in every part of the province. We have studied the three main urbanization processes in east-java : the state is an actor of urbanization as it gives cities some administrative functions and through regional and urban development policies. Agriculture is also an urbanizing factor and towns govern agriculture. Industry creates a "sociological urbanization" along the main communication routes where it is concentrated. The conclusion considers the necessity of developing secondary towns as one of the solutions to urban primacy, as peasants will soon no longer be able to live on agriculture only
Wibowo, Agung. "LUDRUK : Théâtre et société à Java Est (Indonésie). Étude d’un genre ancien dans ses usages contemporains." Electronic Thesis or Diss., La Rochelle, 2023. http://www.theses.fr/2023LAROF001.
Full textConstantly in touch with the current events of village life, regional administrative bodies, political and militant discourses that clash on the national media, ludruk, a popular theater of East Java, demonstrates a generic capacity in correcting, revising, and renewing its playful content as if its survival depended on it. Such initiatives, potentially transgressive of the dominant discourses, have since the country’s independence, and before that during the Dutch and then Japanese occupation, convinced the authorities in the political and religious fields to impose close surveillance of artists and show organizers. The Indonesian army, especially during the period of Suharto’s Orde Baru, took control of most of the troupes circulating in East Java. At the time of the Reformasi, it was the Ministry of Education and Culture, to engage a vast program of standardization of a theater too protean in its inspirations, its scenic finds and its sketchy scenarios left to the improvisation of actors. But the ludruk has in a latent way a dissident possibility, that of the breakthrough of humor and derision which defines it intrinsically. The ludruk, whose inventiveness made of bits and pieces preserves the purified framework of the court theater, always aligns the fundamental figures of the “transgender singer-dancer” (tandhak) and of the “clown with a sharp tongue” (badut), both carriers of the dissonance between social and political ideals and the realities of ordinary life
Thohari, Endang Setyawati Martodidjojo. "Rôle du Crédit agricole dans le développement de l'agriculture en Indonésie : le cas d'étude à Java Est." Montpellier 1, 1991. http://www.theses.fr/1991MON10009.
Full textIn indonesia, particularly in the province of east java, three official credit organizations are to be found in the rural sector, as well as a number of different informal, traditional credit facilities. The inefficiency of these credit oganizations in mobilizing savings and distributing credit to all the social groups which need it, has prompted a study of their mode of operation. In the rural sector, credit is most often given for commercial investment ; its application for running costs is secondary, particularly at the obnding stage. The poorest proportion of the population rarely uses credit for productive or investment purposes. This analysis shows that the urge to save is stable for well-to-do families ; it also shows that a potential for saving, albeit weak, is also to be found among poorer families. However, this savings potential is not mobilized. Apart from the possible and desirable improvements to be made to the functioning of credit organisations - loan flexibility, diversity of saving facilities, review of interest rates - the development of rural credit appears to be conditioned by the development of the economic activity as a whole. Any rural credit development programme must be regionally specified, due to market contrasts in local situations
Franck, Manuelle. "Quand la riziere rencontre l'asphalte : semi urbain et processus d'urbanisation à Java-est (Indonesie) /." Paris : Ed. de l'Ecole des hautes études en sciences sociales, 1993. http://catalogue.bnf.fr/ark:/12148/cb37444735d.
Full textNur, Hasjim. "Le Néogène marin du nord-est de Java (Indonésie) étude biostratigraphique (foraminifères et nannoplancton) /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37608498z.
Full textDjuhaeni. "Stratigraphie séquentielle des séries sédimentaires marines du néogène et du pléistocène dans la région de Cepu, bassin nord-est de Java Indonésie." Lyon 1, 1994. http://www.theses.fr/1994LYO10277.
Full textIbrahim, Hasanuddin. "L'Etat, la paysannerie et l'industrie sucrière : évolution des systèmes de production agricole à Gondangiegi, Java-Est." Paris, EHESS, 1995. http://www.theses.fr/1995EHES0065.
Full textThis study concern about the reconstruction of the agrarian history in the district of gondanglegi (east-java), dominated today by the smallholder's sugar-cane plantation. In comparison with the situation of sugar-cane's farmers in the district of gempol (west-java) and the large-scale plantation system in subang (west-java), we have tried to analyse the recent problems of indonesian sugar industry. Having influenced by many factors such as : the change in politics and pvernment's policy, the progress of demography and tech ology, the situation of the international and the domestic markets, etc. . The agrarian view of this region has been modified many times, according to the agricultural systems applied by the society. The analyse have showed that in order to anticipate the accord of the gatt, the apec and the afta, in the futrue, the indonesian sugar industry have to be developped, principally, under the big-scale plantation system in the exterior of java
Husson-Olivier-Vial, Laurence. "La migration maduraise vers l'est de Java : "manger le vent ou gratter la terre ? /." Paris : Ed. l'Harmattan, 1995. http://catalogue.bnf.fr/ark:/12148/cb36684156r.
Full textHusson-Olivier-Vial, Laurence. "Manger le vent ou gratter la terre : la migration maduraise à Java-est : approche diachronique d'un phénomène contemporain." Paris, EHESS, 1993. http://www.theses.fr/1993EHES0078.
Full textThe migration to east java of the madurese - - indonesia's third ethnic group -- is one of the group's most striking features. Althougth this migration is well-known, it has never been studied. This is paradoxical seeing that java is indonesia's most populated island and also that the government encourages organized emigration (or transmigration). But whereas the javanesse make up the majority of these transmigrants, very few madurese participate in transmigration outside java, preferring, for centuries, to settle spontaneously and in large numbes in east-java and in other provinces. Their migration reflects indonesia's diverse migratory currents, past and present. The first part is a geographical presentation, necessary for an understanding of the situation in the initial stage of this migration. The second part deals with the migration's historical aspects. A third part analyzes the phenomenon in its current from, touching the different sectors, making a distinction between the mass of proletarian migrants and entrepreneurs. Finally, the fourth part exposes the nature, the present motivations and the specificities of madurese migration
KAPID, RUBIYANTO. "Le mio-pliocene marin du nord-est de java, indonesie. Biostratigraphie qualitative et quantitative des foraminiferes et du nannoplancton." Reims, 1991. http://www.theses.fr/1991REIM5010.
Full textROYAT, SUJANA. "Le cas de programmation d'investissements de routes locales dans le developpement rural de la province de java-est, indonesie." Marne-la-vallée, ENPC, 1989. http://www.theses.fr/1989ENPCA002.
Full textToulier, Alix. "Multidisciplinary study for the characterization of volcanic aquifers hydrogeological functioning : case of Bromo-Tengger volcano (East Java, Indonesia)." Thesis, Montpellier, 2019. http://www.theses.fr/2019MONTG056.
Full textAbstractVolcanoes are environments combining hazards and natural resources, the latter justifying the high population density living on many active volcanoes in tropical contexts. More than a source of construction materials, some volcanoes are considered as "water castles", providing important possibilities for drinking groundwater supply through complex and sometimes artesian aquifer systems. The Bromo-Tengger volcano aquifer system in East Java, Indonesia, is a strategic resource with its main artesian spring Umbulan, which partly supplies the second biggest city of Indonesia (Surabaya). For more than a decade, this resource has been under increasing pressure with an increase of water abstraction for agricultural practices, industrial development, population growth and is amplified by increasingly accessible drilling techniques. Known as one of the most visited stratovolcanoes in worldwide, the aquifer potential of the Bromo-Tengger was barely studied until now.As part of this thesis, a multidisciplinary approach was used to characterize the hydrogeology of the northern flank of the volcano and its downstream artesian plain. Geological and geophysical results have highlighted the lithology and the geometry of the volcano's aquifer formations. The outflow context of natural major artesian springs of volcanic piedmonts area such as Umbulan has been identified.The climatic conditions were characterized with the installation of new meteorological stations along the northern flank and completed by the monitoring of a representative watershed. Compared with hydrochemical and isotopic data, they allowed a quantitative analysis of the distribution of the recharge and the elaboration of a first hydrogeological conceptual model. The recharge covers the whole northern flank of the volcano (≈66% of the rain) with a preferential recharge zone identified at about 1000 m elevation mainly due to orographic effects. Conceptually, infiltrated waters supply a binary system composed of: a network of high elevation perched aquifers feeding all or part of a low-lying basal aquifer. This latter becomes confined towards the plain through a multi-layer artesian aquifer, explaining the high aquifer productivity of the area.A new measurement device at free-flowing artesian well has been developed, combining hydraulic tests and piezometric measurement. Their interpretation allows both estimating the hydrodynamic parameters and drawing a piezometric map of the artesian aquifer of Pasuruan. These last results, made it possible to define the main flow directions and systems as well as an estimate of groundwater transit time.A first steady-state numerical flow model shows good consistency with the conceptual model previously developed. It allows a better understanding of the hydrogeological functioning in the present and pre-exploitation conditions. Compared with the water age dating analyses, it allows to discuss the most realistic flow model to consider at the scale of the volcano.This research provides new insights in the understanding of hydrogeology of andesitic stratovolcanoes in volcanic arc position under tropical climate including a caldera, high-elevation perched aquifers with a multi-layered and artesian volcano-sedimentary plain.Keywords: Hydrogeology, Bromo-Tengger volcano, conceptual hydrogeolgoical model of volcanic aquifer, volcano-sedimentary plain, artesianism, recharge, multidisciplinary
Nuraini-Grangé, Chandra. "Langue et production de récits d'une communauté Bajo des îles Kangean (Indonésie)." La Rochelle, 2008. http://www.theses.fr/2008LAROF019.
Full textThe Sama-Bajau languages are Austronesian languages spoken by a diaspora of small communities scattered on some shores of the Southern Philippines, Sabah (Malaysia) and many islands of the eastern part of Indonesia. Our research field is the tiny Kangean archipelago, regency of Sumenep, province of East-Java, Indonesia. We describe the Kangean archipelago Bajo language, dealing successively with its phonology, lexicology and morphosyntax. The chapter devoted to lexicology comprises elements of diachrony, comparison with other Sama-Bajau languages, and treats of the derivational formations; additionally, a Bajo-Indonesian-French glossary is annexed. The main morphosyntactic feature is the diathesis (voice system). There is an ergative-absolutive opposition, yet bounded to the personal pronouns paradigms. The Kangean Bajo has no prototypic word order, VSO is equivalent to SVO, hence a strong argument for considering it as a symmetrical voices language. The oral literature of the Bajo consists mainly of long epic songs, called iko-iko. We transcribed et translated five iko-iko to Indonesian and French, a work that demanded several years. This oral literature genre, also called ikiko or kata-kata, has been studied in the Philippines, but not yet in Indonesia. We attempt to define the iko-iko genre in its social and cultural aspects. We describe the social circumstances of the performance of an iko-iko nowadays in Kangean. We match the scarce historical sources to the content of these epics. On the literary side of this study, we expose the common narrative structure of the iko-iko and the typical characters. Beside the song and the prosody, the beauty of the epics comes through metaphors, narrative motives as well as vestiges of typically Austronesian parallel compositions. This dissertation is also aimed at salvaging for the future generations of Bajo people a remnant of the iko-iko genre, which is like elsewhere threaten by modernity
Royat, Sujana. "Affectation des investissements en infrastructures de transports et aménagement de l'espace. Le cas de programmation d'investissements de routes locales dans le développement rural de la province de Java-Est, Indonésie." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1989. http://tel.archives-ouvertes.fr/tel-00529717.
Full textSlamet, Edy Juwono. "Population trends in East Java." Thesis, Canberra, ACT : The Australian National University, 1985. http://hdl.handle.net/1885/117540.
Full textMarianti, Ruly. "Surviving spouses support for widows in Malang, East Java /." [S.l. : Amsterdam : s.n.] ; Universiteit van Amsterdam [Host], 2002. http://dare.uva.nl/document/65745.
Full textLay, Freddy. "An ethnography of the rural Javanese in East Java." Theological Research Exchange Network (TREN), 1997. http://www.tren.com.
Full textCaudron, Corentin. "Multi-disciplinary continuous monitoring of Kawah Ijen volcano, East Java, Indonesia." Doctoral thesis, Universite Libre de Bruxelles, 2013. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209416.
Full textpart of Java island in Indonesia. Since 2010, the volcano has been equipped with seismometers
and several sensors (temperature and level) have been immersed in its acidic lake waters and in the acidic river seeping on the volcano flanks. While finding instruments capable of resisting to such extreme conditions (pH~0) has been challenging, the coupling of lake monitoring techniques with seismic data improves the knowledge of the volcanic-hydrothermal dynamics. Moreover, the monitoring capabilities have been considerably
enhanced supporting the decision-making of the authorities in case of emergency.
Several methods and processing techniques were used to analyze the seismic data. Much effort has been given to implement the seismic velocities (Moving Window Cross Spectral Analysis (MWCSA)) calculations. At Kawah Ijen, the frequency band that is less affected by the volcanic tremor and the seasonal fluctuations at the source ranges between 0.5-1.0 Hz. Moreover, a stack of 5 days for the current CCF gives reliable results with low errors and allows to detect fluctuations which are missed using a 10-day stack.
The background seismic activity mostly consists in low frequency events and a continuous tremor of low amplitude. Fluctuations of the lake temperature and level result from the recharge of the hydrothermal system during the rainy season. Kawah Ijen lake waters are not perfectly mixed and a shallow stratification occurs during the rainy season, because meteoric waters are less dense than the lake fluids.
Different unrest occurred during our study. Some of them strongly affected the volcanic lake, while others did only weakly. In the first category, a strong unrest commenced in October 2011 with heightened VT (Volcano Tectonic) earthquakes and low frequency events activity, which culminated mid-December 2011. This unrest was correlated with an enhanced heat and hydrothermal fluids discharge to the crater and significant variations of the relative velocities (~1%). This suggests an important build-up of stress into the system. VT earthquakes opened pathways for the fluids to ascend, by increasing the permeability of the system, which latter allowed the initiation of monochromatic tremor (MT) when the steam/gases interacted with the shallow portions of the aquifer. Our calculations evidence a higher contribution of steam in March 2012 that might explain the increase of the MT frequency when bubbles were observed at the lake surface. This period was also characterized by short-lived but strong velocity variations, related to water level
rises containing important amount of bubbles, and important heat and mass discharges
into the lake. On the contrary, the second category of unrest did only slightly affect the
lake system. This could be explained by a dryer hydrothermal system and/or locations of
the seismic sources, which were not directly linked to the lake.
While a magmatic eruption will likely be preceded by a strong seismic activity, the major challenges remain to understand why the unrest we studied did not lead to an eruption and to identify precursory signs of a phreatic eruption. Even a small phreatic eruption would be devastating for the people working everyday in the crater and the ones
who live nearby the voluminous acidic lake.
Doctorat en Sciences
info:eu-repo/semantics/nonPublished
Mauricio, David E. "Jaranan of East Java: An Ancient Tradition in Modern Times." Thesis, University of Hawaii at Manoa, 2002. http://hdl.handle.net/10125/7082.
Full textSmyth, Helen. "Eocene to Miocene basin history and volcanic activity in East Java, Indonesia." Thesis, Royal Holloway, University of London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417139.
Full textRetsikas, Konstantinos. "People of mixed blood : ethnicity, personhood and sociality in East Java, Indonesia." Thesis, University of Edinburgh, 2003. http://hdl.handle.net/1842/23167.
Full textPraptopriyoko, Lukito. "Socio-economic differentials in fertility in East Java 1980 : an areal analysis." Thesis, Canberra, ACT : The Australian National University, 1988. http://hdl.handle.net/1885/117090.
Full textGunawan, Oratai Rauyajin. "Underlying factors determining unsafe induced abortion among rural women in East Java, Infonesia /." Abstract, 2004. http://mulinet3.li.mahidol.ac.th/thesis/2547/cd364/4537976.pdf.
Full textSyafitri, Wildan [Verfasser]. "Determinants of Labour Migration Decisions. The Case of East Java, Indonesia / Wildan Syafitri." Kassel : Kassel University Press, 2012. http://d-nb.info/1034557505/34.
Full textNurvianto, Sandy [Verfasser], Sven [Akademischer Betreuer] Herzog, Imron Muhammad Akademischer Betreuer] Ali, and Mechthild [Gutachter] [Roth. "The Ecology of Javan Asiatic Wild Dog (Cuon alpinus javanicus, Pallas 1811) in Baluran National Park, East Java, Indonesia / Sandy Nurvianto ; Gutachter: Mechthild Roth ; Sven Herzog, Muhammad Ali Imron." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://d-nb.info/1226811426/34.
Full textEliáš, Filip. "Vylepšení podpory architektury REST v JBossESB." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-237028.
Full textMartin, Kirsty School of Sociology UNSW. "The state, local communities and women : a study of women???s organisations in Malang, East Java." Awarded by:University of New South Wales. School of Sociology, 2004. http://handle.unsw.edu.au/1959.4/20637.
Full textPermana, Panji Anugrah [Verfasser], and Jürgen [Akademischer Betreuer] Rüland. "Local elite adjustment in Indonesia's democratization: case studies of North Sumatra and East Java, 1998-2013." Freiburg : Universität, 2017. http://d-nb.info/1137835028/34.
Full textKusman, Airlangga Pribadi. "The politics of good governance in post-authoritarian East Java: Intellectuals and local power in Indonesia." Thesis, Kusman, Airlangga Pribadi (2015) The politics of good governance in post-authoritarian East Java: Intellectuals and local power in Indonesia. PhD thesis, Murdoch University, 2015. https://researchrepository.murdoch.edu.au/id/eprint/30580/.
Full textMeservy, William Nile. "Evaluating the East Java Tsunami Hazard: What Can Newly-Discovered Imbricate Coastal Boulder Accumulations Near Pacitan and at Pantai Papuma, Indonesia Tell Us?" BYU ScholarsArchive, 2017. https://scholarsarchive.byu.edu/etd/6545.
Full textVyrubalík, Miroslav. "Zvláštnosti podnikatelského prostředí Indonézie a možnosti rozšíření spolupráce s ČR." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-165314.
Full textSibarani, Robert Wiliater [Verfasser]. "Determinants of Illegal Migration : The Case of Migrant Workers from East Java to Malaysia / Robert Wiliater Sibarani." Kassel : Kassel University Press, 2018. http://d-nb.info/1170414516/34.
Full textAgusni, Thalca. "The need and demand for orthodontic treatment in urban and rural schoolchildren in Surabaya, East Java - Indonesia." Thesis, The University of Sydney, 1998. http://hdl.handle.net/2123/4942.
Full textHuang, Chengcheng. "The Influence of Social Network in Mobile Experience Sampling -Development and Implementation of Android based Mobile Experience Sampling tool." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-92238.
Full textRayakota, Balaji. "Generating high confidence contracts without user input using Daikon and ESC/Java2." Kansas State University, 2013. http://hdl.handle.net/2097/15731.
Full textDepartment of Computing and Information Science
Torben Amtoft
Invariants are properties which are asserted to be true at certain program points. Invariants are of paramount importance when proving program correctness and program properties. Method, constructor, and class invariants can serve as contracts which specify program behavior and can lead to more accurate reuse of code; more accurate than comments because contracts are less error prone and they may be proved without testing. Dynamic invariant generation techniques run the program under inspection and observe the values that are computed at each program point and report a list of invariants that were observed to be possibly true. Static checkers observe program code and try to prove the correctness of annotated invariants by generating proofs for them. This project attempts to get strong invariants for a subset of classes in Java; there are two phases first we use Daikon, a tool that suggests invariants using dynamic invariant generation techniques, and next we get the invariants checked using ESC/Java2, which is a static checker for Java. In the first phase an ‘Instrumenter’ program inspects Java classes and generates code such that sufficient information is supplied to Daikon to generate strong invariants. All of this is achieved without any user input. The aim is to be able to understand the behavior of a program using already existing tools.
Prafitri, Rizki. "Creating Shared Value (CSV)in East Java, Indonesia: A critical analysis of CSV impacts on dairy farming communities." Thesis, Prafitri, Rizki (2017) Creating Shared Value (CSV)in East Java, Indonesia: A critical analysis of CSV impacts on dairy farming communities. PhD thesis, Murdoch University, 2017. https://researchrepository.murdoch.edu.au/id/eprint/42583/.
Full textUtami, Sentagi Sesotya. "An Acoustical Analysis of Domes Coupled to Rooms, with Special Application to the Darussholah Mosque, in East Java, Indonesia." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd995.pdf.
Full textChristiananta, Budiman. "Human resources development in Indonesia : policies and practices in East Javan manufacturing industry." Thesis, University of Edinburgh, 1986. http://hdl.handle.net/1842/18785.
Full textFitrianto, Achmad Room. "The Socio-Economic Impacts of the Porong Mud Volcano on the Shrimp Fisheries Sector in Sidoarjo District, East Java Province, Indonesia." Thesis, Curtin University, 2019. http://hdl.handle.net/20.500.11937/80915.
Full textKalyadin, Dmitry. "Robot data and control server for Internet-based training on ground robots." [Tampa, Fla.] : University of South Florida, 2007. http://purl.fcla.edu/usf/dc/et/SFE0002111.
Full textPranata, Brian Arieska. "The Social-cultural and Economic Implications of the Presence of Mobile Phones Among Overseas Migrant Worker Families in Kecopokan Hamlet, East Java, Indonesia." Ohio University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1250971093.
Full textCahyono, Edi Dwi. "Challenges Facing Extension Agents in Implementing the Participatory Extension Approach in Indonesia: A Case Study of Malang Regency in the East Java Region." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1404402942.
Full textKaluge, David, and n/a. "Microfinance and poverty in Indonesia: an analysis of the role of KUKESRA and MKEJ." University of Canberra. Economics and Marketing, 2001. http://erl.canberra.edu.au./public/adt-AUC20050509.093311.
Full textAgus, Joko Pitoyo Sucheela Tanchainan. "Sexual harassment at work : a study of the magnitude, forms and contextual factors of sexual harassment among international women migrant workers from Ponorogo, east Java, Indonesia /." Abstract, 2004. http://mulinet3.li.mahidol.ac.th/thesis/2547/cd364/4537977.pdf.
Full textEffendi, Jaenal [Verfasser], Heiko [Akademischer Betreuer] Faust, and Christoph [Akademischer Betreuer] Dittrich. "The role of Islamic microfinance in poverty alleviation and environmental awareness in Pasuruan, East Java, Indonesia: A comparative study / Jaenal Effendi. Gutachter: Heiko Faust ; Christoph Dittrich. Betreuer: Heiko Faust." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013. http://d-nb.info/1044739274/34.
Full text