Cell growth is a complex phenotype widely used in systems biology to gauge the impact of genetic and environmental perturbations. Due to the magnitude of genome-wide studies, resolution is often sacrificed in favor of throughput, creating a demand for scalable, time-resolved, quantitative methods of growth assessment. We present ODELAY (One-cell Doubling Evaluation by Living Arrays of Yeast), a...

The natural, prehuman abundance of most large predators is unknown because of the lack of historical data and a limited understanding of the natural factors that control their populations. Determining the supportable predator biomass at a given location (that is, the predator carrying capacity) would help managers to optimize protection and would provide site-specific recovery goals. We assess ...

Proof-carrying code approaches aim at the safe execution of untrusted code by having the code producer attach a safety proof to the code which the code consumer only has to validate. Depending on the type of safety property, proofs can however become quite large and their validation though faster than their construction still time consuming. Programs from Proofs is a new concept for the safe ex...

Mobile code is an exciting new technology. By its very nature, however, it is fraught with inherent security risks. In the paper, we give an overview of some of the techniques for securing mobile code environments that have been suggested and deployed. We examine the sandbox approach, code signing, hybrid approaches, rewalling techniques and proof carrying code. The relative merits of each appr...

We show that the payoff to barrier options can be replicated when the underlying price process is driven by the difference of two independent Poisson processes. The replicating strategy employs simple semi-static positions in co-terminal standard options. We note that classical dynamic replication using just the underlying asset and a riskless asset is not possible in this context. When the und...

In this paper, load-carrying capacity in steel shear wall (SSW) was estimated using artificial neural networks (ANNs). The SSW parameters including load-carrying capacity (as ANN’s target), plate thickness, thickness of stiffener, diagonal stiffener distance, horizontal stiffener distance and gravity load (as ANN’s inputs) are used in this paper to train the ANNs. 144 samples data of each of th...

planning robot trajectory is a complex task that plays a significant role in design and application of robots in task space. the problem is formulated as a trajectory optimization problem which is fundamentally a constrained nonlinear optimization problem. open-loop optimal control method is proposed as an approach for trajectory optimization of cable parallel manipulator for a given two-end-po...

Finite element method and fiber model were used to calculate the load-carrying capacity of specimens. Based on experimental theoretical analysis, simplified calculation for this kind member is proposed. It indicates that finite result relatively small, accords well with result. Circular reinforced concrete members covered steel tube presents both characteristics filled member, showing higher gr...