Run-time monitors ensure that untrusted software and system behavior adheres to a security policy. This paper defines an expressive formal framework, based on I/O automata, for modeling systems, policies, and run-time monitors in more detail than is typical. We explicitly model, for example, the environment, applications, and the interaction between them and monitors. The fidelity afforded by t...

Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copyright owners. For more information on Open Research Online's data policy on reuse of materials please consult the policies page. We propose schemes of controlled-Z and controlled-NOT gates with ultracold neutral atoms based on deterministic phase accumulation during double adiabatic ...

March, 2000 AFRICA N John Cohen was a product of the democratic frontier ethos of the American West. A rigorous stickler for accuracy of detail and fidelity to the facts, he was at the same time an unwavering optimist. His writing and teaching was infused with a moral vision––that ordinary men and women are endowed with the innate capacity to solve their common problems, to learn from mistakes ...

Everyday listening involves a complex interplay between the ear, which transduces sound energy into neural responses, and the brain, which makes sense of these inputs. Historically, research on the ear tended to ignore the fact that what we can perceive in sound depends on what task the brain is engaged by, while research on cortical processing of sound ignored the complexity and sophistication...

Well prepared traffic scenarios contribute greatly to the success of controller-in-the-loop simulations. This paper describes each stage in the design process of realistic scenarios based on real-world traffic, to be used in the Airspace Operations Laboratory for simulations within the Air Traffic Management Technology Demonstration 1 effort. The steps from the initial analysis of real-world tr...

Gestational diabetes(GDM) is increasing exponentially. To address this, we contend that a pervasive mobile solution that can facilitate self-care is a prudent strategy. To demonstrate proof of concept, user fidelity, usability and acceptability of such a solution a small pilot study of 10 patients was designed. A quasi-experimental approach employing a randomized control trial with a two period...

Background Kenya introduced a free maternity policy in 2013 to address the cost barrier associated with accessing maternal health services. We carried out a mixed methods process evaluation of the policy to examine the extent to which the policy had been implemented according to design, and positive experiences and challenges encountered during implementation.   Methods We conducted a mixed met...