Skip to search formSkip to main contentSkip to account menu

Ariadne <plant>

Known as: Ariadne 
National Institutes of Health

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
In many applicative fields, there is the need to model and design complex systems having a mixed discrete and continuous behavior… 
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.
2012
2012
Microclimate monitoring of Ariadne’s house (Pompeii, Italy) for preventive conservation of fresco paintings
BackgroundAriadne’s house, located at the city center of ancient Pompeii, is of great archaeological value due to the fresco… 
Highly Cited
2009
Highly Cited
2009
Ariadne: a database search engine for identification and chemical analysis of RNA using tandem mass spectrometry data
We present here a method to correlate tandem mass spectra of sample RNA nucleolytic fragments with an RNA nucleotide sequence in… 
2006
2006
Ariadne: a framework for reachability analysis of hybrid automata
In this paper we introduce the problem of reachability analysis of hybrid automata to decide safety properties. Then we describe… 
Highly Cited
2004
Highly Cited
2004
The self-consistent 3D trajectory electrostatic code ARIADNE for gyrotron beam tunnel simulation
We present a new parallel code for gyrotron beam tunnel simulation. It is a three dimensional, electrostatic, self-consistent and… 
Highly Cited
2003
Highly Cited
2003
Human homologue of ariadne promotes the ubiquitylation of translation initiation factor 4E homologous protein, 4EHP
2002
2002
Conservation management recommendations for the Karkloof blue butterfly, Orachrysops ariadne (Lepidoptera: Lycaenidae)
The threatened Karkloof blue butterfly, Orachrysops ariadne (Butler), is endemic to KwaZulu-Natal province, South Africa. Two of… 
1996
1996
Ariadne: Architecture of a Portable Threads System Supporting Thread Migration
Threads exhibit a simply expressed and powerful form of concurrency, easily exploitable in applications that run on both uni‐ and… 
1995
1995
Ariadne: Architecture of a Portable Threads system supporting Mobile Processes
TIrreads possess a simply expressed and powerful fonn of concurrency, easily exploitable in applications that run on both uniand… 
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