Relevant bibliographies by topics / Javea, Spain

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Javea, Spain'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Javea, Spain.'

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.

Journal articles on the topic "Javea, Spain"

1

Esclapés, Javier, Daniel Tejerina, Marco Aurelio Esquembre, and Joaquim Bolufer. "Propuesta metodológica para la generación de recorridos virtuales interactivos." Virtual Archaeology Review 4, no. 9 (November 5, 2013): 212. http://dx.doi.org/10.4995/var.2013.4276.

Full text
Abstract:
<p>Virtual walkthroughs have become one of the most effective tools for the dissemination of archaeological heritage, particularly in those cases in which the site, by location or by their morphology, can not be visited. In this paper we describe the workflow for producing such tools, focusing on its two main phases: 3D digital documentation and the use of a game engine to create a virtual walkthrough. In this same line, as a case study, we describe the intervention in the archaeological site “Cova del Barranc del Migdia”, located on the southern face of Mount Montgó, within the Montgó Natural Park, in the town of Javea (Alicante, Spain).</p>
APA, Harvard, Vancouver, ISO, and other styles
2

Iovino, Massimo, Pavla Pekárová, Paul D. Hallett, Ján Pekár, Ľubomír Lichner, Jorge Mataix-Solera, Vincenzo Alagna, et al. "Extent and persistence of soil water repellency induced by pines in different geographic regions." Journal of Hydrology and Hydromechanics 66, no. 4 (December 1, 2018): 360–68. http://dx.doi.org/10.2478/johh-2018-0024.

Full text
Abstract:
Abstract The extent (determined by the repellency indices RI and RIc) and persistence (determined by the water drop penetration time, WDPT) of soil water repellency (SWR) induced by pines were assessed in vastly different geographic regions. The actual SWR characteristics were estimated in situ in clay loam soil at Ciavolo, Italy (CiF), sandy soil at Culbin, United Kingdom (CuF), silty clay soil at Javea, Spain (JaF), and sandy soil at Sekule, Slovakia (SeF). For Culbin soil, the potential SWR characteristics were also determined after oven-drying at 60°C (CuD). For two of the three pine species considered, strong (Pinus pinaster at CiF) and severe (Pinus sylvestris at CuD and SeF) SWR conditions were observed. Pinus halepensis trees induced slight SWR at JaF site. RI and RIc increased in the order: JaF < CuF < CiF < CuD < SeF, reflecting nearly the same order of WDPT increase. A lognormal distribution fitted well to histograms of RIc data from CuF and JaF, whereas CiF, CuD and SeF had multimodal distributions. RI correlated closely with WDPT, which was used to develop a classification of RI that showed a robust statistical agreement with WDPT classification according to three different versions of Kappa coefficient.
APA, Harvard, Vancouver, ISO, and other styles
3

Alagna, Vincenzo, Massimo Iovino, Vincenzo Bagarello, Jorge Mataix-Solera, and Ľubomír Lichner. "Application of minidisk infiltrometer to estimate water repellency in Mediterranean pine forest soils." Journal of Hydrology and Hydromechanics 65, no. 3 (September 1, 2017): 254–63. http://dx.doi.org/10.1515/johh-2017-0009.

Full text
Abstract:
AbstractAssessment of soil water repellency (SWR) was conducted in the decomposed organic floor layer (duff) and in the mineral soil layer of two Mediterranean pine forests, one in Italy and the other in Spain, by the widely-used water drop penetration time (WDPT) test and alternative indices derived from infiltration experiments carried out by the minidisk infiltrometer (MDI). In particular, the repellency index (RI) was calculated as the adjusted ratio between ethanol and water soil sorptivities whereas the water repellency cessation time (WRCT) and the specifically proposed modified repellency index (RIm) were derived from the hydrophobic and wettable stages of a single water infiltration experiment. Time evolution of SWR and vegetation cover influence was also investigated at the Italian site. All indices unanimously detected severe SWR conditions in the duff of the pine forests. The mineral subsoils in the two forests showed different wettability and the clay-loam subsoil at Ciavolo forest was hydrophobic even if characterized by organic matter (OM) content similar to the wettable soil of an adjacent glade. It was therefore assumed that the composition rather than the total amount of OM influenced SWR. The hydraulic conductivity of the duff differed by a factor of 3.8–5.8 between the two forested sites thus influencing the vertical extent of SWR. Indeed, the mineral subsoil of Javea showed wettable or weak hydrophobic conditions probably because leaching of hydrophobic compounds was slowed or prevented at all. Estimations of SWR according to the different indices were in general agreement even if some discrepancies were observed. In particular, at low hydrophobicity levels the SWR indices gathered from the MDI tests were able to signal sub-critical SWR conditions that were not detected by the traditional WDPT index. The WRCT and modified repellency index RImyielded SWR estimates in reasonable agreement with those obtained with the more cumbersome RI test and, therefore, can be proposed as alternative procedures for SWR assessment.
APA, Harvard, Vancouver, ISO, and other styles
4

Puspitasari, Rachma, and Suratno. "PRELIMINARY STUDY OF LARVAL DEVELOPMENT Oryzias javanicus IN INDONESIA." Jurnal Ilmu dan Teknologi Kelautan Tropis 9, no. 1 (September 5, 2017): 105. http://dx.doi.org/10.28930/jitkt.v9i1.17920.

Full text
Abstract:
<p><em>Java medaka </em><em><span style="text-decoration: underline;">Oryzias</span> <span style="text-decoration: underline;">javanicus</span> potentially developed as test organism, represents the coastal region because it has a high adaptability in freshwater, brackishwater and marine environments. Utilization of it as a test organism has some obstacles such as lack of number of test organisms with same size or age. The fulfillment of number can be solved if the test organism is cultivated exclusively in the laboratory. This study was a preliminary study to get information about suitable salinity for spawning and hatching. Parameter observed were spawning ability in 0 and 20 ppt and hatching rate of egg among 0. 15 and 30 ppt and development of larval fish in 0 ppt. Result indicated that the fish was be able to spawn in 0 and 20 ppt. Eggs were hatched within 9 days in 30 ppt, faster than in freshwater and 15 ppt. In general, O. javanicus was be able to spawn either in freshwater or seawater, but there are differences in the behavior of fish in the laying of egg. Fish will carried their eggs in the abdomen in freshwater, while 20 ppt salinity fish tends to release the eggs. O. javanicus be able to live and lay eggs on freshwater and seawater. Selection of salinity is adjusted to test requirement in egg phase, pascalarva or adult. In general, breeding of fish easier and faster done in fresh water while hatching eggs take place more quickly in high salinity.</em></p><p><em><br /></em></p><p><strong><em>Keywords: </em></strong><em>Indonesia, Java Medaka, <span style="text-decoration: underline;">Oryzias</span> <span style="text-decoration: underline;">javanicus</span>, test organism</em><strong><em></em></strong></p>
APA, Harvard, Vancouver, ISO, and other styles
5

Sularso, R. Andi. "Pengaruh Kemudahan Penggunaan dan Manfaat yang Dirasakan terhadap Sikap dan Niat Pembelian Online (Studi pada Pembelian Batik di Jawa Timur)." Jurnal Maksipreneur: Manajemen, Koperasi, dan Entrepreneurship 1, no. 2 (June 30, 2012): 17. http://dx.doi.org/10.30588/jmp.v1i2.72.

Full text
Abstract:
<span><em>The design of this study are included in the confirmatory </em><span><em>research and research as well as explanatory. Analysis technique used is to </em><span><em>use the Structural Equation Modeling </em><span>(SEM).<span><em>. Data retrieval techniques using </em><span><em>purposive sampling method with the number of respondents 140 respondents. </em><span><em>The results showed that: (1) Ease of use online shopping perceived </em><span><em>significantly influence consumers 'attitude towards online purchases batik in </em><span><em>East Java, (2) the perceived benefits of online shopping significantly influence </em><span><em>consumers' attitude towards online purchases batik in East Java, (3) Ease of </em><span><em>use online shopping perceived significant impact on repeat purchase intention </em><span><em>online Batik in East Java, (4) the perceived benefits of online shopping does </em><span><em>not significantly influence online purchase intentions in batik in East Java, (5) </em><span><em>the attitude of influential consumers significant impact on repeat purchase </em><span><em>intention online batik in East Java.</em></span></span></span></span></span></span></span></span></span></span></span></span><br /></span></span></span>
APA, Harvard, Vancouver, ISO, and other styles
6

Santosa, Edi, Utami Prawati, ,. Sobir, Yoko Mine, and Nobuo Sugiyama. "Agronomy, Utilization and Economics of Indigenous Vegetables in West Java, Indonesia." Jurnal Hortikultura Indonesia 6, no. 3 (December 14, 2015): 125. http://dx.doi.org/10.29244/jhi.6.3.125-134.

Full text
Abstract:
<p><span>ABSTRACT</span></p><p><span><br /><span>Indigenous vegetables have become popular in recent Indonesian diet, but agronomic and <span>economic studies on these crops are limited. The objective of this research was to investigate the <span>cultural technique of indigenous vegetables, their uses and economic importance in West Java, <span>Indonesia. Initial market observation was conducted in Bogor to determine the economic value of <span>indigenous vegetables. In depth observations of the indigenous vegetables and interviews with<span> merchants, farmers and consumers were conducted in three districts, i.e., Bogor, Cianjur and <span>Tasikmalaya, focusing on four indigenous vegetables familiar to local people, i.e., genjer <span>(Limnocharis flava (L.) Buchenau), kenikir (Cosmos caudatus Kunth.), leunca (Solanum<span> americanum Miller) and poh-pohan (Pilea melastomoides (Poir.) Wedd.). This study showed that <span>indigenous vegetables have been produced in extensive and semi-intensive cultivations and are sold<span> in local markets daily, although local people do not consume them frequently. Indigenous vegetables held a market share of less than 5% at local markets, and accounted for less than 10% in household vegetable consumption. The reasons for consumers to choose indigenous vegetables were familiarity to these crops, moderate prices, family members’ preference, availability and ease of preparation. Generally, younger family members (&lt;30 years old) bought indigenous vegetables less frequently than older ones (&gt;30 years old), possibly due to lack of information on its use, unfamiliar flavor and high availability of other commercial vegetables commonly grown worldwide.<br /></span></span></span></span></span></span></span></span></span></span></span></span></p><p><span><span><span><span><span><span><span><span><span><span><span><span>Keywords: Cosmos caudatus, Limnocharis flava, local knowledge, Pilea melastomoides, Solanum americanum</span></span></span></span></span></span></span></span></span></span></span></span></p><p><span><span><span><span><span><span><span><span><span><span><span><span><br />ABSTRAK</span></span></span></span></span></span></span></span></span></span></span></span></p><p><span><span><span><span><span><span><span><span><span><span><span><span><br />Popularitas sayuran indigenus terus meningkat di Indonesia, namun studi agronomi dan ekonominya masih terbatas. Penelitian bertujuan mengkaji budidaya, pemanfaatan dan nilai ekonomis sayuran indigenus di Jawa Barat, Indonesia. Penelitian pendahuluan dilakukan di pasar di wilayah Bogor. Penelitian mendalam dilakukan dengan mewawancarai pedagang, petani dan konsumen, serta mengamati di lahan petani di tiga kabupaten yakni Bogor, Cianjur dan Tasikmalaya<br />untuk empat sayuran indigenus utama yakni genjer (Limnocharis flava (L.) Buchenau), kenikir (Cosmos caudatus Kunth.), leunca (Solanum americanum Miller) dan poh-pohan (Pilea melastomoides (Poir.) Wedd.). Studi menunjukkan bahwa sayuran indigenus diproduksi secara intensif dan semi intensif, serta dijual di pasar setiap hari, walaupun penduduk setempat tidak mengkonsumsi secara teratur. Sayuran indigenus mengisi celung pasar kurang dari 5% dan memenuhi kurang dari 10% kebutuhan sayuran rumah tangga. Konsumen memilih sayuran indigenus karena sudah terbiasa mengkonsumsi, harga terjangkau, disukai anggota keluarga,<br />ketersediaan dan kemudahan mengolah. Secara umum, anggota keluarga muda (usia &lt; 30 tahun) lebih jarang membeli sayuran indigenus dibanding yang lebih tua (usia &gt; 30 tahun), kemungkinan<br />disebabkan keterbatasan informasi nilai guna, adanya aroma asing, dan ketersediaan sayuran lain.<br /></span></span></span></span></span></span></span></span></span></span></span></span></p><p><span><span><span><span><span><span><span><span><span><span><span><span>Kata kunci: Cosmos caudatus, Limnocharis flava, pengetahuan lokal, Pilea melastomoides, Solanum americanum<br /></span></span></span></span></span></span></span></span></span></span></span></span></p>
APA, Harvard, Vancouver, ISO, and other styles
7

Setiadi, Agus, Siswanto Imam Santoso, Suryani Nurfadillah, Kadhung Prayoga, and Enggar Prasetyo. "Production and Marketing System of Kampong Chicken in Batang Regency, Central Java, Indonesia." Caraka Tani: Journal of Sustainable Agriculture 35, no. 2 (September 20, 2020): 326. http://dx.doi.org/10.20961/carakatani.v35i2.40907.

Full text
Abstract:
<p><span lang="EN-US">Kampong</span><span lang="EN-US"> chicken is an indigenous chicken that gains popularity among consumers</span><span lang="IN"> and</span><span lang="IN">it has good </span><span lang="EN-US">potentials</span><span lang="EN-US">as a livestock commodity</span><span lang="IN">. But, the problem is </span><span lang="EN-US">most kampong chicken were kept in free range system without any standard of the rearing procedure and time. The farmer</span><span lang="IN">s</span><span lang="EN-US"> will</span><span lang="IN"> sell their chickens</span><span lang="EN-US"> by market’s requests</span><span lang="IN">. </span><span lang="EN-US">T</span><span lang="EN-US">h</span><span lang="IN">e</span><span lang="EN-US"> study aims to determine the agribusiness production and marketing</span><span lang="IN"> sub-system</span><span lang="EN-US"> of </span><span lang="IN">kampong</span><span lang="EN-US"> chickens. A hundred </span><span lang="IN">kampong</span><span lang="EN-US"> chicken farmer</span><span lang="IN">s </span><span lang="EN-US">from 9 sub-districts in Batang</span><span lang="IN"> Regency</span><span lang="EN-US"> were interviewed.</span><span lang="IN"> Respondents were chosen by simple random sampling.</span><span lang="EN-US"> Each f</span><span lang="IN">armer</span><span lang="EN-US"> owned 4-120 kampong chickens with average </span><span lang="IN">number</span><span lang="EN-US"> of </span><span lang="IN">6</span><span lang="EN-US">.76 </span><span lang="IN">heads </span><span lang="EN-US">per farm. The </span><span lang="IN">poultry</span><span lang="EN-US"> production sub-system consisted of six constituent variables, namely administration/bookkeeping, location, maintenance technology, maintenance system, business continuity and sanitation. Each constituent variable produced score of 1.44; 1.75; 1.68; 2.77; 1.55 and 2.03 respectively with the average value of 1.87. These results indicated that the applications of agribusiness</span><span lang="IN"> production</span><span lang="EN-US"> sub-systems were in the </span><span lang="IN">moderate</span><span lang="EN-US"> category. The assessment of the marketing sub-system application included five variables namely marketing scale, marketing objectives, marketing technology, market information and pricing with the following scores 1.52, 1.76, 1.41, 1.85 and 1.18 respectively; or have an average value of 1.54. </span><span lang="IN">This result</span><span lang="EN-US"> show</span><span lang="IN">ed</span><span lang="EN-US"> that the marketing sub-system has </span><span lang="IN">a </span><span lang="EN-US">moderate c</span><span lang="IN">ategory</span><span lang="EN-US">. </span><span lang="IN">Improving the production system </span><span lang="EN-US">which consisted of</span><span lang="IN"> the bookkeeping record, increase the number of rearing</span><span lang="EN-US"> scale</span><span lang="IN"> and sanitation process would improve farm productivity. Increasing marketing systems such as the application of electronic marketing would improve market efficiency. </span><span lang="EN-US">The results show</span><span lang="IN">ed</span><span lang="EN-US"> that the improvement of production and marketing agribusiness sub</span><span lang="IN">-</span><span lang="EN-US">systems </span><span lang="IN">are </span><span lang="EN-US">needed in order to increase farmers’ </span><span lang="IN">income</span><span lang="EN-US">.</span></p>
APA, Harvard, Vancouver, ISO, and other styles
8

Widhiono, Imam, Eming Sudiana, and Edy Yani. "Contribution of Plantation Forest on Wild Bees (Hymenoptera: Apoidea) Pollinators Conservation in Mount Slamet, Central Java, Indonesia." Biosaintifika: Journal of Biology & Biology Education 9, no. 3 (December 31, 2017): 437. http://dx.doi.org/10.15294/biosaintifika.v9i3.10652.

Full text
Abstract:
<p class="IsiAbstrakIndo">Wild bee pollinators (Hymenoptera : Apiade) diversity and abundance were studied in three types of plantation forest on Mt. Slamet (Central Java Province, Indonesia). The aims of the research was to know the diversity and abundance of wild bee pollinators and to determine the possibility of plantation forest contribution on wild bees conservation. Sampling has been done at three stands: a pine forest (PF, with <em>Pinus merkusii</em>), an Agathis forest (AF, with <em>Agathis damara</em>) and a community forest (CF, with <em>Albizia falctaria</em>). Each habitat was divided into 5 line transect (100 x 5 m) and sweep nets were used to collect the wild bee samples. Sampling was done eah month from April to August 2015. The diversity of wild bees was high (12 species in 9 genera; members of the Apidae (7 species were dominant). <span lang="EN-GB">The most abundant species across the forests were </span><em>Apis cerana</em><span lang="EN-GB"> (343 individuals; 25.5% of total), </span><em>Trigona laeviceps</em><span lang="EN-GB"> (195 individuals; 14.5%), and </span><em>Megachille relativa </em><span lang="EN-GB">(165 individuals; 12.3%)</span>. Measurements of species diversity (<em>H</em>’), species evenness (<em>E</em>), habitat similarity (<em>Ss</em>) and species richness indicated that the wild bee species diversity in the region was relatively high <span lang="EN-GB">(</span><em>H</em>’ = <span lang="EN-GB">1.275)</span> to <span lang="EN-GB">(</span><em>H</em>’<span lang="EN-GB"> = 1.730);</span><span lang="EN-GB">(</span>E= <span lang="EN-GB">0.870)</span> to<span lang="EN-GB"> (</span>E = <span lang="EN-GB">0.93)</span>. The result showed that t<span lang="EN-GB">he </span>diversity of wild bees<span lang="EN-GB"> in three different plantation forest habitats on Mt. Slamet were similar </span>and can be concluded that plantation<span lang="EN-GB"> forest types were important for pollinator conservation, and an appropriate future preservation strategy should include of the areas of all </span>plantation <span lang="EN-GB">forest types.</span></p>
APA, Harvard, Vancouver, ISO, and other styles
9

Kusrinah, Kusrinah, and Rina Sri Kasiamdari. "Morphological Characteristics and Kinship Relationship of Mushroom Schizophyllum commune Fr." Journal Of Natural Sciences And Mathematics Research 1, no. 2 (August 22, 2017): 65. http://dx.doi.org/10.21580/jnsmr.2015.1.2.1620.

Full text
Abstract:
<p style="text-align: justify;"><em><span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">Schizophyllum commune </span></em><span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">is a mushroom from the division of Basidiomycota which abundance at rainy season on wood that have been moldered for its habitat. <em>S. commune</em> has been distributed widely at various types of wood habitat (jack fruit, bamboo, rubber, mango etc). Existence of this mushroom has not been known as well as any mushroom are able to be consumed/edible yet.</span> <span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">In Java, the societies who have known it as consumption mushroom called it with local name <em>jamur gigit</em>. <em>Jamur gigit</em> is potential to become food material and based on organoleptic test indicates that <em>jamur gigit</em> is more delicious from oyster mushroom. The purpose of research is to investigate the morphology character of <em>S.</em> <em>commune </em>at various growth phases and to study the<em> S. commune </em>relationship in Java. The result of this research is expected can give information about morphology character of <em>S. commune</em> in each its growth phase and to understand <em>S. commune </em>relationship in Java.</span> <span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">Sample for research has been collected in 3 areas in Java. The macroscopic morphology character and microscopic character of <em>S. commune</em> were observed. The character that had been obtained is used to compile description and be analyzed by cluster using SPSS 13.0 to study the kinship</span> <span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">relationship.</span> <span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">The result of research indicates that morphology character of <em>S. commune</em> in Java of fruit body when old and young phase was different, while the microscopic character almost same to the obtained sample. The result of analysis cluster indicated that at similar level of 38,1 % there were two clusters, first cluster was Sidoarjo a <em>S. commune</em> and <em>S. commune</em> Yogyakarta. The second cluster has member the Sidoarjo b <em>S. commune</em>, Malang <em>S. commune</em>, Tangerang</span> <em><span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">S. commune</span></em><span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif';">, Semarang<em> S. commune </em>and Kuningan<em> S. commune</em>.</span> <span style="font-size: 10.0pt; line-height: 115%; font-family: 'Cambria','serif'; color: black;">© 2015 JNSMR UIN Walisongo. All rights reserved.</span></p>
APA, Harvard, Vancouver, ISO, and other styles
10

Suhanda, Nani Sufiani, Leily Amalia, Khairunisa Khairunisa, and Dadang Sukandar. "FOOD CONSUMPTION, NUTRITIONAL AND HEALTH STATUS AMONG FARMER HOUSEHOLDS IN SUBANG, WEST JAVA, INDONESIA." Jurnal Gizi dan Pangan 5, no. 3 (November 6, 2010): 185. http://dx.doi.org/10.25182/jgp.2010.5.3.185-196.

Full text
Abstract:
<p class="MsoNormal" style="margin: 0cm 5.65pt 6pt 14.2pt; text-align: justify; text-indent: 1cm;"><span style="font-size: 10pt;" lang="en-us" xml:lang="en-us">The objectives of this study were : 1) to analyze the consumption of various types of foods (meat, milk, fish, fruit, and others) and the methods of getting the foods among farmer households, 2) To analyze the nutritional status (fathers, mothers and children) among farmer households, and 3) To analyze the health status (fathers, mothers and children) among farmer households. This research was of a retrospective and cross sectional design.<span style="color: #000000;">This research was conducted in Subang Farming Regency, West Java.</span> There are two types of population (farmer households), namely, those of horticultural region and those of rice field region. The sample size at each location was 261 households, so the total sample was 522 households. </span><span style="font-size: 10pt;" lang="en-us" xml:lang="en-us">The results of this research show that in general the frequency and quantity of food consumed by the non poor households are relatively better than those of the poor households. Further, as the centers of agricultural production, both regions (rice and horticulture) will produce certain foods in abundance and will affect the patterns of food consumption among the local community and households. </span><span style="font-size: 10pt;" lang="en-us" xml:lang="en-us">Children’s nutritional status is in general of good category (based on W/A and H/A). Husband’s and wives’ nutritional status is normal. The length of upper respiratory tract infection on wives and children is quite low (&lt;4 days), but among the husbands (non poor households) is quite high (8 days) in the last two weeks. The duration of diarrhea is also low, i.e. only 0-0.2 days in the last two weeks</span><span style="font-size: 10pt;" lang="en-us" xml:lang="en-us">.</span></p>
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Javea, Spain"

1

Martins, Miguel Antonio Rodrigues Lopes. "Geração Automática de Código Fonte a Partir de Modelos Formais." Master's thesis, 2013. http://hdl.handle.net/10316/35590.

Full text
Abstract:
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra
The work presented/associated with this document relates to an area of computer science that is described as the generation of source code from the speci cation of a formal model, which shall be referred to as \Code Generation from Formal Models". This area is associated with two background areas, one of which being the area of \Model Checking". Model Checking, as described by Edmund M. Clarke et al.[1], is \a technique for verifying - nite state concurrent systems such as sequential circuit designs and communication protocols". This technique is appropriate for distributed and concurrent systems, since it aids developers in minimizing certain types of risks, such as the possibility that a deadlock will occur in the system at some point in time, preventing further progress, or the occurrence of a race condition. Given that only a model of a system is veri ed, but not the system itself, it naturally follows that it would be useful to generate source code from the model speci cation. This work thus encompasses the generation of source code from PROMELA models, veri ed by the Spin model checker. In its essence, this project attempts to answer the following question: is it possible to generate runnable source code from PROMELA models related to round-based consensus protocols? The short answer to it is \yes, with limitations".
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Javea, Spain"

1

Havelund, Klaus. "Java PathFinder A Translator from Java to Promela." In Theoretical and Practical Aspects of SPIN Model Checking, 152. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48234-2_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stoller, Scott D. "Model-Checking Multi-threaded Distributed Java Programs." In SPIN Model Checking and Software Verification, 224–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722468_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Havelund, Klaus, and Jens Ulrik Skakkebæk. "Applying Model Checking in Java Verification." In Theoretical and Practical Aspects of SPIN Model Checking, 216–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48234-2_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Havelund, Klaus. "Using Runtime Analysis to Guide Model Checking of Java Programs." In SPIN Model Checking and Software Verification, 245–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722468_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dille, Glen F. "Of some customs, ceremonies, and rites of the Indians of the Spicelands; and of how the [f. 61v] Castilians left Maluco for India, passing by way of Java; and especially of Captain Urdaneta, the one who most travelled and saw things of those parts; and of where pepper is obtained and of the commerce between the Levant and the Malacca; and how Urdaneta came to Lisbon, Portugal, and from there went to Castile to report to His Majesty’s Royal Council of the Indies all that happened in the Spicelands (His Caesarean Majesty being absent from Spain); and how later he passed through this city of Santo Domingo on the island of Hispaniola with Adelantado Don Pedro de Alvarado where he and Martín de Islares informed me of what was previously reported and of what will be told in this chapter." In Spanish and Portuguese Conflict in the Spice Islands the Loaysa Expedition to the Moluccas 1525–1535, 135–39. Abingdon, Oxon ; New York, NY : Routledge, [2021] | Series: Hakluyt Society, third series ; No. 30: Routledge, 2021. http://dx.doi.org/10.4324/9781003144472-35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

de la Torre Díez, Isabel, Roberto Hornero Sánchez, Miguel López Coronado, and María Isabel López Gálvez. "Electronic Health Records in a Tele-Ophthalmologic Application with Oracle 10g." In Biocomputation and Biomedical Informatics, 89–105. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-768-3.ch005.

Full text
Abstract:
Electronic health record (EHR) refers to the complete set of information that resides in electronic form and is related to the past, present and future health status. EHR standardization is a key characteristic to exchange healthcare information. Health Level Seven (HL7) and Digital Imaging and Communications in Medicine (DICOM) are intensively influencing this process. This chapter describes the development and experience of a web-based application, TeleOftalWeb 3.2, to store and exchange EHRs in ophthalmology. We apply HL7 Clinical Document Architecture (CDA) and DICOM standards. The application has been built on Java Servlet and Java Server Pages (JSP) technologies. EHRs are stored in the database Oracle 10g. Its architecture is triple-layered. Physicians can view, modify and store all type of medical images. For security, all data transmissions were carried over encrypted Internet connections such as Secure Sockets Layer (SSL) and HyperText Transfer Protocol over SSL (HTTPS). The application verifies the standards related to privacy and confidentiality. TeleOftalWeb 3.2 has been tested by from the University Institute of Applied Ophthalmobiology (IOBA), Spain. Nowadays, more than thousand health records have been introduced.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Javea, Spain"

1

Karasek, Jan, Radim Burget, Malay Kishore Dutta, and Anushikha Singh. "Java evolutionary framework based on genetic programming." In 2014 International Conference on Signal Processing and Integrated Networks (SPIN). IEEE, 2014. http://dx.doi.org/10.1109/spin.2014.6777026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dwijo, Wahyu, Yahdi Zaim, and Yan Rizal. "A new standard Facies belt and Biofacies approach based on Acropora coral in Ujunggenteng area, west java province, Indonesia." In International Conference and Exhibition, Barcelona, Spain, 3-6 April 2016. Society of Exploration Geophysicists and American Association of Petroleum Geologists, 2016. http://dx.doi.org/10.1190/ice2016-6344593.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Javea, Spain' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography