This paper presents advanced features of a fault tree solver FTREX (Fault Tree Reliability Evaluation eXpert). Fault tree analysis is one of the most commonly used methods for the safety analysis of industrial systems especially for the probabilistic safety analysis (PSA) of nuclear power plants. Fault trees are solved by the classical Boolean algebra[1,2], conventional Binary Decision Diagram ...

The development of structured programs is carried out either using bottom-up techniques, or top-down techniques; we show how refinement and proof can be used to help in the top-down development of structured imperative programs. When a problem is stated, the incremental proof-based methodology of event B starts by stating a very abstract model and further refinements lead to finer-grain event-b...

A simpler neural-network approach is presented for the analysis of the top quark non-leptonic decay channel in events of the D0 Collaboration. Results for the top quark signal are comparable to those found by the D0 Collaboration by a more elaborate handling of the event information used as input to the neural network. R. Odorico: NN study of t t → non-leptonic 2 2

OBJECTIVE Some patients diagnosed with disorders of consciousness retain sensory and cognitive abilities beyond those apparent from their overt behavior. Characterizing these covert abilities is crucial for diagnosis, prognosis, and medical ethics. This multimodal study investigates the relationship between electroencephalographic evidence for perceptual/cognitive preservation and both overt an...

We briefly discuss the current status of NLO QCD automation in the Monte Carlo event generator WHIZARD. The functionality is presented for the explicit study of off-shell top quark production with associated backgrounds at a lepton collider.

Title: An Exploratory Data Survey of Drug Name Incidence and Prevalence From the FDA's Adverse Event Reporting System, 2004-2012Q2 Purpose: To count and monitor the drug names reported in the publicly available version of the Federal Adverse Event Reporting System (FAERS) from 2004-2012Q2 in a maximized sensitivity relational model. Methods: Data mining and data modeling was conducted and event...

For large-scale distributed applications such as internet-wide or ubiquitous systems, event-based communication is an effective messaging mechanism between components. In order to handle the large volume of events in such systems, composite event detection enables application components to express interest in the occurrence of complex patterns of events. In this paper, we introduce a general co...

While joint models have been developed for many NLP tasks, the vast majority of event coreference resolvers, including the top-performing resolvers competing in the recent TAC KBP 2016 Event Nugget Detection and Coreference task, are pipelinebased, where the propagation of errors from the trigger detection component to the event coreference component is a major performance limiting factor. To a...

The quantity of information available on the World Wide Web is staggering. The average computer user is unable to stay abreast of changes and newly available resources. The main deterrence to keeping users informed is that the Web is still largely a passive medium and only ad-hoc mechanisms for notifying users are possible. This paper assumes that wide-area event notification is the natural mis...

We propose a new method for reconstructing an effective spin direction of a semi-leptonically decayed top quark. The method is simple: for instance, it does not require the spin information of the antitop quark in a tt̄ event. The reconstructed effective spin is expected to be useful in hadron collider experiments. We demonstrate its usefulness in an analysis of the top decay vertex. After ten y...