Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025

Fairness verification algorithms and bias mitigation mechanisms for AI criminal justice decision systems

Longjin Zheng

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2004-8

A Logic Framework for Verification of Timed Algorithms

Anatol Slissenko

Fundamenta Informaticae

Retricted access

Research article

First published 2025-8

Development of Chimp Optimization Algorithm and Adaptive Shuffle Attention Net for Automated Bank Cheque and Signature Verification

Rajashekar Salagar, Pushpa B Patil

Web Intelligence

Retricted access

Research article

First published 2004

Development of a High-Level Algorithm Verification and Validation Procedure for Traffic Microsimulation Models

David Reinke, Richard Dowling, Robert Hranac [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1997-10

A genetic algorithm approach for verification of the syllable-based text compression technique

Göktürk Üçoluk, I. Hakki Toroslu

Journal of Information Science

Open access

Research article

First published 2025-6

Fact-Checking as Epistemic Infrastructure: From Journalistic Gatekeeping to Platform Governance

Donghee Shin, David D. Perlmutter, Joon Soo Lim [...]

Emerging Media

Retricted access

Other

First published 1997-07

Development,Analysis,and Verification of a Parallel Hybrid Dataflow Computer Architectural Framework and Associated Load-Balancing Strategies and Algorithms via Parallel Simulation

J. Robert Heath, Balasubramanian Sivanesa

SIMULATION

Retricted access

Research article

First published 1999-2

ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool

Thomas Baar, Ekkart Kindler

Fundamenta Informaticae

Search results