Search results for "Programs"

Cognitive Frailty: An Update

2021

This review article provides an update of the empirical research on cognitive fragility conducted in the last four years. The studies retrieved were classified in four different categories. The first category includes articles relating cognitive frailty to cognitive reserve and which continue to highlight the importance of educational level. The second category includes recent research on cognitive fragility biomarkers, involving neuroimaging, metabolism and, in a novel way, microbiota. The third category includes research on how cognitive frailty is related to motor development and physical functioning, exploring e.g. the use of technology to study motor markers of cognitive frailty. Final…

Child vaccination policies in Europe: a report from the Summits of Independent European Vaccination Experts.

2003

Despite the proven safety and efficacy of vaccines, common vaccine-preventable diseases such as measles are not yet controlled in all European countries. This is largely due to three factors. First, vaccination systems differ widely throughout Europe and they vary between highly centralised and totally decentralised systems. Both have advantages and disadvantages, but without doubt they can all work locally. "Harmonisation" in this field is neither a prerequisite nor a guarantee for success. Second, perception of vaccination--and this includes education of the public--is most crucial. In this field the media play an important part, but their ability or will to communicate complicated scient…

Obesity in the State of Mexico: Interfaces and concurrences

2014

AbstractIn Mexico, from the eighties decade, various documents were made, and in which is specified the health care of the population, including obesity, documents which have been enriched by documents recently issued yet. However, as a health problem, overweight and obesity have become major challenges, placing the country at first place in health statistics on worldwide. This situation is identified in the different zones of the country, such as in the case of the State of Mexico. The objective of this work was to understand the relationship between emission of health programs, its contents, and the performance of the participants. The present paper was documentary, retrospective, analyti…

A New, Better BET: Rescuing and Revising Basic Emotion Theory

2018

Basic Emotion Theory, or BET, has dominated the affective sciences for decades (Ekman, 1972, 1992, 1999; Ekman and Davidson, 1994; Griffiths, 2013; Scarantino and Griffiths, 2011). It has been highly influential, driving a number of empirical lines of research (e.g., in the context of facial expression detection, neuroimaging studies and evolutionary psychology). Nevertheless, BET has been criticized by philosophers, leading to calls for it to be jettisoned entirely (Colombetti, 2014; Hufendiek, 2016). This paper defuses those criticisms. In addition, it shows that we have good reason to retain BET. Finally, it reviews and puts to rest worries that BET's commitment to affect programs render…

LA SIMULAZIONE TERMICA DEGLI EDIFICI IN REGIME DINAMICO: UN CASO STUDIO PER LA VALIDAZIONE DEL SOFTWARE ESP-R

2008

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

Sequentializing Parameterized Programs

2012

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…

Absorption of European Funds by Romania

2014

Abstract The European Union provides financial support to all Member States through structural instruments (Structural Funds) and the Fund for Agriculture. Nationally, each Member State has to set up operational programs (SOP) in accordance with European requirements to access the available money. In the current multiannual financial exercise there are 7 SOP, plus the agriculture program. The absorption level of European funds for the current financial period - 2007-2013 - is low for several reasons: lack of strategic vision for programming development, poor quality of projects, excessive bureaucracy, lack of optimization of financial flows etc. For the upcoming 2014-2020 financial programm…

Policy on palliative care in the WHO European region: an overview of progress since the Council of Europe’s (2003) recommendation 24

2015

Background: With the goal of achieving greater unity and coherence, the Council of Europe developed a national palliative care (PC) policy framework—Recommendation (2003) 24. Although directed at member states, the policy spread to the wider World Health Organisation (WHO) European Region. This article aims to present the current situation relating to national PC health policies in European countries. Methods: A cross-sectional survey was conducted in 53 European countries of the WHO European Region. Relevant data reported (i) the existence of official documents concerning the provision of PC; (ii) the role of health departments and policymakers in the evaluation of PC provision and (iii) t…

Systematic review of aquatic physical exercise programs on functional fitness in older adults

2021

The practice of physical exercise is recommended in the prevention of the deterioration of neuromuscular functions in aging. The objectives of this systematic review were to describe the protocols used and the functional fitness indicators evaluated in aquatic exercise programs in adults aged 50 to 80 years. The Pubmed database was used. The keywords were: 1) Physical exercise program or protocols or duration or type of exercise or aquatic exercise, frequency or intensity or indicators; 2) Adults or older adults; 3) Training or indicators, functional fitness, physical fitness. The search strategy considered the components of the Population, Interventions, Comparators, Outcomes, and Study de…