787 research outputs found

    Vacuum arc plasma thrusters with inductive energy storage driver

    Get PDF
    An apparatus for producing a vacuum arc plasma source device using a low mass, compact inductive energy storage circuit powered by a low voltage DC supply acts as a vacuum arc plasma thruster. An inductor is charged through a switch, subsequently the switch is opened and a voltage spike of Ldi/dt is produced initiating plasma across a resistive path separating anode and cathode. The plasma is subsequently maintained by energy stored in the inductor. Plasma is produced from cathode material, which allows for any electrically conductive material to be used. A planar structure, a tubular structure, and a coaxial structure allow for consumption of cathode material feed and thereby long lifetime of the thruster for long durations of time

    Review on efficiency and anomalies in stock markets

    Get PDF
    The efficient-market hypothesis (EMH) is one of the most important economic and financial hypotheses that have been tested over the past century. Due to many abnormal phenomena and conflicting evidence, otherwise known as anomalies against EMH, some academics have questioned whether EMH is valid, and pointed out that the financial literature has substantial evidence of anomalies, so that many theories have been developed to explain some anomalies. To address the issue, this paper reviews the theory and literature on market efficiency and market anomalies. We give a brief review on market efficiency and clearly define the concept of market efficiency and the EMH. We discuss some efforts that challenge the EMH. We review different market anomalies and different theories of Behavioral Finance that could be used to explain such market anomalies. This review is useful to academics for developing cutting-edge treatments of financial theory that EMH, anomalies, and Behavioral Finance underlie. The review is also beneficial to investors for making choices of investment products and strategies that suit their risk preferences and behavioral traits predicted

    A Spatial-Epistemic Logic for Reasoning about Security Protocols

    Full text link
    Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge propagation, usually they do not provide a general language for expressing arbitrary properties involving local knowledge and knowledge transfer. Building on this observation, we introduce a framework for security protocol analysis based on dynamic spatial logic specifications. Our computational model is a variant of existing pi-calculi, while specifications are expressed in a dynamic spatial logic extended with an epistemic operator. We present the syntax and semantics of the model and logic, and discuss the expressiveness of the approach, showing it complete for passive attackers. We also prove that generic Dolev-Yao attackers may be mechanically determined for any deterministic finite protocol, and discuss how this result may be used to reason about security properties of open systems. We also present a model-checking algorithm for our logic, which has been implemented as an extension to the SLMC system.Comment: In Proceedings SecCo 2010, arXiv:1102.516

    Evidence-based decision support for pediatric rheumatology reduces diagnostic errors.

    Get PDF
    BACKGROUND: The number of trained specialists world-wide is insufficient to serve all children with pediatric rheumatologic disorders, even in the countries with robust medical resources. We evaluated the potential of diagnostic decision support software (DDSS) to alleviate this shortage by assessing the ability of such software to improve the diagnostic accuracy of non-specialists. METHODS: Using vignettes of actual clinical cases, clinician testers generated a differential diagnosis before and after using diagnostic decision support software. The evaluation used the SimulConsult® DDSS tool, based on Bayesian pattern matching with temporal onset of each finding in each disease. The tool covered 5405 diseases (averaging 22 findings per disease). Rheumatology content in the database was developed using both primary references and textbooks. The frequency, timing, age of onset and age of disappearance of findings, as well as their incidence, treatability, and heritability were taken into account in order to guide diagnostic decision making. These capabilities allowed key information such as pertinent negatives and evolution over time to be used in the computations. Efficacy was measured by comparing whether the correct condition was included in the differential diagnosis generated by clinicians before using the software ( unaided ), versus after use of the DDSS ( aided ). RESULTS: The 26 clinicians demonstrated a significant reduction in diagnostic errors following introduction of the software, from 28% errors while unaided to 15% using decision support (p \u3c 0.0001). Improvement was greatest for emergency medicine physicians (p = 0.013) and clinicians in practice for less than 10 years (p = 0.012). This error reduction occurred despite the fact that testers employed an open book approach to generate their initial lists of potential diagnoses, spending an average of 8.6 min using printed and electronic sources of medical information before using the diagnostic software. CONCLUSIONS: These findings suggest that decision support can reduce diagnostic errors and improve use of relevant information by generalists. Such assistance could potentially help relieve the shortage of experts in pediatric rheumatology and similarly underserved specialties by improving generalists\u27 ability to evaluate and diagnose patients presenting with musculoskeletal complaints. TRIAL REGISTRATION: ClinicalTrials.gov ID: NCT02205086
    • …
    corecore