نتایج جستجو برای: informal proof

تعداد نتایج: 135504  

2011
PETER WILLEMÉ

This report describes the organisation of the Belgian long-term care system. It can be characterised as a mixed system, with extensive public care provision and the substantial support of informal care provided mainly within the family. While the current volume and quality of services appears to be adequate, the future increase in the number of dependent elderly persons over the next two decade...

2010
Heather Kinnear Sheelah Connolly Michael Rosato Clare Hall Adrian Mairs Dermot O'Reilly

BACKGROUND Previous research showed that deprived individuals are less likely to attend breast screening and those providing intense amounts of informal care tend to be more deprived than non-caregivers. The aim of this study was to examine the relationship between informal caregiving and uptake of breast screening and to determine if socio-economic gradients in screening attendance were explai...

Background: Informal payments in the health sector of many developing countries are considered as a major impediment to health care reforms. Informal payments are a form of systemic fraud and have adverse effects on the performance of the health system. In this study, the frequency and extent of informal payments as well as the determinants of these payments were investigated in general hospita...

Journal: :Fundam. Inform. 2005
Susumu Hayashi

Proof animation is a way of executing proofs to nd errors in the formalization of proofs It is intended to be testing in proof engineer ing Although the realizability interpretation as well as the functional interpretation based on limit computations were introduced as means for proof animation they were unrealistic as an architectural basis for ac tual proof animation tools We have found game ...

Journal: :فلسفه و کلام اسلامی 0
محمّدهادی توکّلی دانشجوی کارشناسی ارشد دانشگاه علامه طباطبایی

the issue of the individual unity of being is among the issues in the field of theoretical mysticism which all of the muslim mystics have agreed upon. as such, some of them have attempted to base this theory on proof, among whom is mohammad reza qomshei. qomshei’s proof has been accepted by some philosophers and criticized by others, among whom is hakim jelwe who was contemporaneous with qomshe...

Journal: :The journals of gerontology. Series B, Psychological sciences and social sciences 1998
S Tennstedt B H Chang

Data from a comparative study of 1975 African American, Puerto Rican, and non-Hispanic White persons age 60 and older in a large Northeastern city were used to investigate the relative contribution of ethnicity and socioeconomic status (SES) to explaining differences in the need for and receipt of informal care. It was hypothesized that differences in disability would be related largely to SES,...

2017
Renske J Hoefman Job van Exel Werner B F Brouwer

BACKGROUND Informal care is often not included in economic evaluations in healthcare, while the impact of caregiving can be relevant for cost-effectiveness recommendations from a societal perspective. The impact of informal care can be measured and valued with the CarerQol instrument, which measures the impact of informal care on seven important burden dimensions (CarerQol-7D) and values this i...

1993
Sam Owre John Rushby Natarajan Shankar

Formal veriication of an algorithm for interactive consistency under a hybrid fault model. A formally veriied algorithm for interactive consistency under a hybrid fault model. Mechanical veriication of a generalized protocol for Byzan-tine fault-tolerant clock synchronization. 15 and veriication is not in getting a theorem prover to say proved, but rather in reening one's understanding through ...

Journal: :جغرافیا و توسعه فضای شهری 0
محمدتقی معبودی هادی حکیمی

extended abstract 1. introduction urbanization is a process which leads to the growth of cities and urban changes due to industrialization and economic development. in other words, urbanization is an inevitable and demographic force and movement which should not be neglected. informal settlements, which took place in europe after the industrial revolution at the time of the transition from the ...

A. R. Mehdizadeh F. Jamali J. Moradgholi M. Haghani M. R. Ghanbar-pour M. Saieedi R. Faghihi S. A. Mortazavi S. M. J. Mortazavi S. Mehdizadeh

Background: Ramsar, a northern city in Iran, lies on the coast of the Caspian Sea. This city has areas with some of the highest levels of natural radiation measured to date. The radon concentration in some areas of Ramsar is up to 3700 Bq m–3. On the other hand, due to high level of humidity, damp-proof barriers should be used in construction of new buildings in radon prone areas of this cit...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید