Sage Journals: Discover world-class research

Retricted access

Research article

First published 1992

On Some Equivalence Relations for Probabilistic Processes 1

Dung T. Huynh, Lu Tian

Fundamenta Informaticae

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2010-3-22

Calibrating the power of schedulers for probabilistic polynomial-time calculus

Sardaouna Hamadou, John Mullins

Journal of Computer Security

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 2021-11

New probabilistic S-N curves modeling method with small-sample test data of composite materials

Qiang Ma, Zongwen An, Xuezong Bai [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2018-7

Total fatigue life prediction for welded joints based on initial and equivalent crack size determination

Xiaoqiang Zhang, Huiying Gao, Hong-Zhong Huang

International Journal of Damage Mechanics

Retricted access

Research article

First published 1981

Automata in Random Environments 1

Jerren Gould

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1-31

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

Artur Rataj, Bożena Woźna-Szcześniak

Fundamenta Informaticae

Retricted access

Research article

First published 1996-02

On the Law of the Transverse Matrix Crack Growth in Brittle Polymeric Matrix Composite Laminates under Static Loadings

Luo-Yu Xu

Journal of Composite Materials

Retricted access

Research article

First published 2015-10

Fluctuation prediction of machining accuracy for multi-axis machine tool based on stochastic process theory

Qiang Cheng, Qiunan Feng, Zhifeng Liu [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Search results