Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to different receiving nodes in a high-bandwidth network. On the distributing side, a fundamental problem is grouping and scheduling such tasks such that each one involves sufñcient computational cost when compared to the task creation and communication costs and other such practical overheads. On the receiving side, an important issue is to have some assurance of the correctness and characteristics of the code received and also of the kind of load the particular task is going to pose, which can be specified by means of certificates. In this paper we present in a tutorial way a number of general solutions to these problems, and illustrate them through their implementation in the Ciao multi-paradigm language and program development environment. This system includes facilities for parallel and distributed execution, an assertion language for specifying complex programs properties (including safety and resource-related properties), and compile-time and run-time tools for performing automated parallelization and resource control, as well as certification of programs with resource consumption assurances and efñcient checking of such certificates.

A federated repository for PaaS components in a multi-cloud environment

Cloud computing has seen an impressive growth in recent years, with virtualization technologies being massively adopted to create IaaS (Infrastructure as a Service) public and private solutions. Today, the interest is shifting towards the PaaS (Platform as a Service) model, which allows developers to abstract from the execution platform and focus only on the functionality. There are several public PaaS offerings available, but currently no private PaaS solution is ready for production environments. To fill this gap a new solution must be developed. In this paper we present a key element for enabling this model: a cloud repository based on the OSGi component model. The repository stores, manages, provisions and resolves the dependencies of PaaS software components and services. This repository can federate with other repositories located in the same or different clouds, both private and public. This way, dependencies can be fulfilled collaboratively, and new business models can be implemented.

Analysis of the Optimal Sharing of Construction Risk in Public Procurement Contracts

This paper discusses a model based on the agency theory to analyze the optimal transfer of construction risk in public works contracts. The base assumption is that of a contract between a principal (public authority) and an agent (firm), where the payment mechanism is linear and contains an incentive mechanism to enhance the effort of the agent to reduce construction costs. A theoretical model is proposed starting from a cost function with a random component and assuming that both the public authority and the firm are risk averse. The main outcome of the paper is that the optimal transfer of construction risk will be lower when the variance of errors in cost forecast, the risk aversion of the firm and the marginal cost of public funds are larger, while the optimal transfer of construction risk will grow when the variance of errors in cost monitoring and the risk aversion of the public authority are larger

CD8+ T cells control the TH phenotype of MBP-reactive CD4+ T cells in EAE mice

Trimolecular interactions between the T cell antigen receptor and MHC/peptide complexes, together with costimulatory molecules and cytokines, control the initial activation of naïve T cells and determine whether the helper precursor cell differentiates into either T helper (TH)1 or TH2 effector cells. We now present evidence that regulatory CD8+ T cells provide another level of control of TH phenotype during further evolution of immune responses. These regulatory CD8+ T cells are induced by antigen-triggered CD4+ TH1 cells during T cell vaccination and, in vitro, distinguish mature TH1 from TH2 cells in a T cell antigen receptor Vβ-specific and Qa-1-restricted manner. In vivo, protection from experimental autoimmune encephalomyelitis (EAE) induced by T cell vaccination depends on CD8+ T cells, and myelin basic protein-reactive TH1 Vβ8+ clones, but not TH2 Vβ8+ clones, used as vaccine T cells, protect animals from subsequent induction of EAE. Moreover, in vivo depletion of CD8+ T cells during the first episode of EAE results in skewing of the TH phenotype toward TH1 upon secondary myelin basic protein stimulation. These data provide evidence that CD8+ T cells control autoimmune responses, in part, by regulating the TH phenotype of self-reactive CD4+ T cells.

Institutional Moral Hazard in the Multi-tiered Regulation of Unemployment and Social Assistance Benefits. CEPS Special Report No. 137/April 2016 Wednesday, 27 April 2016

This paper studies eight countries in which the regulation of unemployment benefits and related benefits and the concomitant activation of unemployed individuals has a multi-tiered architecture. It assesses their experiences and tries to understand possible problems of ‘institutional moral hazard’ that may emerge in the context of a hypothetical European Unemployment Benefit Scheme.

Combined effects of coral reef foraminifera Marginopora vertebralis and Heterostegina depressa in a multi-fractorial experiment

Warming and changes in ocean carbonate chemistry alter marine coastal ecosystems at an accelerating pace. The interaction between these stressors has been the subject of recent studies on reef organisms such as corals, bryozoa, molluscs, and crustose coralline algae. Here we investigated the combined effects of elevated sea surface temperatures and pCO2 on two species of photosymbiont-bearing coral reef Foraminifera: Heterostegina depressa (hosting diatoms) and Marginopora vertebralis (hosting dinoflagellates). The effects of single and combined stressors were studied by monitoring survivorship, growth, and physiological parameters, such as respiration, photochemistry (pulse amplitude modulation fluorometry and oxygen production), and chl a content. Specimens were exposed in flow-through aquaria for up to seven weeks to combinations of two pCO2 (~790 and ~490 µatm) and two temperature (28 and 31 °C) regimes. Elevated temperature had negative effects on the physiology of both species. Elevated pCO2 had negative effects on growth and apparent photosynthetic rate in H.depressa but a positive effect on effective quantum yield. With increasing pCO2, chl a content decreased in H. depressa and increased in M. vertebralis. The strongest stress responses were observed when the two stressors acted in combination. An interaction term was statistically significant in half of the measured parameters. Further exploration revealed that 75 % of these cases showed a synergistic (= larger than additive) interaction between the two stressors. These results indicate that negative physiological effects on photosymbiont-bearing coral reef Foraminifera are likely to be stronger under simultaneous acidification and temperature rise than what would be expected from the effect of each of the stressors individually.

Yielding barrier test data base--a study of side impact cases in the multi-disciplinary accident investigation (MAI) file. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Design of a display processing unit in a multi-terminal environment.

Photocopy of typescript.

Gisberti Cuperi Observationum libri quatuor : in quibus multi auctorum loci qua explicantur, qua emendantur varii ritus eruuntur et nummi elegantissimi illustrantur.

Mode of access: Internet.

Martini Schoockii Disquisitio physica de signaturis foetus : in qua multi rari casus, & proponuntur & examinantur.

Mode of access: Internet.

Plan of study for the regional aquifer systems analysis of the upper Colorado River Basin in Colorado, Utah, Wyoming, and Arizona /

Mode of access: Internet.

Technical analysis of the state implementation plan for sulfur dioxide in the Peoria area.

"January, 1981."

Air pollution exposure and novel biomarkers of inflammation and cardiac stress in the Multi-Ethnic Study of Atherosclerosis and Air Pollution (MESA Air)

Thesis (Master's)--University of Washington, 2016-06

Optimal unravellings for feedback control in linear quantum systems

For quantum systems with linear dynamics in phase space much of classical feedback control theory applies. However, there are some questions that are sensible only for the quantum case: Given a fixed interaction between the system and the environment what is the optimal measurement on the environment for a particular control problem? We show that for a broad class of optimal (state- based) control problems ( the stationary linear-quadratic-Gaussian class), this question is a semidefinite program. Moreover, the answer also applies to Markovian (current-based) feedback.