نتایج جستجو برای: 092 was calculated

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

2016
Sara M. Lammert Sowmya R. Rao Emily S. Jentes Jessica K. Fairley Stefanie Erskine Allison T. Walker Stefan H. Hagmann Mark J. Sotir Edward T. Ryan Regina C. LaRocque

BACKGROUND International travellers are at risk of travel-related, vaccine-preventable diseases. More data are needed on the proportion of travellers who refuse vaccines during a pre-travel health consultation and their reasons for refusing vaccines. METHODS We analyzed data on travellers seen for a pre-travel health consultation from July 2012 through June 2014 in the Global TravEpiNet (GTEN...

Journal: :Occupational and Environmental Medicine 1994

Journal: :Deutsches Aerzteblatt Online 2012

Journal: :Proceedings of the National Academy of Sciences 2012

2010
Michael J. Banks Jeremy L. Jacob

This paper introduces a versatile operator for modifying CSP processes to satisfy particular information flow security requirements. We present and justify an algebraic semantics for this operator, which allows us to derive secure processes from (potentially) insecure processes in a calculational style. Moreover, the operator simplifies the task of verifying the security of processes.

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

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