Results 21 to 30 of about 860,662 (182)
Frontiers in Immunology, 2023 BackgroundSelective cancer cell recognition is the most challenging objective in the targeted delivery of anti-cancer agents. Extruded specific cancer cell membrane coated nanoparticles, exploiting the potential of homotypic binding along with certain ...
Saif Khan +10 more
doaj +1 more source
Counterexample Generation in Probabilistic Model Checking [PDF]
, 2009 Providing evidence for the refutation of a property is an essential, if not the most important, feature of model checking. This paper considers algorithms for counterexample generation for probabilistic CTL formulae in discrete-time Markov chains ...
Damman, B., Han, T., Katoen, J.P.
core +5 more sources
Lazy Probabilistic Model Checking without Determinisation [PDF]
, 2015 The bottleneck in the quantitative analysis of Markov chains and Markov decision processes against specifications given in LTL or as some form of nondeterministic B\"uchi automata is the inclusion of a determinisation step of the automaton under ...
Hahn, Ernst Moritz +4 more
core +2 more sources
Evaluation of seismic reliability of steel moment resisting frames rehabilitated by concentric braces with probabilistic models [PDF]
Journal of Structural and Construction Engineering, 2017 Probability of structure failure which has been designed by "deterministic methods" can be more than the one which has been designed in similar situation using probabilistic methods and models considering "uncertainties".
Fateme Rezaei +2 more
doaj +1 more source
Applied Sciences, 2013 Adverse environmental impacts of carbon emissions are causing increasing concerns to the general public throughout the world. Electric energy generation from conventional energy sources is considered to be a major contributor to these harmful emissions ...
Rajesh Karki +2 more
doaj +1 more source
Practical applications of probabilistic model checking to communication protocols [PDF]
, 2012 Probabilistic model checking is a formal verification technique for the analysis of systems that exhibit stochastic behaviour. It has been successfully employed in an extremely wide array of application domains including, for example, communication and ...
Alur +32 more
core +2 more sources
Наука и техника, 2019 Reinforcement corrosion of marine and coastal hydraulic structures due to chloride aggression and concrete carbonization leads to a sharp decrease in structure safety.
S. N. Leonovich, E. E. Shalyi, L. V. Kim
doaj +1 more source
Design of Real—Time Sampling Strategies for Submerged Oil Based on Probabilistic Model Predictions
Journal of Marine Science and Engineering, 2020 Locating and tracking submerged oil in the mid depths of the ocean is challenging during an oil spill response, due to the deep, wide-spread and long-lasting distributions of submerged oil.
Chao Ji +2 more
doaj +1 more source
Frontiers in Energy Research, 2021 This work presents an optimized probabilistic modeling methodology that facilitates the modeling of photovoltaic (PV) modules with measured data over a range of environmental conditions.
Jianmin Ban +3 more
doaj +1 more source
Risk-Optimal Arrangement of Stiffeners in Steel Plate Shear Walls With Door Opening
Frontiers in Built Environment, 2018 Placement of steel plate shear walls (SPSW) in the building cores around the elevators and stairs necessitates door-type openings in these systems. Because of large dimensions of door openings, the energy dissipation capacity drops significantly and thus,
Parisa Rostami, Mojtaba Mahsuli
doaj +1 more source