27,054 research outputs found

    The Joint Airport Weather Studies (JAWS) project

    Get PDF
    A block diagram of the joint airport weather studies program is presented. Background leading to the development of the program is reviewed. Basic studies, aircraft performance, and detection and warning techniques used to develop fine scale structure of thunderstorm dynamics and kinematics in the vicinity of a major airport; effect of thunderstorm low level wind shear on aircraft performance; and development of real time testing of flow level wind shear detection and warning techniques and displays are described

    Elementary particles, holography and the BMS group

    Full text link
    In the context of asymptotically flat space-times, it has been suggested to label elementary particles as unitary irreducible representations of the BMS group. We analyse this idea in the spirit of the holographic principle advocating the use of this definition.Comment: 5 pages, revtex Several comments added, enhanced bibliograph

    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

    Full text link
    Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

    A mathematical morphology approach for a qualitative exploration of drought events in space and time

    Get PDF
    Drought events occur worldwide and possibly incur severe consequences. Trying to understand and characterize drought events is of considerable importance in order to improve the preparedness for coping with future events. In this paper, we present a methodology that allows for the delineation of drought events by exploiting their spatiotemporal nature. To that end, we apply operators borrowed from mathematical morphology to represent drought events as connected components in space and time. As an illustration, we identify drought events on the basis of a 35-year data set of daily soil moisture values covering mainland Australia. We then extract characteristics reflecting the affected area, duration and intensity from the proposed representation of a drought event in order to illustrate the impact of tuning parameters in the methodology presented. Yet, this paper we refrain from comparing with other drought delineation methods

    The Watchers of the Water

    Get PDF
    N/
    corecore