A model is developed to describe the reversible nature of gecko dry adhesion. The central aspect of this model is that the seta can be easily peeled away from the contacting surface by a small moment at the contact tip. It is shown that this contact condition is very sensitive,...
New genera and species of Jumping Ground Bugs (Hemiptera: Schizopteridae) are described in Dominican and Burmese amber. In Dominican amber are described: Hypselosoma dominicana Poinar and Brown sp. n., Schizoptera dominicana Poinar sp. n. and Schizoptera hispaniolae Poinar sp. n. In Burmese amber are described: Lumatibialis burmitis Poinar gen. et...
Spanish Abstract:
El descubrimiento de un depósito de artefactos conteniendo puntas de proyectil en la
Tradición de Tallo Occidental (Western Stemmed Tradition) en una fosa claramente
definida, en el sitio de Cooper’s Ferry, ofrece una perspectiva única sobre la tecnología
lítica temprana y organización logística en el Occidente de América...
Granulocytes are currently transfused as soon as possible after collection because they rapidly deteriorate after being removed from the body. This short shelf life complicates the logistics of granulocyte collection, banking and safety testing. Cryopreservation has the potential to significantly increase shelf life; however, cryopreservation of granulocytes has proven to...
The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory...
We report an inverse relationship between measurable porosity values and reversible capacity from sucrose-derived hard carbon as an anode for sodium-ion batteries (SIBs). Materials with low measureable pore volumes and surface areas obtained through N₂ sorption yield higher reversible capacities. Conversely, increasing measurable porosity and specific surface area leads to...
Molecular dynamics (MD) simulations are used to study, in detail, the transfer of thermal (vibrational) energy between objects with discrete vibrational spectra to those with a semi-continuum of spectra. The transfer of energy is stochastic and strongly dependent on the instantaneous separation between the bodies. The insight from the MD...
Aqueous complexation of Th(IV), U(IV), Np(IV), Pu(III/IV), and Ce(III/IV) with DTPA was studied by potentiometry, absorption spectrophotometry, and cyclic voltammetry at 1 M ionic strength and 25 °C. The stability constants for the 1:1 complex of each trivalent and tetravalent metal were calculated. From the potentiometric data, we report stability...
In this paper we discuss the application of a range of techniques to the
verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory.
For this type of application we want to achieve a higher level of confidence than can
be achieved through standard software testing. Unfortunately, given the current...