Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-9

Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination

Patrick Doherty, Andrzej Szałas

Fundamenta Informaticae

Retricted access

Research article

First published 2018

On Axiomatizability of the Multiplicative Theory of Numbers

Saeed Salehi

Fundamenta Informaticae

Retricted access

Research article

First published 2016-9

A hybrid modeling and optimization approach for scheduling problems of assembly automation processes

Yan Pang, Hao Xia

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

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-8

Residual Drifts of Self-Centering Systems Including Effects of Ambient Building Resistance

Matthew R. Eatherton, Jerome F. Hajjar

Earthquake Spectra

Retricted access

Research article

First published 1978-8

A Ranking System Based on Visual Performance Potential and Visual Comfort

Douglas J. Herst, Peter Y. Ngai

Lighting Design + Application

Retricted access

Research article

First published 1981

A Criterion of Undecidability of Algorithmic Theories

Wiktor Dańko

Fundamenta Informaticae

Retricted access

Other

First published 2005-11

Measurement of Protein Glycation,Glycated Peptides,and Glycation Free Adducts

Paul J. Thornalley

Peritoneal Dialysis International: Journal of the International Society for Peritoneal Dialysis

Retricted access

Research article

First published 1978

Definability in algorithmic logic

Wiktor Dańko

Fundamenta Informaticae

Retricted access

Research article

First published 2015-02

Estimating the Impact of Understaffing on Sales and Profitability in Retail Stores

Vidya Mani, Saravanan Kesavan, Jayashankar M. Swaminathan

Production and Operations Management

Search results