Search results for "QL"
showing 10 items of 424 documents
Ecological Analysis of the Helminth Community of the Wood Mouse, Apodemus sylvaticus, along an 18-Year Post-Fire Regeneration Period in a Mediterrane…
2021
The role of helminths of the wood mouse, Apodemus sylvaticus, as biological indicators of the post-fire regeneration process in Serra Calderona Natural Park, a Mediterranean forest ecosystem located between the provinces of València and Castelló (Valencian Country, Spain), has been analysed for almost twenty years. The helminth ecological analysis of 917 A. sylvaticus (675 originating from the burned area and 242 originating from the control area) has been carried out between the 2nd and 18th post-fire years. The influence of intrinsic (host population density, sex and age) and extrinsic (site, period and year of capture, climate variables) factors on the post-fire evolution of the helminth…
Identification and enumeration of contacts based on localization data to reduce the risk of infection
2021
Kontaktu identificēšana un uzskaitīšana, izmantojot lokalizācijas datus, dod iespēju samazināt inficēšanās risku. Ātra iespēja uzskaitīt un identificēt potenciālos kontaktus starp cilvēkiem dod iespēju ātri ierobežot Covid-19 izplatību starp cilvēkiem. Bakalaura darbs norit projekta “Multdisciplināra pieeja Covid-19 un citu nākotnes epidēmiju monitorēšanai, kontrolei un ierobežošanai Latvijā” ietvaros, kur tiek analizēti izsekošanas sensoru dati telpā. Darbā tiek izstrādāts un testēts datu ielādes modelis, kas dod iespēju veikt attiecīgās datu transformācijas un atlasīšanas, lai precīzi identificētu un uzskaitītu cilvēku kontaktus telpā. Tiek apskatītas dažādas vizualizācijas kā izkliedes d…
Ontology-based cooperation of information systems : contributions to database-to-ontology mapping and XML-to-ontology mapping
2010
This thesis treats the area of ontology-based cooperation of information systems. We propose a global architecture called OWSCIS that is based on ontologies and web-services for the cooperation of distributed heterogeneous information systems. In this thesis, we focus on the problem of connecting the local information sources to the local ontologies within OWSCIS architecture. This problem is articulated by three main axes: 1) the creation of the local ontology from the local information sources, 2) the mapping of local information sources to an existing local ontology, and 3) the translation of queries over the local ontologies into queries over local information sources.
DNA Multi-Marker Genotyping and CIAS Morphometric Phenotyping of Fasciola gigantica-Sized Flukes from Ecuador, with an Analysis of the Radix Absence …
2021
Simple Summary Fasciolid flukes collected from sheep and cattle in Ecuador showed a high diversity in DNA sequences whose analyses indicated introductions from South America, European and North American countries. These results agree with the numerous livestock importations performed by Ecuador. Abnormally big-sized liver flukes were found in Ecuadorian sheep. The morphometric phenotypic CIAS study showed that its size maximum and mean very pronouncedly and significantly surpassed those of the Fasciola hepatica populations from South America and Spain and proved to be intermediate between standard F. hepatica and F. gigantica populations. Such a feature is only known in intermediate fasciol…
ATL model checking in the cloud
2015
This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…
Implementing an ATL model checker tool using relational algebra concepts
2014
Alternating-Time Temporal Logic (ATL) is a branching-time temporal logic that naturally describes computations of open systems. An open system interacts with its environment and its behavior depends on the state of the system as well as the behavior of the environment. ATL model-checking is a well-established technique for verifying that a formal model representing such a system satisfies a given property. In this paper we describe a new interactive model checker environment based on algebraic approach. Our tool is implemented in client-server paradigm. The client part allows an interactive construction of ATL models represented by concurrent game structures as directed multi-graphs. The se…
Nuevos hallazgos de los gasterópodos Aplus assimilis (Reeve, 1846) (F. Pisaniidae) y Mitrella psilla (Duclos, 1846) (F. Columbellidae) en la costa me…
2020
espanolSe dan a conocer varios hallazgos de dos gasteropodos exoticos marinos Aplus assimilis y Mitrella psilla en los puertos pesqueros de la costa mediterranea espanola desde Sagunto (Valencia) hasta Sant Carles de la Rapita, en el delta del Ebro (Tarragona). Se proporcionan algunos datos conquiliologicos y los mapas de distribucion geografica actual de ambas especies en el Mediterraneo occidental catalaEs donen a coneixer diverses troballes de dos gasteropodes exotics marins Aplus assimilis i Mitrella psilla als ports pesquers de la costa mediterrania espanyola des de Sagunt (Valencia) fins a Sant Carles de la Rapita, al delta de l’Ebre (Tarragona). Es proporcionen algunes dades conquili…
Temnothorax pilagens sp. n. – a new slave-making species of the tribe Formicoxenini from North America (Hymenoptera, Formicidae)
2014
A new species of the ant genus Temnothorax Forel, 1890 – Temnothorax pilagens sp. n. is described from eastern North America. T. pilagens sp. n. is an obligate slave-making ant with two known hosts: T. longispinosus (Roger, 1863) and T. ambiguus (Emery, 1895). A differential diagnosis against Temnothorax duloticus (Wesson, 1937), the other dulotic congener from the Nearctic, is presented and a biological characteristics of the new species is given.
Evaluation of criteria for species delimitation of bagworm moths (Lepidoptera: Psychidae)
2014
Accurate identification of species is fundamental for biological research and necessary for species conservation. DNA bar- coding is particularly useful when identification using morphological characteristics is laborious and/or unreliable. However, bar- codes for species are dependent on the availability of reference sequences from correctly identified specimens. The traditional use of morphology to delimit the species boundaries of Finnish bagworm moths (Lepidoptera: Psychidae: Naryciinae: Dahliciini) is contro- versial because there is overlap in their morphological characteristics. In addition, there are no suitable molecular markers. We veri- fied the delimitation of seven out of eight…
Differentiation of Trichuris species using a morphometric approach
2019
Trichuris trichiura is a nematode considered as the whipworm present in humans and primates. The systematics of the genus Trichuris is complex. Morphological studies of Trichuris isolated from primates and humans conclude that the species infecting these hosts is the same. Furthermore, numerous molecular studies have been carried out so far to discriminate parasite species from humans and Non-Human Primates using molecular techniques, but these studies were not performed in combination with a parallel morphological study. The hypothesised existence of more species of Trichuris in primates opens the possibility to revise the zoonotic potential and host specificity of T. trichiura and other p…