Current and Future White Dwarf Mass-radius Constraints on Varying Fundamental Couplings and Unification Scenarios

We discuss the feasibility of using astrophysical observations of white dwarfs as probes of fundamental physics. We quantify the effects of varying fundamental couplings on the white dwarf mass-radius relation in a broad class of unification scenarios, both for the simple case of a polytropic stellar structure model and for more general models. Independent measurements of the mass and radius, together with direct spectroscopic measurements of the fine-structure constant in white dwarf atmospheres lead to constraints on combinations of the two phenomenological parameters describing the underlying unification scenario (one of which is related to the strong sector of the theory while the other is related to the electroweak sector). While currently available measurements do not yet provide stringent constraints, we show that forthcoming improvements, expected for example from the Gaia satellite, can break parameter degeneracies and lead to constraints that ideally complement those obtained from local laboratory tests using atomic clocks.Comment: 11 pages, 8 figure

Purity as a witness for initial system-environment correlations in open-system dynamics

We study the dynamics of a two-level atom interacting with a Lorentzian structured reservoir considering initial system-environment correlations. It is shown that under strong system-reservoir coupling the dynamics of purity can determine whether there are initial correlations between system and environment. Moreover, we investigate the interaction of two two-level atoms with the same reservoir. In this case, we show that besides determining if there are initial system-environment correlations, the dynamics of the purity of the atomic system allows the identification of the distinct correlated initial states. In addition, the dynamics of quantum and classical correlations is analyzed.Comment: 6 pages, 3 figure

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments have an undecidable satisfiability problem. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider different combinations of the interval relations Begins, After, Later and their inverses Abar, Bbar, and Lbar. We know from previous works that the combination ABBbarAbar is decidable only when finite domains are considered (and undecidable elsewhere), and that ABBbar is decidable over the natural numbers. We extend these results by showing that decidability of ABBar can be further extended to capture the language ABBbarLbar, which lays in between ABBar and ABBbarAbar, and that turns out to be maximal w.r.t decidability over strongly discrete linear orders (e.g. finite orders, the naturals, the integers). We also prove that the proposed decision procedure is optimal with respect to the complexity class

Age-related differences in head posture between patients with neck pain and pain-free individuals

Head posture and neck pain of chronic nontraumatic origin: a comparison between patients and pain-free persons.SFRH/BD/30735/20

The experiences of Portuguese physiotherapists when they assess head posture for patients with neck pain: A focus group study

Resumo indisponível

Accelerating networks

Evolving out-of-equilibrium networks have been under intense scrutiny recently. In many real-world settings the number of links added per new node is not constant but depends on the time at which the node is introduced in the system. This simple idea gives rise to the concept of accelerating networks, for which we review an existing definition and -- after finding it somewhat constrictive -- offer a new definition. The new definition provided here views network acceleration as a time dependent property of a given system, as opposed to being a property of the specific algorithm applied to grow the network. The defnition also covers both unweighted and weighted networks. As time-stamped network data becomes increasingly available, the proposed measures may be easily carried out on empirical datasets. As a simple case study we apply the concepts to study the evolution of three different instances of Wikipedia, namely, those in English, German, and Japanese, and find that the networks undergo different acceleration regimes in their evolution.Comment: 12 pages, 8 figure

Research on Long-Term Care Homes for Older People in Brazil: Protocol for Scoping Review

LOTUS CONSORTIUM - Improving care in Long-term Care Institutions in Brazil and Europe through Collaboration and ResearchBackground The fast growth of the ageing population in low and middle-income countries, such as Brazil, has allowed little time for social and health care systems to adapt. As the care needs for the most vulnerable and frail older people become increasingly complex, services and governments need to ensure that long term care homes deliver high-quality and evidence-based care to meet their healthcare needs. Aim To examine and map the range of research undertaken in Brazil regarding care homes published in peer reviewed journals. Method This scoping review will consider all relevant peer-reviewed primary studies fully or partly conducted in Brazilian care homes including those which consider workforce (for example, e.g. healthcare professionals, care staff, and management level staff) and care home residents (older people aged 60 years and above), using empirical and original research focused on any health related topic. The searches will be conducted using bibliographic databases (MEDLINE, EMBASE, LILACS and Google Scholar) and manual searching of the reference lists of relevant studies published in English, Portuguese or Spanish from inception up to 2018. Two authors will independently screen each document by title and abstract against the eligibility criteria. In case of disagreement, a third reviewer will be consulted. Data from the included studies will be extracted and reported using tables, graphs, and narrative accounts using elements of content analysis. The Mixed Methods Appraisal Tool will be used to appraise the methodological quality of the included studies