Search results

Cloud computing has emerged as a key technology in the latest decade and continues to be applied to manage the computing needs of new domains. As a result, the requirements on predictable behavior in the cloud increase, thus the hosted applications need to be recognized as both fault-tolerant and responsive even under difficult conditions.In this thesis, new modeling methods and decision-making st

In most control schemes it is advantageous to introduce integrators to eliminate off-set due to load disturbances. It is, however, also important to introduce nonlinearities, for instance due to limitations in actuators. The interaction between the integrator and the nonlinearities will cause problems with reset windup. Ways to handle anti-reset windup for different controller configurations are d

The accurate processing of complex liquid chromatography coupled to tandem mass spectrometry (LC-MS/MS) data from biological samples is a major challenge for metabolomics, proteomics, and related approaches. Here, we present the pipelines and systems for threshold-avoiding quantification (PASTAQ) LC-MS/MS preprocessing toolset, which allows highly accurate quantification of data-dependent acquisit

To what extent do representational gaps between parties and voters destabilise party systems and create electoral opportunities for anti-establishment parties on the left and right? In this paper, we use multiple measures of party-partisan incongruence to evaluate whether issue-level incongruence contributes to an increase of political disaffection and anti-establishment politics. For this analysi

Group Decision and Negotiation Support Systems need to provide support for different types of communication activities. The purpose of this study is to identify and test cross-linguistic measures for recognition of communication activities in order to provide support for various forms of group decision and negotiation support systems, including e-negotiation support systems. The study uses quantit

The contribution contains a comprehensive presentation of the legal regulations for the indemnification of National Socialist injustice—notably the restitution of property of Jewish victims of the Holocaust—, using the example of the law of the Federal Republic of Germany. It is also devoted to the contextualization of indemnification and reparation policy in terms of international law, public law

Although it is vital for organizations to learn in order to be competitive, efficient, and innovative, it is one of the profound organizational dilemmas: organizations understand and have learnt that it is important to learn and yet it is difficult to ensure organizational learning. This is a personal and reflexive note about what I have learnt from research and practice about various attempts to

Hypertension affects approximately one third of the world’s adult population and is a major cause of premature death despite considerable advances in pharmacological treatments. Growing evidence supports the use of lifestyle interventions for the prevention and adjuvant treatment of hypertension. In this Review, we provide a summary of the epidemiological research supporting the preventive and ant

We propose a variational autoencoder to perform improved pre-processing forclustering and anomaly detection on data with a given label. Anomalies howeverare not known or labeled. We call our method conditioned variationalautonencoder since it separates the latent space by conditioning on informationwithin the data. The method fits one prior distribution to each class in thedataset, effectively exp

In this paper we study the Fokker-Planck operator with potential V (x), and analyze some kind of conditions imposed on the potential to ensure the validity of global hypoelliptic estimates (see Theorem 1.1). As a consequence, we obtain the compactness of resolvent of the Fokker-Planck operator if either the Witten Laplacian on 0-forms has a compact resolvent or some additional assumption on the be

A well-known theorem by Tarsi states that a minimally unsatisfiable CNF formula with m clauses can have at most m - 1 variables, and this bound is exact. In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordström 2009] extended the concept of minimal unsatisfiability to sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formu

The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theor