Towards Probabilistic Modelling in Event-B

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-16265-7_20 ◽

2010 ◽

pp. 275-289 ◽

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

Probabilistic Modelling

Download Full-text

Probabilistic modelling of the size effect on ductility of a C-Mn steel

Journal de Physique IV (Proceedings) ◽

10.1051/jp4:1998808 ◽

1998 ◽

Vol 08 (PR8) ◽

pp. Pr8-63-Pr8-70

Author(s):

S. Carassou ◽

M. Soilleux ◽

B. Marini

Keyword(s):

Size Effect ◽

Probabilistic Modelling ◽

Download Full-text

Probabilistic Modelling of 80 m Mast Measured Wind Resource: A case study.

Energy Sources Part A Recovery Utilization and Environmental Effects ◽

10.1080/15567036.2021.1910753 ◽

2021 ◽

pp. 1-15

Author(s):

Rajat Kanti Samal

Keyword(s):

Probabilistic Modelling ◽

Download Full-text

Probabilistic modelling techniques in dietary exposure assessment: application on the risk assessment of cadmium for Austrian adults

Food Additives & Contaminants Part A ◽

10.1080/19440049.2021.1921282 ◽

2021 ◽

pp. 1-15

Author(s):

Christina Vlachou ◽

Antonia Griesbacher ◽

Klemens Fuchs ◽

Josef Wolf ◽

Daniela Mihats ◽

...

Keyword(s):

Risk Assessment ◽

Exposure Assessment ◽

Dietary Exposure ◽

Probabilistic Modelling ◽

Modelling Techniques

Download Full-text

Analysis of cracking in steel fibre-reinforced concrete (SFRC) structures in bending using probabilistic modelling

Structural Concrete ◽

10.1002/suco.201400081 ◽

2015 ◽

Vol 16 (3) ◽

pp. 381-388 ◽

Author(s):

Pierre Rossi ◽

Dominic Daviau-Desnoyers ◽

Jean-Louis Tailhan

Keyword(s):

Reinforced Concrete ◽

Steel Fibre ◽

Probabilistic Modelling ◽

Fibre Reinforced Concrete ◽

Steel Fibre Reinforced Concrete

Download Full-text

Modelling of individual domestic occupancy and energy demand behaviours using existing datasets and probabilistic modelling methods.

Energy and Buildings ◽

10.1016/j.enbuild.2021.111373 ◽

2021 ◽

pp. 111373

Author(s):

Graeme Flett ◽

Nick Kelly

Keyword(s):

Energy Demand ◽

Probabilistic Modelling ◽

Modelling Methods

Download Full-text

Probabilistic modelling of residual stress in advanced analysis of steel structures

Journal of Constructional Steel Research ◽

10.1016/j.jcsr.2014.05.028 ◽

2014 ◽

Vol 101 ◽

pp. 407-414 ◽

Author(s):

S. Shayan ◽

K.J.R. Rasmussen ◽

H. Zhang

Keyword(s):

Residual Stress ◽

Steel Structures ◽

Probabilistic Modelling ◽

Advanced Analysis

Download Full-text

Fatigue of gears in the finite life regime — Experiments and probabilistic modelling

Engineering Failure Analysis ◽

10.1016/j.engfailanal.2016.01.012 ◽

2016 ◽

Vol 62 ◽

pp. 276-286 ◽

Author(s):

E. Olsson ◽

A. Olander ◽

M. Öberg

Keyword(s):

Probabilistic Modelling

Download Full-text

Probabilistic modelling of calcium leaching in a tunnel for nuclear waste disposal

EPJ Web of Conferences ◽

10.1051/epjconf/20111204004 ◽

2011 ◽

Vol 12 ◽

pp. 04004

Author(s):

T. de Larrard ◽

F. Benboudjema ◽

J.-B. Colliat ◽

J.-M. Torrenti

Keyword(s):

Nuclear Waste ◽

Waste Disposal ◽

Nuclear Waste Disposal ◽

Probabilistic Modelling ◽

Calcium Leaching

Download Full-text

Probabilistic Modelling of Fatigue Life of Composite Laminates Using Bayesian Inference

Vulnerability, Uncertainty, and Risk ◽

10.1061/9780784413609.260 ◽

2014 ◽

Author(s):

Nikolay Dimitrov ◽

Armen Der Kiureghian

Keyword(s):

Fatigue Life ◽

Bayesian Inference ◽

Composite Laminates ◽

Probabilistic Modelling

Download Full-text

Probabilistic Modelling and Optimization

Wind Power Based Isolated Energy Systems ◽

10.1007/978-3-030-00542-9_5 ◽

2018 ◽

pp. 97-126

Author(s):

Anindita Roy ◽

Santanu Bandyopadhyay

Keyword(s):

Probabilistic Modelling ◽

Modelling And Optimization

Download Full-text