MODGRO User's Manual, Version 1.2

Harter, James A.

doi:10.21236/ada255695

Cited by 18 publications

(23 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…BIDMIN [218] was a minimization tool written in Ada. It supported strong bisimulation, as well as variants of observational and branching bisimulations (e.g., rooted, divergence-preserving, etc.…”

Section: New Bisimulation Toolsmentioning

confidence: 99%

Equivalence Checking 40 Years After: A Review of Bisimulation Tools

Garavel

Lang

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Equivalence checking is a formal verification approach that consists in proving that two programs or models are related modulo some equivalence relation, or that one is included in the other modulo some preorder relation. In the case of concurrent systems, which are often represented using labelled transition systems, the relations used for equivalence checking are bisimulations and their simulation preorders. In the case of probabilistic or stochastic systems, which are usually represented using Markov chains, the relations used for equivalence checking are lumpability, probabilistic and stochastic equivalences, and their associated preorders. The present article provides a synthetic overview of 40 years of research in the design of algorithms and software tools for equivalence checking.

show abstract

Section: New Bisimulation Toolsmentioning

confidence: 99%

Equivalence Checking 40 Years After: A Review of Bisimulation Tools

Garavel

Lang

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…In contrast, our questions examining changes in adolescents' self-reported help-seeking behavior at wave 2 required more complex multilevel modeling procedures and had a higher percentage of missing data. Therefore, we used a model-based imputation procedure that was carried out in Blimp software (Keller & Enders, 2017) and analyzed in RStudio. Bayesian model-based imputation has been found to perform well in simulation studies when estimating multi-level models with random coefficients and interaction effects (Enders et al, 2020).…”

Section: Participantsmentioning

confidence: 99%

Who Do Students Ask for Help With Classwork? Sources of Help and Changes in Help-Seeking From Peers During Early Adolescence

Kilday

Ryan

2022

The Journal of Early Adolescence

View full text Add to dashboard Cite

This study used peer nominations to identify who students ask for help in class. We describe the level of friendship affiliation that students' share with their peer helpers, and their classroom behavior reputations. Participants were 1037 fifth (49%) and sixth (51%) graders with varied gender and ethnic-racial backgrounds (51% girls; 43% White, 29% Black, 6% Hispanic, 6% Asian, 17% multiracial and other). We used multilevel modeling to examine how peer helpers and teachers’ help were related to changes in peer help-seeking. Teacher help was related to higher adaptive and lower expedient help-seeking. Peer academic reputation was related to changes in expedient help-seeking. When students asked higher achieving non-friends for help this was positively related to expedient help seeking, whereas this association was weaker among friends and best friends. Teachers need to explain how and when to seek help from peers. High achieving peers can reinforce classmates’ requests for expedient help.

show abstract

“…The point‐by‐point scheme is used along with the tabular data (obtained from CAL tests) and the Walker equation to interpolate/extrapolate data for any desired value of stress ratio, R . This approach has been widely used for calculating the crack growth rate under VAL stress–time histories …”

Section: Application Of Some Analytical Models For Estimation Of Fcgmentioning

confidence: 99%

Analytical and computational investigation into the influence of the compressive stress cycles on crack growth under variable amplitude loading using CTOD

Iranpour

Taheri‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬

2014

Fatigue Fract Eng Mat Struct

View full text Add to dashboard Cite

Fatigue crack growth rate of 6061 T651 aluminum alloy centre‐cracked plates, subject to a variable amplitude loading (VAL), is established using a coupled analytical/computational approach. The method utilises the generalised Willenborg retardation model in conjunction with the Walker model, with several of the models parameters obtained through nonlinear finite element analyses. A two‐parameter approach is also used in this study to explore the influence of compressive stress cycles in a VAL scenario on the crack tip opening displacement, and in turn, on the resulting fatigue crack growth rate of the material. The work includes the evaluation of the crack tip opening displacement and residual stresses in the vicinity of a crack by nonlinear finite element analysis, and application of the Generalised Willenborg model to evaluate the fatigue crack growth; particularly, under the influence of the compressive stress cycles, tensile overloads and underloads have been investigated. The finite element analysis results are compared with the experimental results reported in earlier studies by the authors. The results further demonstrate two important phenomena, that is, (i) the influence of FCG retardation effects due to the tensile overloads and (ii) the acceleration effect due to the applied compressive underloads of a VAL stress–time history.

show abstract

MODGRO User's Manual, Version 1.2

Cited by 18 publications

References 0 publications

Equivalence Checking 40 Years After: A Review of Bisimulation Tools

Equivalence Checking 40 Years After: A Review of Bisimulation Tools

Who Do Students Ask for Help With Classwork? Sources of Help and Changes in Help-Seeking From Peers During Early Adolescence

Analytical and computational investigation into the influence of the compressive stress cycles on crack growth under variable amplitude loading using CTOD

Contact Info

Product

Resources

About