Features * Three Outputs. (1) fast output for timing; (2) linear output for pulse height analysis; (3) Neutron gate for counting neutrons or for use in coincidence with the fast or linear output. a Detects neutrons with energies from 0.5 MEV to 40 MEV. * High detection efficiency for fast neutrons with 2000:1 rejection ratio for gamma rays. * Useful with NE 311A Boron loaded liquid scintillator...

Main library for Southern Illinois University Carbondale [2] Holds more than 2.6 million volumes, 200,000 e-books, 43,000 current periodicals and serials, and over 3.6 million microform units Provides access to I-Share [3] (the statewide automated library system) and to a comprehensive array of databases and other electronic data files Offers a wide range of services, including Reference assist...

The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements.

Mathematical modelling is used to analyse the dynamic interactions between several components of a biological system, with the aim to understand the behaviour of the system as a whole. With highthroughput omics data and network analysis, hypothesis design and the use of predictive models is becoming a necessary component to understand the mechanisms underlying complex biological systems, diseas...

This means we cannot justify the correctness of the “Partition” subroutine by the Hoare’s axiom on program verification. This article is organized as follows. First, we present several fundamental properties of “while” program and finite sequence. Second, we define the “Partition” subroutine on SCMPDS, the task of which is to split a sequence into a smaller and a larger subsequence. The definit...

Medical tape that provides secure fixation of life-sustaining and -monitoring devices with quick, easy, damage-free removal represents a longstanding unmet medical need in neonatal care. During removal of current medical tapes, crack propagation occurs at the adhesive-skin interface, which is also the interface responsible for device fixation. By designing quick-release medical tape to undergo ...