On the GLn_{n}-eigenvariety and a conjecture of Venkatesh

Let π be a cuspidal, cohomological automorphic representation of GL$_{n}$(A). Venkatesh has suggested that there should exist a natural action of the exterior algebra of a certain motivic cohomology group on the π-part of the Betti cohomology (with rational coefficients) of the GL$_{n}$(Q)-arithmetic locally symmetric space. Venkatesh has given evidence for this conjecture by showing that its ‘l-adic realization’ is a consequence of the Taylor–Wiles formalism. We show that its ‘p-adic realization’ is related to the properties of eigenvarieties

Towards Model Checking Executable UML Specifications in mCRL2

We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long-term goal is to verify safety properties of interlockings modelled in xUML using the mCRL2 and LTSmin toolsets. Initial verification of an interlocking toy example demonstrates that the safety properties of model instances depend crucially on the run-to-completion assumptions

Making GDPR Usable: A Model to Support Usability Evaluations of Privacy

We introduce a new model for evaluating privacy that builds on the criteria proposed by the EuroPriSe certification scheme by adding usability criteria. Our model is visually represented through a cube, called Usable Privacy Cube (or UP Cube), where each of its three axes of variability captures, respectively: rights of the data subjects, privacy principles, and usable privacy criteria. We slightly reorganize the criteria of EuroPriSe to fit with the UP Cube model, i.e., we show how EuroPriSe can be viewed as a combination of only rights and principles, forming the two axes at the basis of our UP Cube. In this way we also want to bring out two perspectives on privacy: that of the data subjects and, respectively, that of the controllers/processors. We define usable privacy criteria based on usability goals that we have extracted from the whole text of the General Data Protection Regulation. The criteria are designed to produce measurements of the level of usability with which the goals are reached. Precisely, we measure effectiveness, efficiency, and satisfaction, considering both the objective and the perceived usability outcomes, producing measures of accuracy and completeness, of resource utilization (e.g., time, effort, financial), and measures resulting from satisfaction scales. In the long run, the UP Cube is meant to be the model behind a new certification methodology capable of evaluating the usability of privacy, to the benefit of common users. For industries, considering also the usability of privacy would allow for greater business differentiation, beyond GDPR compliance.Comment: 41 pages, 2 figures, 1 table, and appendixe

Experiences of physical activity: A phenomenological study of individuals with cystic fibrosis

Although extensive research has investigated the benefits of physical activity in cystic fibrosis, minimal exploration of the experiences for individuals from a qualitative, phenomenological perspective has been carried out. The aim of this study was to explore the subjective experiences of physical activity for individuals with cystic fibrosis. The health-care team, at an Adult Cystic Fibrosis Unit in the United Kingdom, recruited 12 participants to take part. Interview data were analysed using interpretative phenomenological analysis. A central theme of ‘self-monitoring’ emerged from the accounts and was embedded in the three super-ordinate themes

Workspace and Singularity analysis of a Delta like family robot

Workspace and joint space analysis are essential steps in describing the task and designing the control loop of the robot, respectively. This paper presents the descriptive analysis of a family of delta-like parallel robots by using algebraic tools to induce an estimation about the complexity in representing the singularities in the workspace and the joint space. A Gr{\"o}bner based elimination is used to compute the singularities of the manipulator and a Cylindrical Algebraic Decomposition algorithm is used to study the workspace and the joint space. From these algebraic objects, we propose some certified three dimensional plotting describing the the shape of workspace and of the joint space which will help the engineers or researchers to decide the most suited configuration of the manipulator they should use for a given task. Also, the different parameters associated with the complexity of the serial and parallel singularities are tabulated, which further enhance the selection of the different configuration of the manipulator by comparing the complexity of the singularity equations.Comment: 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France. 201

How a Diverse Research Ecosystem Has Generated New Rehabilitation Technologies: Review of NIDILRR’s Rehabilitation Engineering Research Centers

Over 50 million United States citizens (1 in 6 people in the US) have a developmental, acquired, or degenerative disability. The average US citizen can expect to live 20% of his or her life with a disability. Rehabilitation technologies play a major role in improving the quality of life for people with a disability, yet widespread and highly challenging needs remain. Within the US, a major effort aimed at the creation and evaluation of rehabilitation technology has been the Rehabilitation Engineering Research Centers (RERCs) sponsored by the National Institute on Disability, Independent Living, and Rehabilitation Research. As envisioned at their conception by a panel of the National Academy of Science in 1970, these centers were intended to take a “total approach to rehabilitation”, combining medicine, engineering, and related science, to improve the quality of life of individuals with a disability. Here, we review the scope, achievements, and ongoing projects of an unbiased sample of 19 currently active or recently terminated RERCs. Specifically, for each center, we briefly explain the needs it targets, summarize key historical advances, identify emerging innovations, and consider future directions. Our assessment from this review is that the RERC program indeed involves a multidisciplinary approach, with 36 professional fields involved, although 70% of research and development staff are in engineering fields, 23% in clinical fields, and only 7% in basic science fields; significantly, 11% of the professional staff have a disability related to their research. We observe that the RERC program has substantially diversified the scope of its work since the 1970’s, addressing more types of disabilities using more technologies, and, in particular, often now focusing on information technologies. RERC work also now often views users as integrated into an interdependent society through technologies that both people with and without disabilities co-use (such as the internet, wireless communication, and architecture). In addition, RERC research has evolved to view users as able at improving outcomes through learning, exercise, and plasticity (rather than being static), which can be optimally timed. We provide examples of rehabilitation technology innovation produced by the RERCs that illustrate this increasingly diversifying scope and evolving perspective. We conclude by discussing growth opportunities and possible future directions of the RERC program

Novel clinicopathological characteristics differentiate dementia with Lewy bodies from Parkinson's disease dementia

Dementia with Lewy bodies (DLB) and Parkinson's disease dementia (PDD) known as Lewy body dementias have overlapping clinical and neuropathological features. Neuropathology in both includes combination of Lewy body and Alzheimer's disease (AD) pathology. Cerebral amyloid angiopathy (CAA), often seen in AD, is increasingly recognised for its association with dementia. AIMS: This study investigated clinical and neuropathological differences between DLB and PDD. METHODS: 52 PDD and 16 DLB cases from the Queen Square Brain Bank (QSBB) for Neurological disorders were included. Comprehensive clinical data of motor and cognitive features were obtained from medical records. Neuropathological assessment included examination of CAA, Lewy body and AD pathology. RESULTS: CAA was more common in DLB than in PDD (p = 0.003). The severity of CAA was greater in DLB than in PDD (p = 0.009), with significantly higher CAA scores in the parietal lobe (p = 0.043), and the occipital lobe (p = 0.008), in DLB than in PDD. The highest CAA scores were observed in cases with APOE ε4/4 and ε2/4. Survival analysis showed worse prognosis in DLB, as DLB reached each clinical milestone sooner than PDD. Absence of dyskinesia in DLB is linked to the significantly lower lifetime cumulative dose of levodopa in comparison with PDD. CONCLUSIONS: This is the first study which identified prominent concurrent CAA pathology as a pathological substrate of DLB. More prominent CAA and rapid disease progression as measured by clinical milestones distinguish DLB from PDD

Two-neutron knockout from neutron-deficient 34^{34}Ar, 30^{30}S, and 26^{26}Si

Two-neutron knockout reactions from nuclei in the proximity of the proton dripline have been studied using intermediate-energy beams of neutron-deficient $^{34}$Ar, $^{30}$S, and $^{26}$Si. The inclusive cross sections, and also the partial cross sections for the population of individual bound final states of the $^{32}$Ar, $^{28}$S and $^{24}$Si knockout residues, have been determined using the combination of particle and $\gamma$-ray spectroscopy. Similar to the two-proton knockout mechanism on the neutron-rich side of the nuclear chart, these two-neutron removal reactions from already neutron-deficient nuclei are also shown to be consistent with a direct reaction mechanism.Comment: Phys. Rev. C, rapid communication, in pres

Neonatal jaundice and its management: knowledge, attitude and practice of community health workers in Nigeria

BACKGROUND: Neonatal jaundice (NNJ) is still a leading cause of preventable brain damage, physical and mental handicap, and early death among infants in many communities. Greater awareness is needed among all health workers. The objective of the study was to assess the knowledge of primary health care workers about the description, causes, effective treatment, and sequelae of NNJ. METHODS: The setting was a local government area i.e. an administrative district within the south-western part of Nigeria. Community health workers in this area were interviewed by means of a self-administered questionnaire which focused on awareness and knowledge of neonatal jaundice and its causes, treatment and complications. RESULTS: Sixty-six community health workers participated in the survey and male-to-female ratio was 1:5. Their work experience averaged 13.5 (SD 12.7) years. Only 51.5% of the respondents gave a correct definition of NNJ. 75.8 % knew how to examine for this condition while 84.9 % knew at least two of its major causes in our environment. Also, only 54.5 % had adequate knowledge of effective treatment namely, phototherapy and exchange blood transfusion. Rather than referring affected babies to hospitals for proper management, 13.4 %, 10.4 % and 3 % of the participants would treat with ineffective drugs, natural phototherapy and herbal remedies respectively. None of the participants knew any effective means of prevention. CONCLUSION: Primary health care workers may have inadequate knowledge and misconceptions on NNJ which must be addressed concertedly before the impact of the condition on child health and well-being can be significantly reduced. We recommend regular training workshops and seminars for this purpose