Results 1 to 10 of about 870,695 (114)

A Method for Proving Observational Equivalence [PDF]

2009 22nd IEEE Computer Security Foundations Symposium, 2009
Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability property) or authentication. There are however several security properties, which cannot be defined (or cannot be naturally defined) as trace properties and require the notion of ...
Cortier, Véronique, Delaune, Stéphanie
openaire   +3 more sources

Observations on the observational method

, 2006
Major contributions to the development of the observational design method in geotechnical engineering are reviewed. These contributions are discussed in regard of the duality of uncertainties related to knowledge based (epistemic) uncertainties and those related to the natural ground variability (aleatoric).
openaire   +1 more source

The Effectiveness of Online Learning in Improving the Electrocardiogram Interpretation Skills of Junior Medical Trainees: A Mixed Methods Observational Study. [PDF]

Cureus, 2023
Elkammash A, Ahmed MW, Alsinan M, Madi K.   +3 more
europepmc   +1 more source

Examining Pediatric Resident Electronic Health Records Use During Prerounding: Mixed Methods Observational Study. [PDF]

JMIR Med Educ, 2023
Alami J, Hammonds C, Hensien E, Khraibani J, Borowitz S, Hellems M, Riggs S.   +6 more
europepmc   +1 more source

The transformation of masculinity orientations and work-related attitudes in men treated for depression (TRANSMODE): study protocol for a mixed-methods observational study. [PDF]

BMC Psychiatry, 2023
Krumm S, Krieg G, Lamp N, Marek F, Nickel P, Panzirsch M, Stiawa M, Beschoner P, Brieger P, Frasch K, Gertzen M, Gündel H, Hasan A, Jäger M, Kling-Lourenco P, Koussemou JM, Steber R, Kilian R.   +17 more
europepmc   +1 more source

Discontinuing extended-release buprenorphine: Participant experiences from a mixed-methods observational study. [PDF]

Drug Alcohol Depend Rep
Fishman M, Stoops W, Podesta A, Wyatt SA, DeVeaugh-Geiss AM, Gray F, Le Moigne A.   +6 more
europepmc   +1 more source

Patients' Experiences of the Western HealthLinks Integrated Care Chronic Illness Management Program: A Prospective Mixed-Methods Observational Cohort Study. [PDF]

Int J Integr Care
Jones JL, Barnes K, Grant C, Plant J, Lumsden NG, Simons K, Janus ED, Nelson CL, Allenby A.   +8 more
europepmc   +1 more source

Assessing the Feasibility of a Text-Based Conversational Agent for Asthma Support: Protocol for a Mixed Methods Observational Study. [PDF]

JMIR Res Protoc, 2023
Calvo RA, Peters D, Moradbakhti L, Cook D, Rizos G, Schuller B, Kallis C, Wong E, Quint J.   +8 more
europepmc   +1 more source

Strengthening the patient perspective in quality development: a mixed-methods observational study on suitability of the PROMIS GH-10 in Swiss inpatient rehabilitation. [PDF]

BMC Health Serv Res
Utsch M, Brupbacher G, Garuffi G, Scheel-Sailer A, Tobler S, Marquardt M.   +5 more
europepmc   +1 more source

Exploring social complexities of the COVID-19 pandemic on maternal anxiety: A mixed-methods observational cohort study. [PDF]

Eur J Midwifery, 2022
Anderson M, Pyart E, Epstein A, Abdul-Kadir R.   +3 more
europepmc   +1 more source