Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-8

Abstract Interpretation of an Object Calculus for Synchronization Optimizations

Roberto Barbuti, Stefano Cataudella

Fundamenta Informaticae

Retricted access

Research article

First published 2018-12

Which Objective Parameters Are Associated with a Positive Urine Culture in the Setting of Ureteral Calculi: The Ureteral Calculi Urinary Culture Calculator

Matthew Rohloff, Jaschar Shakuri-Rad, Cameron McElrath [...]

Journal of Endourology

Open access

Research article

First published 2016-11

Object-oriented Petri nets and π -calculus-based modeling and analysis of reconfigurable manufacturing systems

Zhenhua Yu, Fang Guo, Jie Ouyang [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2008-10

Alias Types and Effects for "Environment-aware" Computations

Ferruccio Damiani, Elena Giachino, Paola Giannini

Fundamenta Informaticae

Retricted access

Research article

First published 2001-12

Types for Active Objects with Static Deadlock Prevention

Franz Puntigam, Christof Peter

Fundamenta Informaticae

Retricted access

Research article

First published 2022-10

Rear boot swing door closing effort: Calculations,objective and subjective evaluations in an LCV model

Armagan Altinisik, Emre Bolova

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2020-10

Impact of volume calculation formulae on volume estimation accuracy of different shaped objects: an in vitro ultrasound and CT study

Iroshani Kodikara, Dhanusha Gamage, Iroshini Abeysekara [...]

Acta Radiologica

Retricted access

Research article

First published 2021-10

Performance calculation and configuration optimization of annular radiator by heat transfer unit simulation and a multi-objective genetic algorithm

Zhe Xu, Yingqing Guo, Huarui Yang [...]

Proceedings of the Institution of Mechanical Engineers,Part E: Journal of Process Mechanical Engineering

Open access

Review article

First published 2021

Methods for improving the accuracy of CIE tristimulus values of object color by calculation Part II: Improvement on measurement wavelength ranges

Yang Hongying, Zhang Jingjing, Yang Zhihui [...]

Journal of Engineered Fibers and Fabrics

Retricted access

Research article

First published 1995-2

ALL COMPACT HAUSDORFF LAMBDA MODELS ARE DEGENERATE

K.H. Hofmann, M.W. Mislove

Fundamenta Informaticae

Search results