Abstract. We determine the asymptotical satisfiability probability of a random at-most-k-Horn formula, via a probabilistic analysis of a simple version, called PUR, of positive unit resolution. We show that for k = k(n) → ∞ the problem can be “reduced” to the case k(n) = n, that was solved in [17]. On the other hand, in the case k = constant the behavior of PUR is modeled by a simple queuing ch...

The magnetic analog of the Grüneisen parameter, i.e., the magnetocaloric effect, is a valuable tool for studying field-tuned quantum phase transitions. We determine the magnetic Grüneisen parameter of the one-dimensional random transverse-field Ising model, focusing on its lowtemperature behavior at the exotic infinite-randomness quantum critical point and in the associated quantum Griffiths ph...

We study the freezing of a dispersion of colloidal silica particles in water, focusing on the formation of segregated ice in the form of ice lenses. Local temperature measurements in combination with video microscopy give insight into the rich variety of factors that control ice lens formation. We observe the initiation of the lenses, their growth morphology, and their final thickness and spaci...

MCP (Modified Critical-Path) algorithm [1] schedules Directed Acyclic Graphs (DAGs) with communication costs onto a bounded number of processors. It is one of the six most popular algorithms in this category and performs the best among them [2]. MCP has many implementations during the last decade, while most of them did not implement it efficiently. In this paper, we present the methods to redu...

An activity-dependent form of synaptic plasticity underlies the fine tuning of connections in the developing primary visual cortex of mammals such as the cat and monkey. Studies of the effects of manipulations of visual experience during a critical period have demonstrated that a correlation-based competitive process governs this plasticity. The cellular mechanisms underlying this competition, ...

Concerned with serious problems regarding security as a safety issue, a HAZOP specifically suited for identifying security threats has been developed. Unfortunately, the emphasis placed on security issues when developing safety critical systems is to often inadequate, possibly due to the lack of ”safety-compliant” security methods. Having had the opportunity to adapt the HAZOP-principle to the ...

Local GABAergic circuits trigger visual cortical plasticity in early postnatal life. How these diverse connections contribute to critical period onset was investigated by nonstationary fluctuation analysis following laser photo-uncaging of GABA onto discrete sites upon individual pyramidal cells in slices of mouse visual cortex. The GABA(A) receptor number decreased on the soma-proximal dendrit...