Results 11 to 20 of about 21,705,734 (300)
, 2021 The public rely on the police to enforce the law, and the police rely on the public to report crime and assist them with their enquiries. Police action or inaction can also impact on public willingness to informally intervene in community problems.
Murphy, Kristina +3 more
core +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
, 2009 Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core +2 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023
, 2023 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +1 more source
FORTEST: Formal methods and testing [PDF]
, 2002 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bowen, JP +5 more
core +6 more sources
BMC Geriatrics, 2022 Background To address the lack of social interaction and meaningful activities for persons with dementia (PWD) in nursing homes an artistic Photo-Activity was designed.
Josephine Rose Orejana Tan +6 more
doaj +1 more source
Detecting formal and informal interests in forest governance
MethodsX, 2022 To reveal the interests of actors in forest governance, this paper proposes a power-based interest identification (PII) approach. Based on the assumption of intentional action, the benefits that actors derive from policy impacts are the result of ...
Jiacheng Zhao +4 more
doaj +1 more source
Post-Socialist Anomie Through the Lens of Economic Modernization and the Formalization of Social Control [PDF]
SSRN Electronic Journal, 2013 This paper inquires into how economic modernization impacts normative regulation by spurring, on the one hand (a) formal media of normative regulation (also known as formal social control) in the spheres of politics, economics and interpersonal relations and, on the other hand, (b) informality via the lower density of norms (also known as anomie). This
Christopher Swader, Leon Kosals
openaire +1 more source
Revue Européenne des Migrations Internationales, 2017 This article aims to bypass polarized debates that either accuse migrants of abusing state forms of social protection or accuse states of excluding migrants from welfare provisions.
Maybritt Jill Alpes
doaj +1 more source
Social Support and Personal Agency in At-Risk Mothers [PDF]
Psychosocial Intervention, 2011 This study investigated: a) mothers´ use and satisfaction with informal and formal supports in at-risk psychosocial contexts, and b) the relationships between satisfaction with help and the mothers´ perception of their role (personal agency). Self-report
María José Rodrigo, Sonia Byrne
doaj +1 more source
Analyzing the effects of formal methods on the development of industrial control software [PDF]
, 2011 Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of ...
Wesselius, JH +6 more
core +2 more sources