Scott’s information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a newSeely category), with a “set-theoretic” interpretation of exponentials that recovers Scott conti...

The behaviour of a simple chemical reaction, occurring with the release of heat in a closed batch reactor, is considered for the situation when matter and heat are transported only by diffusive processes; thus, the reacting fluid has negligible velocity, so that heat transfer is by thermal conduction. The reaction is Sal'nikov's, which consists of two, consecutive first-order steps, producing a...

BACKGROUND Available alfentanil pharmacokinetic (PK) sets for target-controlled infusion (TCI) were derived from populations with normal BMI. The performance and accuracy of the models devised by Maitre and colleagues and Scott and colleagues were evaluated in a population including morbidly obese patients. METHODS Alfentanil TCI using Maitre and colleagues' model was administered to 10 obese...

We consider a nonlocal eigenvalue problem which arises in the study of stability of spike solutions for reaction-diffusion systems with fractional reaction rates such as the Sel’kov model, the Gray-Scott system, the hypercycle Eigen and Schuster, angiogenesis, and the generalized Gierer-Meinhardt system. We give some sufficient and explicit conditions for stability by studying the corresponding...

(Scott noted that they didn’t invent these concepts. “These are all things that have been studied by different people over the last 30 or 40 years.”) According to Scott, developing a mathematical model will help define both the concentration of CTCs and their phenotypic distribution at any given point in the network, as well as organ-specific filtration values. “We recognize that each of these ...