We introduce a natural strengthening of prompt simplicity which we call strong promptness, and study its relationship with existing lowness classes. This notion provides a ≤wtt version of superlow cuppability. We show that every strongly prompt c.e. set is superlow cuppable. Unfortunately, strong promptness is not a Turing degree notion, and so cannot characterize the sets which are superlow cu...

We review the calculation of the prompt lepton flux produced in the atmosphere by the semileptonic decay of charmed particles, describing side by side the many intermediary ingredients, used by different authors, not only for the charm production model but also for the atmospheric particle showering process. We provide guidelines to further works on high-energy neutrino phe-nomenology, in the f...

We consider the synthesis of distributed implementations for specifications in Prompt Linear Temporal Logic (PROMPT–LTL), which extends LTL by temporal operators equipped with parameters that bound their scope. For single process synthesis it is well-established that such parametric extensions do not increase worst-case complexities. For synchronous systems, we show that, despite being more pow...

The Fallbrook Low-Frequency Immediate Response Telescope (FLIRT) is an experiment designed to detect prompt radio counterparts to gamma ray bursts (GRBs) at 74 MHz. FLIRT is notiied of GRBs by the BACODINE and radio observations begin as early as one minute after the detection of a GRB. The goal of FLIRT is to detect radio counterparts to GRBs and measure their distances by measuring the disper...

Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g.,...

A second order linear scalar diierential equation including a zero-th order term is approximated using rst the standard Galerkin method enriched with bubble functions. Static condensation of the bubbles suggest an unusual stabilized nite element method for which we establish a convergence study and obtain successful numerical simulations. The method is generalized to allow for a convection oper...

A permanent, full-time instrument for prompt-gamma activation analysis is nearing completion as part of the Cold Neutron Research Facility (CNRF). The design of the analytical system has been optimized for high gamma detection efficiency and low background, particularly for hydrogen. Because of the purity of the neutron beam, shielding requirements are modest and the scatter-capture background ...