TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
Radial glia in the proliferative ventricular zone of the embryonic and adult turtle, Trachemys scripta elegans. [PDF]
, 2014 To better understand the role of radial glial (RG) cells in the evolution of the mammalian cerebral cortex, we investigated the role of RG cells in the dorsal cortex and dorsal ventricular ridge of the turtle, Trachemys scripta elegans.
Clinton, Brian K +4 more
core +1 more source
Communications Biology, 2021 Farrell, Duffy and colleagues quantify the viral dynamics of the agent causing sea turtle fibropapillomatosis tumors. Environmental shedding and cellular dynamics are examined, demonstrating that temporal shedding dynamics and tumor burden are correlated.
Jessica A. Farrell +11 more
doaj +1 more source
EFFECT OF RACCOON (PROCYON LOTOR) REDUCTION ON BLANDING’S TURTLE (EMYDOIDEA BLANDINGII) NEST SUCCESS [PDF]
, 2016 The Lake County Forest Preserve District has monitored a state-endangered Blanding’s Turtle (Emydoidea blandingii) population at two adjoining nature preserves along the Illinois–Wisconsin border since 2004.
Glowacki, Gary A. +2 more
core +2 more sources
Leech Parasitism of the Gulf Coast Box Turtle, Terrapene carolina major (Testudines:Emydidae) in Mississippi, USA [PDF]
, 2017 Ten leeches were collected from a Gulf Coast box turtle, Terrapene carolina major, found crossing a road in Gulfport, Harrison County, Mississippi, USA. Eight of the leeches were identified as Placobdella multilineata and 2 were identified as Helobdella
Hammond, C. I. +4 more
core +3 more sources
Effect of Butyl Paraben on Oxidative Stress in the Liver of Mauremys sinensis
Toxics, 2023 Butyl paraben (BuP) has been widely used as a preservative in the cosmetics, food, and medicine industries. Recently, it has become a new pollutant and has attracted much attention. In order to evaluate the toxic effect of BuP on aquatic animals, Chinese
Yaru Yin +7 more
doaj +1 more source
A singing Celtic lady in Oltenia? Unravelling an intricate find near Zătreni (Vâlcea county, Romania) [PDF]
StarinarThis article introduces an interesting discovery made with a metal detector at the end of 2020, on the left bank of the Olteţ river, near Zătreni, Vâlcea County. Judging by the recovered grave goods (among which a belt and a fibula, and probably
Măndescu Dragoş +3 more
doaj +1 more source
KEBERLANJUTAN PENGELOLAAN KAWASAN KONSERVASI PENYU DI PANTAI PANGUMBAHAN, SUKABUMI, JAWA BARAT
Journal of Natural Resources and Environmental Management, 2018 accordance with high exploitation of turtle in several sectors and will threatened the turtle sustainability in the future. The aim of this study is to analyze the situational condition of environmental biophysics, socio-economic of the population, and ...
M. Apuk Ismane +4 more
doaj +1 more source
The Drosophila immunoglobulin gene turtle encodes guidance molecules involved in axon pathfinding [PDF]
, 2009 Background: Neuronal growth cones follow specific pathways over long distances in order to reach their appropriate targets. Research over the past 15 years has yielded a large body of information concerning the molecules that regulate this process.
Al-Anzi, Bader, Wyman, Robert J.
core +4 more sources
Ecology and Evolution, 2019 The members of the Indochinese box turtle complex, namely Cuora galbinifrons, Cuora bourreti, and Cuora picturata, rank the most critically endangered turtle species on earth after more than three decades of over‐harvesting for food, traditional Chinese ...
Xiaoli Liu +5 more
doaj +1 more source