نتایج جستجو برای: to athena
تعداد نتایج: 10614187 فیلتر نتایج به سال:
We propose a new efficient automatic verification technique, Athena, for security protocol analysis. It uses a new efficient representation — our extension to the Strand Space Model, and utilizes techniques from both model checking and theorem proving approaches. Athena is fully automatic and is able to prove the correctness of many security protocols with arbitrary number of concurrent runs. T...
OBJECTIVES Gender inequity has persisted in academic medicine. Yet equity is vital for countries to achieve their full potential in terms of translational research and patient benefit. This study sought to understand how the gender equity programme, Athena SWAN, can be enabled and constrained by interactions between the programme and the context it is implemented into, and whether these interac...
The purpose of this paper is to describe potential improvements in patient safety resulting from design decisions in the development of a computerized decision support system (DSS) for managing opioid therapy for chronic noncancer pain. ATHENA-DSS is an automated decision support system developed in a collaboration between Stanford University and the U.S. Department of Veterans Affairs (VA) to ...
Dynamic Programming Dimitri P. Bertsekas Massachusetts Institute of Technology WWW site for book information and orders http://www.athenasc.com Athena Scientific, Belmont, Massachusetts
The micro-architecture of brain tissue obstructs the movement of diffusing water molecules, causing tissue-dependent, often anisotropic diffusion profiles. In diffusion MRI (dMRI), the relation between brain tissue structure and diffusion anisotropy is studied using oriented diffusion gradients, resulting in tissueand orientation-dependent diffusion-weighted images (DWIs). Over time, various me...
We have demonstrated production of antihydrogen in a 1 T solenoidal magnetic field. This field strength is significantly smaller than that used in the first generation experiments ATHENA (3 T) and ATRAP (5 T). The motivation for using a smaller magnetic field is to facilitate trapping of antihydrogen atoms in a neutral atom trap surrounding the production region. We report the results of measur...
Music information retrieval (MIR) as a nascent discipline is blessed with a multi-disciplinary group of people endeavoring to bring their respective knowledge-bases and research paradigms to bear on MIR problems. Communication difficulties across disciplinary boundaries, however, threaten to impede the maturation of MIR into a full-fledge discipline. The principal causes of the communications b...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید