Search results

We show that tree-like resolution is not automatable in time no(log n) unless ETH is false. This implies that, under ETH, the algorithm given by Beame and Pitassi (FOCS 1996) that automates tree-like resolution in time no(log n) is optimal. We also provide a simpler proof of the result of Alekhnovich and Razborov (FOCS 2001) that unless the fixed parameter hierarchy collapses, tree-like resolution

The analysis of acid-base disturbances contributes to the diagnostic work-up of critically ill patients. Most emergency departments are equipped with blood gas point-of-care analyzers that quantify within minutes pH, pCO2, standard bicarbonate, standard base excess, sodium and chloride levels. This article provides a pragmatic stepwise approach to the analysis of acid-base disturbances in the emer

We study the propagation and diffusion of electric charge fluctuations in the Bjorken hydrodynamic model with both white and Catteneo noise using purely numerical methods. We show that a lattice of noise fluctuations is required to fully calculate the two-point correlators of charge. We introduce a numerical procedure to solve the stochastic differential equations that arise from the charge conser

In this article, we put into question the discourses that emerged during the global financial crisis (GFC) and that coalesced around a particular socio-economic imaginary of ‘recovery’ over the period 2009–2012. Our reading of these discourses is very much guided by the notion of the dialectic as developed by Fredric Jameson, and as such this paper can be read as an attempt to put his theoretical

A metal pipe forming part of an ethnographic collection which had arrived in Lund University by around 1820 is said to have been recovered from ‘wildmen’ in North America. This short paper provides a description and images of the object and discusses a set of issues that it implies. Where was it made, by whom, when and by what method? Can credible comparisons be found? Could it possibly have been

MRI can be used as an non-invasive method to map the brain. By correlating diffusion with relaxation it is possible to separate different tissue kinds such as white matter, grey matter and free water. In this work we look at how to bin the data to best separate the tissues. By modifying the bin limits in Diso, Dperp / Dparallel, \DDelta and R2 it will be shown that there is not a single optimal

Xe**2** plus ions can easily be formed by multiphoton absorption in Xe atoms at 0. 53 mu m. A kinetic model is developed which is based on the rate equations describing the evolution of populations of Xe atoms, Xe** plus and Xe**2** plus ions. The result is that the ratio of the number of Xe**2** plus to Xe** plus ions varies with the pulse duration tau as tau ** minus **3**/**2.