Results 251 to 260 of about 1,197,029 (323)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version) [PDF]

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
openalex   +1 more source

FeDSNP‐Pa Nanoassemblies: A Triple‐Action Therapeutic Strategy Targeting Oxidative Stress, Inflammation, and Pyroptosis for Retinal Ganglion Cell Protection in Glaucoma

Advanced Functional Materials, EarlyView.
FeDSNP‐Pa, a metallized nanoparticle loaded with sodium pyruvate (Pa), exerts triple therapeutic effects by scavenging reactive oxygen species (ROS), suppressing inflammatory responses, and inhibiting pyroptosis signaling pathways. This multifunctional neuroprotective strategy protecting retinal ganglion cells (RGCs) from elevated intraocular pressure ...
Yukun Wu, Xue Li, Tong Wu, Dan Ji, Yugang Bai, Xuezhi Zhou   +5 more
wiley   +1 more source

Approximating Attractors of Boolean Networks by Iterative CTL Model Checking. [PDF]

Front Bioeng Biotechnol, 2015
Klarner H, Siebert H.
europepmc   +1 more source

A SAFETY-CRITICAL SOFTWARE RELIABILITY ANALYSIS METHOD BASED ON STATISTICAL MODEL CHECKING AND BAYESIAN THEORY

, 2019
Zhanguo Ma, Minjun Peng, Hidekazu Yoshikawa, Huayu Yuan, Bo Ram Yang   +4 more
openalex   +1 more source

Defect Analysis of the β– to γ–Ga2O3 Phase Transition

Advanced Functional Materials, EarlyView.
The role of defects at all the relevant stages of the β$\beta$‐ to γ$\gamma$‐Ga2O3 polymorph transition is investigated using a multi method approach. The positron annihilation spectroscopy based results show that the defect density decreases after the transition, and that changes in defect configuration within the γ phase occur with increasing ...
Umutcan Bektas, Maciej O. Liedke, Huan Liu, Fabian Ganss, Maik Butterling, Nico Klingner, René Hübner, Ilja Makkonen, Andreas Wagner, Gregor Hlawacek   +9 more
wiley   +1 more source

Automated parameter estimation for biological models using Bayesian statistical model checking. [PDF]

BMC Bioinformatics, 2015
Hussain F, Langmead CJ, Mi Q, Dutta-Moscato J, Vodovotz Y, Jha SK.   +5 more
europepmc   +1 more source

Next‐Generation Bio‐Reducible Lipids Enable Enhanced Vaccine Efficacy in Malaria and Primate Models

Advanced Functional Materials, EarlyView.
Structure–activity relationship (SAR) optimization of bio‐reducible ionizable lipids enables the development of highly effective lipid nanoparticle (LNP) mRNA vaccines. Lead LNPs show superior tolerability and antibody responses in rodents and primates, outperforming approved COVID‐19 vaccine lipids.
Ruben De Coen, Sabah Kasmi, Shrinivas Dumbre, Lies Baekens, Elise Seynaeve, Louise Van den Hauwe, Niccolò Cantini, Aello Garantoudi, Filipe Branco Madeira, Alain Marrot, Emma Tuypens, Sofie Seghers, Anna Kuchmiy, Elisabeth Brabants, Bart Vanderborght, Ine Maes, Sarah Vandenberghe, Jessica Filtjens, Alícia Gordún Peiró, Daliya Kancheva, Ayla Debraekeleer, Florence Lambolez, Emily De Lombaerde, Yong Chen, Rafael Miyazawa Martins, Pauline Formaglio, Damya Laoui, Sofie Deschoemaeker, Bruno G. De Geest, Rogerio Amino, Stefaan De Koker   +30 more
wiley   +1 more source

A formal algorithm for verifying the validity of clustering results based on model checking. [PDF]

PLoS One, 2014
Huang S, Cheng Y, Lang D, Chi R, Liu G.
europepmc   +1 more source

CO2 Reduction on Copper‐Nitrogen‐Doped Carbon Catalysts Tuned by Pulsed Potential Electrolysis: Effect of Pulse Potential

Advanced Functional Materials, EarlyView.
This study demonstrates that pulsed potential electrolysis significantly improves CO2 reduction performance on copper‐nitrogen doped carbon electrodes. The formation of cationic copper sites and metallic clusters as a function of applied intermittent potential leads to notable selectivity changes compared to potentiostatic reduction.
Dorottya Hursán, Janis Timoshenko, Andrea Martini, Hyo Sang Jeon, Eduardo Ortega, Martina Rüscher, Arno Bergmann, Aram Yoon, Uta Hejral, Antonia Herzog, Clara Rettenmaier, Felix T. Haase, Philipp Grosse, Beatriz Roldan Cuenya   +13 more
wiley   +1 more source

Understanding Decoherence of the Boron Vacancy Center in Hexagonal Boron Nitride

Advanced Functional Materials, EarlyView.
State‐of‐the‐art computations unravel the intricate decoherence dynamics of the boron vacancy center in hexagonal boron nitride across magnetic fields from 0 to 3 T. Five distinct regimes emerge, dominated by nuclear spin interactions, revealing optimal coherence times of 1–20 µs in the 180–350 mT range for isotopically pure samples.
András Tárkányi, Viktor Ivády
wiley   +1 more source