Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present the implementation of pyB, a predicate - and expression - checker for the B language. The tool is to be used for a secondary tool chain for data validation and data generation, with ProB being used in the primary tool chain. Indeed, pyB is an
John Witulski, Michael Leuschel
doaj +4 more sources
Who watches the watchers: Validating the ProB Validation Tool [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation.
Jens Bendisposto +2 more
doaj +4 more sources
Probenecid relieves LPS-induced neuroinflammation by modulating the NLRP1 inflammasome pathway in BV2 cells [PDF]
Scientific ReportsInflammation is a key factor in neurodegenerative diseases (NDs) development, such as Alzheimer’s disease (AD) and Parkinson’s disease (PD). Microglial cells maintain immune microenvironment homeostasis in the central nervous system (CNS) and are ...
Xiaoxuan Wang +8 more
doaj +2 more sources
Complementary effects of probiotics and stimbiotics inclusion on carcass traits, meat quality and antioxidant activity in broiler chickens exposed to cyclic heat stress [PDF]
Veterinary and Animal ScienceThis study assessed the complementary effects of probiotics and stimbiotics inclusion in diets on carcass traits and meat quality in broiler chickens exposed to cyclic heat stress.
R.M. Mokonyama, U. Marume, G. Moonsamy
doaj +2 more sources
ProB: an automated analysis toolset for the B method [PDF]
International Journal on Software Tools for Technology Transfer, 2008 We present ProB, a validation toolset for the B method. ProB’s automated animation facilities allow users to gain confidence in their specifications. ProB also contains a model checker and a refinement checker, both of which can be used to detect various errors in B specifications.
Michael Leuschel, Michael Butler
exaly +3 more sources
Performance of CAC-prob in predicting coronary artery calcium score: an external validation study in a high-CAC burden population [PDF]
BMC Medical Informatics and Decision MakingBackground Although CAC screening is gaining recognition in developing countries such as Thailand, official guidelines for using the CAC score in cardiovascular risk assessment remain lacking.
Pakpoom Wongyikul +12 more
doaj +2 more sources
AI‐NLME: A New Artificial Intelligence‐Driven Nonlinear Mixed Effect Modeling Approach for Analyzing Longitudinal Data in Randomized Placebo‐Controlled Clinical Trials [PDF]
Clinical and Translational ScienceA propensity weighted (PSW) methodology was recently proposed for assessing the treatment effect conditional to the probability of non‐specific response to a treatment (prob‐NSRT).
Roberto Gomeni +1 more
doaj +2 more sources
Foods, 2021 Chocolate is an adequate matrix to deliver bioactive ingredients. However, it contains high sugar levels, one of the leading causes of chronic degenerative diseases. This work aimed to evaluate the effects of milk chocolate reformulation with alternative
Andrea R. Gómez-Fernández +7 more
doaj +1 more source
The position of request in the solving of life’s problems from viewpoint of Molavie Balhkhi [PDF]
مطالعات ادیان و عرفان تطبیقی, 2023 Solving the prob lem has key role in the accuracy of men psych and changes his her life comple tely. Caliber human and talent person in the way of daily life .
ali fathollahi +2 more
doaj +1 more source
Impact of Resource Control in Irregular Networks on their Transmission Properties [PDF]
Journal of Universal Computer Science, 2019 The paper shows the analysis of the influence of the introduction of network resources control on the transmission properties of the networks described with irregular graphs. The method developed and used by the authors in reference to regular graphs was
Sławomir Bujnowski +3 more
doaj +3 more sources