Viking '75 spacecraft design and test summary. Volume 1: Lander design

The Viking Mars program is summarized. The design of the Viking lander spacecraft is described

Viking '75 spacecraft design and test summary. Volume 3: Engineering test summary

The engineering test program for the lander and the orbiter are presented. The engineering program was developed to achieve confidence that the design was adequate to survive the expected mission environments and to accomplish the mission objective

The chaining lemma and its application

We present a new information-theoretic result which we call the Chaining Lemma. It considers a so-called “chain” of random variables, defined by a source distribution X(0)with high min-entropy and a number (say, t in total) of arbitrary functions (T1,…, Tt) which are applied in succession to that source to generate the chain (Formula presented). Intuitively, the Chaining Lemma guarantees that, if the chain is not too long, then either (i) the entire chain is “highly random”, in that every variable has high min-entropy; or (ii) it is possible to find a point j (1 ≤ j ≤ t) in the chain such that, conditioned on the end of the chain i.e. (Formula presented), the preceding part (Formula presented) remains highly random. We think this is an interesting information-theoretic result which is intuitive but nevertheless requires rigorous case-analysis to prove. We believe that the above lemma will find applications in cryptography. We give an example of this, namely we show an application of the lemma to protect essentially any cryptographic scheme against memory tampering attacks. We allow several tampering requests, the tampering functions can be arbitrary, however, they must be chosen from a bounded size set of functions that is fixed a prior

Non-malleable codes for space-bounded tampering

Non-malleable codes—introduced by Dziembowski, Pietrzak and Wichs at ICS 2010—are key-less coding schemes in which mauling attempts to an encoding of a given message, w.r.t. some class of tampering adversaries, result in a decoded value that is either identical or unrelated to the original message. Such codes are very useful for protecting arbitrary cryptographic primitives against tampering attacks against the memory. Clearly, non-malleability is hopeless if the class of tampering adversaries includes the decoding and encoding algorithm. To circumvent this obstacle, the majority of past research focused on designing non-malleable codes for various tampering classes, albeit assuming that the adversary is unable to decode. Nonetheless, in many concrete settings, this assumption is not realistic

A review of automated sleep stage scoring based on physiological signals for the new millennia

Background and Objective: Sleep is an important part of our life. That importance is highlighted by the multitude of health problems which result from sleep disorders. Detecting these sleep disorders requires an accurate interpretation of physiological signals. Prerequisite for this interpretation is an understanding of the way in which sleep stage changes manifest themselves in the signal waveform. With that understanding it is possible to build automated sleep stage scoring systems. Apart from their practical relevance for automating sleep disorder diagnosis, these systems provide a good indication of the amount of sleep stage related information communicated by a specific physiological signal. Methods: This article provides a comprehensive review of automated sleep stage scoring systems, which were created since the year 2000. The systems were developed for Electrocardiogram (ECG), Electroencephalogram (EEG), Electrooculogram (EOG), and a combination of signals. Results: Our review shows that all of these signals contain information for sleep stage scoring. Conclusions: The result is important, because it allows us to shift our research focus away from information extraction methods to systemic improvements, such as patient comfort, redundancy, safety and cost

Viking '75 spacecraft design and test summary. Volume 2: Orbiter design

The design of the Viking orbiter spacecraft is described. System configuration, telecommunications, and guidance and control requirements are presented

Experimental studies of the NaCs 12(0+) [7¹Σ+] state

We present results from experimental studies of the 11(0+) and 12(0+) electronic states of the NaCs molecule. An optical-optical double resonance method is used to obtain Doppler-free excitation spectra. Selected data from the 11(0+) and 12(0+) high-lying electronic states are used to obtain Rydberg-Klein-Rees and Inverse Perturbation Approach potential energy curves. Interactions between these two electronic states are evident in the patterns observed in the bound-bound and bound-free fluorescence spectra. A model, based on two separate interaction mechanisms, is presented to describe how the wavefunctions of the two states mix. The electronic parts of the wavefunctions interact via spin-orbit coupling, while the individual rotation-vibration levels interact via a second mechanism, which is likely to be non-adiabatic coupling. A modified version of the BCONT program was used to simulate resolved fluorescence from both upper states. Parameters of the model that describe the two interaction mechanisms were varied until simulations were able to adequately reproduce experimental spectra.National Science Foundation (U.S.) (grant no. PHY-0968898)National Science Foundation (U.S.) (grant no. PHY-1403060)National Science Foundation (U.S.) (grant no. CHE–1361865

Efficient public-key cryptography with bounded leakage and tamper resilience

We revisit the question of constructing public-key encryption and signature schemes with security in the presence of bounded leakage and tampering memory attacks. For signatures we obtain the first construction in the standard model; for public-key encryption we obtain the first construction free of pairing (avoiding non-interactive zero-knowledge proofs). Our constructions are based on generic building blocks, and, as we show, also admit efficient instantiations under fairly standard number-theoretic assumptions. The model of bounded tamper resistance was recently put forward by Damgård et al. (Asiacrypt 2013) as an attractive path to achieve security against arbitrary memory tampering attacks without making hardware assumptions (such as the existence of a protected self-destruct or key-update mechanism), the only restriction being on the number of allowed tampering attempts (which is a parameter of the scheme). This allows to circumvent known impossibility results for unrestricted tampering (Gennaro et al., TCC 2010), while still being able to capture realistic tampering attack

Cross-species pathogen spillover across ecosystem boundaries: mechanisms and theory

Pathogen spillover between different host species is the trigger for many infectious disease outbreaks and emergence events, and ecosystem boundary areas have been suggested as spatial hotspots of spillover. This hypothesis is largely based on suspected higher rates of zoonotic disease spillover and emergence in fragmented landscapes and other areas where humans live in close vicinity to wildlife. For example, Ebola virus outbreaks have been linked to contacts between humans and infected wildlife at the rural-forest border, and spillover of yellow fever via mosquito vectors happens at the interface between forest and human settlements. Because spillover involves complex interactions between multiple species and is difficult to observe directly, empirical studies are scarce, particularly those that quantify underlying mechanisms. In this review, we identify and explore potential ecological mechanisms affecting spillover of pathogens (and parasites in general) at ecosystem boundaries. We borrow the concept of ‘permeability’ from animal movement ecology as a measure of the likelihood that hosts and parasites are present in an ecosystem boundary region. We then discuss how different mechanisms operating at the levels of organisms and ecosystems might affect permeability and spillover. This review is a step towards developing a general theory of cross-species parasite spillover across ecosystem boundaries with the eventual aim of improving predictions of spillover risk in heterogeneous landscapes

Survey of Canada Goose Feces for Presence of \u3cem\u3eGiardia\u3c/em\u3e

As resident Canada goose (Branta canadensis) populations increase throughout North America, so do the health and environmental risks associated with goose feces. Previous studies suggest that goose feces may be a conduit for transmitting Giardia, a protozoan that is parasitic to humans. We surveyed fecal droppings from free-ranging resident Canada geese for Giardia spp. at 9 sites in the Triangle area (Raleigh, Durham, and Chapel Hill) of North Carolina in 2007 and 2008. Samples (n = 234) were tested using the ProSpect® Giardia EZ Microplate Assay, and there were no positives. Our results indicate that risk of zoonotic giardiasis from Canada goose feces in the Triangle area of North Carolina is low