Sage Journals: Discover world-class research

Open access

Research article

First published 2006-2

Report of the Third QBF Solvers Evaluation 1

Massimo Narizzano, Luca Pulina, Armando Tacchella

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2024-6

Challenges of Automating Fact-Checking: A Technographic Case Study

Lasha Kavtaradze

Emerging Media

Retricted access

Research article

First published 2010-9

The Automation Design Advisor Tool (ADAT): Supporting Flight Deck Design in NextGen

Angelia Sebok, Christopher Wickens, Nadine Sarter [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2010-5

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1997-06

Automated Pharmacy Databases and Behavioral Health Care Quality Assurance

Bentson H. McFarland

Evaluation Review

Open access

Research article

First published 2024-7

Reducing the Costs of Automation Failure by Providing Voluntary Automation Checking Tools

Vanessa Bowden, Dale Long, Shayne Loft

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 1997-5

Fixture Design Synthesis for a Flexible Manufacturing System

Utpal Roy, Jianmin Liao, Pei-Liang Sun [...]

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2020-9-28

A formal and automated approach to exploiting multi-stage attacks of web applications

Federico De Meo, Luca Viganò

Journal of Computer Security

Retricted access

Other

First published 1997-10

On the Application of Cognitive Compatibility to Aircraft Systems Design and Evaluation

Anthony D. Andre

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2026

Autopsy Ontology: Supporting Semantics-Based Automated Knowledge Discovery for Digital Forensic Artifacts

Leslie F Sikos, Allan Korol

Applied Ontology

Search results