Sage Journals: Discover world-class research

Retricted access

Research article

First published 1982

The Equational Specification of Finite Minimal Unoids Using only Unary Hidden Functions

Jan A. Bergstra, John-Jules Ch. Meyer

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1

The Impact of Intraclass Correlation on the Effectiveness of Level-Specific Fit Indices in Multilevel Structural Equation Modeling

Hsien-Yuan Hsu, Jr-Hung Lin, Oi-Man Kwok [...]

Educational and Psychological Measurement

Open access

Research article

First published 2024-2

Model Specification Searches in Structural Equation Modeling Using Bee Swarm Optimization

Ulrich Schroeders, Florian Scharf, Gabriel Olaru

Educational and Psychological Measurement

Retricted access

Research article

First published 2017

Modeling a Predictive Energy Equation Specific for Maintenance Hemodialysis

Laura D. Byham-Gray, J. Scott Parrott, Emily N. Peters [...]

Journal of Parenteral and Enteral Nutrition

Retricted access

Research article

First published 1980-02

Specification Error and Negatively Correlated Disturbances in "Parallel" Simultaneous-Equation Models

Michael W. Gillespie, John Fox

Sociological Methods & Research

Free access

Research article

First published 2020-7

Prospective study comparing the outcome of a population-specific adjusted calcium equation to ionized calcium

N Jassam, K Hayden, R Dearman [...]

Annals of Clinical Biochemistry: International Journal of Laboratory Medicine

Free access

Research article

First published 2020-7

The effect of different analytical platforms and methods on the performance of population-specific adjusted calcium equation

N Jassam, D Narayanan, D Turnock [...]

Annals of Clinical Biochemistry: International Journal of Laboratory Medicine

Retricted access

Research article

First published 2017

Development and Validation of a New Cardio-Specific Resting Energy Expenditure Equation for Adults

Sergey Mihailovich Efremov, Valeria Olegovna Talaban, Dmitry Nikolaevich Ponomarev [...]

Journal of Parenteral and Enteral Nutrition

Search results