You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (312)

Journals (0)

1-10 of 312 results for machine check

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Checking the Anaesthetic Machine

Retricted access

Research article

First published 2006-12

Checking the Anaesthetic Machine

Paul Wicker, Brian Smith

Journal of Perioperative Practice

Select article: Checking the Anaesthetic Machine

Retricted access

Research article

First published 2008-8

Checking the Anaesthetic Machine

Paul Wicker, Brian Smith

Journal of Perioperative Practice

Select article: Model Checking Abstract State Machines with Answer Set Programming

Retricted access

Research article

First published 2007-4

Model Checking Abstract State Machines with Answer Set Programming

Calvin Kai Fan Tang, Eugenia Ternovska

Fundamenta Informaticae

Select article: Machine-checked proofs of privacy against malicious boards for Selene & Co 1

Retricted access

Research article

First published 2023-10-13

Machine-checked proofs of privacy against malicious boards for Selene & Co 1

Constantin Cătălin Drăgan, François Dupressoir, Ehsan Estaji [...]

Journal of Computer Security

Select article: Efficient construction of machine-checked symbolic protocol security proofs

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Select article: Combining human intelligence and machine learning for fact-checking: Towards a hybrid human-in-the-loop framework

Retricted access

Research article

First published 2023-12-20

Combining human intelligence and machine learning for fact-checking: Towards a hybrid human-in-the-loop framework

David La Barbera, Kevin Roitero, Stefano Mizzaro

Intelligenza Artificiale

Select article: Validity Checking and Repairing of Machine Generated Transfer-Type Word Problems

Retricted access

Research article

First published 2024-11

Validity Checking and Repairing of Machine Generated Transfer-Type Word Problems

Suresh Kumar, P Sreenivasa Kumar

Applied Ontology

Select article: Evaluation of Safety Procedures in Anaesthesia and Intensive Care

Free access

Research article

First published 1993-10

Evaluation of Safety Procedures in Anaesthesia and Intensive Care

D. G. Clayton, L. Barker, W. B. Runciman

Anaesthesia and Intensive Care

Select article: An efficient approach to state space management in model checking of complex software systems using machine learning techniques

Retricted access

Research article

First published 2020-02-06

An efficient approach to state space management in model checking of complex software systems using machine learning techniques

Mohammad Yasrebi, Vahid Rafe, Hamid parvin [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Select article: User agency–based versus machine agency–based misinformation interventions: The effects of commenting and AI fact-checking labeling on attitudes toward the COVID-19 vaccination

Retricted access

Research article

First published 2024-12

User agency–based versus machine agency–based misinformation interventions: The effects of commenting and AI fact-checking labeling on attitudes toward the COVID-19 vaccination

Jiyoung Lee, Kim Bissell

New Media & Society

1
2
3
•••
32
10 / page

Article type

Publication date

Subjects

Access