Suchergebnisse: Program Analysis

An Efficient Algorithm to Compute the Minimum Free Energy of Interacting Nucleic Acid Strands

Shalaby, Ahmed ; Woods, Damien 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

TiO2 – Epoxy Nanocomposite-Based Lossy Optical Fiber Core Structures for Realizing Wide-Range Programmable Optically Variable Resistors

Ray, Sneha ; Saha, Tanushree ; Sarkar, Angsuman ; Das, Palash ; Acharyya, Aritra

Independent and joint associations of sex and birth order with non‑national immunization program vaccine coverage among Chinese children: a cross-sectional analysis

Cai, Hongyu ; Zhou, Yaguan ; Du, Anna Heng ; Wang, Yu ; Long, Qian ; Seale, Holly ; Tang, Shenglan ; Xu, Xiaolin

Identification of programmed cell death-related genes and construction of a prognostic model in oral squamous cell carcinoma using single-cell and transcriptome analysis

Li, Yongheng ; Yu, Yang ; Hu, Shaonan ; Li, Simin

Corrected sequential linear programming for sparse minimax optimization

Kristján Jónasson ; Madsen, Kaj

The impact of mass screening and treatment interventions on malaria incidence and prevalence: a retrospective analysis of a malaria elimination programme in eastern Myanmar, and systematic review and meta-analysis

Rae, Jade D. ; Devine, Angela ; Patekkham, Chanapat ; Thu, Aung Myint ; Delmas, Gilles ; Parker, Daniel M. ; Maude, Richard J. ; Wiladphaingern, Jacher ; Kajeechiwa, Ladda ; Thwin, May Myo ; Tun, Saw Win ; Simpson, Julie A. ; Nosten, François H.

Analysis of citizen science program for disaster risk reduction in Japan: the case of Safecast

Poudel, Namita ; Dixit, Avani Mani ; Pamaong, Ma Theresa ; Ryan, Lu Sze Yui ; Takane, Sachiko ; Ariyaningsih ; Shaw, Rajib

Experiencia en Programa de Artroplastia Total de Rodilla Ambulatoria de un Centro en Chile: ¿Una Opción Segura y Viable?

Edwards, Diego ; Casas-Cordero, Juan Pablo ; Marín, Felipe ; Alonso, Julián ; Cerda, Daniel ; Acosta, Manuel ; Zelaya, Gerardo

Implementing the Nurse-Led Optimization of Volume and Blood Pressure – Enabling at Multi-Levels Using Technology Program for Chronic Kidney Disease: A Prospective Cohort Study

Huang, Zhihua ; Ng, Li Choo ; Mok, Irene ; Tan, Chieh Suai ; Lim, Cynthia Ciwei

Formal analysis & verification of timed programs

Liva, Giovanni

Enhancing aspect-level sentiment analysis through the integration of local context interdependencies and syntactic quality compensation

Zhou, Jinfeng ; Zeng, Xiaoqin ; Zou, Yang ; Zhu, Haoran

Scalarizing fuzzy multi-objective linear fractional programming with application

Singh, Sujeet Kumar ; Yadav, Shiv Prasad

Bioinformatics Analysis Reveals Hub Genes Linked to Programmed Cell Death in Intervertebral Disc Degeneration

Zou, Mingyang ; Wu, Shaobo ; Wang, Jundan ; Xue, Wenya ; Sun, Xince ; Liu, Luyu ; Yin, Pan ; Huang, Dageng

Multi-task learning framework using tri-encoder with caption prompt for multimodal aspect-based sentiment analysis

Cai, Yuanyuan ; Tong, Fei ; Zhang, Qingchuan ; Xiong, Haitao

Geometric and computational hardness of bilevel programming

Bolte, Jérôme ; Lê, Quốc-Tùng ; Pauwels, Edouard ; Vaiter, Samuel

Prevalence of high blood pressure and cardiovascular risk factors from a community screening programme in the Middle-East; a 3-year analysis of data from the May Measurement Month programme (2017–2019) in Oman

Al-Riyami, Hassan ; Al-Shezawi, Ibrahim ; Al-Mashari, Suhaib ; Al-Riyami, Adil ; Al-Lawati, Hatim ; Al-Hadi, Hafidh ; Panakkal, Benny ; Mohammed, Shafeek ; Shaikh, Muhammad M. ; Beaney, Thomas ; Poulter, Neil R. ; Nadar, Sunil K.