„program analysis“

Suchergebnisse

7.892 Treffer

• Logic and Argumentation – 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings
  Ågotnes, Thomas ; Doder, Dragan 2025 Springer Nature Singapore, Imprint: Springer
• Data Mining and Constraint Programming – Foundations of a Cross-Disciplinary Approach
  Bessiere, Christian ; De Raedt, Luc ; Kotthoff, Lars ; Nijssen, Siegfried ; O'Sullivan, Barry ; Pedreschi, Dino 2016 Springer International Publishing
• Parallel Processing and Applied Mathematics – 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
  2016 Springer International Publishing
• Parallel Processing and Applied Mathematics – 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
  Wyrzykowski, Roman ; Deelman, Ewa ; Dongarra, Jack ; Karczewski, Konrad ; Kitowski, Jacek ; Wiatr, Kazimierz 2016 Springer Berlin Heidelberg
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
• Big and Complex Data Analysis – Methodologies and Applications
  Ahmed, Syed E. 2017 Springer International Publishing
• Essentials of Excel, Excel VBA, SAS and Minitab for Statistical and Financial Analyses
  Lee, Cheng F. ; Lee, John C. ; Chang, Jow-Ran ; Tai, Tzu 2016 Springer International Publishing
• Data Wrangling with R
  Boehmke, Bradley C. 2016 Springer International Publishing
• Introduction to Process Control – Analysis, Mathematical Modeling, Control and Optimization
  Skormin, Victor A. 2016 Springer International Publishing
• Convex Analysis and Global Optimization
  Tuy, Hoang 2016 Springer International Publishing
• Matrix-Based Introduction to Multivariate Data Analysis
  Adachi, Kohei 2016 Springer Singapore
• Transactions on Modularity and Composition I
  Chiba, Shigeru ; Südholt, Mario ; Eugster, Patrick ; Ziarek, Lukasz ; Leavens, Gary T. 2016 Springer International Publishing
• Computational Social Networks – 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
  Thai, My T. ; Nguyen, Nam T. ; Shen, Huawei 2015 Springer International Publishing
• Mathematics and Computing – ICMC, Haldia, India, January 2015
  2015 Springer India
• EAViz: a user-friendly deep learning-based epilepsy analysis visualizer using multimodal data
  Xia, Ze ; Hu, Dinghan ; Jiang, Tiejia ; Zhu, Shuangpeng ; Lou, Xiaohui ; Cao, Jiuwen
• Evaluation of a hospital-based opioid stewardship program on high-risk opioid prescribing in a Canadian setting: an interrupted time series analysis
  Ti, Lianping ; Mihic, Tamara ; Beauchesne, Arielle ; Grant, Cameron ; Frank, Ingrid ; Haji, Nooreen ; Legal, Michael ; Shalansky, Stephen ; Nolan, Seonaid
• Triaxial modality attention fusion with top-down mask generation for enhanced multimodal sentiment analysis
  Feng, Cheng ; Yang, Hai ; Wang, Shuxian ; Li, Xue
• Quantum circuit mutants: Empirical analysis and recommendations
  Mendiluze Usandizaga, Eñaut ; Ali, Shaukat ; Yue, Tao ; Arcaini, Paolo
• Predicting the understandability of computational notebooks through code metrics analysis
  Ghahfarokhi, Mojtaba Mostafavi ; Asadi, Alireza ; Asgari, Arash ; Mohammadi, Bardia ; Heydarnoori, Abbas
• Sexual Offense Treatment Programming and Recidivism Reduction: A Meta-Meta-Analysis of Program Outcomes and Sources of Effect Size Heterogeneity
  Olver, Mark E. ; Stockdale, Keira C.