In-situ growth optimization in focused electron-beam induced deposition

We present the application of an evolutionary genetic algorithm for the in-situ optimization of nanostructures prepared by focused electron-beam-induced deposition. It allows us to tune the properties of the deposits towards highest conductivity by using the time gradient of the measured in-situ rate of change of conductance as fitness parameter for the algorithm. The effectiveness of the procedure is presented for the precursor W(CO)6 as well as for post-treatment of Pt-C deposits obtained by dissociation of MeCpPt(Me)3. For W(CO)6-based structures an increase of conductivity by one order of magnitude can be achieved, whereas the effect for MeCpPt(Me)3 is largely suppressed. The presented technique can be applied to all beam-induced deposition processes and has great potential for further optimization or tuning of parameters for nanostrucures prepared by FEBID or related techniques

Guerrerostrongylus marginalis n. sp. (Trichostrongyloidea: Heligmonellidae) from the Guianan arboreal mouse (Oecomys auyantepui) from French Guiana

Based on the number and arrangement of cuticular ridges and configuration of the dorsal ray, nematode specimens collected from the small intestine of eight Guianan arboreal mice, Oecomys auyantepui (Rodentia: Sigmodontinae), in French Guiana are herein described and characterized. Guerrerostrongylus marginalis n. sp. (Heligmosomoidea: Heligmonellidae) shows a synlophe consisting of more than 40 ridges and a unique bursal arrangement with ray 8 (externo-dorsal) extending to the edge of the bursal margin, and appearing more prominent than the dorsal ray. This bursal arrangement is common in members of Hassalstrongylus Durette-Desset, 1971, but uncommon in the other four species in Guerrerostrongylus Sutton & Durette-Desset, 1991. The placement of the new species in Guerrerostrongylus is based on the number and nature of cuticular ridges and the ray arrangement and symmetry of the caudal bursa. Diagnostic characteristics of Guerrerostrongylus marginalis n. sp. include the length of ray 8 relative to bursal margin, the relative size of the spicules and vestibule, and the number of eggs in the uterus. We propose an amendment to the generic diagnosis of Guerrerostrongylus to modify the characters of the long rays 6 (postero-lateral), rays 8 (externo-dorsal), and dorsal ray as diagnostic, since at least ray 6 appears to be short in two different species in the genus, namely G. ulysi Digiani, Notarnicola & Navone, 2012 and G. marginalis n. sp

A cycling state that can lead to glassy dynamics in intracellular transport

Power-law dwell times have been observed for molecular motors in living cells, but the origins of these trapped states are not known. We introduce a minimal model of motors moving on a two-dimensional network of filaments, and simulations of its dynamics exhibit statistics comparable to those observed experimentally. Analysis of the model trajectories, as well as experimental particle tracking data, reveals a state in which motors cycle unproductively at junctions of three or more filaments. We formulate a master equation for these junction dynamics and show that the time required to escape from this vortex-like state can account for the power-law dwell times. We identify trends in the dynamics with the motor valency for further experimental validation. We demonstrate that these trends exist in individual trajectories of myosin II on an actin network. We discuss how cells could regulate intracellular transport and, in turn, biological function, by controlling their cytoskeletal network structures locally

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455