A fast block Hankel solver based on an inversion formula for block Loewner matrices

We propose a newO(p ³ n ²) algorithm for solving complexnp×np linear systems that have block Hankel structure, where the blocks are square matrices of sizep×p. Via FFTs the block Hankel system is transformed into a block Loewner system. An inversion formula enables us to calculate the inverse of the block Loewner matrix explicitely. The parameters that occur in this inversion formula are calculated by solving two rational interpolation problems on the unit circle. We have implemented our algorithm in Fortran 90. Numerical examples are included.     

Expression of beta 2-integrins and L-selectin on polymorphonuclear leukocytes in septic patients

Adhesion molecules on polymorphonuclear leukocytes (PMNL) play an important role in nonspecific defense mechanisms directed at invading microorganisms. When local infection, however, cannot be controlled, a systemic inflammatory response syndrome (SIRS) ensues which may progress to septic shock and multiple organ failure, these being major determinants of the patient's outcome. In the present study, the expression of beta 2-integrins and L-selectin on blood PMNL was measured on subsequent days in patients with sepsis (n = 17) and in healthy volunteers (n = 15). beta 2-Integrins and L-selectin molecules were detected by flow cytometry, using the monoclonal antibodies IB4 (anti-CD18) and Dreg200 (anti-CD62L), respectively. Adhesion molecules were determined at baseline immediately after blood collection and also 45 min after incubation of cells in vitro at body temperature to allow for spontaneous regulation. In addition, PMNL were activated by receptor-dependent and receptor-independent stimuli to characterize stimulus-specific adhesion molecule expression. In parallel with the measurement of adhesion molecules, severity of sepsis was assessed by the Elebute score. The results demonstrate significant differences in the basal, spontaneous and stimulus-induced expression of adhesion molecules between healthy volunteers, survivors (n = 11) and nonsurvivors (n = 6). Moreover, when survivors and nonsurvivors with severe sepsis (Elebute score > 12) were compared, basal expressions of both beta 2-integrins and L-selectin were significantly lower in patients who did not survive. Thus, measurement of adhesion molecules on circulating PMNL may be useful to identify septic patients at high risk for lethal outcome.     

A hyperheuristic approach to examination timetabling problems: benchmarks and a new problem from practice

Many researchers studying examination timetabling problems focus on either benchmark problems or problems from practice encountered in their institutions. Hyperheuristics are proposed as generic optimisation methods which explore the search space of heuristics rather than direct solutions. In the present study, the performance of tournament-based hyperheuristics for the exam timetabling problem are investigated. The target instances include both the Toronto and ITC 2007 benchmarks and the examination timetabling problem at KAHO Sint-Lieven (Ghent, Belgium). The Toronto and ITC 2007 benchmarks are post-enrolment-based examination timetabling problems, whereas the KAHO Sint-Lieven case is a curriculum-based examination timetabling problem. We drastically improve the previous (manually created) solution for the KAHO Sint-Lieven problem by generating a timetable that satisfies all the hard and soft constraints. We also make improvements on the best known results in the examination timetabling literature for seven out of thirteen instances for the To ronto benchmarks. The results are competitive with those of the finalists of the examination timetabling track of the International Timetabling Competition.     

Using argumentation to model agent decision making in economic experiments

In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains the results that have been reported from such studies. Our framework is an argumentation-based one in which the social values promoted or demoted by alternative action options are explicitly represented. Our particular representation is used to model the Dictator Game and the Ultimatum Game, which are simple interactions in which it must be decided how a sum of money will be divided between the players in the games. Studies have been conducted into how humans act in such games and the results are not explained by a decision-model that assumes that the participants are purely self-interested utility-maximisers. Some studies further suggest that differences in choices made in different cultures may reflect their day to day behaviour, which can in turn be related to the values of the subjects, and how they order their values. In this paper we show how these interactions can be modelled in agent systems in a framework that makes explicit the reasons for the agents’ choices based upon their social values. Our framework is intended for use in situations where agents are required to be adaptable, for example, where agents may prefer different outcome states in transactions involving different types of counter-parties.     

On enabling integrated process compliance with semantic constraints in process management systems

Key to broad use of process management systems (PrMS) in practice is their ability to foster and ease the implementation, execution, monitoring, and adaptation of business processes while still being able to ensure robust and error-free process enactment. To meet these demands a variety of mechanisms has been developed to prevent errors at the structural level (e.g., deadlocks). In many application domains, however, processes often have to comply with business level rules and policies (i.e., semantic constraints) as well. Hence, to ensure error-free executions at the semantic level, PrMS need certain control mechanisms for validating and ensuring the compliance with semantic constraints. In this paper, we discuss fundamental requirements for a comprehensive support of semantic constraints in PrMS. Moreover, we provide a survey on existing approaches and discuss to what extent they are able to meet the requirements and which challenges still have to be tackled. In order to tackle the particular challenge of providing integrated compliance support over the process lifecycle, we introduce the SeaFlows framework. The framework introduces a behavioural level view on processes which serves a conceptual process representation for constraint specification approaches. Further, it provides general compliance criteria for static compliance validation but also for dealing with process changes. Altogether, the SeaFlows framework can serve as formal basis for realizing integrated support of semantic constraints in PrMS.