Satisfiability and optimisation
Recently Published Articles
Ten Years of Artificial Intelligence in Screening Mammography: A Systematic Review and Meta-Analysis of Diagnostic Accuracy and Clinical Implementation (Literature Published 2015-2025)
Sebastian Ciurescu, Victor Buciu, Diana-Gabriela Ilaș, Raluca Pârvănescu, Denis Șerban
medicalcoder: a unified and longitudinally aware framework for International Classification of Diseases code-based comorbidity assessment in R
Peter E DeWitt, Seth Russell, James A Feinstein, Margaret N Rebull, Tellen D Bennett
Cow Behavior Recognition Method Based on Multi-Source Perceptual Information Fusion
Xiuyan Zhao, Hongzheng Sun, Kaixing Zhang, Junchi Sun, Yilong Lin, Jianzhu Liu
Research Progress, Application, and Industrialization Prospects of Circular RNA Vaccines in Viral Diseases
Dongjie Cai, Xingling Li, Ruoxu Wang, Chen Lin, Jing Wen, Bin Tian
Aqueous Extract of <i>Buddleja globosa</i> Modulates Oxidative Stress-Induced Senescence-Associated Responses in THP-1-Derived Macrophages
Roberto Bravo-Sagua, Jakelin Gallardo, Daniela Bergez, Alina Concepción-Alvarez, Raquel Bridi, Adriano Costa de Camargo, Jocelyn Fuentes, Hernán Speisky, Pedro Cisternas, Nicolás Tobar, Sergio Wehinger, Felipe Avila, Isidora Aguirre-Becerra, Paulina Ormazabal
Ricinine toxicity in susceptible lepidoptera involves perturbations in <i>β</i>-nicotinamide adenine dinucleotide metabolism
Qin Li, Ru-Yi Jin, Chao-Wei Wen, Hao-Yang Ma, Zuo-Min Shao, Xue-Yang Wang, Li-Shang Dai, Lu-Feng Hu, Ming-Jie Deng
The Impact of Bullying Victimization on School Adjustment: A Moderated Mediation Model
Hanwen Chen, Yiyang Wang, Tianci Lu, Qingcan Zhou, Hao Chen, Qingyu Liang, Chen Zhang, Jun Yan
Teaching Under Fire: A Cross-Sectional Study of Dispositional and Life-Stage Correlates of Perceived Resilience Among Israeli Educators Under Missile Threat
Chen Hanna Ryder, Carmit Gal, Revital Hamerman, Ester Halfon, Samih Badarny, Rema Nassar, Yazid Badarny