156 resultados para Task Constraints


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Microbial habitats that contain an excess of carbohydrate in the form of sugar are widespread in the microbial biosphere. Depending on the type of sugar, prevailing water activity and other substances present, sugar-rich environments can be highly dynamic or relatively stable, osmotically stressful, and/or destabilizing for macromolecular systems, and can thereby strongly impact the microbial ecology. Here, we review the microbiology of different high-sugar habitats, including their microbial diversity and physicochemical parameters, which act to impact microbial community assembly and constrain the ecosystem. Saturated sugar beet juice and floral nectar are used as case studies to explore the differences between the microbial ecologies of low and higher water-activity habitats respectively. Nectar is a paradigm of an open, dynamic and biodiverse habitat populated by many microbial taxa, often yeasts and bacteria such as, amongst many others, Metschnikowia spp. and Acinetobacter spp., respectively. By contrast, thick juice is a relatively stable, species-poor habitat and is typically dominated by a single, xerotolerant bacterium (Tetragenococcus halophilus). A number of high-sugar habitats contain chaotropic solutes (e.g. ethyl acetate, phenols, ethanol, fructose and glycerol) and hydrophobic stressors (e.g. ethyl octanoate, hexane, octanol and isoamyl acetate), all of which can induce chaotropicity-mediated stresses that inhibit or prevent multiplication of microbes. Additionally, temperature, pH, nutrition, microbial dispersion and habitat history can determine or constrain the microbiology of high-sugar milieux. Findings are discussed in relation to a number of unanswered scientific questions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

For some time, the satisfiability formulae that have been the most difficult to solve for their size have been crafted to be unsatisfiable by the use of cardinality constraints. Recent solvers have introduced explicit checking of such constraints, rendering previously difficult formulae trivial to solve. A family of unsatisfiable formulae is described that is derived from the sgen4 family but cannot be solved using cardinality constraints detection and reasoning alone. These formulae were found to be the most difficult during the SAT2014 competition by a significant margin and include the shortest unsolved benchmark in the competition, sgen6-1200-5-1.cnf.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper addresses the problem of learning Bayesian network structures from data based on score functions that are decomposable. It describes properties that strongly reduce the time and memory costs of many known methods without losing global optimality guarantees. These properties are derived for different score criteria such as Minimum Description Length (or Bayesian Information Criterion), Akaike Information Criterion and Bayesian Dirichlet Criterion. Then a branch-and-bound algorithm is presented that integrates structural constraints with data in a way to guarantee global optimality. As an example, structural constraints are used to map the problem of structure learning in Dynamic Bayesian networks into a corresponding augmented Bayesian network. Finally, we show empirically the benefits of using the properties with state-of-the-art methods and with the new algorithm, which is able to handle larger data sets than before.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper reports the progress made at JET-ILW on integrating the requirements of the reference ITER baseline scenario with normalized confinement factor of 1, at a normalized pressure of 1.8 together with partially detached divertor whilst maintaining these conditions over many energy confinement times. The 2.5 MA high triangularity ELMy H-modes are studied with two different divertor configurations with D-gas injection and nitrogen seeding. The power load reduction with N seeding is reported. The relationship between an increase in energy confinement and pedestal pressure with triangularity is investigated. The operational space of both plasma configurations is studied together with the ELM energy losses and stability of the pedestal of unseeded and seeded plasmas. The achievement of stationary plasma conditions over many energy confinement times is also reported.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Increased system variability and irregularity of parallelism in applications put increasing demands on the ef- ficiency of dynamic task schedulers. This paper presents a new design for a work-stealing scheduler supporting both Cilk- style recursively parallel code and parallelism deduced from dataflow dependences. Initial evaluation on a set of linear algebra kernels demonstrates that our scheduler outperforms PLASMA’s QUARK scheduler by up to 12% on a 16-thread Intel Xeon and by up to 50% on a 32-thread AMD Bulldozer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Over the last 15 years, the supernova community has endeavoured to directly identify progenitor stars for core-collapse supernovae discovered in nearby galaxies. These precursors are often visible as resolved stars in high-resolution images from space-and ground-based telescopes. The discovery rate of progenitor stars is limited by the local supernova rate and the availability and depth of archive images of galaxies, with 18 detections of precursor objects and 27 upper limits. This review compiles these results (from 1999 to 2013) in a distance-limited sample and discusses the implications of the findings. The vast majority of the detections of progenitor stars are of type II-P, II-L, or IIb with one type Ib progenitor system detected and many more upper limits for progenitors of Ibc supernovae (14 in all). The data for these 45 supernovae progenitors illustrate a remarkable deficit of high-luminosity stars above an apparent limit of log L/L-circle dot similar or equal to 5.1 dex. For a typical Salpeter initial mass function, one would expect to have found 13 high-luminosity and high-mass progenitors by now. There is, possibly, only one object in this time-and volume-limited sample that is unambiguously high-mass (the progenitor of SN2009ip) although the nature of that supernovae is still debated. The possible biases due to the influence of circumstellar dust, the luminosity analysis, and sample selection methods are reviewed. It does not appear likely that these can explain the missing high-mass progenitor stars. This review concludes that the community's work to date shows that the observed populations of supernovae in the local Universe are not, on the whole, produced by high-mass (M greater than or similar to 18 M-circle dot) stars. Theoretical explosions of model stars also predict that black hole formation and failed supernovae tend to occur above an initial mass of M similar or equal to 18 M-circle dot. The models also suggest there is no simple single mass division for neutron star or black-hole formation and that there are islands of explodability for stars in the 8-120 M-circle dot range. The observational constraints are quite consistent with the bulk of stars above M similar or equal to 18 M-circle dot collapsing to form black holes with no visible supernovae.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work, 1-hexene was extracted from its mixtures with n-hexane in varying ratios using a task specific ionic liquid. Herein, the ionic liquid (IL) 1-butyl-3-methylimidazolium nitrate, [BMIM][NO3], was used and examined with and without the addition of a metal salt. The impact of water on both selectivity and distribution coefficient was also tested. Four potential metal salts were investigated, the results of which demonstrate that the dissolution of transition-metal salts in the IL improves the separation of 1-hexene from n-hexane through metal-olefin complexation. Additionally, the presence of water in IL solutions containing metal salt enhances this selectivity. Finally, UNIFAC was used to correlate the experimental LLE data with good accuracy.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Measurements of explosive nucleosynthesis yields in core-collapse supernovae provide tests for explosion models. We investigate constraints on explosive conditions derivable from measured amounts of nickel and iron after radioactive decays using nucleosynthesis networks with parameterized thermodynamic trajectories. The Ni/Fe ratio is for most regimes dominated by the production ratio of Ni-58/(Fe-54 + Ni-56), which tends to grow with higher neutron excess and with higher entropy. For SN 2012ec, a supernova (SN) that produced a Ni/Fe ratio of 3.4 +/- 1.2 times solar, we find that burning of a fuel with neutron excess eta approximate to 6 x 10(-3) is required. Unless the progenitor metallicity is over five times solar, the only layer in the progenitor with such a neutron excess is the silicon shell. SNe producing large amounts of stable nickel thus suggest that this deep-lying layer can be, at least partially, ejected in the explosion. We find that common spherically symmetric models of M-ZAMS less than or similar to 13 M-circle dot stars exploding with a delay time of less than one second (M-cut < 1.5 M-circle dot) are able to achieve such silicon-shell ejection. SNe that produce solar or subsolar Ni/Fe ratios, such as SN 1987A, must instead have burnt and ejected only oxygen-shell material, which allows a lower limit to the mass cut to be set. Finally, we find that the extreme Ni/Fe value of 60-75 times solar derived for the Crab cannot be reproduced by any realistic entropy burning outside the iron core, and neutrino-neutronization obtained in electron capture models remains the only viable explanation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Young people in long-term foster care are at risk of experiencing poor social, emotional, behavioural and educational outcomes. Moreover, these placements have a significantly greater chance of breaking down compared to those involving children. This article critically evaluates the factors associated with this particular outcome. It was carried out through a literature review conducted by a social work practitioner in one Health and Social Care Trust in Northern Ireland. The findings evidenced that, apart from overriding safety concerns, placement breakdown was not a one-off event but rather a complex process involving the interplay between a range of dynamic risk and protective factors over time, operating in the wider context of the young person’s history and life experiences. The significance of these findings for social work practitioners is finally considered by identifying key theories to inform understanding and intervention.