Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2009-5

Program Schemes,Queues,the Recursive Spectrum and Zero-one Laws

Iain A. Stewart

Fundamenta Informaticae

Retricted access

Research article

First published 1987-2

The Programming Language Scheme

Daniel Schneider

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1990-11

A Conceptual Scheme for Describing and Evaluating Programs in Behavioral Disorders

Judith K. Grosenick, Michael P. George, Nancy L. George

Behavioral Disorders

Free access

Research article

First published 2013-6

A scheme of supplementary production in linear programming scheduling of die casting processes

Yong Kuk Park, Jung-Min Yang

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2022-8

A theoretical scheme for shape-programming of thin hyperelastic plates through differential growth

Jiong Wang, Zhanfeng Li, Zili Jin

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2021-08

Optimal Subsidy Schemes and Budget Allocations for Government‐Subsidized Trade‐in Programs

Jiaru Bai, Shu Hu, Luyi Gui [...]

Production and Operations Management

Retricted access

Research article

First published 1987

Concurrent Program Schemes

A.J. Kfoury, P. Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 2010-9

WALK Community Grants Scheme: Lessons Learned in Developing and Administering a Health Promotion Microgrants Program

Cristina Caperchione, W. Kerry Mummery, Kelly Joyner

Health Promotion Practice

Retricted access

Research article

First published 2004

Applying a Network Programming Algorithm to a Networkwide Traffic Control Scheme: Simulation-Based Performance Studies

Wann-Ming Wey, R. Jayakrishnan

Transportation Research Record: Journal of the Transportation Research Board

Search results