Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-12

De- and recoding algorithmic systems: The case of fact checkers and fact checked users

Anna Schjøtt, Mette Bengtsson

Convergence: The International Journal of Research into New Media Technologies

Retricted access

Research article

First published 2003-2

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems

Nicolette De Francesco, Antonella Santone, Luca Tesei

Fundamenta Informaticae

Retricted access

Research article

First published 1992-8

Checking fidelity of the systems with fault detection circuits

Kazys Serapinas, Kostas Žukauskas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2021-4

Clinical Validity Assessment of Integrated Dose Range Checking Tool in a Tertiary Care Hospital Using an Electronic Health Information System

Abdulrazaq S. Al-Jazairi, Eman K. AlQadheeb, Lama K. AlShammari [...]

Hospital Pharmacy

Open access

Research article

First published 2017

Encrypted quick response scheme for hotel check-in and access control system

Soon-Nyean Cheong, Huo-Chong Ling, Pei-Lee Teh [...]

International Journal of Engineering Business Management

Retricted access

Research article

First published 1984-2

Impact on Ventilator-Check Time of an In-Circuit Computerized Respiratory Monitoring System

Sandy Chapkowski, Norman P Pucilo, Roy D Cane [...]

Respiratory Care

Retricted access

Research article

First published 2016-3-4

Branching-Time Model Checking Gap-Order Constraint Systems

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Retricted access

Research article

First published 2015-2

Using Double Occlusion Checking System and Bi-digital O-Ring Test to Determine the Vertical Dimension of Occlusion for Maxillofacial Prosthodontics for Patients with Long-Term Pathophysiological Condition

Dominic P. Lu, Ping-Shi Wu

Acupuncture & Electro-Therapeutics Research: International Journal of Integrated Medicine

Retricted access

Research article

First published 2022

Creating Meaningful Alerts and Reducing Alert Fatigue: Strategies Implemented by Informatics Pharmacists to Optimize Dose Range Checking Alerts in a Multihospital Health System

Jonathan F. Choukroun, Kristina Lee, Aixa Rey

Journal of Pharmacy Technology

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Search results