The proper treatment of quantiication in Natural Language proposed by Richard Montague some thirty years ago does not do proper justice to the fact that interpretation of texts both uses context and sets up new contexts. The dynamic turn in NL semantics is the attempt to model this basic fact, but the use of dynamically quantiied variables introduces an undesirable element into this attempt. By...

Formal modelling of complex systems requires catering for a variety of aspects. The Unifying Theories of Programming (UTP) distinguishes itself as a semantic framework that promotes unification of results across different modelling paradigms via linking functions. The naive composition of theories, however, may yield unexpected or undesirable semantic models. Here, we propose a stepwise approac...

Random forests have become a widely-used predictive model in many scientific disciplines within the past few years. Additionally, they are increasingly popular for assessing variable importance, e.g., in genetics and bioinformatics. We highlight both advantages and limitations of different variable importance scores and associated testing procedures. For the test of Breiman and Cutler (2008), w...

This paper proposes a sliding-mode control scheme for a class of nonlinear systems with multiple time delays, in the state variables and in the output signal. The unmeasured state of the system is estimated by an asymptotic observer for the zero dynamics and high-gain observers connected in cascade for a chain of integrators with a nonlinear input disturbance which compose the complete state. T...

Abstract. In the last 15 years periodic timetable problems have found much interest in the combinatorial optimization community. We will focus on the optimisation task to minimise a weighted sum of undesirable slack times. This problem can be formulated as a mixed integer linear problem, which for real world instances is hard to solve. This is mainly caused by the integer variables, the so-call...

Algorithms for Distributed Constraint Satisfaction Problems have tended to mirror existing non-distributed global-search or localsearch algorithms. Unfortunately, existing distributed global-search algorithms derive from classical backtracking search methods and require a total ordering over variables for completeness. Distributed variants of local-search algorithms (such as distributed breakou...

Ninety volunteers in a media organization were randomly allocated to an Acceptance and Commitment Therapy (ACT, n = 30) group that sought to enhance people's ability to cope with work-related strain, an Innovation Promotion Program (IPP, n = 30) that helped individuals to identify and then innovatively change causes of occupational strain, or a waitlist control group (n = 30). Both intervention...

Zearalenone T-2 toxin Table I. Mycotoxins currently of most concern never be fully understood since laboratory studies, where interacting variables are of necessity limited, can only approximate the infinite number of variables manifested in nature, e.g., the chemical composition of the commodity, the complex interactions of the microbial flora, oxygen availability, presence or absence of herbi...