Learn More
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL 0 , which allows for conjunction and value restrictions. Whereas the subsumption problem in FL 0 becomes already intractable in the presence of acyclic TBoxes, it remains(More)
In the area of Description Logic (DL) based knowledge representation, research on reasoning w.r.t. general terminologies has mainly focused on very expressive DLs. Recently, though, it was shown for the DL EL, providing only the constructors conjunction and existential restriction, that the subsumption problem w.r.t. cyclic terminologies can be decided in(More)
A search has been performed for the Standard Model Higgs boson in the data sample collected with the ALEPH detector at LEP, at centre-of-mass energies up to 209 GeV. An excess of 3 σ beyond the background expectation is found, consistent with the production of the Higgs boson with a mass near 114 GeV/c 2. Much of this excess is seen in the four-jet(More)
OBJECTIVE Orthogonal polarization spectral (OPS) imaging is used to assess mucosal microcirculation. We tested sensitivity and variability of OPS in the assessment of mesenteric blood flow (Qsma) reduction. SETTING University Animal Laboratory. INTERVENTIONS In eight pigs, Qsma was reduced in steps of 15% from baseline; five animals served as controls.(More)
We study consistent migration of flows, with special focus on software defined networks. Given a current and a desired network flow configuration, we give the first polynomial-time algorithm to decide if a congestion-free migration is possible. However, if all flows must be integer or are unsplittable, this is NP-hard to decide. A similar problem is(More)
We show that any randomised Monte Carlo distributed algorithm for the Lovász local lemma requires Omega(log log n) communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the special case of d = O(1), where d is the maximum degree of the dependency graph. By prior work, there are distributed(More)
Updating network flows in a real-world setting is a nascent research area, especially with the recent rise of Software Defined Networks. While augmenting <i>s-t</i> flows of a single commodity is a well-understood concept, we study updating flows in a multi-commodity setting: Given a directed network with flows of different commodities, how can the capacity(More)
The cross sections and forward-backward asymmetries of hadronic and leptonic events produced in e + e − collisions at centre-of-mass energies from 130 to 183 GeV are presented. Results for e + e − , µ + µ − , τ + τ − , q¯ q, b ¯ b and c¯ c production show no significant deviation from the Standard Model predictions. This enables constraints to be set upon(More)