Skip to search formSkip to main contentSkip to account menu

Oliotius oligolepis

Known as: Capoeta oligolepis, Puntius oligolepis, checker barb 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Verifying system behaviors in EAST-ADL2 with the SPIN model checker
EAST-ADL2 is a domain-specific architecture description language to support the model-based development of automotive embedded… 
2010
2010
Distribution of contractures and spinal malalignments in adolescents with cerebral palsy: Observations and influences of function, gender and age
Objective: To describe distributions of contracture and spinal malalignment in adolescents with cerebral palsy (CP) and determine… 
2009
2009
Changes in extracellular osmolality initiate sperm motility in freshwater teleost rosy barb Puntius conchonius.
2009
2009
Measurement and validation of bone-conduction adjustment functions in virtual 3D audio displays
iv ACKNOWLEDGEMENTS I would like to thank my academic advisor, Bruce Walker, for his support and encouragement, his creativity in… 
2008
2008
Two new species of Aristolochia (Aristolochiaceae) from Brazil and Peru
Aristolochia dalyi, from western Peruvian and Brazilian Amazonia, andA. bahiensis, from Bahia, Brazil, are described and… 
Highly Cited
2006
Highly Cited
2006
SaveCCM: An Analysable Component Model for Real-Time Systems
2006
2006
The social determinants of health: is there a role for health promotion foundations?
ISSUE ADDRESSED If they are to respond effectively to health inequities, organisations involved in health promotion need to… 
1999
1999
Integrating Theorem Proving and Model Checking in Isabelle/IOA
Isabelle is a generic theorem proving environment which was used successfully in recent years for many practical applications. In… 
1997
1997
Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics
Logic programs with the stable model semantics can be thought of as a new paradigm for constraint satisfaction, where the rules… 
1990
1990
Invasive fusariosis associated with an injury by a stingray barb.
A previously healthy adult male suffered a wound to the dorsal ulnar aspect of his right hand by a stingray barb while fishing… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)