Zobrazeno 1 - 10
of 301
pro vyhledávání: '"Norman F Ramsey"'
Autor:
Norman F. Ramsey
Publikováno v:
J Res Natl Bur Stand (1977)
The history of atomic and molecular standards of time and frequency is traced from the earliest work on molecular and atomic beam resonance techniques to more recent developments that promise improved standards in the future. The various devices curr
Publikováno v:
BCB
We introduce MRFy, a tool for protein remote homology detection that captures beta-strand dependencies in the Markov random field. Over a set of 11 SCOP beta-structural superfamilies, MRFy shows a 14 percent improvement in mean Area Under the Curve f
Autor:
Norman F. Ramsey, Chung-chieh Shan
Publikováno v:
POPL
Bayesian inference, of posterior knowledge from prior knowledge and observed evidence, is typically defined by Bayes's rule, which says the posterior multiplied by the probability of an observation equals a joint probability. But the observation of a
Publikováno v:
ICFP
Haskell gives computational biologists the flexibility and rapid prototyping of a scripting language, plus the performance of native code. In our experience, higher-order functions, lazy evaluation, and monads really worked, but profiling and debuggi
Publikováno v:
POPL
We present a novel variation on the standard technique of selecting instructions by tiling an intermediate-code tree. Typical compilers use a different set of tiles for every target machine. By analyzing a formal model of machine-level computation, w
Publikováno v:
Haskell
Dataflow analysis and transformation of control-flow graphs is pervasive in optimizing compilers, but it is typically entangled with the details of a particular compiler. We describe Hoopl, a reusable library that makes it unusually easy to define ne
Autor:
Norman F. Ramsey
Publikováno v:
Electronic Notes in Theoretical Computer Science. 148:181-209
To illustrate the utility of a powerful modules language, this paper presents the embedded interpreter Lua-ML. The interpreter combines extensibility and separate compilation without compromising type safety. Its types are extended by applying a sum
Publikováno v:
Science & Justice. 45:207-226
We have revisited the acoustic evidence in the Kennedy assassination--recordings of the two Dallas police radio channels upon which our original NRC report (Ramsey NF et al., Report of the Committee on Ballistic Acoustics. National Research Council (
Autor:
Norman F. Ramsey
Publikováno v:
Journal of Modern Optics. 52:1647-1651
Two different topics are discussed: (1) early (1950) stimulated emission amplification observed with a pure LiF crystal having an inverted population of the nuclear spin system and (2) the atomic H-maser.
Autor:
Norman F. Ramsey
Publikováno v:
Journal of Functional Programming. 13:601-646
When writing a program generator requires considerable intellectual effort, it is valuable to amortize that effort by using the generator to build more than one application. When a program generator serves multiple clients, however, the implementor m