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 +2 more sources
Observation: A Complex Research Method [PDF]
Library Trends, 2006 As an ethnographic research method, observation has a long history. The value of observation is that it permits researchers to study people in their native environment in order to understand "things" from their perspective. Observation requires the researcher to spend considerable time in the field with the possibility of adopting various roles in ...
openaire +1 more source
Method of Observing the “Subjective Yellow.” [PDF]
Nature, 1907 A SIMPLE method of obtaining the sensation of yellow produced by the mixture of red and green lights is afforded by a small direct-vision spectroscope of the ordinary kind in which the slit can be rotated to adjust its line perpendicular to the plane, of refraction.
openaire +2 more sources
II. PHYSIOLOGIC OBSERVATIONS AND METHODS [PDF]
JAMA: The Journal of the American Medical Association, 1918 In the Medical Research Laboratory of the Air Service the ability of the aviator to respond to a decreasing oxygen supply is tested by an experiment of from twenty-five to thirty minutes' duration with the Henderson rebreathing apparatus. As the oxygen in the air inhaled from the apparatus is reduced, the man is thereby virtually elevated to a ...
openaire +1 more source
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 +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 +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 +17 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 +8 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 +3 more
europepmc +1 more source