No more, no less - A formal model for serverless computing

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic. While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first formal programming model for serverless computing, which combines ideas from both the $\lambda$-calculus (for functions) and the $\pi$-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we are also able to capture and pinpoint the limitations of current vendor technologies, proposing possible amendments

"May I Buy a Pack of Marlboros, Please?" A Systematic Review of Evidence to Improve the Validity and Impact of Youth Undercover Buy Inspections

Most smokers become addicted to tobacco products before they are legally able to pur- chase these products. We systematically reviewed the literature on protocols to assess underage purchase and their ecological validity. We conducted a systematic search in May 2015 in PubMed and PsycINFO. We independently screened records for inclusion. We con- ducted a narrative review and examined implications of two types of legal authority for proto- cols that govern underage buy enforcement in the United States: criminal (state-level laws prohibiting sales to youth) and administrative (federal regulations prohibiting sales to youth). Ten studies experimentally assessed underage buy protocols and 44 studies assessed the association between youth characteristics and tobacco sales. Protocols that mimicked real-world youth behaviors were consistently associated with substantially greater likelihood of a sale to a youth. Many of the tested protocols appear to be designed for compliance with criminal law rather than administrative enforcement in ways that limited ecological validity. This may be due to concerns about entrapment. For administrative enforcement in particular, entrapment may be less of an issue than commonly thought. Commonly used underage buy protocols poorly represent the reality of youths' access to tobacco from retailers. Compliance check programs should allow youth to present them- selves naturally and attempt to match the community’s demographic makeup

Bounds on Integrals of the Wigner Function

The integral of the Wigner function over a subregion of the phase-space of a quantum system may be less than zero or greater than one. It is shown that for systems with one degree of freedom, the problem of determining the best possible upper and lower bounds on such an integral, over all possible states, reduces to the problem of finding the greatest and least eigenvalues of an hermitian operator corresponding to the subregion. The problem is solved exactly in the case of an arbitrary elliptical region. These bounds provide checks on experimentally measured quasiprobability distributions.Comment: 10 pages, 1 PostScript figure, Latex file; revised following referees' comments; to appear in Physical Review Letter

Beyond a Zero-Sum Game: How Does the Impact of COVID-19 Vary by Gender?

Epidemics and pandemics, like COVID-19, are not gender neutral. Much of the current work on gender, sex, and COVID-19, however, has seemed implicitly or explicitly to be attempting to demonstrate that either men or women have been hardest hit, treating differences between women and men as though it is not important to understand how each group is affected by the virus. This approach often leaves out the effect on gender and sexual minorities entirely. Believing that a more nuanced approach is needed now and for the future, we brought together a group of gender experts to answer the question: how are people of different genders impacted by COVID-19 and why? Individuals working in women's, men's, and LGBTQ health and wellbeing wrote sections to lay out the different ways that women, men, and gender and sexual minorities are affected by COVID-19. We demonstrate that there is not one group "most affected," but that many groups are affected, and we need to move beyond a zero-sum game and engage in ways to mutually identify and support marginalized groups

Historical trends in survival of hospitalized heart failure patients: 2000 versus 1995

BACKGROUND: Population-based secular trends in survival of patients with congestive heart failure (CHF) are central to public health research on the burden of the syndrome. METHODS: Patients 35–79 years old with a CHF discharge code in 1995 or 2000 were identified in 22 Minneapolis-St. Paul hospitals. A sample of the records was abstracted (50% of 1995 records; 38% of 2000 records). A total of 2,257 patients in 1995 and 1,825 patients in 2000 were determined to have had a CHF-related hospitalization. Each patient was followed for one year to ascertain vital status. RESULTS: The risk profile of the 2000 patient cohort was somewhat worse than that of the 1995 cohort in both sex groups, but the distributions of age and left ventricular ejection fraction were similar. Within one year of admission in 2000, 28% of male patients and 27% of female patients have died, compared to 36% and 27% of their counterparts in 1995, respectively. In various Cox regression models the average year effect (2000 vs. 1995) was around 0.75 for men and 0.95 to 1.00 for women. The use of angiotensin converting-enzyme inhibitors and beta-blockers was associated with substantially lower hazard of death during the subsequent year. CONCLUSION: Survival of men who were hospitalized for CHF has improved during the second half of the 1990s. The trend in women was very weak, compatible with little to no change. Documented benefits of angiotensin converting-enzyme inhibitors and beta-blockers were evident in these observational data in both men and women

Moku virus; a new Iflavirus found in wasps, honey bees and Varroa

There is an increasing global trend of emerging infectious diseases (EIDs) affecting a wide range of species, including honey bees. The global epidemic of the single stranded RNA Deformed wing virus (DWV), driven by the spread of Varroa destructor has been well documented. However, DWV is just one of many insect RNA viruses which infect a wide range of hosts. Here we report the full genome sequence of a novel Iflavirus named Moku virus (MV), discovered in the social wasp Vespula pensylvanica collected in Hawaii. The novel genome is 10,056 nucleotides long and encodes a polyprotein of 3050 amino acids. Phylogenetic analysis showed that MV is most closely related to Slow bee paralysis virus (SBPV), which is highly virulent in honey bees but rarely detected. Worryingly, MV sequences were also detected in honey bees and Varroa from the same location, suggesting that MV can also infect other hymenopteran and Acari hosts

Chemotactic response and adaptation dynamics in Escherichia coli

Adaptation of the chemotaxis sensory pathway of the bacterium Escherichia coli is integral for detecting chemicals over a wide range of background concentrations, ultimately allowing cells to swim towards sources of attractant and away from repellents. Its biochemical mechanism based on methylation and demethylation of chemoreceptors has long been known. Despite the importance of adaptation for cell memory and behavior, the dynamics of adaptation are difficult to reconcile with current models of precise adaptation. Here, we follow time courses of signaling in response to concentration step changes of attractant using in vivo fluorescence resonance energy transfer measurements. Specifically, we use a condensed representation of adaptation time courses for efficient evaluation of different adaptation models. To quantitatively explain the data, we finally develop a dynamic model for signaling and adaptation based on the attractant flow in the experiment, signaling by cooperative receptor complexes, and multiple layers of feedback regulation for adaptation. We experimentally confirm the predicted effects of changing the enzyme-expression level and bypassing the negative feedback for demethylation. Our data analysis suggests significant imprecision in adaptation for large additions. Furthermore, our model predicts highly regulated, ultrafast adaptation in response to removal of attractant, which may be useful for fast reorientation of the cell and noise reduction in adaptation.Comment: accepted for publication in PLoS Computational Biology; manuscript (19 pages, 5 figures) and supplementary information; added additional clarification on alternative adaptation models in supplementary informatio

Short-Term Hurricane Impacts on a Neotropical Community of Marked Birds and Implications for Early-Stage Community Resilience

Populations in fragmented ecosystems risk extirpation through natural disasters, which must be endured rather than avoided. Managing communities for resilience is thus critical, but details are sketchy about the capacity for resilience and its associated properties in vertebrate communities. We studied short-term resilience in a community of individually marked birds, following this community through the catastrophic destruction of its forest habitat by Hurricane Iris in Belize, Central America. We sampled for 58 d immediately before the storm, 28 d beginning 11 d after Hurricane Iris, and for 69 d approximately one year later. Our data showed that the initial capacity for resilience was strong. Many banded individuals remained after the storm, although lower post-hurricane recapture rates revealed increased turnover among individuals. Changes occurred in community dynamics and in abundances among species and guilds. Survivors and immigrants both were critical components of resilience, but in a heterogeneous, species-specific manner. Delayed effects, including higher fat storage and increased species losses, were evident one year later

Transgenic avidin maize is resistant to storage insect pests

Avidin is a glycoprotein found in chicken egg white, that sequesters the vitamin biotin. Here we show that when present in maize at levels of ≥100 p.p.m., avidin is toxic to and prevents development of insects that damage grains during storage. Insect toxicity is caused by a biotin deficiency, as shown by prevention of toxicity with biotin supplementation. The avidin maize is not, however, toxic to mice when administered as the sole component of their diet for 21 days. These data suggest that avidin expression in food or feed grain crops can be used as a biopesticide against a spectrum of stored-product insect pests