Results 111 to 120 of about 24,570,426 (223)

MC-PoisonVerif: Model Checking-Driven Poisoning Attack Formal Verification Algorithm

Mathematics
Aiming at two core problems in data poisoning attack detection, namely the lack of formal modeling and the insufficient guarantee of theoretical completeness, this paper proposes a model checking-driven formal verification algorithm for poisoning attacks.
Congdong Lv, Yupeng Song, Yi Li, Wenjie Zhou, Chenyu Gan, Xiaodong Zhang   +5 more
doaj   +1 more source

Basis of Globally Admissible Rules for Logic S4

Известия Иркутского государственного университета: Серия "Математика"
Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules:in logic $L$, a rule of inference is admissible if the set of theorems $L$ is closed with respect to this ...
V.V. Rimatskiy
doaj   +1 more source

Intrusion detection system episteme

Open Computer Science, 2012
Mihályi Daniel, Novitzká Valerie, Ľaľová Martina   +2 more
doaj   +1 more source

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

Polygenic Risk Score Predicts Prostate Cancer Risk Independent of Type 2 Diabetes. [PDF]

Diabetes Obes Metab
Lee GJ, Jung SH, Lee J, Moon KW, Penn Medicine Biobank, Yun JS, Kim D.   +6 more
europepmc   +1 more source

REST, Exploring Sleep Patterns and Influencing Factors in Elite Female Football Athletes. [PDF]

Sci Data
Boeker M, Alexandersen A, Thambawita V, Midoglu C, Johansen D, Riegler MA, Halvorsen P.   +6 more
europepmc   +1 more source

Participatory Development of a Suicide Prevention Program for Autism Community Organizations. [PDF]

OTJR (Thorofare N J)
Kirby AV, Feldman K, Duncan-Ishcomer B, Kripke-Ludwig R, Joyce A, Lee W, Rodriguez K, Siddeek Z, Darlington A, Atisme A, Clark W, Murthi K, Wexler L, Nicolaidis C.   +13 more
europepmc   +1 more source

Polygenic Background and Penetrance of Pathogenic Variants in Hypertrophic and Dilated Cardiomyopathies. [PDF]

JAMA Cardiol
Abramowitz SA, Hoffman-Andrews L, Zhang D, Judy R, Cappola TP, Day SM, Reza N, Owens AT, Damrauer SM, Levin MG, Penn Medicine BioBank.   +10 more
europepmc   +1 more source

Performance of an automated sleep scoring approach for actigraphy data in children and adolescents. [PDF]

Sleep
Chen PW, Jansen EC, Cielo CM, Williamson AA, Banker M, Kaye M, Song PXK, Peterson KE, Cantoral A, Téllez-Rojo MM, Goldstein C, Zanna K, Sano A, Moreno JP, Kalkwarf H, Zemel BS, Mitchell JA.   +16 more
europepmc   +1 more source

Repeated device-based measures of daily movement, sedentary behavior, and sleep at 6 months postpartum: the Pregnancy Environment and Lifestyle Study-2 cohort. [PDF]

Sleep Adv
Hallenbeck BR, Brown SD, Crouter SE, Ferrara A, Serrato-Bandera H, Shan J, Buman MP, Ehrlich SF.   +7 more
europepmc   +1 more source