PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]
Liu Y, Fang A.
europepmc +1 more source
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]
Zhao W, Liu Z.
europepmc +1 more source
Comparing the cost-benefit of breast cancer screening programs in rural and urban areas across four economic zones in China: a Markov modeling analysis. [PDF]
Zhou D +5 more
europepmc +1 more source
Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Weerasena H +3 more
europepmc +1 more source
One session of fMRI-Neurofeedback training on motor imagery modulates whole-brain effective connectivity and dynamical complexity. [PDF]
De Filippi E +6 more
europepmc +1 more source
Immuno-informatics voyage through molecular mimicry of Heat Shock Proteins: Potential IBD immunopathogenesis. [PDF]
Alem M +5 more
europepmc +1 more source
Hypoactivation of the Ventromedial Frontal Cortex in Major Depressive Disorder: A Magnetoencephalography Study of the Reward Positivity. [PDF]
Pirrung CJH +4 more
europepmc +1 more source
Transcriptomic Evidence Reveals the Dysfunctional Mechanism of Synaptic Plasticity Control in ASD. [PDF]
Kong C +5 more
europepmc +1 more source
Prefrontal-habenular microstructural impairments in human cocaine and heroin addiction. [PDF]
King SG +6 more
europepmc +1 more source

