Search results for "75"

Who cares? Evidence on informal and formal home care use in Estonia

2019

Despite increasing attention to long-term care (LTC) and related challenges in the Estonian social policy agenda, the distributional fairness of LTC services in the country has received very limited attention. Using SHARE data, we address informal and formal home care services and identify the socio-economic factors that drive or hinder their use among the Estonian elderly. The relationship between informal and formal home care utilization is estimated applying the new approach to instrumental variable method proposed by Lewbel [2012. Using heteroscedasticity to identify and estimate mismeasured and endogenous regressor models. Journal of Business and Economic Statistics, 30(1), 67–80]. We …

Bec de corall senegalès = Pico de coral común

Altres noms vulgars: Common waxbill (Anglès), Astrild ondulé (Francès), Wellenastrild (Alemany) Gabinet de Vertebrats (Departament de Zoologia), Facultat de Ciències Biològiques (Campus de Burjassot), C/ Doctor Moliner, s/n, Bloque B. 5é plant, Burjassot (Valencia). Armari: 31-2 Juvenil

The Large Observatory for X-ray Timing (LOFT)

2012

High-time-resolution X-ray observations of compact objects provide direct access to strong-field gravity, to the equation of state of ultra-dense matter and to black hole masses and spins. A 10 m^2-class instrument in combination with good spectral resolution is required to exploit the relevant diagnostics and answer two of the fundamental questions of the European Space Agency (ESA) Cosmic Vision Theme "Matter under extreme conditions", namely: does matter orbiting close to the event horizon follow the predictions of general relativity? What is the equation of state of matter in neutron stars? The Large Observatory For X-ray Timing (LOFT), selected by ESA as one of the four Cosmic Vision M…

Nurses' sources of information to inform clinical practice : An integrative review to guide evidence-based practice

2022

BACKGROUND: Evidence-based practice in nursing is challenging and relies on the sources of information used by nurses to inform clinical practice. An integrative review from 2008 revealed that nurses more frequently relied on information from colleagues than information from high-level sources such as systematic reviews and evidence-based clinical practice guidelines. AIMS: To describe the information sources used by registered nurses to inform their clinical practice. METHODS: An integrative review was conducted according to the PRISMA guidelines, based on empirical research studies published from January 2007 until June 2021. The included studies were appraised, following which the identi…

News about the Aragonese Botanist Martín Sessé Lacasta

2018

Se dan noticias del paso por la Universidad de Zaragoza y por América del médico y naturalista aragonés Martín Sessé Lacasta, que impulsó desde América la Expedición Botánica de Nueva España, así como la creación del Jardín botánico de México. Se trata de una de las personalidades que más han prestigiado la labor científica de España en América. / News about the stay of the Aragonese doctor and naturalist Martín Sessé Lacasta both in the Universidad de Zaragoza and Central America. He was part of the Botanical Expedition in Nueva España where he promoved Botanical studies and helped creating the Botanical Garden in Mexico. He is one of the most important Spanish scientist who spread Science…

Rentabilidad de una pequeña explotación agraria en Vall de Uxó, 1721-1739

1982

Una serie de circunstancias nos ha permitido conocer la contabilidad de una pequeña explotación en la llanura costera valenciana, en Vall de Uxó, límite sur de la actual provincia de Castellón. En un proceso típico los arrendatarios de los derechos señoriales del Ducado de Villahermosa no pueden hacer frente a sus pagos y sus tierras son confiscadas; la cosecha está por recoger y se conceden temporalmente en administración a un campesino del lugar. Al no surgir postores en las subastas que se realizan, parte de las tierras siguen en manos de este labrador, a quien un buen día se le exigen cuentas de su administración. La relación pormenorizada de los gastos que ha realizado en el cultivo de…

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…

Finite Model Reasoning in Expressive Fragments of First-Order Logic

2017

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard translation of modal logic to first-order logic. This applies most notably to the guarded fragment, where quantifiers are appropriately relativized by atoms, and the fragment defined by restricting the number of variables to two. The aim of this talk is to review recent work concerning these fragments and their popular extensions. When presenting the material special attention is given to decision procedures for the finite satisfiability problems, as many of t…

Deep Learning Based Cardiac MRI Segmentation: Do We Need Experts?

2021

Deep learning methods are the de facto solutions to a multitude of medical image analysis tasks. Cardiac MRI segmentation is one such application, which, like many others, requires a large number of annotated data so that a trained network can generalize well. Unfortunately, the process of having a large number of manually curated images by medical experts is both slow and utterly expensive. In this paper, we set out to explore whether expert knowledge is a strict requirement for the creation of annotated data sets on which machine learning can successfully be trained. To do so, we gauged the performance of three segmentation models, namely U-Net, Attention U-Net, and ENet, trained with dif…

An Empirical Investigation into Deep and Shallow Rule Learning

2021

Inductive rule learning is arguably among the most traditional paradigms in machine learning. Although we have seen considerable progress over the years in learning rule-based theories, all state-of-the-art learners still learn descriptions that directly relate the input features to the target concept. In the simplest case, concept learning, this is a disjunctive normal form (DNF) description of the positive class. While it is clear that this is sufficient from a logical point of view because every logical expression can be reduced to an equivalent DNF expression, it could nevertheless be the case that more structured representations, which form deep theories by forming intermediate concept…