Results 51 to 60 of about 244,612 (315)
Challenges Related to Probabilistic Decision Analysis for Bridge Testing and Reclassification
Frontiers in Built Environment, 2020 This paper reviews historical developments and recent challenges in full scale bridge testing and introduces results- and hypotheses related to an ongoing bridge testing research project.
Jacob Wittrup Schmidt +6 more
doaj +1 more source
Probabilistic analysis for scheduling with conflicts
Theoretical Computer Science, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Irani, Sandy, Leung, Vitus J.
openaire +4 more sources
Safety factor for flaw evaluation of a pipe having a circumferential surface flaw
Nihon Kikai Gakkai ronbunshu, 2015 In order to prevent failure of piping, limitation on flaw depth according to the circumferential flaw angle is prescribed in the Fitness-For-Service Codes (FFS Codes) of the Japan Society of Mechanical Engineers (JSME).
Hideo MACHIDA, Manabu ARAKAWA
doaj +1 more source
Frontiers in Bioengineering and Biotechnology, 2022 Understanding the sources of error is critical before models of the musculoskeletal system can be usefully translated. Using in vivo measured tibiofemoral forces, the impact of uncertainty in muscle–tendon parameters on the accuracy of knee contact force
Seyyed Hamed Hosseini Nasab +9 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
GeosciencesRainfall infiltration is one of the main factors inducing slope instability, while the spatial heterogeneity and uncertainty of soil parameters have profound impacts on slope response characteristics and stability evolution.
Binghao Zhou +4 more
doaj +1 more source
Probabilistic alternatives for competitive analysis [PDF]
Computer Science - Research and Development, 2011 In the last 20 years competitive analysis has become the main tool for analyzing the quality of online algorithms. Despite of this, competitive analysis has also been criticized: it sometimes cannot discriminate between algorithms that exhibit significantly different empirical behavior, or it even favors an algorithm that is worse from an empirical ...
Hiller Benjamin, Vredeveld Tjark
openaire +2 more sources
On the probabilistic analysis of neural networks [PDF]
Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2020 Neural networks are powerful tools for automated decision-making, seeing increased application in safety-critical domains, such as autonomous driving. Due to their black-box nature and large scale, reasoning about their behavior is challenging. Statistical analysis is often used to infer probabilistic properties of a network, such as its robustness to ...
Corina S. Pasareanu +3 more
openaire +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source