Designing for Care Ecosystems: a Literature Review of Technologies for Children with ADHD

This paper presents a systematic review of HCI literature focusing on children with ADHD, the prevailing mental health diagnosis in children. Its aim is to (i) chart the state-of-the-art in this domain (e.g. methods used), (ii) identify the ways the HCI community has addressed the needs of children with ADHD (e.g. technologies deployed), and (iii) describe the involvement of the various stakeholders playing a role in their everyday experiences (i.e. their care ecosystem). Our findings show limited engagement of the care ecosystem in the design, development and user studies of current technologies, and shortcomings in designing for multiple ecosystem stakeholders, despite their crucial role. We also find that most HCI contributions are systems aiming to address ADHD-related symptoms. Based on our findings, we provide suggestions for further research and design considerations for future systems that empower and promote the well-being of children with ADHD, while considering their care ecosystem

Research Proposal for an Experiment to Search for the Decay {\mu} -> eee

We propose an experiment (Mu3e) to search for the lepton flavour violating decay mu+ -> e+e-e+. We aim for an ultimate sensitivity of one in 10^16 mu-decays, four orders of magnitude better than previous searches. This sensitivity is made possible by exploiting modern silicon pixel detectors providing high spatial resolution and hodoscopes using scintillating fibres and tiles providing precise timing information at high particle rates.Comment: Research proposal submitted to the Paul Scherrer Institute Research Committee for Particle Physics at the Ring Cyclotron, 104 page

Design and Development of Personal GeoServices for Universities

Personal GeoServices are emerging as an interaction paradigm linking users to information rich environments like a university campus or to Big Data sources like the Internet of Things by delivering spatially intelligent web-services. OpenStreetMap (OSM) constitutes a valuable source of spatial base-data that can be extracted, integrated, and utilised with such heterogeneous data sources for free. In this paper, we present a Personal GeoServices application built on OSM spatial data and university-specific business data for staff, faculty, and students. While generic products such as Google Maps and Google Earth enable basic forms of spatial exploration, the domain of a university campus presents specific business information needs, such as “What classes are scheduled in that room over there?” and “How can I get to Prof. Murray’s office from here?” Within the framework of the StratAG project (www.StratAG.ie), an eCampus Demonstrator was developed for the National University of Ireland Maynooth (NUIM) to assist university users in exploring and analysing their surroundings within a detailed data environment. This work describes this system in detail, discussing the usage of OSM vector data, and providing insights for developers of spatial information systems for personalised visual exploration of an area

Unary Pushdown Automata and Straight-Line Programs

We consider decision problems for deterministic pushdown automata over a unary alphabet (udpda, for short). Udpda are a simple computation model that accept exactly the unary regular languages, but can be exponentially more succinct than finite-state automata. We complete the complexity landscape for udpda by showing that emptiness (and thus universality) is P-hard, equivalence and compressed membership problems are P-complete, and inclusion is coNP-complete. Our upper bounds are based on a translation theorem between udpda and straight-line programs over the binary alphabet (SLPs). We show that the characteristic sequence of any udpda can be represented as a pair of SLPs---one for the prefix, one for the lasso---that have size linear in the size of the udpda and can be computed in polynomial time. Hence, decision problems on udpda are reduced to decision problems on SLPs. Conversely, any SLP can be converted in logarithmic space into a udpda, and this forms the basis for our lower bound proofs. We show coNP-hardness of the ordered matching problem for SLPs, from which we derive coNP-hardness for inclusion. In addition, we complete the complexity landscape for unary nondeterministic pushdown automata by showing that the universality problem is $\Pi_2 \mathrm P$-hard, using a new class of integer expressions. Our techniques have applications beyond udpda. We show that our results imply $\Pi_2 \mathrm P$-completeness for a natural fragment of Presburger arithmetic and coNP lower bounds for compressed matching problems with one-character wildcards

Relaxation and Metastability in the RandomWalkSAT search procedure

An analysis of the average properties of a local search resolution procedure for the satisfaction of random Boolean constraints is presented. Depending on the ratio alpha of constraints per variable, resolution takes a time T_res growing linearly (T_res \sim tau(alpha) N, alpha < alpha_d) or exponentially (T_res \sim exp(N zeta(alpha)), alpha > alpha_d) with the size N of the instance. The relaxation time tau(alpha) in the linear phase is calculated through a systematic expansion scheme based on a quantum formulation of the evolution operator. For alpha > alpha_d, the system is trapped in some metastable state, and resolution occurs from escape from this state through crossing of a large barrier. An annealed calculation of the height zeta(alpha) of this barrier is proposed. The polynomial/exponentiel cross-over alpha_d is not related to the onset of clustering among solutions.Comment: 23 pages, 11 figures. A mistake in sec. IV.B has been correcte

Long-term success of floodplain meadow restoration on species-poor grassland

Restoration of floodplain meadows remains a challenge, as many degraded sites suffer from seed limitation. The transfer of seed-containing plant material from species-rich donor sites is a widely used method to restore semi-natural grasslands. However, most studies on the success of such restoration projects comprise limited time frames. As factors determining restoration success may only become evident after many years, long-term observations are crucial. We re-investigated 20 restored grassland sites in the floodplain of the Northern Upper Rhine 13–16 years after plant material transfer with different soil preparation treatments. To this end, we carried out vegetation surveys on 254 permanent plots and studied the potential influence of soil preparation, soil nutrients, and hydrology on plant species composition, diversity, and transfer of target species. Since sustainable agricultural use is important to ensure the long-term stability of restored semi-natural grasslands, we further investigated biomass productivity and feeding value. While most target species increased in frequency or remained stable over time, we found no positive long-term effect of soil preparation on vegetation development and target species establishment. Instead, increased biomass yield and flooding frequency led to reduced restoration success, while higher soil C/N ratios had a positive effect. Overall, restoration measures did not affect the agricultural value of the restored grasslands, which had higher dry matter biomass yields compared with the donor sites. Our results indicate that the positive effect of soil preparation on the number and cover of target species, which is regularly reported in short-term studies, diminishes over time, and other factors such as site conditions become increasingly important. Furthermore, additional plant material transfer or manual seeding may be necessary to support target species establishment. Concerning agricultural usability, the integration of restored floodplain meadows in farming systems is possible and can ensure long-term management and thus stability of these ecosystems. Our study shows that long-term monitoring of restoration projects is necessary, as factors determining restoration success may only become evident in the long-term

High-resolution FUSE and HST ultraviolet spectroscopy of the white dwarf central star of Sh 2-216

LS V +4621 is the DAO-type central star of the planetary nebula Sh 2-216. We perform a comprehensive spectral analysis of high-resolution, high-S/N ultraviolet observations obtained with FUSE and STIS aboard the HST as well as the optical spectrum of LS V +4621 by means of state-of-the-art NLTE model-atmosphere techniques in order to compare its photospheric properties to theoretical predictions from stellar evolution theory as well as from diffusion calculations. From the N IV - NV, O IV - O VI, Si IV - Si V, and Fe V - Fe VII ionization equilibria, we determined an effective temperature of 95 +/- 2 kK with high precision. The surface gravity is log g = 6.9 +/- 0.2. An unexplained discrepancy appears between the spectroscopic distance d = 224 +46/-58 pc and the parallax distance d = 129 +6/-5 pc of LS V +4621. For the first time, we have identified Mg IV and Ar VI absorption lines in the spectrum of a hydrogen-rich central star and determined the Mg and Ar abundances as well as the individual abundances of iron-group elements (Cr, Mn, Fe, Co, and Ni). With the realistic treatment of metal opacities up to the iron group in the model-atmosphere calculations, the so-called Balmer-line problem (found in models that neglect metal-line blanketing) vanishes. Spectral analysis by means of NLTE model atmospheres has presently arrived at a high level of sophistication, which is now hampered largely by the lack of reliable atomic data and accurate line-broadening tables. Strong efforts should be made to improve upon this situation.Comment: 13 pages, 20 figure