Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-8

A Hybrid Method for Finite Model Search in Equational Theories

Belaid Benhamou, Laurent Henocque

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

On Finite Model Property of the Equational Theory of Kleene Algebras

Ewa Palka

Fundamenta Informaticae

Retricted access

Research article

First published 2001-11

Finite Element Modeling of Shape Memory Alloy Composite Actuators: Theory and Experiment

M. M. Ghomshei, A. Khajepour, N. Tabandeh [...]

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 1982

An Example of a Complete First-Order Theory with All Models Algorithmically Trivial but Without Locally Finite Models

Paweł Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 2020-7

Finite-deformation second-order micromorphic theory and its relations to strain and stress gradient models

Samuel Forest, Karam Sab

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2022-10

Numerical modeling of residual stresses in additive manufacturing products using the theory of repeatedly superimposed finite strains

Vladimir A Levin, Konstantin M Zingerman, Anatoly V Vershinin [...]

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2012-10

A Finite Population Model of Molecular Evolution: Theory and Computation

Narendra M. Dixit, Piyush Srivastava, Nisheeth K. Vishnoi

Journal of Computational Biology

Open access

Research article

First published 2021-4

Model order reduction of linear peridynamic systems using static condensation

Yakubu Kasimu Galadima, Erkan Oterkus, Selda Oterkus

Mathematics and Mechanics of Solids

Free access

Research article

First published 2014-10

Mechanical Properties of Polymer Rubber Materials Based on a New Constitutive Model

J.B. Sang, L.F. Sun, S.F. Xing [...]

Polymers and Polymer Composites

Retricted access

Research article

First published 2020-4

A Finite Mixture Item Response Theory Model for Continuous Measurement Outcomes

Cengiz Zopluoglu

Educational and Psychological Measurement

Search results