Results 11 to 20 of about 374,062 (123)
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs [PDF]
International Conference on Learning Representations, 2022 The formalization of existing mathematical proofs is a notoriously difficult process. Despite decades of research on automation and proof assistants, writing formal proofs remains arduous and only accessible to a few experts.
Albert Qiaochu Jiang +8 more
semanticscholar +1 more source
Using Informal Conversations in Qualitative Research
International Journal of Qualitative Methods, 2022 The aim of this paper is to promote a greater use of informal conversations in qualitative research. Although not a new innovation, we posit that they are a neglected innovation and a method that should become more widely employed.
J. Swain, B. King
semanticscholar +1 more source
PLoS ONE, 2021 There is increasing evidence that subjective caregiver burden is an important determinant of clinically significant anxiety in family carers. This meta-analysis aims to synthesise this evidence and investigate the relationship between subjective ...
Rafael del-Pino-Casado +3 more
semanticscholar +1 more source
Slum Health: Arresting COVID-19 and Improving Well-Being in Urban Informal Settlements
Journal of urban health, 2020 The informal settlements of the Global South are the least prepared for the pandemic of COVID-19 since basic needs such as water, toilets, sewers, drainage, waste collection, and secure and adequate housing are already in short supply or non-existent ...
Jason Corburn +17 more
semanticscholar +1 more source
Informal Caregiving, Loneliness and Social Isolation: A Systematic Review
International Journal of Environmental Research and Public Health, 2021 Background: Several empirical studies have shown an association between informal caregiving for adults and loneliness or social isolation. Nevertheless, a systematic review is lacking synthesizing studies which have investigated these aforementioned ...
A. Hajek, B. Kretzler, H. König
semanticscholar +1 more source
Building Resilience to Climate Change in Informal Settlements
One Earth, 2020 Approximately 1 billion people currently live in informal settlements, primarily in urban areas in low- and middle-income countries. Informal settlements are defined by poor-quality houses or shacks built outside formal laws and regulations.
D. Satterthwaite +6 more
semanticscholar +1 more source
Environment & Urbanization, 2020 This paper highlights the major challenges and considerations for addressing COVID-19 in informal settlements. It discusses what is known about vulnerabilities and how to support local protective action.
Annie Wilkinson
semanticscholar +1 more source
Impact of dementia on informal care: a systematic review of family caregivers’ perceptions
BMJ Supportive & Palliative Care, 2020 Introduction Caregivers play a major role in providing all the support and care in daily activities for their relatives with dementia. To fully describe the influence of dementia caregiving on family caregivers’ life, we conducted a systematic review ...
P. Lindeza +4 more
semanticscholar +1 more source
Unmet care needs of advanced cancer patients and their informal caregivers: a systematic review
BMC Palliative Care, 2018 BackgroundThis systematic review aimed to identify the unmet care needs and their associated variables in patients with advanced cancer and informal caregivers, alongside summarizing the tools used for needs assessment.MethodsTen electronic databases ...
Tao Wang +3 more
semanticscholar +1 more source
Frontiers in Psychology, 2019 Informal caregiving is a rewarding but demanding role. The present theoretical framework proposes to adapt the tridimensional concept of burnout to informal caregiving as a way to address the potential consequences of caregiving. This adaptation reflects
P. Gérain, E. Zech
semanticscholar +1 more source