Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021-7

Segmentation of Temporal Bone Anatomy for Patient-Specific Virtual Reality Simulation

Steven Arild Wuyts Andersen, Maxwell Bergman, Jason P. Keith [...]

Annals of Otology,Rhinology & Laryngology

Retricted access

Research article

First published 2019-5

Control in belief space with temporal logic specifications using vision-based localization

Kevin Leahy, Eric Cristofalo, Cristian-Ioan Vasile [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2017-6

Anatomy-Specific Virtual Reality Simulation in Temporal Bone Dissection: Perceived Utility and Impact on Surgeon Confidence

Garrett D. Locketz, Justin T. Lui, Sonny Chan [...]

Otolaryngology–Head and Neck Surgery

Free access

Research article

First published 2015-11

Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

Tatjana Kapus

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2000-10-1

Temporal authorization bases: From specification to integration

Elisa Bertino, Piero Andrea Bonatti, Elena Ferrari [...]

Journal of Computer Security

Retricted access

Research article

First published 2013-8

Specifying and solving symbolic and numeric temporal constraints

Samira Sadaoui, Malek Mouhoub, Xiao Feng Li

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Other

First published 2012-8

Case-Specific Simulation in Temporal Bone Surgery

Asit Arora, Chloe Swords, Sameer Khemani [...]

Otolaryngology–Head and Neck Surgery

Retricted access

Research article

First published 2015-8

Motion planning with temporal-logic specifications: Progress and challenges

Erion Plaku, Sertac Karaman

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-7

Reactive sampling-based path planning with temporal logic specifications

Cristian Ioan Vasile, Xiao Li, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2007-7

Gender Specific Processing of Eye Contact within the Human Medial Temporal Lobe

Thomas Grunwald, Manila Vannucci, Nico Pezer [...]

Clinical EEG and Neuroscience

Search results