65,466 research outputs found

    FIELD CROP SUBSECTOR STRUCTURE AND COMPETITION UNDER FREE TRADE: CANADA

    Get PDF
    Crop Production/Industries, International Relations/Trade,

    Turing Completeness of Finite, Epistemic Programs

    Full text link
    In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are a special type of action models: One which does not contain postconditions

    Prototype Detector for Ultrahigh Energy Neutrino Detection

    Full text link
    Necessary technical experience is being gained from successful construction and deployment of current prototype detectors to search for UHE neutrinos in Antarctica, Lake Baikal in Russia, and the Mediterranean. The prototype detectors have also the important central purpose of determining whether or not UHE neutrinos do in fact exist in nature by observation of at least a few UHE neutrino-induced leptons with properties that are not consistent with expected backgrounds. We discuss here the criteria for a prototype detector to accomplish that purpose in a convincing way even if the UHE neutrino flux is substantially lower than predicted at present.Comment: 18 pages, 8 figures, submitted to Astroparticle Physic

    Self-phase-locked frequency-by-two divider OPO with a residual fractional frequency instability of 8.1O(-18)

    Get PDF
    We directly measure the phase difference between the subharmonic waves of a self-phase-locked frequency by-2-divider OPO using a phase-sensitive detector scheme. The relative frequency instability of frequency division by 2 is measured to be 8.10(-18
    • …
    corecore