Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,675,181 papers from all fields of science
Search
Sign In
Create Free Account
Ariadne <plant>
Known as:
Ariadne
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
L. Benvenuti
,
D. Bresolin
,
Pieter Collins
,
A. Ferrari
,
L. Geretti
,
T. Villa
2014
Corpus ID: 56549274
In many applicative fields, there is the need to model and design complex systems having a mixed discrete and continuous behavior…
Expand
Highly Cited
2013
Highly Cited
2013
Structure of HHARI, a RING-IBR-RING ubiquitin ligase: autoinhibition of an Ariadne-family E3 and insights into ligation mechanism.
D. Duda
,
Jennifer L. Olszewski
,
+5 authors
B. Schulman
Structure
2013
Corpus ID: 887915
2012
2012
Microclimate monitoring of Ariadne’s house (Pompeii, Italy) for preventive conservation of fresco paintings
P. Merello
,
F. García-Diego
,
M. Zarzo
Chemistry Central Journal
2012
Corpus ID: 15407836
BackgroundAriadne’s house, located at the city center of ancient Pompeii, is of great archaeological value due to the fresco…
Expand
Highly Cited
2009
Highly Cited
2009
Ariadne: a database search engine for identification and chemical analysis of RNA using tandem mass spectrometry data
H. Nakayama
,
Misaki Akiyama
,
+5 authors
T. Isobe
Nucleic acids research
2009
Corpus ID: 17818826
We present here a method to correlate tandem mass spectra of sample RNA nucleolytic fragments with an RNA nucleotide sequence in…
Expand
2006
2006
Ariadne: a framework for reachability analysis of hybrid automata
A. Balluchi
,
A. Casagrande
,
Pieter Collins
,
A. Ferrari
,
T. Villa
,
A. Sangiovanni-Vincentelli
2006
Corpus ID: 6556574
In this paper we introduce the problem of reachability analysis of hybrid automata to decide safety properties. Then we describe…
Expand
Highly Cited
2004
Highly Cited
2004
The self-consistent 3D trajectory electrostatic code ARIADNE for gyrotron beam tunnel simulation
J. Pagonakis
,
J. Vomvoridis
Infrared and Millimeter Waves, Conference Digest…
2004
Corpus ID: 25786648
We present a new parallel code for gyrotron beam tunnel simulation. It is a three dimensional, electrostatic, self-consistent and…
Expand
Highly Cited
2003
Highly Cited
2003
Human homologue of ariadne promotes the ubiquitylation of translation initiation factor 4E homologous protein, 4EHP
N. Tan
,
H. Ardley
,
G. Scott
,
S. A. Rose
,
A. Markham
,
P. Robinson
FEBS letters
2003
Corpus ID: 25441190
2002
2002
Conservation management recommendations for the Karkloof blue butterfly, Orachrysops ariadne (Lepidoptera: Lycaenidae)
S-S. Lu
,
M. Samways
2002
Corpus ID: 82249924
The threatened Karkloof blue butterfly, Orachrysops ariadne (Butler), is endemic to KwaZulu-Natal province, South Africa. Two of…
Expand
1996
1996
Ariadne: Architecture of a Portable Threads System Supporting Thread Migration
E. Mascarenhas
,
V. Rego
Softw. Pract. Exp.
1996
Corpus ID: 3107554
Threads exhibit a simply expressed and powerful form of concurrency, easily exploitable in applications that run on both uni‐ and…
Expand
1995
1995
Ariadne: Architecture of a Portable Threads system supporting Mobile Processes
E. Mascarenhas
,
V. Rego
1995
Corpus ID: 4566743
TIrreads possess a simply expressed and powerful fonn of concurrency, easily exploitable in applications that run on both uniand…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE