Results 41 to 50 of about 6,446 (258)

Automated Lemma Synthesis in Symbolic-Heap Separation Logic

, 2017
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan, Khoo, Siau-Cheng, Le, Ton Chanh, Ta, Quang-Trung   +3 more
core   +1 more source

The Role of European Union (EU) Metagovernance in Supporting the Voluntary and Community Sector in Northern Ireland

European Policy Analysis, EarlyView.
ABSTRACT This article argues that European Union (EU) peacebuilding scholarship can benefit from organizational research on the socio‐spatial dynamics of policy implementation. It introduces a strategic‐relational heuristic to address two key gaps: the marginalization of grassroots agency in spatial analyses and the separation of strategy from ...
Giada Lagana, Sioned Pearce
wiley   +1 more source

Can the jointly collection of PROMs and PREMs improve integrated care? The changing process of the assessment system for the hearth failure path in Tuscany Region

International Journal of Integrated Care, 2019
The Patient Reported Outcome and Experience Measures (PROMs and PREMs) are key assessment tools from the patients’ point of view, with different purposes and different tools.
Francesca Pennucci, Sabina De Rosis, Sabina Nuti   +2 more
doaj   +1 more source

A Comparative Study on the Irrigation Suitability of Kerala's Rivers Using Fuzzy AHP and Conventional Methods

Irrigation and Drainage, EarlyView.
ABSTRACT Food security in Kerala depends on effective irrigation, but poor‐quality irrigation water poses threats such as salinity, sodicity and reduced soil productivity. Although past assessments have been localised, this study presents the first comprehensive, statewide evaluation of irrigation water suitability across 44 major rivers in Kerala.
Raji Karuna, S. K. Pramada, Venkataramana Sridhar   +2 more
wiley   +1 more source

Relationship between patient reported experience (PREMs) and patient reported outcomes (PROMs) in elective surgery. [PDF]

, 2014
OBJECTIVE: Our aim was to see if the reporting of better experiences by elective surgical patients was associated with better outcomes (effectiveness and safety).
Black, Nick, Hutchings, Andrew, Varaganum, Mira   +2 more
core   +1 more source

Navigating ESG in the Artificial Intelligence Era: Evidence From AI Pilot Zones in China

International Studies of Economics, EarlyView.
ABSTRACT Artificial intelligence is reshaping business models, but limited literature explores how ESG evolves in the AI era. This paper regards AI Pilot Zones in China as a quasi‐natural experiment, and adopts the DID approach to investigate its impact on corporate ESG performance. Using the sample of Chinese A‐share listed companies from 2016 to 2022,
Yujie Liu, Xinyi Shen
wiley   +1 more source

South Asian Bodies at British Borders in the 1970s: From the Ugandan Asian ‘Stateless Husbands’ to ‘Virginity Testing’

Gender &History, EarlyView.
ABSTRACT This article looks at two critical moments in British immigration – the case of the ‘stateless’ Ugandan Asian husbands, whose wives successfully argued for their entry in Britain in 1973 and the ‘virginity test’ performed on Mrs K at Heathrow Airport in 1979.
Antara Datta, Jinal Parekh
wiley   +1 more source

Soundness and completeness proofs by coinductive methods [PDF]

, 2017
We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic.
A Ciaffaglione, Andrei Popescu, AS Troelstra, B Jacobs, Dmitriy Traytel, Jasmin Christian Blanchette, JH Gallier, JJ Schlöder, JJMM Rutten, JL Bell, JL Krivine, M Fitting, N Francez, R Diaconescu, R Hähnle, R Mayr, S Kripke, S Negri, SC Kleene, T Nipkow   +19 more
core   +11 more sources

How patient-reported outcomes and experience measures (PROMs and PREMs) are implemented in healthcare professional and patient organizations? An environmental scan

Journal of Patient-Reported Outcomes
Background Patient-reported outcome measures (PROMs) and patient-reported experience measures (PREMs) are becoming essential parts of a learning health system, and using these measures is a promising approach for value-based healthcare. However, evidence
Véronique Lowry, Vanessa Tremblay-Vaillancourt, Priscilla Beaupré, Marie-Dominique Poirier, Marie-Ève Perron, Jessica Bernier, Anaëlle Morin, Caroline Cormier, Jeannie Haggerty, Sara Ahmed, Magaly Brodeur, Geneviève David, Sylvie Lambert, Maude Laberge, Diana Zidarov, Regina Visca, Thomas G. Poder, Hervé Tchala Vignon Zomahoun, Maxime Sasseville, Marie-Eve Poitras   +19 more
doaj   +1 more source

Winston Churchill and France: A Certain Ideal

History, EarlyView.
Abstract This article examines relations between Winston Churchill and France. It argues that Churchill was sympathetic to France and, in particular, unusual among Englishmen of his generation in being sympathetic to its political system, but also that this sympathy did not make Churchill consistent in his relations with France.
Richard Vinen
wiley   +1 more source