„Program Analysis“

Suchergebnisse

7.892 Treffer

• Higher-Order Demand-Driven Program Analysis (Artifact)
  Facchinetti, Leandro ; Palmer, Zachary ; Smith, Scott F.
• Program Tailoring: Slicing by Sequential Criteria (Artifact)
  Tan, Tian ; Li, Yue ; Zhang, Yifei ; Xue, Jingling
• A programmable paper-based microfluidic chip based on multicolor fluorescence carbon dots for visual sensing of multiple catecholamines in human serum
  Zhang, Jiajing ; An, Jia ; Han, Yaqin ; Fang, Junan ; Liu, Yufei
• An adaptive branch-and-bound reduction algorithm for minimizing sum of linear ratios programs
  Deng, Yaping ; Shen, Peiping
• Unmet needs of Italian centers for pediatric diabetes care: analysis of a survey among pediatric diabetologists facing the national screening program for Type 1 Diabetes
  Marigliano, Marco ; Franceschi, Roberto ; Mozzillo, Enza ; Tiberi, Valentina ; Marino, Monica ; Boccolini, Giada ; Wasniewska, Malgorzata ; Street, Maria Elizabeth ; Licenziati, Maria Rosaria ; Bonfanti, Riccardo ; Citriniti, Felice ; D’Annunzio, Giuseppe ; Salerno, Maria Carolina ; Cherubini, Valentino
• Indications and Outcomes of Endoscopic Gastric Pouch Plications After Bariatric Surgery: An Analysis of the Metabolic and Bariatric Surgery Accreditation and Quality Improvement Program (MBSAQIP) Database
  Wills, Mélissa V. ; Barajas-Gamboa, Juan S. ; Romero-Velez, Gustavo ; Strong, Andrew ; Navarrete, Salvador ; Corcelles, Ricard ; Abril, Carlos ; Pantoja, Juan Pablo ; Guerron, Alfredo D. ; Rodriguez, John ; Kroh, Matthew ; Dang, Jerry
• Multiple positive results during a neonatal screening program: a retrospective analysis of incidence, clinical implications and outcomes
  Zaffanello, Marco ; Maffeis, Claudio ; Zamboni, Giorgio
• A sequential linear programming approach for truss optimization based on the uncertainty analysis-based data-driven computational mechanics (UA-DDCM)
  Huang, Mengcheng ; Du, Zongliang ; Liu, Chang ; Zhang, Weisheng ; Guo, Xu
• Dual-enhanced graph convolutional networks for aspect-based financial sentiment analysis
  Yao, Ruiyang
• Truss topology design under harmonic loads: peak power minimization with semidefinite programming
  Ma, Shenyuan ; Mareček, Jakub ; Kungurtsev, Vyacheslav ; Tyburec, Marek
• Wenn der Computer zum Künstler wird – wie Big Data und KI die Musik-, Literatur-, Kunst- und Entertainmentbranche revolutionieren
  Liegmal, Mathias 2020 REDLINE Verlag
• Cellular Automaton Modeling of Biological Pattern Formation: Characterization, Applications, and Analysis Authors: Andreas Deutsch and Sabine Dormann, Birkhäuser, 2005, XXVI, 334 p., 131 illus., Hardcover. ISBN:0-8176-4281-1, List Price: $89.95
  Lundh, Torbjörn
• Analysis of factors influencing contact in the 686 Program for patients with a first-time diagnosis of severe mental disorders in Hainan Province from 2018 to 2022
  Zuo, Xin ; Hong, Jianhe ; Liang, Di ; Cao, Wenting ; Liang, Qiqing ; Liu, Yumei
• Fourier Growth of Regular Branching Programs
  Lee, Chin Ho ; Pyne, Edward ; Vadhan, Salil 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems
  De Albuquerque Silva, Iryna ; Carle, Thomas ; Gauffriau, Adrien ; Pagetti, Claire 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• GPU Computation of the Euler Characteristic Curve for Imaging Data
  Wang, Fan ; Wagner, Hubert ; Chen, Chao 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Low-Level Bi-Abduction
  Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
  Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Confluence of Conditional Rewriting in Logic Form
  Gutiérrez, Raúl ; Lucas, Salvador ; Vítores, Miguel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Making Rigorous Linear Programming Practical for Program Analysis
  Wang, Tengbin ; Chen, Liqian ; Chen, Taoqing ; Fan, Guangsheng ; Wang, Ji 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik