Scalable grid resource allocation for scientific workflows using hybrid metaheuristics

Grid infrastructure is a valuable tool for scientific users, but it is characterized by a high level of complexity which makes it difficult for them to quantify their requirements and allocate resources. In this paper, we show that resource trading is a viable and scalable approach for scientific users to consume resources. We propose the use of Grid resource bundles to specify supply and demand combined with a hybrid metaheuristic method to determine the allocation of resources in a market-based approach. We evaluate this through the application domain of scientific workflow execution on the Grid

The Effect of a Maternal Mediterranean Diet in Pregnancy on Insulin Resistance is Moderated by Maternal Negative Affect.

There is inconsistent evidence that healthy dietary interventions can effectively mitigate the risk of adverse outcomes associated with elevated insulin resistance in pregnancy, suggesting that other moderating factors may be at play. Maternal psychological state is an important factor to consider in this regard, because stress/mood state can directly influence glycemia and a bidirectional relationship may exist between nutrition and psychological state. The objective of this study was to examine the interaction between maternal negative affect and diet quality on third trimester insulin resistance. We conducted a prospective longitudinal study of N = 203 women with assessments in early and mid-pregnancy, which included an ecological momentary assessment of maternal psychological state, from which a negative affect score (NAS) was derived, and 24-h dietary recalls, from which the Mediterranean Diet Score (MDS) was computed. The homeostasis model assessment of insulin resistance (HOMA-IR) was computed from third trimester fasting plasma glucose and insulin values. Early pregnancy MDS was inversely associated with the HOMA-IR, but this did not maintain significance after adjusting for covariates. There was a significant effect of the mid-pregnancy MDS*NAS interaction term with the HOMA-IR in the adjusted model, such that a higher negative affect was found to override the beneficial effects of a Mediterranean diet on insulin resistance. These results highlight the need to consider nutrition and affective state concurrently in the context of gestational insulin resistance

Low power, compact charge coupled device signal processing system

A variety of charged coupled devices (CCDs) for performing programmable correlation for preprocessing environmental sensor data preparatory to its transmission to the ground were developed. A total of two separate ICs were developed and a third was evaluated. The first IC was a CCD chirp z transform IC capable of performing a 32 point DFT at frequencies to 1 MHz. All on chip circuitry operated as designed with the exception of the limited dynamic range caused by a fixed pattern noise due to interactions between the digital and analog circuits. The second IC developed was a 64 stage CCD analog/analog correlator for performing time domain correlation. Multiplier errors were found to be less than 1 percent at designed signal levels and less than 0.3 percent at the measured smaller levels. A prototype IC for performing time domain correlation was also evaluated

酵素の作用(退官記念最終講義)

Contains sequential images of Yale logo experimental treatment, replicate

How willing are you to accept sexual requests from slightly unattractive to exceptionally attractive imagined requestors?

This is the post print version of the article. The official published version can be accessed from the link below.In their classic study of differences in mating strategies (Clark & Hatfield, 1989), men and women demonstrated a striking difference in interest in casual sex. The current study examined the role of requestor physical attractiveness (slightly unattractive, moderately attractive and exceptionally attractive) on men's and women's willingness to accept three different requests (go out, come to apartment, go to bed) in a questionnaire study. We tested two hypotheses, using a sample of 427 men and 443 women from three countries. Hypothesis 1 states that men, relative to women, will demonstrate a greater willingness to accept the “come to apartment” and “go to bed” requests but not the “go out” request for all three levels of requestor attractiveness. This hypothesis reflects Clark and Hatfield's (1989) main findings. Hypothesis 2 states that the physical attractiveness of a potential partner will have a greater effect on women's than on men's willingness to accept all three requests, and particularly for the explicit request for casual sex. The results partially supported Hypothesis 1 and fully supported Hypothesis 2. The discussion highlights limitations of the current research and presents directions for future research

Towards Verifying Nonlinear Integer Arithmetic

We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most widely used multiplier circuits. Such short proofs were conjectured not to exist. More precisely, we give n^{O(1)} size regular resolution proofs for arbitrary degree 2 identities on array, diagonal, and Booth multipliers and quasipolynomial- n^{O(\log n)} size proofs for these identities on Wallace tree multipliers.Comment: Expanded and simplified with improved result

Limitations of Algebraic Approaches to Graph Isomorphism Testing

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and only if if the graphs are isomorphic, and then to (try to) decide satisfiability of the system using, for example, the Gr\"obner basis algorithm. In some cases this can be done in polynomial time, in particular, if the equations admit a bounded degree refutation in an algebraic proof systems such as Nullstellensatz or polynomial calculus. We prove linear lower bounds on the polynomial calculus degree over all fields of characteristic different from 2 and also linear lower bounds for the degree of Positivstellensatz calculus derivations. We compare this approach to recently studied linear and semidefinite programming approaches to isomorphism testing, which are known to be related to the combinatorial Weisfeiler-Lehman algorithm. We exactly characterise the power of the Weisfeiler-Lehman algorithm in terms of an algebraic proof system that lies between degree-k Nullstellensatz and degree-k polynomial calculus

How political parties adjust to fixed voter opinions

We propose a new version of the spatial model of voting. Platforms of five parties are evolving in a two-dimensional landscape of political issues so as to get maximal numbers of voters. For a Gaussian landscape the evolution leads to a spatially symmetric state, where the platform centers form a pentagon around the Gaussian peak. For a bimodal landscape the platforms located at different peaks get different numbers of voters.Comment: 8 pages, 3 figures. Accepted in Int. J. Modern Phys.

NASA/MSFC Large Stretch Press Study

The purpose of this study was to: A. assess and document the advantages/disadvantages of a government agency investment in a large stretch form press on the order of 5000 tons capacity (per jaw); B. develop a procurement specification for the press; and C. provide trade study data that will permit an optimum site location. Tasks were separated into four major elements: cost study, user survey, site selection, and press design/procurement specification

Three-body collisions in Boltzmann-Uehling-Uhlenbeck theory

Aiming at a microscopic description of heavy ion collisions in the beam energy region of about 10 A GeV, we extend the Giessen Boltzmann-Uehling-Uhlenbeck (GiBUU) transport model by including a relativistic mean field, in-medium baryon-baryon cross sections and three-body collisions. The model is then compared with experimental data for central Au+Au collisions at 2-10 A GeV and central Pb+Pb collisions at 30 and 40 A GeV on the proton rapidity spectra, the midrapidity yields of $\pi^+$, $K^\pm$ and $(\Lambda+\Sigma^0)$, and the transverse mass spectra of $\pi^\pm$ and $K^\pm$. The three-body collisions increase the inverse slope parameters of the hadron $m_\perp$-spectra to a good agreement with the data.Comment: 26 pages, 9 figures, figures added, discussion extended, results not changed, version accepted in Phys. Rev.