Terahertz wave transmission in flexible polystyrene-lined hollow metallic waveguides for the 2.5-5 THz band.

A low-loss and low-dispersive optical-fiber-like hybrid HE11 mode is developed within a wide band in metallic hollow waveguides if their inner walls are coated with a thin dielectric layer. We investigate terahertz (THz) transmission losses from 0.5 to 5.5 THz and bending losses at 2.85 THz in a polystyrene-lined silver waveguides with core diameters small enough (1 mm) to minimize the number of undesired modes and to make the waveguide flexible, while keeping the transmission loss of the HE11 mode low. The experimentally measured loss is below 10 dB/m for 2 < ? < 2.85 THz (∼4-4.5 dB/m at 2.85 THz) and it is estimated to be below 3 dB/m for 3 < ? < 5 THz according to the numerical calculations. At ∼1.25 THz, the waveguide shows an absorption peak of ∼75 dB/m related to the transition between the TM11-like mode and the HE11 mode. Numerical modeling reproduces the measured absorption spectrum but underestimates the losses at the absorption peak, suggesting imperfections in the waveguide walls and that the losses can be reduced further. © 2013 Optical Society of America

Assessing the kinect’s capabilities to perform a time-based clinical test for fall risk assessment in older people

© 2014 IFIP International Federation for Information Processing. The Choice Stepping Reaction Time (CSRT) task is time-based clinical test that has shown to reliably predict falls in older adults. Its current mode of delivery involves the use of a custom-made dance mat device. This mat is a measurement tool that can reliably obtain step data to discriminate between fallers and non-fallers. One of the pitfalls of this test is that the technology in use still imposes an obstacle on the degree of freedom to be able to perform adaptive exercises suitable for the elderly. In this paper, we describe a Kinect-based system that measures stepping performance through the use of a hybrid version of the CSRT task. This study focuses on assessing this system’s capabilities to reliably measure a time-based clinical test of fall risk. Results showed a favorable correspondence and agreement between the two systems, suggesting that this platform could be potentially useful in the clinical practice

A Bespoke Kinect Stepping Exergame for Improving Physical and Cognitive Function in Older People: A Pilot Study

© 2016 Mary Ann Liebert, Inc. Background: Systematic review evidence has shown that step training reduces the number of falls in older people by half. This study investigated the feasibility and effectiveness of a bespoke Kinect stepping exergame in an unsupervised home-based setting. Materials and Methods: An uncontrolled pilot trial was conducted in 12 community-dwelling older adults (mean age 79.3 ± 8.7 years, 10 females). The stepping game comprised rapid stepping, attention, and response inhibition. Participants were recommended to exercise unsupervised at home for a minimum of three 20-minute sessions per week over the 12-week study period. The outcome measures were choice stepping reaction time (CSRT) (main outcome measure), standing balance, gait speed, five-time sit-to-stand (STS), timed up and go (TUG) performance, and neuropsychological function (attention: letter-digit and executive function:Stroop tests) assessed at baseline, 4 weeks, 8 weeks, and trial end (12 weeks). Results: Ten participants (83%) completed the trial and reassessments. A median 8.2 20-minute sessions were completed and no adverse events were reported. Across the trial period, participants showed significant improvements in CSRT (11%), TUG (13%), gait speed (29%), standing balance (7%), and STS (24%) performance (all P < 0.05). There were also nonsignificant, but meaningful, improvements for the letter-digit (13%) and Stroop tests (15%). Conclusions: This study found that a bespoke Kinect step training program was safe and feasible for older people to undertake unsupervised at home and led to improvements in stepping, standing balance, gait speed, and mobility. The home-based step training program could therefore be included in exercise programs designed to prevent falls

Encodings of bounded LTL model checking in effectively propositional logic

We present an encoding of LTL bounded model checking problems within the Bernays-Schönfinkel fragment of first-order logic. This fragment, which also corresponds to the category of effectively propositional problems (EPR) of the CASC system competitions, allows a natural and succinct representation of both a software/hardware system and the property that one wants to verify. The encoding for the transition system produces a formula whose size is linear with respect to its original description in common component description languages used in the field (e.g. smv format) preserving its modularity and hierarchical structure. Likewise, the LTL property is encoded in a formula of linear size with respect to the input formula, plus an additional component, with a size of O(log k) where k is the bound, that represents the execution flow of the system. The encoding of bounded model checking problems by effectively propositional formulae is the main contribution of this paper. As a side effect, we obtain a rich collection of benchmarks with close links to real-life applications for the automated reasoning community. © Springer-Verlag Berlin Heidelberg 2007

Encodings of problems in effectively propositional logic

Solving various combinatorial problems by their translation to the propositional satisfiability problem has become commonly accepted. By optimising such translations and using efficient SAT solvers one can often solve hard problems in various domains, such as formal verification and planning

The Imprint of Galaxy Formation on X-ray Clusters

It is widely believed that structure in the Universe evolves hierarchically, as primordial density fluctuations, amplified by gravity, collapse and merge to form progressively larger systems. The structure and evolution of X-ray clusters, however, seems at odds with this hierarchical scenario for structure formation. Poor clusters and groups, as well as most distant clusters detected to date, are substantially fainter than expected from the tight relations between luminosity, temperature and redshift predicted by these models. Here we show that these discrepancies arise because, near the centre, the entropy of the hot, diffuse intracluster medium (ICM) is higher tha$achievable through gravitational collapse, indicating substantial non-gravitational heating of the ICM. We estimate this excess entropy for the first time, and argue that it represents a relic of the energetic winds through which forming galaxies polluted the ICM with metals. Energetically, this is onl$ possible if the ICM is heated at modest redshift (z \ltsim 2) but prior to cluster collapse, indicating that the formation of galaxies precedes that of clusters and that most clusters have been assembled very recently.Comment: 5 pages, plus 2 postscript figures (one in colour), accepted for publication in Natur

Descent of Equivalences and Character Bijections

Categorical equivalences between block algebras of finite groups—such as Morita and derived equivalences—are well known to induce character bijections which commute with the Galois groups of field extensions. This is the motivation for attempting to realise known Morita and derived equivalences over non-splitting fields. This article presents various results on the theme of descent to appropriate subfields and subrings. We start with the observation that perfect isometries induced by a virtual Morita equivalence induce isomorphisms of centres in non-split situations and explain connections with Navarro’s generalisation of the Alperin–McKay conjecture. We show that Rouquier’s splendid Rickard complex for blocks with cyclic defect groups descends to the non-split case. We also prove a descent theorem for Morita equivalences with endopermutation source