We present numerically derived orbits and mass estimates for the inner Saturnian satellites, Atlas, Prometheus, Pandora, Janus, and Epimetheus from a fit to 2580 new Cassini Imaging Science Subsystem astrometric observations spanning 2004 February to 2013 August. The observations are provided as machine-readable and Virtual Observatory tables. We estimate GMAtlas = (0.384± 0.001) × 10 −3 km s, ...

Pandora is a recently proposed technique that extends classical Fault Tree Analysis to incorporate the effects of the temporal ordering of failure events. In this paper, we extend the conceptual foundation of Pandora with a new Priority-OR (POR) gate and we introduce the concept of a Temporal Truth Table as a mechanism that can be used to prove equivalence of expressions in Pandora logic. We al...

What is Pandora Syndrome ? Is this terminology more helpful than FUS or FLUTD or IC ? Results of studies over the past 20 years indicate that idiopathic/interstitial cystitis in cats is the result of complex interactions between the bladder, nervous system, adrenal glands, husbandry practices, and the environment in which the cat lives. A recent review emphasizes that many cats with a diagnosis...

The extension of logic programming with abduction (ALP) allows a form of hypothetical reasoning. The advantages of abduction lie in the ability to reason with incomplete information and the enhancement of the declarative representation of problems. On the other hand, concurrent logic programming is a framework which explores AND-parallelism and/or ORparallelism in logic programs in order to eff...

Recent advances in high-throughput methods and the application of computational tools for automatic classification of proteins have made it possible to carry out large-scale proteomic analyses. Biological analysis and interpretation of sets of proteins is a time-consuming undertaking carried out manually by experts. We have developed PANDORA (Protein ANnotation Diagram ORiented Analysis), a web...

The statistical machine translation (SMT) approach has taken a lead place in the field of Machine Translation for its better translation quality and lower cost in training compared to other approaches. However, due to the high demand of computing resources, an SMT system can not be directly run on hand-held devices. Most existing hand-held translation systems are either interlingua-based, which...

This paper contributes a new model for Design Research that extends existing approaches by taking into account the neglected areas of design seeking and scaling in the underexplored area of workplace informal learning; we place an emphasis on design that is based on a new empirically base. We use PANDORA as an exemplary case study to identify and illustrate the research benefits of the Design S...