نتایج جستجو برای: valverde
تعداد نتایج: 235 فیلتر نتایج به سال:
[1] Warming of the martian lower thermosphere (100–130 km) at north polar latitudes near the perihelion/winter solstice (Ls = 270) was recently observed. No analogous warming has been observed within the south polar thermosphere during its aphelion/winter season (Ls 90). Detailed global model simulations are required to investigate the physical processes driving these seasonal variations. New s...
In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at studying conditions under which certain syntactic constructs can be eliminated from programs preserving some given equivalence relation. In this paper, we continue this endeavour introducing novel conditions under which disjunct...
Machado, A. B. M., Fonseca, G. A. B. da, Machado, R. B., Aguiar, L. M. S. e Lins, L. V. 1998. Livro Vermelho das Espécies Ameaçadas de Extinção da Fauna de Minas Gerais. Fundação Biodiversitas, Belo Horizonte. Melo, F. R. e Mendes, S. L. 2000. Emissão de gritos longos por grupos de Callicebus nigrifrons e suas reações a playbacks. Em: A Primatologia no Brasil – 7, C. Alonso e A. Langguth (eds.)...
Equivalence relations are important in many branches of knowledge and especially in Classification theories and Cluster Analysis since they generate a partition on the universe of discourse and permit to classify their elements and make clusters. In many cases the relation we start with is not an equivalence relation but only a reflexive and symmetric one. A very important family of fuzzy relat...
The genus Hepatozoon Miller, 1908 (Apicomplexa: Adeleorina) is composed of intracellular haemogregarine parasites that are widely distributed among all tetrapod groups. The present study combines microscopic and molecular data on haemogregarine parasites from lizards in the western Mediterranean. We screened tissue samples and examined blood smears for the presence of species of Hepatozoon from...
Don Quixote de la Mancha, which is considered one of the most important and influential works of Western modern prose, contains many references of interest for almost all of the medical specialties. In this regard, numerous references to neurology can be found in Cervantes' immortal work. In this study, we aimed to read Don Quixote from a neurologist's point of view, describing the neurological...
1Department of Epizootiology and Clinic of Infectious Diseases, University of Life Sciences, Lublin, Poland Head of the Department: prof. Stanisław Winiarczyk, PhD 2Department of Preclinical Veterinary Sciences, University of Life Sciences, Lublin, Poland Head of the Department: prof. Jose L. Valverde Piedra, PhD 3Department of Animal Physiology, University of Life Sciences, Lublin, Poland Head...
In Answer Set Programming, Lifschitz, Pearce and Valverde have defined Strong equivalence as follows: Π1 and Π2 are strongly equivalent if for every program Π, Π1 ∪ Π and Π2 ∪ Π are equivalent, i.e., have the same answer sets. A logical characterization of Strong Equivalence is provided by the same authors via i) translation of programs into a classical signature (creating, say, c(Π1) and c(Π2)...
The taxonomy of the leishmanias is based on an intricate combination of features that includes “extrinsic” epidemiologic and biologic characters-such as the clinical picture of the infection in man (I, 21, experimental and natural development of the infection in sandflies, behavior of the organism in hamsters, growth rates of the organism in vitro, and morphology-supported by “intrinsic” charac...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید