Sage Journals: Discover world-class research

Retricted access

Other

First published 2002-5

Transformation Rules and Strategies for Functional‐Logic Programs

Ginés Moreno

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2002-12

Calcium and Peptide Binding to Folded and Unfolded Conformations of Cardiac Troponin C. Electrospray Ionization and Fourier Transform Ion Cyclotron Resonance Mass Spectrometry

Marjaana Nousiainen, Pirjo Vainiotalo, Peter J. Derrick [...]

European Journal of Mass Spectrometry

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth

Fundamenta Informaticae

Retricted access

Research article

First published 2005-7

Infinite Unfolding and Transformations of Nondeterministic Programs

Bjórn Lisper

Fundamenta Informaticae

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-2

Program transformation for development,verification,and synthesis of programs

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

Intelligenza Artificiale

Retricted access

Research article

First published 2013-8

Controlling Polyvariance for Specialization-based Verification

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

Fundamenta Informaticae

Open access

Research article

First published 2017-7

Research on folding suspension of multi-constrained rover based on the variation and fusion of rods and pairs

Fei Yang, Honghao Yue, Meng Li [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2021

Bursting oscillations in a slow-varying periodically excited vector field with Bogdanov–Takens bifurcation

Shuqian Wu, Qinsheng Bi

Journal of Vibration and Control

Search results