Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,506,776 papers from all fields of science
Search
Sign In
Create Free Account
ROMEO
Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
C++
List of model checking tools
Microsoft Windows
Model checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Una guía para el investigador sobre derechos de autor
Claudia S. Litvak
,
M. D. Giusti
2014
Corpus ID: 170156368
Todas las legislaciones del mundo referidas a propiedad intelectual resguardan el derecho de un autor sobre su obra, excepto que…
Expand
2014
2014
Sometimes it is Better Not to be Unique: The U.S. Department of State View on Intercountry Adoption and Child Trafficking and Why it Should Change
Chad Turner
2014
Corpus ID: 152377948
Thousands of children are brought to the United States through the intercountry adoption1 process every year.2 Most of these…
Expand
2013
2013
An media aware platform for real-time stereoscopic video streaming adaptation
A. Kordelas
,
I. Politis
,
Asimakis Lykourgiotis
,
T. Dagiuklas
,
S. Kotsopoulos
International Conference on Intelligent Cloud…
2013
Corpus ID: 24537784
Stereoscopic video streaming is emerging as an important technology for future multimedia services. The delivery of real-time…
Expand
2012
2012
A model of network related QoE for 3D video
I. Politis
,
Lampros Dounis
,
C. Tselios
,
A. Kordelas
,
T. Dagiuklas
,
A. Papadakis
IEEE Globecom Workshops
2012
Corpus ID: 20430174
Three Dimensional video quality comprises a variety of perceptual attributes, including overall image quality, naturalness…
Expand
2012
2012
Spectroscopy of H + 3 based on a new high-accuracy global potential energy surface
Oleg
,
L.
,
+15 authors
Császár
2012
Corpus ID: 26395637
BY OLEG L. POLYANSKY1,2,*, ALEXANDER ALIJAH3, NIKOLAI F. ZOBOV1, IRINA I. MIZUS1, ROMAN I. OVSYANNIKOV1, JONATHAN TENNYSON2…
Expand
2010
2010
Protección jurídico-penal de las personas mayores frente al abandono
M. G. Tomillo
2010
Corpus ID: 146544074
El trabajo analiza las conductas omisivas que, dentro del sistema penal espanol, tienen a personas mayores como sujetos pasivos…
Expand
2005
2005
The Effectiveness of ESC (Electronic Stability Control) in Reducing Real Life Crashes and Injuries
A. Lie
,
C. Tingvall
,
M. Krafft
,
A. Kullgren
2005
Corpus ID: 40433087
ESC (Electronic Stability Control) was introduced on the mass market in 1998. Since then, several studies showing the positive…
Expand
Review
2004
Review
2004
GOLDFARB and ALANI 1 Distinct roles for the Saccharomyces cerevisiae mismatch repair proteins in heteroduplex rejection , mismatch repair , and non-homologous tail removal
Tamara Goldfarb
,
E. Alani
2004
Corpus ID: 17262004
The Saccharomyces cerevisiae mismatch repair (MMR) protein MSH6 and the SGS1 helicase were recently shown to play similarly…
Expand
2003
2003
ROMEO Project: final report
C. Oppenheim
,
S. Probets
,
Elizabeth Gadd
2003
Corpus ID: 106654463
The JISC FAIR programme aimed to “evaluate and explore different mechanisms for the disclosure and sharing of content (and the…
Expand
1970
1970
Bibliography of Diseases and Parasites of Marine Fish and Shellfish (With Emphasis on Commercially Important Species)
C. Sindermann
1970
Corpus ID: 81989692