نتایج جستجو برای: observational studies

تعداد نتایج: 1500859  

2010
Véronique Cortier Steve Kremer Pascal Lafourcade

Privacy related properties in electronic voting are naturally expressed as indistinguishability properties. This motivates the study of observational equivalence, as well as static equivalence in the context of the AVOTÉ project. In this report we survey the existing results on the computational soundness of symbolic indistinguishability relations in the presence of a passive adversary, for whi...

2017
AKRAM EL-KORASHY

In this note, we present a proof of Π2-completeness of contextual equivalence of Turing machines via a reduction of the language FIN to contextual inequivalence. FIN is the language of encodings 〈Mi〉 of Turing machines Mi for which the set Wi of inputs on which Mi halts (or the set of accepting inputs of Mi) is finite. FIN is known to be Σ 0 2-complete.

Journal: :Ergonomics 2016
Carlos Aceves-González Andrew May Sharon Cook

This study was an unobtrusive observational analysis of 333 older and younger bus passengers in Guadalajara, Mexico. A set of data were collected for each observed passenger, as well as more general observations related to driver behaviour, bus design and bus service characteristics. There were significant differences between older and younger passengers in terms of boarding and alighting times...

Journal: :Synthese 2013
Charlotte Werndl

There are results which show that measure-theoretic deterministic models and stochastic models are observationally equivalent. Thus there is a choice between a deterministic and an indeterministic model and the question arises: Which model is preferable relative to evidence? If the evidence equally supports both models, there is underdetermination. This paper first distinguishes between differe...

Journal: :journal of research in health sciences 0
majid motamedzade mohammad reza ashuri rostam golmohammadi hossein mahjub

background: during the last decades, to assess the risk factors of work-related musculoskeletal disorders (wmsds), enormous observational methods have been developed. rapid entire body assessment (reba) and quick exposure check (qec) are two general methods in this field. this study aimed to compare ergonomic risk assessment outputs from qec and reba in terms of agreement in distribution of pos...

Journal: :medical journal of islamic republic of iran 0
pedram golnari center for educational research in medical sciences, iran university of medical sciences, tehran, iran.سازمان اصلی تایید شده: دانشگاه علوم پزشکی ایران (iran university of medical sciences)سازمان های دیگر: center for educational research in medical sciences faezeh sodagari center for educational research in medical sciences, iran university of medical sciences, tehran, iran.سازمان اصلی تایید شده: دانشگاه علوم پزشکی ایران (iran university of medical sciences)سازمان های دیگر: center for educational research in medical sciences hamid reza baradaran center for educational research in medical sciences, iran university of medical sciences, tehran, iran.سازمان اصلی تایید شده: دانشگاه علوم پزشکی ایران (iran university of medical sciences)سازمان های دیگر: center for educational research in medical sciences

background :research in medical education has been paid more attention than before however the quality of research reporting has not been comprehensively appraised.to evaluate the methodological and reporting quality of iranian published medical education articles.   methods: articles describing medical students, residents, fellows or program evaluation were included. articles related to contin...

Faezeh Sodagari, Hamid Reza Baradaran, Pedram Golnari,

  Background :Research in medical education has been paid more attention than before however the quality of research reporting has not been comprehensively appraised.To evaluate the methodological and reporting quality of Iranian published medical education articles.   Methods: Articles describing medical students, residents, fellows or program evaluation were included. Articles related to cont...

2011
Charlotte Werndl

This paper presents and philosophically assesses three types of results on the observational equivalence of continuous-time measure-theoretic deterministic and indeterministic descriptions. The first results establish observational equivalence to abstract mathematical descriptions. The second results are stronger because they show observational equivalence between deterministic and indeterminis...

2005
Steffen van Bakel Ugo de'Liguoro

Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalized through an assignment system. It is shown that equality in the full first order ς-calculus is modelled by this notion, which on turn is included in a Morris style contextual equivalence.

2016
Mark R. Middleton Stéphane Dalle Joel Claveau Pilar Mut Sigrun Hallmeyer Patrice Plantin Martin Highley Srividya Kotapati Trong Kim Le Jane Brokaw Amy P. Abernethy

The therapeutic landscape for advanced melanoma has recently been transformed by several novel agents (immune checkpoint inhibitors and molecular-targeted agents). The prospective, multi-site, observational study IMAGE (ipilimumab: management of advanced melanoma in real practice) included a retrospective cohort to describe real-world treatment prior to approval of the immune checkpoint inhibit...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید