Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-9

Optimal Proof Systems,Optimal Acceptors and Recursive Presentability

Zenon Sadowski

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-1

Fool-proofing design and crisis management for customized intelligent physical fitness and healthcare system

Chung-Chi Huang, Chung-Lin Huang, Hsiao-Man Liu

Technology and Health Care

Retricted access

Research article

First published 2000-4

A Proof System for Dependencies for Information Relations

Wendy MacCaull

Fundamenta Informaticae

Retricted access

Research article

First published 2025

Design of a secure electronic voting system based on zero-knowledge proof and blockchain technology

Bin Hu, Haixin Huang

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2019-2

Low magnetic disturbance analysis and testing of a novel proof mass type for gravitational reference sensor system

Zeyang Zhao, Zhaokui Wang, Yulin Zhang

Advances in Mechanical Engineering

Retricted access

Research article

First published 2013-1

Proof-of-Concept Study for a Roadway Reservation System

Peng Su, Byungkyu (Brian) Park, Joyoung Lee [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2007-9

A Propositional Proof System with Quantification Over Permutations

Grzegorz Herman, Tim Paterson, Michael Soltys

Fundamenta Informaticae

Free access

Research article

First published 2016-11

Assuring the Probability of Failure on Demand of a Safety Instrumented System without Full Proof Testing

John Rielly

Measurement and Control

Free access

Research article

First published 2016

Assuring the Probability of Failure on Demand of Safety Instrumented System without Full Proof Testing

John Rielly

Measurement and Control

Search results