Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Ariadne <plant>

Known as: Ariadne 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
SUMMARY In many applicative fields, there is the need to model and design complex systems having a mixed discrete and… Expand
  • figure 2.1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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.
A distinct mechanism for ubiquitin (Ub) ligation has recently been proposed for the RING1-IBR-RING2 (RBR) family of E3s: an N… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2009
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Key traits in a threatened butterfly and its common sibling: implications for conservation
We ask here which traits predispose one species to extreme rarity and possible extinction while a sympatric sibling is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2004
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… Expand
Is this relevant?
2003
2003
Human homologue of ariadne promotes the ubiquitylation of translation initiation factor 4E homologous protein, 4EHP.
Human homologue of Drosophila ariadne (HHARI) is a RING-IBR-RING domain protein identified through its ability to bind the human… Expand
Is this relevant?
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… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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