Analysis of Boolean Equation Systems through Structure Graphs

We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our main contribution is that we show that equation systems with bisimilar structure graphs have the same solution. We show that our work conservatively extends earlier work, conducted by Keiren and Willemse, in which dependency graphs were used to analyse a subclass of Boolean equation systems, viz., equation systems in standard recursive form. We illustrate our approach by a small example, demonstrating the effect of simplifying an equation system through minimisation of its structure graph

Internationalisation and the valuation of forest assets

The paper looks at the implications of internationalisation of forest ownership on forest valuation. With an increase in the international diversity of forest owners questions are raised about the effect that this has on the methods used to value forests and whether there are substantive differences due to the nationality of the owner. A survey of 30 commercial forest owners in New Zealand and 27 commercial forest owners in Australia was carried out. The survey looked at factors such as the legal structure of the owner, whether it was involved in only forest ownership or forest ownership and wood processing, countries in which forest are owned, main species, predominant age class distribution and target rotation age of forests, and valuation method currently used. The results show that there are substantial differences in how forests are valued in either country, but also that these differences to not appear to be linked to the nationality of the owner

Sensators: active multisensory tangible user interfaces

Although Tangible User Interfaces are considered an intuitive means of human-computer interaction, they oftentimes lack the option to provide active feedback. We developed ‘Sensators’: generic shaped active tangibles to be used on a multi-touch table. Sensators can represent digital information by means of ‘Sensicons’: multimodal messages consisting of visual, auditory, and vibro- tactile cues. In our demonstration, we will present Sensators as suitable tools for research on multimodal perception in different tangible HCI tasks

The propensity of the bacterial rodlin protein RdlB to form amyloid fibrils determines its function in Streptomyces coelicolor.

Streptomyces bacteria form reproductive aerial hyphae that are covered with a pattern of pairwise aligned fibrils called rodlets. The presence of the rodlet layer requires two homologous rodlin proteins, RdlA and RdlB, and the functional amyloid chaplin proteins, ChpA-H. In contrast to the redundancy shared among the eight chaplins, both RdlA and RdlB are indispensable for the establishment of this rodlet structure. By using a comprehensive biophysical approach combined with in vivo characterization we found that RdlB, but not RdlA, readily assembles into amyloid fibrils. The marked difference in amyloid propensity between these highly similar proteins could be largely attributed to a difference in amino acid sequence at just three sites. Further, an engineered RdlA protein in which these three key amino acids were replaced with the corresponding residues from RdlB could compensate for loss of RdlB and restore formation of the surface-exposed amyloid layer in bacteria. Our data reveal that RdlB is a new functional amyloid and provide a biophysical basis for the functional differences between the two rodlin proteins. This study enhances our understanding of how rodlin proteins contribute to formation of an outer fibrillar layer during spore morphogenesis in streptomycetes

Comparative analysis of Ig and TCR gene rearrangements at diagnosis and at elapse of childhood precursor-B–ALL provides improved strategies for selection of stable PCR targets for monitoring of minimal residual disease

Immunoglobulin (Ig) and T-cell receptor (TCR) gene rearrangements are excellent patient-specific polymerase chain reaction (PCR) targets for detection of minimal residual disease (MRD) in acute lymphoblastic leukemia (ALL), but they might be unstable during the disease course. Therefore, we performed detailed molecula

The chronostratigraphy of Late Pleistocene glacial and periglacial aeolian activity in the Tuktoyaktuk Coastlands, NWT, Canada

Aeolian periglacial sand deposits are common in the Tuktoyaktuk Coastlands of Western Arctic Canada. Regionally extensive and thick aeolian sand-sheet deposits have been observed in two major stratigraphic settings: within a sand unit characterized by large aeolian dune deposits; and interbedded with glaciofluvial outwash from the Laurentide Ice Sheet (LIS). Small, localized sand sheets have also been observed along the tops of sandy bluffs, within sequences of drained thermokarst lakes deposits and as an involuted veneer above buried basal ice of the LIS. On the basis of radiocarbon and optically stimulated luminescence (OSL) dates from preserved periglacial aeolian sand sheets and dunes a regional chronostratigraphy is presented which indicates that both extensive dunes and sand sheets accumulated mainly between ca 30 and 13 ka. A switch to dominantly sand-sheet aggradation at ca 14–13 ka, with sand sheets forming widely until ca 8 ka, is attributed to (a) surface armouring by glacial deposits associated with the advance of the LIS; and (b) amelioration of the climate from cold aridity. An absence of OSL dates between ca 8 and 1 ka suggests that sand sheets stabilized during much of the Holocene. Local sand-sheet aggradation during recent centuries has occurred near sandy bluffs and on the floors of drained thermokarst lakes. The OSL dates constrain the maximum extent of the LIS in the Tuktoyaktuk Coastlands to Marine Isotope Stage 2

(On)begrensde Technologie

Er zijn voorspellingen gedaan, bijvoorbeeld door het World Economic Forum, dat we aan de vooravond van een ‘vierde industriële revolutie’ staan, die draait om het meer verbonden raken van informatie- en productieprocessen. Als dat zo is, zal dat maatschappelijke gevolgen voor Zuid-Holland en daarmee implicaties voor het beleid van de provincie hebben. De onderzoeksvraag van deze studie is dan ook: “Wat is de maatschappelijke [sociale, economische en ruimtelijke] invloed van nieuwe productie- en informatietechnologieën? En, hoe verandert dat de wijze waarop we als provincie aan de opgaven van de toekomst werken?”. Hiertoe hebben we een literatuurstudie over de potentiële maatschappelijke gevolgen van nieuwe technologie verricht en daarna in interactie met stakeholders en de provincie vier scenario’s ontwikkeld

Facilitating return to work through early specialist health-based interventions (FRESH): protocol for a feasibility randomised controlled trial

Background Over one million people sustain traumatic brain injury each year in the UK and more than 10 % of these are moderate or severe injuries, resulting in cognitive and psychological problems that affect the ability to work. Returning to work is a primary rehabilitation goal but fewer than half of traumatic brain injury survivors achieve this. Work is a recognised health service outcome, yet UK service provision varies widely and there is little robust evidence to inform rehabilitation practice. A single-centre cohort comparison suggested better work outcomes may be achieved through early occupational therapy targeted at job retention. This study aims to determine whether this intervention can be delivered in three new trauma centres and to conduct a feasibility, randomised controlled trial to determine whether its effects and cost effectiveness can be measured to inform a definitive trial. Methods/design Mixed methods study, including feasibility randomised controlled trial, embedded qualitative studies and feasibility economic evaluation will recruit 102 people with traumatic brain injury and their nominated carers from three English UK National Health Service (NHS) trauma centres. Participants will be randomised to receive either usual NHS rehabilitation or usual rehabilitation plus early specialist traumatic brain injury vocational rehabilitation delivered by an occupational therapist. The primary objective is to assess the feasibility of conducting a definitive trial; secondary objectives include measurement of protocol integrity (inclusion/exclusion criteria, intervention adherence, reasons for non-adherence) recruitment rate, the proportion of eligible patients recruited, reasons for non-recruitment, spectrum of TBI severity, proportion of and reasons for loss to follow-up, completeness of data collection, gains in face-to-face Vs postal data collection and the most appropriate methods of measuring primary outcomes (return to work, retention) to determine the sample size for a larger trial. Discussion To our knowledge, this is the first feasibility randomised controlled trial of a vocational rehabilitation health intervention specific to traumatic brain injury. The results will inform the design of a definitive trial

Struggles over access to the Muslim public sphere: Multiple publics and discourses on agency, belonging and citizenship (Introduction to the Themed Section)

Abstract This introductory essay provides the context for the articles in this Themed Section. Despite the diversity in locations, historical backgrounds and contemporary processes of change, all contributors to this Themed Section focus on the struggle of Muslim groups over access to an emergent Muslim public sphere. They highlight the contestations of and shifts in the notions of agency, belonging, and citizenship in nation-states with Muslim communities within its borders. The introduction consists of two parts. The first part reviews the notion of the public sphere as conceptualized by Habermas and critiqued by scholars of a diversity of backgrounds. In relation to the concept of the Muslim public sphere, three aspects of critique are given closer c