Ascertaining correctness of digital hardware designs through simulation does not scale-up for large designs because of the sheer combinatorics of the problem. Formal verification of hardware designs holds promise because its computational complexity is of the order of number of different types of components (and not number of components in the design). This approach requires the specification o...

Amendment text: SEC. 509. (a) None of the funds made available in this Act may be used for-(1) the creation of a human embryo or embryos for research purposes; or (2) research in which a human embryo or embryos are destroyed, discarded, or knowingly subjected to risk of injury or death greater than that allowed for research on fetuses in utero under 45 CFR 46.204(b) and section 498(b) of the Pu...

These are remarks (mainly on the solar neutrinos) written in anticipation of 1996-the year which can be crucial for the neutrino physics. Recent results on solar neutrinos are discussed. The topics include: (solar) model independent approach to the solar neutrino problem, status of different solutions of the problem, standard and non-standard scenarios of the lepton mixing, light singlet fermio...

Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress." To learn the current status of any Internet-Draft, please check the "1id-abstracts.txt" listing contained in the Internet-Drafts Shadow D...

This study examines the role of observation during the formation of triads in female domestic hens. Results indicate that during hierarchy formation, a hen observing agonistic interactions and conflict settlement between its former dominant and a stranger uses this information when in turn confronted by the latter. Under a first condition (E, N=15 triads), bystanders witnessed their prior domin...

Retrospective analysis of archived tissue samples from bird deaths in the Tuscany region of Italy in 1996 identified Usutu virus. Partial sequencing confirmed identity with the 2001 Vienna strain and provided evidence for a much earlier introduction of this virus into Europe than previously assumed.

Internet Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inapproporiate to use Internet Drafts as reference material or to cite them other than as "work in progress." To learn the current status of any Internet Draft, please check the "1id-abstracts.txt" listing contained in the Internet Drafts Shadow ...