Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-5

Automatic design of multi-variable quantitative feedback theory control systems via evolutionary computation

K C Tan, T H Lee, E F Khor

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-7

Genetic evolution of controllers for challenging control problems

Dimitris C. Dracopoulos

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2015-9

A Second Look at Automatic Theory of Mind

Jonathan Phillips, Desmond C. Ong, Andrew D. R. Surtees [...]

Psychological Science

Retricted access

Research article

First published 2001-12

Pioneers of the Early Digital Era

Debashis 'Deb' Aikat

Convergence: The International Journal of Research into New Media Technologies

Retricted access

Research article

First published 2010-9

Cellular Automata,Decidability and Phasespace

K. Sutner

Fundamenta Informaticae

Retricted access

Research article

First published 2015-5

Using Supervised Machine Learning to Code Policy Issues

Bjorn Burscher, Rens Vliegenthart, Claes H. De Vreese

The ANNALS of the American Academy of Political and Social Science

Free access

Research article

First published 1998-4

Flat pattern generation of thin-walled objects based on a mechanism theory

Y-L Lin, D C H Yang

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

Free access

Research article

First published 2010-8

Observability of Turing Machines: A Refinement of the Theory of Computation

Yaroslav D. Sergeyev, Alfredo Garro

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2014-1

Enhancing Competence and Autonomy in Computer-Based Instruction Using a Skill-Challenge Balancing Strategy

Jieun Kim, Hokyoung Ryu, Norliza Katuk [...]

Journal of Educational Computing Research

Search results