A capacity sharing and stealing strategy for open real-time systems

This paper focuses on the scheduling of tasks with hard and soft real-time constraints in open and dynamic real-time systems. It starts by presenting a capacity sharing and stealing (CSS) strategy that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making additional capacity available from two sources: (i) reclaiming unused reserved capacity when jobs complete in less than their budgeted execution time and (ii) stealing reserved capacity from inactive non-isolated servers used to schedule best-effort jobs. CSS is then combined with the concept of bandwidth inheritance to efficiently exchange reserved bandwidth among sets of inter-dependent tasks which share resources and exhibit precedence constraints, assuming no previous information on critical sections and computation times is available. The proposed Capacity Exchange Protocol (CXP) has a better performance and a lower overhead when compared against other available solutions and introduces a novel approach to integrate precedence constraints among tasks of open real-time systems.

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diusions

We propose a non-equidistant Q rate matrix formula and an adaptive numerical algorithm for a continuous time Markov chain to approximate jump-diffusions with affine or non-affine functional specifications. Our approach also accommodates state-dependent jump intensity and jump distribution, a flexibility that is very hard to achieve with other numerical methods. The Kolmogorov-Smirnov test shows that the proposed Markov chain transition density converges to the one given by the likelihood expansion formula as in Ait-Sahalia (2008). We provide numerical examples for European stock option pricing in Black and Scholes (1973), Merton (1976) and Kou (2002).

Frequency-dependent sexual selection with respect to offspring fitness returns is consistent with predictions from rock-paper-scissors dynamics in the European common lizard

Genetic polymorphism can be maintained over time by negative frequency-dependent (FD) selection induced by Rock-paper-scissors (RPS) social systems. RPS games produce cyclic dynamics, and have been suggested to exist in lizards, insects, isopods, plants, and bacteria. Sexual selection is predicted to accentuate the survival of the future progeny during negative FD survival selection. More specifically, females are predicted to select mates that produce progeny genotypes that exhibit highest survival during survival selection imposed by adult males. However, no empirical evidence demonstrates the existence of FD sexual selection with respect to fitness payoffs of genetic polymorphisms. Here we tested this prediction using the common lizard Zootoca vivipara, a species with three male color morphs (orange, white, yellow) that exhibit morph frequency cycles. In a first step we tested the congruence of the morph frequency change with the predicted change in three independent populations, differing in male color morph frequency and state of the FD morph cycle. Thereafter we ran standardized sexual selection assays in which we excluded alternative mechanisms that potentially induce negative FD selection, and we quantified inter-sexual behavior. The patterns of sexual selection and the observed behavior were in line with context-dependent female mate choice and male behavior played a minor role. Moreover, the strength of the sexual selection was within the magnitude of selection required to produce the observed 3-4-year and 6-8 year morph frequency cycles at low and high altitudes, respectively. In summary, the study provides the first experimental evidence that underpins the crucial assumption of the RPS games suggested to exist in lizards, insects, isopods, and plants; namely, that sexual selection produces negative-FD selection. This indicates that sexual selection, in our study exert by females, might be a crucial driver of the maintenance of genetic polymorphisms.

Monitoring time-dependent degradation of phospholipids in sectioned tissues by MALDI imaging mass spectrometry.

Imaging mass spectrometry (IMS) is useful for visualizing the localization of phospholipids on biological tissue surfaces creating great opportunities for IMS in lipidomic investigations. With advancements in IMS of lipids, there is a demand for large-scale tissue studies necessitating stable, efficient and well-defined sample handling procedures. Our work within this article shows the effects of different storage conditions on the phospholipid composition of sectioned tissues from mouse organs. We have taken serial sections from mouse brain, kidney and liver thaw mounted unto ITO-coated glass slides and stored them under various conditions later analyzing them at fixed time points. A global decrease in phospholipid signal intensity is shown to occur and to be a function of time and temperature. Contrary to the global decrease, oxidized phospholipid and lysophospholipid species are found to increase within 2 h and 24 h, respectively, when mounted sections are kept at ambient room conditions. Imaging experiments reveal that degradation products increase globally across the tissue. Degradation is shown to be inhibited by cold temperatures, with sample integrity maintained up to a week after storage in −80 °C freezer under N2 atmosphere. Overall, the results demonstrate a timeline of the effects of lipid degradation specific to sectioned tissues and provide several lipid species which can serve as markers of degradation. Importantly, the timeline demonstrates oxidative sample degradation begins appearing within the normal timescale of IMS sample preparation of lipids (i.e. 1-2 h) and that long-term degradation is global. Taken together, these results strengthen the notion that standardized procedures are required for phospholipid IMS of large sample sets, or in studies where many serial sections are prepared together but analyzed over time such as in 3-D IMS reconstruction experiments.

Maternal and paternal contributions to pathogen resistance dependent on development stage in a whitefish (Salmonidae)

It is often assumed that maternal and paternal contributions to offspring phenotype change over the lifetime of an individual. However, studies on parental effects typically suffer from the problems that heritabilities and maternal environmental effects are difficult to separate, and that both may depend on environmental factors and developmental stage. In order to experimentally disentangle maternal from paternal contributions and the likely effects of developmental stage from ecological effects, we sampled a natural population of the whitefish Coregonus palaea, used gametes for full-factorial in vitro fertilizations, raised over 10000 of the resulting offspring singly at controlled conditions, and exposed them at different points during embryonic development to one of two strains of Pseudomonas fluorescens that differed in their virulence characteristics (only one caused mortality, while both delayed hatching and reduced growth). Vulnerability to infection increased markedly over embryo development. This change coincided with a distinct shift in the importance of maternal to additive genetic effects on survival. Timing of exposure also affected the variance components for hatching time and larval length, but in a less consistent direction than the variance components for mortality. No significant genetic variation was found for any reaction norms across time points of exposure, indicating a uniformity among genotypes in how susceptibility changed over development. Phenotypes were also typically correlated across time points, which could constrain the evolution of the reaction norms. Our experiment demonstrates that the relative maternal and paternal contributions to susceptibility to an infection, and hence the evolutionary potential to respond to pathogen-induced selection, depends not only on the kind of pathogenic stress but also on the timing of the challenge.

State of Iowa Employee Handbook, Revised October 2003

This is your employee handbook. This information is based on Iowa Department of Administrative Services – Human Resources Enterprise (DAS-HRE) rules and policies. Much of the information in this handbook is also covered in the State’s collective bargaining agreements. Where there are differences between a collective bargaining agreement and this handbook, the collective bargaining agreement prevails for employees covered by the agreement. Where there are differences between this handbook and DAS-HRE rules and policies, DAS-HRE rules and policies prevail. Some of the employee benefit plans described in this handbook are subject to legal requirements concerning reporting and disclosure. This handbook contains highlights of those plans. For complete details about benefit plans, consult the benefit handbooks and the official plan documents. In case of any discrepancy, the official plan documents prevail. Of course, changes in laws may affect the benefit programs described in this handbook. The State of Iowa reserves the right to amend the contents of this handbook at any time without prior notice. The provisions of this handbook and other policies do not establish contractual rights or conditions of employment between the State and its employees.

Minimum price variations, time priority and quotes dynamics

We analyze the impact of a minimum price variation (tick) and timepriority on the dynamics of quotes and the trading costs when competitionfor the order flow is dynamic. We find that convergence to competitiveoutcomes can take time and that the speed of convergence is influencedby the tick size, the priority rule and the characteristics of the orderarrival process. We show also that a zero minimum price variation is neveroptimal when competition for the order flow is dynamic. We compare thetrading outcomes with and without time priority. Time priority is shownto guarantee that uncompetitive spreads cannot be sustained over time.However it can sometimes result in higher trading costs. Empiricalimplications are proposed. In particular, we relate the size of thetrading costs to the frequency of new offers and the dynamics of theinside spread to the state of the book.

State of Iowa Employee Handbook, Revised October 2003

I hope you will find a great deal of challenge and personal satisfaction in your employment with the State. You have an important role in accomplishing the goals of your department and of state government. The State has a proud tradition built on the excellence of its employees and their work. We challenge you to help maintain and improve upon this tradition. You soon will discover that our pride is contagious! As a state employee, it is very important that you always present the best possible image to the public. Remember to act promptly, be courteous, and treat people, our customers, respectfully. Your actions will make a lasting impression .... be sure it is a positive one. This is your employee handbook. This information is based on Iowa Department of Administrative Services – Human Resources Enterprise (DAS-HRE) rules and policies. Much of the information in this handbook is also covered in the State’s collective bargaining agreements. Where there are differences between a collective bargaining agreement and this handbook, the collective bargaining agreement prevails for employees covered by the agreement. Where there are differences between this handbook and DAS-HRE rules and policies, DAS-HRE rules and policies prevail. Some of the employee benefit plans described in this handbook are subject to legal requirements concerning reporting and disclosure. This handbook contains highlights of those plans. For complete details about benefit plans, consult the benefit handbooks and the official plan documents. In case of any discrepancy, the official plan documents prevail. Of course, changes in laws may affect the benefit programs described in this handbook. The State of Iowa reserves the right to amend the contents of this handbook at any time without prior notice. The provisions of this handbook and other policies do not establish contractual rights or conditions of employment between the State and its employees.

Resting-state temporal synchronization networks emerge from connectivity topology and heterogeneity.

Spatial patterns of coherent activity across different brain areas have been identified during the resting-state fluctuations of the brain. However, recent studies indicate that resting-state activity is not stationary, but shows complex temporal dynamics. We were interested in the spatiotemporal dynamics of the phase interactions among resting-state fMRI BOLD signals from human subjects. We found that the global phase synchrony of the BOLD signals evolves on a characteristic ultra-slow (<0.01Hz) time scale, and that its temporal variations reflect the transient formation and dissolution of multiple communities of synchronized brain regions. Synchronized communities reoccurred intermittently in time and across scanning sessions. We found that the synchronization communities relate to previously defined functional networks known to be engaged in sensory-motor or cognitive function, called resting-state networks (RSNs), including the default mode network, the somato-motor network, the visual network, the auditory network, the cognitive control networks, the self-referential network, and combinations of these and other RSNs. We studied the mechanism originating the observed spatiotemporal synchronization dynamics by using a network model of phase oscillators connected through the brain's anatomical connectivity estimated using diffusion imaging human data. The model consistently approximates the temporal and spatial synchronization patterns of the empirical data, and reveals that multiple clusters that transiently synchronize and desynchronize emerge from the complex topology of anatomical connections, provided that oscillators are heterogeneous.

Affective state and voice : cross-cultural assessment of speaking behavior and voice sound characteristics : a normative multicenter study of 577 + 36 healthy subjects

BACKGROUND: Human speech is greatly influenced by the speakers' affective state, such as sadness, happiness, grief, guilt, fear, anger, aggression, faintheartedness, shame, sexual arousal, love, amongst others. Attentive listeners discover a lot about the affective state of their dialog partners with no great effort, and without having to talk about it explicitly during a conversation or on the phone. On the other hand, speech dysfunctions, such as slow, delayed or monotonous speech, are prominent features of affective disorders. METHODS: This project was comprised of four studies with healthy volunteers from Bristol (English: n = 117), Lausanne (French: n = 128), Zurich (German: n = 208), and Valencia (Spanish: n = 124). All samples were stratified according to gender, age, and education. The specific study design with different types of spoken text along with repeated assessments at 14-day intervals allowed us to estimate the 'natural' variation of speech parameters over time, and to analyze the sensitivity of speech parameters with respect to form and content of spoken text. Additionally, our project included a longitudinal self-assessment study with university students from Zurich (n = 18) and unemployed adults from Valencia (n = 18) in order to test the feasibility of the speech analysis method in home environments. RESULTS: The normative data showed that speaking behavior and voice sound characteristics can be quantified in a reproducible and language-independent way. The high resolution of the method was verified by a computerized assignment of speech parameter patterns to languages at a success rate of 90%, while the correct assignment to texts was 70%. In the longitudinal self-assessment study we calculated individual 'baselines' for each test person along with deviations thereof. The significance of such deviations was assessed through the normative reference data. CONCLUSIONS: Our data provided gender-, age-, and language-specific thresholds that allow one to reliably distinguish between 'natural fluctuations' and 'significant changes'. The longitudinal self-assessment study with repeated assessments at 1-day intervals over 14 days demonstrated the feasibility and efficiency of the speech analysis method in home environments, thus clearing the way to a broader range of applications in psychiatry. © 2014 S. Karger AG, Basel.

Visibility and Speed Estimation of Iowa State Highway Commission Snowplows, HR-174, 1975

Many accidents involving Iowa snowplows have happened in recent years. This study investigated the influence of time of day, sex of subject, type of snowplow sign and snowplow speed on the criteria of oncoming driver reaction time and his estimate of snowplow speed. Film strips were made of a car passing a snow-Plow under various experimental conditions. These experimental movie strips were viewed in the laboratory by college student drivers who were asked to indicate their reaction time to slow down and to estimate the speed of the snowplow being passed. The generally best sign condition for the snowplow was to have a striped rear sign and a speed-proportional flashing light in addition to the standard rotating beacon on top of the truck. Several recommendations were made.

Cropland area estimates using Modis NDVI time series in the state of Mato Grosso, Brazil

The objective of this work was to evaluate a simple, semi‑automated methodology for mapping cropland areas in the state of Mato Grosso, Brazil. A Fourier transform was applied over a time series of vegetation index products from the moderate resolution imaging spectroradiometer (Modis) sensor. This procedure allows for the evaluation of the amplitude of the periodic changes in vegetation response through time and the identification of areas with strong seasonal variation related to crop production. Annual cropland masks from 2006 to 2009 were generated and municipal cropland areas were estimated through remote sensing. We observed good agreement with official statistics on planted area, especially for municipalities with more than 10% of cropland cover (R² = 0.89), but poor agreement in municipalities with less than 5% crop cover (R² = 0.41). The assessed methodology can be used for annual cropland mapping over large production areas in Brazil.

Effectiveness of a primary care-based intervention to reduce sitting time in overweight and obese patients (SEDESTACTIV): a randomized controlled trial; rationale and study design

Background: There is growing evidence suggesting that prolonged sitting has negative effects on people's weight, chronic diseases and mortality. Interventions to reduce sedentary time can be an effective strategy to increase daily energy expenditure. The purpose of this study is to evaluate the effectiveness of a six-month primary care intervention to reduce daily of sitting time in overweight and mild obese sedentary patients. Method/Design: The study is a randomized controlled trial (RCT). Professionals from thirteen primary health care centers (PHC) will randomly invite to participate mild obese or overweight patients of both gender, aged between 25 and 65 years old, who spend 6 hours at least daily sitting. A total of 232 subjects will be randomly allocated to an intervention (IG) and control group (CG) (116 individuals each group). In addition, 50 subjects with fibromyalgia will be included. Primary outcome is: (1) sitting time using the activPAL device and the Marshall questionnaire. The following parameters will be also assessed: (2) sitting time in work place (Occupational Sitting and Physical Activity Questionnaire), (3) health-related quality of life (EQ-5D), (4) evolution of stage of change (Prochaska and DiClemente's Stages of Change Model), (5) physical inactivity (catalan version of Brief Physical Activity Assessment Tool), (6) number of steps walked (pedometer and activPAL), (7) control based on analysis (triglycerides, total cholesterol, HDL, LDL, glycemia and, glycated haemoglobin in diabetic patients) and (8) blood pressure and anthropometric variables. All parameters will be assessed pre and post intervention and there will be a follow up three, six and twelve months after the intervention. A descriptive analysis of all variables and a multivariate analysis to assess differences among groups will be undertaken. Multivariate analysis will be carried out to assess time changes of dependent variables. All the analysis will be done under the intention to treat principle. Discussion: If the SEDESTACTIV intervention shows its effectiveness in reducing sitting time, health professionals would have a low-cost intervention tool for sedentary overweight and obese patients management.

Supercritical CO2 recovery of caffeine from green coffee oil: new experimental solubility data and modeling

The caffeine solubility in supercritical CO2 was studied by assessing the effects of pressure and temperature on the extraction of green coffee oil (GCO). The Peng-Robinson¹ equation of state was used to correlate the solubility of caffeine with a thermodynamic model and two mixing rules were evaluated: the classical mixing rule of van der Waals with two adjustable parameters (PR-VDW) and a density dependent one, proposed by Mohamed and Holder² with two (PR-MH, two parameters adjusted to the attractive term) and three (PR-MH3 two parameters adjusted to the attractive and one to the repulsive term) adjustable parameters. The best results were obtained with the mixing rule of Mohamed and Holder² with three parameters.

Sensibility analysis of the pearl model for pesticide leaching in the State of Mato Grosso do Sul, Brazil

For an accurate use of pesticide leaching models it is necessary to assess the sensitivity of input parameters. The aim of this work was to carry out sensitivity analysis of the pesticide leaching model PEARL for contrasting soil types of Dourados river watershed in the state of Mato Grosso do Sul, Brazil. Sensitivity analysis was done by carrying out many simulations with different input parameters and calculating their influence on the output values. The approach used was called one-at-a-time sensitivity analysis, which consists in varying independently input parameters one at a time and keeping all others constant with the standard scenario. Sensitivity analysis was automated using SESAN tool that was linked to the PEARL model. Results have shown that only soil characteristics influenced the simulated water flux resulting in none variation of this variable for scenarios with different pesticides and same soil. All input parameters that showed the greatest sensitivity with regard to leached pesticide are related to soil and pesticide properties. Sensitivity of all input parameters was scenario dependent, confirming the need of using more than one standard scenario for sensitivity analysis of pesticide leaching models.