Results 121 to 130 of about 221,743 (312)
Model Checking Linear Programs with Arrays
, 2005 In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a model checking procedure for Linear Programs.
Jacopo Mantovani +8 more
core +1 more source
Evaluating the involvement of autolysosomes in the nuclear translocation of fluorescent proteins
FEBS Open Bio, EarlyView.Endogenously expressed fluorescent proteins can be degraded by autophagy and transported to cell nuclei via the nuclear pore complex. But in some cell lines, for example, HeLa cells which are positive for immunoreactivity of a receptor ligand, such as UCN I, in cell nuclei, fusion of autolysosome with the nuclear envelope is involved in the nuclear ...
Keiichi Ikeda
wiley +1 more source
FEBS Open Bio, EarlyView.IGFBP4 knockdown (KD) impairs preadipocyte proliferation and is associated with IGF1R protein downregulation and attenuated AKT phosphorylation. The mechanisms by which IGFBP4 KD influences the IGF1R/AKT signaling pathway involve newly synthesized proteins and lysosomal degradation pathways. Created in BioRender.
Yujia Guo +6 more
wiley +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
FEBS Open Bio, EarlyView.Biomedical science students from underrepresented backgrounds face barriers including financial strain, disrupted laboratory access and cultural exclusion. Peer networks provide vital support when institutional systems are difficult to navigate. To create inclusive learning environments and achieve academic success, educators should blend active, hands‐
Olivia J. Russell +8 more
wiley +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
Verifying multi-threaded software using SMT-based context-bounded model checking
, 2011 We describe and evaluate three approaches to model check multi-threaded software with shared variables and locks using bounded model checking based on Satisfiability Modulo Theories (SMT) and our modelling of the synchronization primitives of the Pthread
Cordeiro, Lucas +4 more
core +1 more source
Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]
Entropy (Basel), 2022 Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc +1 more source
Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito +14 more
wiley +1 more source
A formal analysis method for composition protocol based on model checking. [PDF]
Sci Rep, 2022 Xiao M +4 more
europepmc +1 more source