Towards Improving the Utilisation of University Teaching Space

There is a perception that teaching space in universities is a rather scarce resource. However, some studies have revealed that in many institutions it is actually chronically under-used. Often, rooms are occupied only half the time, and even when in use they are often only half full. This is usually measured by the ‘utilization’ which is defined as the percentage of available ‘seat-hours’ that are employed. Within real institutions, studies have shown that this utilization can often take values as low as 20–40%. One consequence of such a low level of utilization is that space managers are under pressure to make more efficient use of the available teaching space. However, better management is hampered because there does not appear to be a good understanding within space management (near-term planning) of why this happens. This is accompanied, within space planning (long-term planning) by a lack of experise on how best to accommodate the expected low utilizations. This motivates our two main goals: (i) To understand the factors that drive down utilizations, (ii) To set up methods to provide better space planning. Here, we provide quantitative evidence that constraints arising from timetabling and location requirements easily have the potential to explain the low utilizations seen in reality. Furthermore, on considering the decision question ‘Can this given set of courses all be allocated in the available teaching space?’ we find that the answer depends on the associated utilization in a way that exhibits threshold behaviour: There is a sharp division between regions in which the answer is ‘almost always yes’ and those of ‘almost always no’. Through analysis and understanding of the space of potential solutions, our work suggests that better use of space within universities will come about through an understanding of the effects of timetabling constraints and when it is statistically likely that it will be possible for a set of courses to be allocated to a particular space. The results presented here provide a firm foundation for university managers to take decisions on how space should be managed and planned for more effectively. Our multi-criteria approach and new methodology together provide new insight into the interaction between the course timetabling problem and the crucial issue of space planning.

Improving the utilisation of University teaching space

There is a perception that teaching space in universities is a rather scarce resource. However, some studies have revealed that in many institutions it is actually chronically under-used. Often, rooms are occupied only half the time, and even when in use they are often only half full. This is usually measured by the “utilisation” which is basically the percentage of available ’seat-hours’ that are employed. In real institutions, this utilisation can often takes values as low as 20-40%. One consequence of such low utilisation is that space managers are under pressure to make a more efficient use of the available teaching space. However, better management is hampered because there does not appear to be a good understanding within space management (near-term planning) of why this happens. Nor, a good basis within space planning (long-term planning) of how best to accommodate the expected low utilisations. This motivates our two main goals: (i) To understand the factors that drive down utilisations, (ii) To set up methods to provide better space planning. Here, we provide quantitative evidence that constraints arising from timetabling and location requirements easily have the potential to explain the low utilisations seen in reality. Furthermore, on considering the decision question “Can this given set of courses all be allocated in the available teaching space?” we find that the answer depends on the associated utilisation in a way that exhibits threshold behaviour: There is a sharp division between regions in which the answer is “almost always yes” and those of “almost always no”. Our work suggests that progress in space management and planning will arise from an integrated approach; combining purely space issues with restrictions representing an aggregated or abstracted version of key constraints such as timetabling or location, and

Transonic Aeroelastic Stability Predictions Under the Influence of Structural Variability

Flutter prediction as currently practiced is almost always deterministic in nature, based on a single structural model that is assumed to represent a fleet of aircraft. However, it is also recognized that there can be significant structural variability, even for different flights of the same aircraft. The safety factor used for flutter clearance is in part meant to account for this variability. Simulation tools can, however, represent the consequences of structural variability in the flutter predictions, providing extra information that could be useful in planning physical tests and assessing risk. The main problem arising for this type of calculation when using high-fidelity tools based on computational fluid dynamics is the computational cost. The current paper uses an eigenvalue-based stability method together with Euler-level aerodynamics and different methods for propagating structural variability to stability predictions. The propagation methods are Monte Carlo, perturbation, and interval analysis. The feasibility of this type of analysis is demonstrated. Results are presented for the Goland wing and a generic fighter configuration.

Cough hypersensitivity syndrome is an important clinical concept:a pro/con debate

The major etiologies of chronic cough are generally accepted to consist of upper airway cough syndrome (formerly postnasal drip syndrome), eosinophilic airway inflammation (asthma, nonasthmatic eosinophilic bronchitis), and gastroesophageal reflux disease (GERD). However, only a small percentage of patients with these very common conditions suffers from chronic cough. Furthermore, acute cough due to viral upper respiratory tract infection (URI) is almost always a transient, self-limited condition, yet in a small subgroup of patients, URI heralds the onset of chronic, refractory cough. The cough hypersensitivity syndrome has been proposed to explain the occurrence of chronic cough in a subgroup of patients exposed to the same putative triggers as the vast majority of the population in whom chronic cough does not result. Although conceptually the cough hypersensitivity syndrome may be intellectually satisfying, differences of opinion remain as to whether this newly recognized entity is of clinical significance, i.e., useful for the treatment of patients suffering from chronic cough. The Third American Cough Conference, held in New York in June 2011, provided an ideal forum for the debate of this issue between two internationally recognized authorities in the field of cough.

The Intersection of Religious Autonomy and Religious Symbols: Setting the Stage

Two sets of issues in the area of law and religion have generated a large share of attention and controversy across a wide number of countries and jurisdictions in recent years. The first set of issues relates to the autonomy of churches and other religiously affiliated entities such as schools and social service organisations in their hiring and personnel decisions, involving the question of how far, if at all, such entities should be free from the influence and oversight of the state. The second set of issues involves the presence of religious symbols in the public sphere, such as in state schools or on public lands, involving the question of how far the state should be free from the influence of religion. Although these issues – freedom of religion from the state, and freedom of the state from religion – could be viewed as opposite sides of the same coin, they are almost always treated as separate lines of inquiry, and the implications of each for the other have not been the subject of much scrutiny. In this Introduction, we consider whether insights might be drawn from thinking about these issues both from a comparative law perspective and also from considering these two lines of cases together.

Aggressiveness as a component of fighting ability in pigs using a game-theoretical framework

Understanding animal contests has benefited greatly from employing the concept of fighting ability, termed resource-holding potential (RHP), with body size/weight typically used as a proxy. However, victory does not always go to the larger/heavier contestant and the existing RHP approach thereby fails to accurately predict contest outcome. Aggressiveness, typically studied as a personality trait, might explain part of this discrepancy. We investigated whether aggressiveness forms a component of RHP, examining effects on contest outcome, duration and phases, plus physiological measures of costs (lactate and glucose). Furthermore, using the correct theoretical framework, we provide the first study to investigate whether individuals gather and use information on aggressiveness as part of an assessment strategy. Pigs, Sus scrofa, were assessed for aggressiveness in resident-intruder tests whereby attack latency reflects aggressiveness. Contests were then staged between size-matched animals diverging in aggressiveness. Individuals with a short attack latency in the resident-intruder test almost always initiated the first bite and fight in the subsequent contest. However, aggressiveness had no direct effect on contest outcome, whereas bite initiation did lead to winning in contests without an escalated fight. This indirect effect suggests that aggressiveness is not a component of RHP, but rather reflects a signal of intent. Winner and loser aggressiveness did not affect contest duration or its separate phases, suggesting aggressiveness is not part of an assessment strategy. A greater asymmetry in aggressiveness prolonged contest duration and the duration of displaying, which is in a direction contrary to assessment models based on morphological traits. Blood lactate and glucose increased with contest duration and peaked during escalated fights, highlighting the utility of physiological measures as proxies for fight cost. Integrating personality traits into the study of contest behaviour, as illustrated here, will enhance our understanding of the subtleties of agonistic interactions.

Management of polycythaemia vera: a critical review of current data

Polycythaemia vera (PV) is a chronic blood cancer; its clinical features are dominated by myeloproliferation (erythrocytosis, often leucocytosis and/or thrombocytosis) and a tendency for thrombosis and transformation to myelofibrosis or acute myeloid leukaemia. In the past 10 years the pathophysiology of this condition has been defined as JAK/STAT pathway activation, almost always due to mutations in JAK2 exons 12 or 14 (JAK2 V617F). In the same time period our understanding of the optimal management of PV has expanded, most recently culminating in the approval of JAK inhibitors for the treatment of PV patients who are resistant or intolerant to therapy with hydroxycarbamide. It has also been demonstrated that life expectancy for many patients with PV is not normal, nor is their quality of life. We critically explore these findings and discuss their impact. In addition, we highlight persisting gaps in our current management strategy; for example, what is the optimal first line cytoreductive therapy and, indeed, which patients need cytoreductive drugs.

Desistance from Sexual Offending: Do the Mainstream Theories Apply?

The literature on desistance from crime has become well established in recent years with strong bodies of evidence supporting the role of factors such as employment, relationships and identity change in this process. However, the relevance of this literature to individuals convicted of sexual crimes is not known as such individuals are almost always excluded from this research. This article presents the results from one of the first empirical studies on desistance from sexual offending based on 32 in-depth life story interviews with adult males previously convicted of child sex offences. In this analysis we explore the significance of work, the role of relationships, and changes in imagined selves in the self-identities of individuals successfully desisting from sexual offending. The findings provide support for all three factors in helping to sustain desistance from sex offending, but also suggest clear differences between desistance from sex offending and other types of crime in these regards.

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.

Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assessments

This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with precise, imprecise, indeterminate and qualitative probabilistic assessments. The paper shows how this can be achieved through the theory of credal networks. New exact and approximate inference algorithms based on multilinear programming and iterated/loopy propagation of interval probabilities are presented; their superior performance, compared to existing ones, is shown empirically.

A comparison of merging operators in possibilistic logic.

In this paper, we compare merging operators in possibilistic logic. We rst propose an approach to evaluating the discriminating power of a merging operator. After that, we analyze the computational complexity of existing possibilistic merging operators. Finally, we consider the compatibility of possibilistic merging operators with propositional merging operators.

Simultaneously multiply-configurable or superposed molecular logic systems composed of ICT (internal charge transfer) chromophores and fluorophores integrated with one- or two-ion receptors

Integrated "ICT chromophore-receptor" systems show ion-induced shifts in their electronic absorption spectra. The wavelength of observation can be used to reversibly configure the system to any of the four logic operations permissible with a single input (YES, NOT, PASS 1, PASS 0), under conditions of ion input and transmittance output. We demonstrate these with dyes integrated into Tsien's calcium receptor, 1-2. Applying multiple ion inputs to 1-2 also allows us to perform two- or three-input OR or NOR operations. The weak fluorescence output of 1 also shows YES or NOT logic depending on how it is configured by excitation and emission wavelengths. Integrated "receptor(1)-ICT chromophore-receptor(2)" systems 3-5 selectively target two ions into the receptor terminals. The ion-induced transmittance output of 3-5 can also be configured via wavelength to illustrate several logic types including, most importantly, XOR. The opposite effects of the two ions on the energy of the chromophore excited state is responsible for this behaviour. INHIBIT and REVERSE IMPLICATION are two of the other logic types seen here. Integration of XOR logic with a preceding OR operation can be arranged by using three ion inputs. The fluorescence output of these systems can be configured via wavelength to display INHIBIT or NOR logic under two-input conditions. The superposition or multiplicity of logic gate configurations is an unusual consequence of the ability to simultaneously observe multiple wavelengths.