Results 1 to 10 of about 333,019 (243)
A tardigrade in Dominican amber [PDF]
Proceedings of the Royal Society B: Biological Sciences, 2021 Tardigrades are a diverse group of charismatic microscopic invertebrates that are best known for their ability to survive extreme conditions. Despite their long evolutionary history and global distribution in both aquatic and terrestrial environments, the tardigrade fossil record is exceedingly sparse.
Ninon Robin +6 more
openaire +3 more sources
The probabilistic termination tool amber [PDF]
Formal Methods in System Design, 2021 AbstractWe describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner. Amber combines martingale theory with properties of asymptotic bounding functions and implements relaxed versions of existing probabilistic termination proof rules to prove ...
Moosbrugger, Marcel +3 more
openaire +4 more sources
The first fossil cyphophthalmid harvestman from Baltic amber [PDF]
, 2011 The first fossil cyphophthalmid harvestman (Opiliones: Cyphophthalmi) from Palaeogene (Eocene) Baltic amber is described. This is only the third fossil example of this basal harvestman lineage; the others being from the probably slightly younger ...
Dunlop, Jason A., Mitov, Plamen G.
core +2 more sources
Current Biology, 2019 David Grimaldi introduces amber and the fossils contained therein.
openaire +2 more sources
A microworld in Triassic amber [PDF]
Nature, 2006 Amber provides an effective medium for conservation of soft-bodied microorganisms, but finds older than 135 million years are very rare and have not so far contained any microbial inclusions. Here we describe 220-million-year-old droplets of amber containing bacteria, fungi, algae and protozoans that are assignable to extant genera.
SCHMIDT AR +3 more
openaire +5 more sources
Regularities of hydromechanical amber extraction from sandy deposits [PDF]
, 2019 Purpose is to analyze the efficiency of hydromechanical amber extraction from sandy deposits relying upon the determined regularities concerning the effect of parameters while carrying out a series of laboratory tests and full-scale experiments. Methods.
Khrystyuk, A +5 more
core +1 more source
"Advanced" data reduction for the AMBER instrument [PDF]
, 2008 The amdlib AMBER data reduction software is meant to produce AMBER data products from the raw data files that are sent to the PIs of different proposals or that can be found in the ESO data archive.
Millour, Florentin +3 more
core +5 more sources
Testing evolutionary tracks of Pre-Main Sequence stars: the case of HD113449 [PDF]
, 2008 Evolutionary tracks are of key importance for the understanding of star formation. Unfortunately, tracks published by various groups differ so that it is fundamental to have observational tests. In order to do this, we intend to measure the masses of the
E. Covino +6 more
core +2 more sources
First AMBER/VLTI observations of hot massive stars [PDF]
, 2005 AMBER is the first near infrared focal instrument of the VLTI. It combines three telescopes and produces spectrally resolved interferometric measures. This paper discusses some preliminary results of the first scientific observations of AMBER with three ...
Accardo, M. +50 more
core +3 more sources