Results 71 to 80 of about 188,226 (309)
Temporal verification in secure group communication system design [PDF]
, 2007 The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Fontan, Benjamin +3 more
core +1 more source
Functional morphology of the pharyngeal teeth of the ocean sunfish, Mola mola
The Anatomical Record, EarlyView.Abstract Many fish use a set of pharyngeal jaws in their throat to aid in prey capture and processing, particularly of large or complex prey. In this study—combining dissection, CT scanning, histology, and performance testing—we demonstrate a novel use of pharyngeal teeth in the ocean sunfish (Mola mola), a species for which pharyngeal jaw anatomy had ...
Benjamin Flaum +3 more
wiley +1 more source
Pathogenic, Molecular, and Immunological Properties of a Virus Associated with Sea Turtle Fibropapillomatosis. Phase II : Viral Pathogenesis and Development of Diagnostic Assays [PDF]
, 2000 Research conducted under this RWO from July 1, 1997 through June 30, 2000 has provided important new information about the pathogenesis, virology, and immunology of marine turtle fibropapillomatosis. In particular, we have provided strong evidence for
Bjorndal, Karen A. +8 more
core
The Anatomical Record, EarlyView.Abstract The complex evolutionary history behind modern mammalian chewing performance and hearing function is a result of several changes in the entire skeletomuscular system of the skull and lower jaw. Lately, exciting multifunctional 3D analytical methods and kinematic simulations of feeding functions in both modern and fossil mammals and their ...
Julia A. Schultz
wiley +1 more source
TURTLE: Four Weddings and a Tutorial [PDF]
, 2010 The paper discusses an educational case study of protocol modelling in TURTLE, a real-time UML profile supported by the open source toolkit TTool. The method associated with TURTLE is step by step illustrated with the connection set up and handover ...
Apvrille, Ludovic +1 more
core +1 more source
Early Pliocene Varanus (Squamata, Varanidae) remains from Megalo Emvolon, Thessaloniki, Greece
The Anatomical Record, EarlyView.The article describes new cranial and postcranial varanid material from Megalo Emvolon Lower Pliocene vertebrate fossil site near Thessaloniki. The fossils, likely representing a single individual, are referred to Varanus cf. marathonensis. Abstract This study describes new fossil varanid material from a recently discovered fossil spot (MVL site) at ...
Chara Drakopoulou +3 more
wiley +1 more source
Determination of sensitive nesting habitats and reproductive status of critically endangered species, hawksbill turtle (Eretmochelys imbricata (Linnaeus, 1766)) in Shidvar International Wetland [PDF]
بومشناسی آبزیان, 2020 The present study aimed to determine the sensitive habitats and reproductive status of hawksbill turtles in Shidvar international wetland in Hormozgan province from March to June 2019. During the study 61 turtles were biometry.
Majid Askari Hesni +10 more
doaj
Predicting the effects of climate change on sea turtle nesting habitat in Florida [PDF]
, 2010 Rising global temperatures threaten the survival of many plant and animal species. Having already risen at an unprecedented rate in the past century, temperatures are predicted to rise between 0.3 and 7.5C in North America over the next 100 years ...
Poti, Matthew
core
The Anatomical Record, EarlyView.Abstract A recent debate has emerged between Caspar et al. (2024) and Herculano‐Houzel (2023) on inferring extinct dinosaur cognition by estimating brain neuron counts. While thought‐provoking, the discussion largely overlooks the function of cognition, as well as partly neglects the difficulties involved in estimating neuron numbers, which according ...
Thomas Rejsenhus Jensen +7 more
wiley +1 more source
Microorganisms, 2020 Aeromonas hydrophila RIT668 and Citrobacter freundii RIT669 were isolated from endangered spotted turtles (Clemmys guttata). Whole-genome sequencing, annotation and phylogenetic analyses of the genomes revealed that the closest relative of RIT668 is A ...
Seema G. Thomas +5 more
doaj +1 more source