Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,256,509 papers from all fields of science
Search
Sign In
Create Free Account
SVL
SVL or Scientific Vector Language is a programming language created by Chemical Computing Group. It was first released in 1994. SVL is the built-in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
MOE
Programming language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Dynamic reduction-based structural damage detection of transmission towers: Practical issues and experimental verification
H. Lam
,
T. Yin
2011
Corpus ID: 110836574
2010
2010
Seasonal Patterns of Body Condition, Hydration State, and Activity of Gila Monsters (Heloderma suspectum) at a Sonoran Desert Site
Jon R. Davis
,
D. DeNardo
2010
Corpus ID: 6808861
Abstract Animals in nature use synergistic behavioral and physiological responses to cope with variation in resource availability…
Expand
2003
2003
The effect of anthropogenic habitat usage on the social behaviour of a vulnerable species, Cyclura nubila
Kathryn E. Lacy
,
E. Martins
2003
Corpus ID: 50359601
With the increasing human population world‐wide, animals and humans are sharing more habitat. In this study, we consider the…
Expand
Highly Cited
2001
Highly Cited
2001
SVL: A Scripting Language for Compositional Verification
H. Garavel
,
Frédéric Lang
Formal Techniques for (Networked and) Distributed…
2001
Corpus ID: 12321691
Compositional verification is a way to avoid state explosion for the enumerative verification of complex concurrent systems…
Expand
1999
1999
Phenology of a Lizard Assemblage in the Dry Chaco of Argentina
Lee FitzGerald
,
F. B. Cruz
,
G. Perotti
1999
Corpus ID: 30983517
Individual species' phenologies can play an important role in the structure of lizard assem- blages over short time scales. Data…
Expand
1999
1999
The Effects of Age and Size on Reproductive Timing in Female Chamaeleo chamaeleon
M. Cuadrado
,
J. Loman
1999
Corpus ID: 85463124
Reproductive timing in relation to the size and age of individual female common Chame- leons (Chamaeleo chamaeleon) was studied…
Expand
Highly Cited
1996
Highly Cited
1996
Scaling of Limb Proportions in Monitor T.itards (Squamata: Varanidae)
A. Christian
1996
Corpus ID: 5096077
The lengths and diameters of the limb segments of 105 monitor lizards from 22 species were measured on preserved museum specimens…
Expand
Highly Cited
1995
Highly Cited
1995
Querying Shapes of Histories
R. Agrawal
,
G. Psaila
,
E. Wimmers
,
Mohamed Zaït
Very Large Data Bases Conference
1995
Corpus ID: 566602
We present a shape de nition language, called SDL, for retrieving objects based on shapes contained in the histories associated…
Expand
Highly Cited
1991
Highly Cited
1991
Intersexual Dietary Divergence and the Evolution of Sexual Dimorphism in Snakes
R. Shine
American Naturalist
1991
Corpus ID: 84056277
Ecological causes for the evolution of sexual dimorphism can be confidently inferred only when the sexes differ in morphology or…
Expand
1984
1984
A Comparative Display Analysis of the Anolis brevirostris Complex in Haiti
T. A. Jenssen
,
N. L. Gladson
1984
Corpus ID: 87791972
The stereotyped head bob displays of three Anolis sibling species, formerly recog- nized only as A. brevirostris, were…
Expand
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)
ACCEPT & CONTINUE