Radiation Information from 1958 δ2

The telemetered radiation information from the satellite 1958 δ2 (Sputnik III) has been analyzed for sixty-two separate passes recorded in College, Alaska. The data indicate a dependence of radiation intensity on altitude in the range 250-500 km. Both the high and low energy components apparently contribute to the overall increase of intensity with altitude, but the presence of a continuous afterglow in the scintillating crystal prevented detailed interpretation of the results.IGY Project No. 32.42 NSF Grant No. Y/32.42/268Ye

Intrinsic mechanism of phase locking in two-dimensional Josephson junction networks in presence of an external magnetic field

We present numerical simulations of the dynamics of two-dimensional Josephson junction arrays to study the mechanism of mutual phase locking. We show that in the presence of an external magnetic field two mechanisms are playing a role in phase locking: feedback through the external load and internal coupling between rows due to microwave currents induced by the field. We have found the parameter values (junction capacitance, cell loop inductance, impedance of the external load) for which the interplay of both these mechanisms leads to the in-phase solution. The case of unshunted arrays is discussed as well.Comment: 13 pages, incl. 6 ps figures, Subm. to Europhysics Letter

Theory of phase-locking in generalized hybrid Josephson junction arrays

A recently proposed scheme for the analytical treatment of the dynamics of two-dimensional hybrid Josephson junction arrays is extended to a class of generalized hybrid arrays with ''horizontal'' shunts involving a capacitive as well as an inductive component. This class of arrays is of special interest, because the internal cell coupling has been shown numerically to favor in-phase synchronization for certain parameter values. As a result, we derive limits on the circuit design parameters for realizing this state. In addition, we obtain formulas for the flux-dependent frequency including flux-induced switching processes between the in-phase and anti-phase oscillation regime. The treatment covers unloaded arrays as well as arrays shunted via an external load.Comment: 24 pages, REVTeX, 5 Postscript figures, Subm. to Phys. Rev.

JMassBalance: mass-balanced randomization and analysis of metabolic networks

Summary: Analysis of biological networks requires assessing the statistical significance of network-based predictions by using a realistic null model. However, the existing network null model, switch randomization, is unsuitable for metabolic networks, as it does not include physical constraints and generates unrealistic reactions. We present JMassBalance, a tool for mass-balanced randomization and analysis of metabolic networks. The tool allows efficient generation of large sets of randomized networks under the physical constraint of mass balance. In addition, various structural properties of the original and randomized networks can be calculated, facilitating the identification of the salient properties of metabolic networks with a biologically meaningful null model

Boom: Taking Boolean Program Model Checking One Step Further

We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction, where thread counters are used in a program-context aware way. While designed for bounded counters, this method also integrates well with the Karp-Miller tree construction for vector addition systems, resulting in a reachability engine for programs with unbounded thread creation. The concurrent version of Boom is implemented using BDDs and includes partial order reduction methods. Boom is intended for model checking system-level code via predicate abstraction. We present experimental results for the verification of Boolean device driver models

Label-Free 3D Imaging of Development of Cell Patterns in Drosophila melanogaster Wing Imaginal Disc

Extended abstract of a paper presented at Microscopy and Microanalysis 2011 in Nashville, Tennessee, USA, August 7-August 11, 201

Sequential organizing activities of engrailed, hedgehog and decapentaplegic in the Drosophila wing.

The Drosophila wing is formed by two cell populations, the anterior and posterior compartments, which are distinguished by the activity of the selector gene engrailed (en) in posterior cells. Here, we show that en governs growth and patterning in both compartments by controlling the expression of the secreted proteins hedgehog (hh) and decapentaplegic (dpp) as well as the response of cells to these signaling molecules. First, we demonstrate that en activity programs wing cells to express hh whereas the absence of en activity programs them to respond to hh by expressing dpp. As a consequence, posterior cells secrete hh and induce a stripe of neighboring anterior cells across the compartment boundary to secrete dpp. Second, we demonstrate that dpp can exert a long-range organizing influence on surrounding wing tissue, specifying anterior or posterior pattern depending on the compartmental provenance, and hence the state of en activity, of the responding cells. Thus, dpp secreted by anterior cells along the compartment boundary has the capacity to organize the development of both compartments. Finally, we report evidence suggesting that dpp may exert its organizing influence by acting as a gradient morphogen in contrast to hh which appears to act principally as a short range inducer of dpp

Experimental Critical Current Patterns in Josephson Junction Ladders

We present an experimental and theoretical study of the magnetic field dependence of the critical current of Josephson junction ladders. At variance with the well-known case of a one-dimensional (1D) parallel array of Josephson junctions the magnetic field patterns display a single minimum even for very low values of the self-inductance parameter $\beta_{\rm L}$. Experiments performed changing both the geometrical value of the inductance and the critical current of the junctions show a good agreement with numerical simulations. We argue that the observed magnetic field patterns are due to a peculiar mapping between the isotropic Josephson ladder and the 1D parallel array with the self-inductance parameter $\beta_{\rm L}^{\rm eff}=\beta_{\rm L}+2$.Comment: 4 pages, 4 picture

Direct and long-range action of a DPP morphogen gradient.

During development of the Drosophila wing, the decapentaplegic (dpp) gene is expressed in a stripe of cells along the anteroposterior compartment boundary and gives rise to a secreted protein that exerts a long-range organizing influence on both compartments. Using clones of cells that express DPP, or in which DPP receptor activity has been constitutively activated or abolished, we show that DPP acts directly and at long range on responding cells, rather than by proxy through the short-range induction of other signaling molecules. Further, we show that two genes, optomotor-blind and spalt are transcriptionally activated at different distances from DPP-secreting cells and provide evidence that these genes respond to different threshold concentrations of DPP protein. We propose that DPP acts as a gradient morphogen during wing development