Results 281 to 290 of about 154,598 (309)
Some of the next articles are maybe not open access.
PBMC: Symbolic Slicing for the Verification of Concurrent Programs
2015This paper proposes a novel optimization of bounded model checking (BMC) for better run-time efficiency. Specifically, we define projections, an adaptation of dynamic program slices, and instruct the bounded model checker to check projections only. Given state properties over a subset of the program’s variables, we prove the soundness of the proposed ...
Habib Saissi, Péter Bokor, Neeraj Suri
openaire +1 more source
2019
Trabajo presentado al 2nd ITN Networking Workshop, celebrado en Madrid del 15 al 16 de junio de 2017.
openaire +1 more source
Trabajo presentado al 2nd ITN Networking Workshop, celebrado en Madrid del 15 al 16 de junio de 2017.
openaire +1 more source
Lysosomes Dysfunction Causes Mitophagy Impairment in PBMCs of Sporadic ALS Patients
Cells, 2022Matteo Bordoni +2 more
exaly
PBMCs: a new source of diagnostic and prognostic biomarkers
Archives of Physiology and Biochemistry, 2022Meysam Mosallaei +2 more
exaly
Nonproductive exposure of PBMCs to SARS‐CoV ‐2 induces cell‐intrinsic innate immune responses
Molecular Systems Biology, 2022Julia Kazmierski +2 more
exaly
Boxing Changes Chemokine Production by PBMC
Journal of Allergy and Clinical Immunology, 2021Khanferyan R. +3 more
openaire +1 more source
HHV-8 in PBMC and kaposi's sarcoma activity
Infection, 1997C, Poggi +3 more
openaire +2 more sources