Sage Journals: Discover world-class research

Open access

Research article

First published 2007-2

An Abstract Decision Procedure for a Theory of Inductive Data Types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-12-23

A new reasoning approach combining information systems and interval type-2 fuzzy sets

Martin Tabakov, Joel Quesada

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

Retricted access

Research article

First published 2017-8

Analyses on the coordinated application of voltage switching type SPD and voltage limiting type SPD

Xiangchao Li, Jing Zhang, Rongxu Chen [...]

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2010-8

Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

Fundamenta Informaticae

Free access

Research article

First published 2002-01

The Use of Quantitative Histological and Molecular Data for Risk Assessment and Biologically Based Model Development

Melvin E. Andersen

Toxicologic Pathology

Open access

Research article

First published 2013-3-1

Hierarchical Bayesian models as formal models of causal reasoning

York Hagmayer, Ralf Mayrhofer

Argument & Computation

Retricted access

Research article

First published 2016-6

A fuzzy rule induction algorithm for discovering classification rules

Ashraf A. Afify

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

Retricted access

Review article

First published 2024-8

Rapid Sequence Intubation,is it Time to Find an Alternative Induction Agent? A Narrative Review

Brett A. Faine, Elisabeth Carroll, Archit Sharma [...]

Journal of Pharmacy Practice

Retricted access

Research article

First published 2017-5

Health indicator metrics applicable to inductive wear debris sensors

Andrew Becker

Proceedings of the Institution of Mechanical Engineers,Part J: Journal of Engineering Tribology

Free access

Announcement

First published 1967-4

Propriétés Hypno-Inductrices Du Nitrazépam

Robert Duguay, Jean-Marc Bordeleau, Léon Tetreault

The Canadian Journal of Psychiatry

Search results