Samuel Cate Prescott 1872-1962

Engineering the perfect cup of coffee: Samuel Prescott and the sanitary vision at MIT.

Generalized Certi cate Revocation

We introduce a language for creating and manipulating certi cates, that is, digitally signed data based on public key cryptography, and a system for revoking certi cates. Our approach provides a uniform mechanism for secure distribution of pubic key bindings, authorizations, and revocation information. An external language for the description of these and other forms of data is compiled into an...

Unary Negation * Balder Ten Cate

We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable. These logics generalize many interesting known formalisms, including modal logic and the μ-calculus, as well as conjunctive queries and monadic Datalog. We show that satisfiability and finite satisfiability are decidable for both fragments, ...

Jeq50458 1863..1872

This report evaluates a vacuum-assisted walled percolation sampler preconditioned in soil, and examines the dynamic response of leachate solutes. The 20-cm walled percolation sampler extracted soil water under continuous tension via a ceramic cup collector embedded in a silica flour layer, whose upper surface interfaced with field soil. In the laboratory, alternating solutions with high and low...

Op-cbio150045 1872..1874

Summary: The association of organisms to their environments is a key issue in exploring biodiversity patterns. This knowledge has traditionally been scattered, but textual descriptions of taxa and their habitats are now being consolidated in centralized resources. However, structured annotations are needed to facilitate large-scale analyses. Therefore, we developed ENVIRONMENTS, a fast dictiona...