Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Using set operations to deal with the frame problem

This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.

Two-wire thermocouples: A nonlinear state estimation approach to temperature reconstruction.

The problem of measuring high frequency variations in temperature is described, and the need for some form of reconstruction introduced. One method of reconstructing temperature measurements is to use the signals from two thermocouples of differing diameter. Two existing methods for processing such measurements and reconstructing the higher frequency components are described. These are compared to a novel reconstruction algorithm based on a nonlinear extended Kalman filter. The performance of this filter is found to compare favorably, in a number of ways, with the existing techniques, and it is suggested that such a technique would be viable for the online reconstruction of temperatures in real time.

Honest and dishonest displays, motivational state and subsequent decisions in hermit crab shell fights

Animal fights are typically preceded by displays and there is debate whether these are always honest. We investigated the prefight period in hermit crabs, Pagurus bernhardus, during which up to four types of display plus other activities that might provide information are performed. We determined how each display influences or predicts various fight decisions, and related these displays to the motivational state of the attacker, as determined by a startle response, and of the motivational state of the defender, as determined by the duration for which it resisted eviction from its shell. Two displays appeared to have consistent but different effects. Cheliped presentation, where the claws were held in a stationary position, often by both crabs but for longer by the larger, seemed to be honest, and allowed for mutual size assessment. This display enhanced the motivation and the success of the larger crab. In contrast, cheliped extension, involving the rapid thrust of the open chelae towards the opponent, did not seem to allow for mutual size assessment and may contain an element of bluff. It was performed more by the smaller crab and enhanced its success. The complexity of displays in this species appears to allow for both honesty and manipulation.

Engineering source/drain extension regions in nanoscale double gate (DG) SOI MOSFETs: Analytical model and design considerations

In this paper, we propose for the first time, an analytical model for short channel effects in nanoscale source/drain extension region engineered double gate (DG) SOI MOSFETs. The impact of (i) lateral source/drain doping gradient (d), (ii) spacer width (s), (iii) spacer to doping gradient ratio (s/d) and (iv) silicon film thickness (T-si), on short channel effects - threshold voltage (V-th) and subthreshold slope (S), on-current (I-on), off-current (I-on) and I-on/I-off is extensively analysed by using the analytical model and 2D device simulations. The results of the analytical model confirm well with simulated data over the entire range of spacer widths, doping gradients and effective channel lengths. Results show that lateral source/drain doping gradient along with spacer width can not only effectively control short channel effects, thus presenting low off-current, but can also be optimised to achieve high values of on-currents. The present work provides valuable design insights in the performance of nanoscale DG Sol devices with optimal source/drain engineering and serves as a tool to optimise important device and technological parameters for 65 nm technology node and below. (c) 2006 Elsevier Ltd. All rights reserved.

On the need to use steady-state or operando techniques to investigate reaction mechanisms: An in situ DRIFTS and SSITKA-based study example

The nature of the surface species formed at the surface of 2 wt.% Pt/CeO2 catalyst during the forward water-gas-shift (WGS, CO + H2O -> CO2 + H-2) and the reverse reaction (RWGS) were essentially identical. More, the surface concentration of formate, carbonate and carbonyl species was similar in each case. The presence of well-resolved IR bands allowed an unequivocal relative quantitative analysis of each species, avoiding the use of the carboxylate stretching region (1600-1200 cm(-1)). However, the quantitative analysis in the case of an isotopic study was complicated due to the overlapping of the various isotope bands, yet this problem could be overcome by integrating the high-wavenumber part of the bands. The reactivity of the surface species formed under RWGS conditions was followed under two different gaseous streams. Firstly, the reactivity of these intermediates were followed under an inert gas (i.e., At), in which case carbonates were essentially stable and less reactive than formates. Secondly, the reactivity of the same surface species was followed when switching to the corresponding C-13-labelled feed (i.e., (CO2)-C-13 + H-2), in which case carbonates were exchanged significantly faster than formates. While carbonates species have been reported as reaction intermediate under reaction conditions, the increased stability or surface poisoning by these carbonates in the absence of reaction mixture was highlighted. Ultimately, this work re-emphasises the need to use steady-state conditions if the true operando reactivity of the adsorbates and structure of the solid are to be determined. (c) 2005 Elsevier B.V. All rights reserved.

A Hybrid Evolutionary Approach to the Nurse Rostering Problem

Nurse rostering is a difficult search problem with many constraints. In the literature, a number of approaches have been investigated including penalty function methods to tackle these constraints within genetic algorithm frameworks. In this paper, we investigate an extension of a previously proposed stochastic ranking method, which has demonstrated superior performance to other constraint handling techniques when tested against a set of constrained optimisation benchmark problems. An initial experiment on nurse rostering problems demonstrates that the stochastic ranking method is better in finding feasible solutions but fails to obtain good results with regard to the objective function. To improve the performance of the algorithm, we hybridise it with a recently proposed simulated annealing hyper-heuristic within a local search and genetic algorithm framework. The hybrid algorithm shows significant improvement over both the genetic algorithm with stochastic ranking and the simulated annealing hyper-heuristic alone. The hybrid algorithm also considerably outperforms the methods in the literature which have the previously best known results.

The SDLP and the Europeanization of the Northern Ireland Problem

This article explores the various ways in which the Social Democratic and Labour Party (SDLP) has used Europe – as a source of financial aid, political support, ideas and inspiration – in its attempts to resolve the Northern Ireland conflict. In this, the piece considers the SDLP, not as a subject, but rather as an advocate of the Europeanization of the Northern Ireland problem. In particular, it looks at the role of John Hume, a founding member and later leader of the SDLP, who inculcated a strongly pro-European outlook within the party. In doing so, the article considers the success of Hume and the SDLP in their efforts to bring a European influence to bear on Northern Ireland, especially in relation to the peace process and the 1998 Agreement. However, it also looks at both the limitations of this influence, and the problems involved with the SDLP's pro-European approach, particularly since Hume's departure as party leader in 2001. In conclusion, the article suggests that the party may have been ‘over-Europeanized’, with its long-term focus on European issues and ideas now becoming electorally disadvantageous. In this way, the Europeanization of the Northern Ireland problem, and by extension the SDLP, has proven costly to the party.

Vis-á-Vis-á-Vis. The Three-dimensional and artistic view of a problem

ANPO (A Non-predefined Outcome) is an an art-making methodology that employs structuralist theory of language (Saussure, Lacan, Foucault) combined with Hegel’s dialectic and the theory of creation of space by Lefebvre to generate spaces of dialogue and conversation between community members and different stakeholders. These theories of language are used to find artistic ways of representing a topic that community members have previously chosen. The topic is approached in a way that allows a visual, aural, performative and gustative form. To achieve this, the methodology is split in four main steps: step 1 ‘This is not a chair’, Step 2 ‘The topic’, Step 3 ‘ Vis-á-vis-á-vis’ and step 4. ‘Dialectical representation’ where the defined topic is used to generate artistic representations.The step 1 is a warm up exercise informed by the Rene Magritte painting ‘This is not a Pipe’. This exercise aims to help the participants to see an object as something else than an object but as a consequence of social implications. Step 2, participants choose a random topic and vote for it. The artist/facilitator does not predetermine the topic, participants are the one who propose it and choose it. Step 3, will be analysed in this publication and finally step 4, the broken down topic is taken to be represented and analysed in different ways. 

Motivation matters: cheliped extension displays in the hermit crab, Pagurus bernhardus, are honest signals of hunger

Whether animal signals convey honest information is a central evolutionary question, since selection pressures could, in some circumstances, favour dishonesty. A prior study of signalling in hermit crabs proposed that the cheliped extension display of Pagurus bernhardus might represent such an instance of dishonesty. A limitation of this conclusion, however, was that honesty was defined in the context of size assessment, neglecting the potential information that displays might transmit about signallers' variable internal states. Recent analyses of signalling in this same species have shown that its displays provide reliable information about the amount of risk crabs are prepared to tolerate, which therefore might enable signallers to use these displays to honestly convey their motivation to take such risks. Here we test this 'honest advertisement of motivation' hypothesis by varying crabs' need for food and analysing their signalling during simulated feeding conflicts against a model. When crabs were starved for 1-5 days, they dropped significantly in weight. Despite this decrement in resource-holding potential and energy reserves, crabs were more likely to perform cheliped extension displays the longer they were food deprived. Longer-starved crabs, whose subjective resource value was greater, also displayed at a higher rate and were more likely to risk seizing the food from the model. We conclude that cheliped extension is a reliable indicator of crabs' internal state and suggest how this honest signal might operate in conflicts over a variety of other resources in addition to food. We propose that future studies detecting apparent dishonesty should analyse many possible signal-state correlations before concluding a signal is actually dishonest. (c) 2008 The Association for the Study of Animal Behaviour. Published by Elsevier Ltd. All rights reserved.

Enforcing Member State Compliance with EU Environmental Law: A Critical Evaulation of the Use of Financial Penalties

The 1993 Treaty on European Union finally closed a legal vacuum in
EU law, by giving the Court the power to impose financial penalties to
enforce compliance with its judgments. Today, this power is found
within Article 260(2) of the Treaty on the Functioning of the
European Union. Drawing upon case law, this article examines the
role that the Court’s enforcement powers have played in relation to
EU environmental law. It argues that EU law has yet to make full use
of their potential. The article commences with the Commission and
questions whether it has sufficient resources to carry out its functions
under Article 260(2). The article also examines the ongoing problem of
Member State delay in complying with Court judgments and the
weight given to environmental considerations in the Court’s decision
making on financial penalties. The article concludes by examining the
implications of the Lisbon Treaty.

Hidden costs of control: four repetitions and an extension

We report four repetitions of Falk and Kosfeld's (Am. Econ. Rev. 96(5):1611-1630, 2006) low and medium control treatments with 476 subjects. Each repetition employs a sample drawn from a standard subject pool of students and demographics vary across samples. We largely confirm the existence of hidden costs of control but, contrary to the original study, hidden costs of control are usually not substantial enough to significantly undermine the effectiveness of economic incentives. Our subjects were asked, at the end of the experimental session, to complete a questionnaire in which they had to state their work motivation in hypothetical scenarios. Our questionnaires are identical to the ones administered in Falk and Kosfeld's (Am. Econ. Rev. 96(5):1611-1630, 2006) questionnaire study. In contrast to the game play data, our questionnaire data are similar to those of the original questionnaire study. In an attempt to solve this puzzle, we report an extension with 228 subjects where performance-contingent earnings are absent i.e. both principals and agents are paid according to a flat participation fee. We observe that hidden costs significantly outweigh benefits of control under hypothetical incentives.

Avoidance Techniques: State Related Defences in International Antitrust Cases

Despite its economic significance, competition law still remains fragmented, lacking an international framework allowing for dispute settlement. This, together with the growing importance of non-free-market economies in world trade require us to re-consider and re-evaluate the possibilities of bringing an antitrust suit against a foreign state. If the level playing field on the global marketplace is to be achieved, the possibility of hiding behind the bulwark of state sovereignty should be minimised. States should not be free to act in an anti-competitive way, but at present the legal framework seems ill-equipped to handle such challenges.

This paper deals with the defences available in litigation concerning transnational anti-competitive agreements involving or implicating foreign states. Four important legal doctrines are analysed: non-justiciability (political question doctrine), state immunity, act of state doctrine and foreign state compulsion. The paper addresses also the general problem of applicability of competition laws to a foreign state as such. This is a tale about repetitive unsuccessful efforts to sue OPEC and recent attempts in the US to deal with export cartels of Chinese state-owned enterprises

The value of water quality improvements in the region Berlin-Brandenburg as a function of distance and state residency

This study uses a discrete choice experiment (DCE) to elicit willingness to pay estimates for changes in the water quality of three rivers. As many regions the metropolitan region Berlin-Brandenburg struggles to achieve the objectives of the Water Framework Directive until 2015. A major problem is the high load of nutrients. As the region is part of two states (Länder) and the river sections are common throughout the whole region we account for the spatial context twofold. Firstly, we incorporate the distance between each respondent and all river stretches in all MNL and RPL models, and, secondly, we consider whether respondents reside in the state of Berlin or Brandenburg. The compensating variation (CV) calculated for various scenarios shows that overall people would significantly benefit from improved water quality. The CV measures, however, also reveal that not considering the spatial context would result in severely biased welfare measures. While the distance decay effect lowers CV, state residency is connected to the frequency of status quo choices and not accounting for residency would underestimate possible welfare gains in one state. Another finding is that the extent of the market varies with respect to attributes (river stretches) and attribute levels (water quality levels).

New Results for the MAP Problem in Bayesian Networks

This paper presents new results for the (partial) maximum a posteriori (MAP) problem in Bayesian networks, which is the problem of querying the most probable state configuration of some of the network variables given evidence. First, it is demonstrated that the problem remains hard even in networks with very simple topology, such as binary polytrees and simple trees (including the Naive Bayes structure). Such proofs extend previous complexity results for the problem. Inapproximability results are also derived in the case of trees if the number of states per variable is not bounded. Although the problem is shown to be hard and inapproximable even in very simple scenarios, a new exact algorithm is described that is empirically fast in networks of bounded treewidth and bounded number of states per variable. The same algorithm is used as basis of a Fully Polynomial Time Approximation Scheme for MAP under such assumptions. Approximation schemes were generally thought to be impossible for this problem, but we show otherwise for classes of networks that are important in practice. The algorithms are extensively tested using some well-known networks as well as random generated cases to show their effectiveness.