Sage Journals: Discover world-class research

Open access

Research article

First published 2008-5

PicoSAT Essentials

Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2020-10

Correlating Self-Report and Trace Data Measures of Incivility: A Proof of Concept

Toby Hopp, Chris J. Vargo, Lucas Dixon [...]

Social Science Computer Review

Open access

Research article

First published 2019

Tracing Septic Pollution Sources Using Synthetic DNA Tracers: Proof of Concept

Christine B Georgakakos, Paul L Richards, M Todd Walter

Air,Soil and Water Research

Retricted access

Research article

First published 2010-6

Infinite Product of Traces Represented by Projections

Roman R. Redziejowski

Fundamenta Informaticae

Retricted access

Research article

First published 1993-2

On the de Haas – van Alphen effect

V. Guillemin, A. Uribe

Asymptotic Analysis

Retricted access

Research article

First published 2000-7

Towards Automated Consistency Checking of Module Interface Specifications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 1949-4

Simultaneous Fluorocardiography and Recording of Intracardiac Pressure.

Aldo A. Luisada, Felix G. Fleischner

Experimental Biology and Medicine

Retricted access

Research article

First published 1996-2

AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS

Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1992-1-1

Proving Noninterference and Functional Correctness Using Traces

John McLean

Journal of Computer Security

Search results