Sökresultat

We investigate the enrichment patterns of several delivery scenarios of the volatiles to the atmospheres of ice giants, having in mind that the only well constrained determination made remotely, namely the carbon abundance measurement, suggests that their envelopes possess highly supersolar metallicities, i.e., close to two orders of magnitude above that of the protosolar nebula. In the framework

The conflict-driven clause learning (CDCL) paradigm has revolutionized SAT solving over the last two decades. Extending this approach to pseudo-Boolean (PB) solvers doing 0-1 linear programming holds the promise of further exponential improvements in theory, but intriguingly such gains have not materialized in practice. Also intriguingly, most PB extensions of CDCL use not the division rule in cut

We study space complexity and time-space trade-offs with a focus not on peak memory usage but on overall memory consumption throughout the computation. Such a cumulative space measure was introduced for the computational model of parallel black pebbling by [Alwen and Serbinenko 2015] as a tool for obtaining results in cryptography. We consider instead the nondeterministic black-white pebble game a

It must be remembered that clinically important haemostasis occurs in vivo and not in a tube, and that variables such as the number of bleeding events and bleeding volume are more robust measures of bleeding risk than the results of analyses. In this narrative review, we highlight trauma, surgery, and mild induced hypothermia as three clinically important situations in which the effects of hypothe

In this study, we present an analysis of gender assignment tendencies in Jamtlandic, a language variety of Sweden, using a word list of 1029 items obtained from fieldwork. Most research on gender assignment in the Scandinavian languages focuses on the standard languages (Steinmetz 1985; Källström 1996; Trosterud 2001, 2006) and Norwegian dialects (Enger 2011, Kvinlaug 2011, Enger & Corbett 201

The observation of neutrinoless double-beta decay (0νββ) would show that lepton number is violated, reveal that neu-trinos are Majorana particles, and provide information on neutrino mass. A discovery-capable experiment covering the inverted ordering region, with effective Majorana neutrino masses of 15 - 50 meV, will require a tonne-scale experiment with excellent energy resolution and extremely

Dense stellar systems in general and star clusters in particular have recently regained the interest of the extragalactic and even cosmology communities, due to the role they could play as actors and probes of re-ionization, galactic archeology and the dark matter content of galaxies, among many others. In the era of the exploitation and the preparation of large stellar surveys (Gaia, APOGEE, 4MOS

Numerous geometric problems in computer vision involve the solu- tion of systems of polynomial equations. This is particularly true for so called minimal problems, but also for finding stationary points for overdetermined prob- lems. The state-of-the-art is based on the use of numerical linear algebra on the large but sparse coefficient matrix that represents the original equations multi- plied wi