We present the tool UFIT (Uppaal Fault Injector for Timed automata). In UFIT, we model five types of faults, namely, message loss, transient, byzantine, stuck-at, and fail-stop faults. Given the fault-free timed automata model and the selection of a type of fault, UFIT models the faults and generates the fault-affected timed automata model automatically. As a result, the designer can analyze th...

We show that the mechanism of quantum freeze of fidelity decay for perturbations with a zero time average, recently discovered for a specific case of integrable dynamics [New J. Phys. 5, 109 (2003)], can be generalized to arbitrary quantum dynamics. We work out explicitly the case of a chaotic classical counterpart, for which we find semiclassical expressions for the value and the range of the ...

We report on optical transmission studies of three-dimensionally ordered photonic crystals of close-packed spherical shells. These samples are fabricated using a double-template method, which allows for extensive control over shell thickness. The transmission spectra exhibit an optical stop band, whose spectral position and width depend on the thickness of the shell and on the overlap between a...

Terminal differentiation is the process by which cycling cells stop proliferating to start new specific functions. It involves dramatic changes in chromatin organization as well as gene expression. In the present report we used cell flow cytometry and genome wide DNA combing to investigate DNA replication during murine erythroleukemia-induced terminal cell differentiation. The results obtained ...

Eight years after the Lawrence Inquiry, the question of police powers to stop and search people in public places remains at the forefront of debate about police community relations. Police are empowered to stop and search citizens under a wide range of legislative acts and the power is employed daily across Britain. Far from laying the debate to rest, the Lawrence Inquiry prompted new research ...

BACKGROUND Smoking-cessation treatment policies could yield substantial increases in adult quit rates in the U.S. PURPOSE The goals of this paper are to model the effects of individual cessation treatment policies on population quit rates, and to illustrate the potential benefits of combining policies to leverage their synergistic effects. METHODS A mathematical model is updated to examine ...

AIMS To compare abrupt and gradual smoking cessation. DESIGN AND SETTING Randomized trial and observational study, Internet, 2007-2010. PARTICIPANTS Smokers with no strong preference for abrupt or gradual quitting were randomly assigned to quitting immediately (n=472), or to gradually reducing their cigarette consumption over 2 weeks and then quit (n=502). Smokers who strongly preferred to ...

Fail-stop signature (FSS) schemes protect a signer against a forger with unlimited computational power by enabling the signer to provide a proof of forgery, if it occurs. In this paper, we show a flaw in a previously proposed fail-stop signature that is based on the difficulty of factorization, and then describe a secure scheme based on the same assumption.