„program analysis“

Suchergebnisse

7.892 Treffer

• Genetic Programming – 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
  Castelli, Mauro ; Sekanina, Lukas ; Zhang, Mengjie ; Cagnoni, Stefano ; García-Sánchez, Pablo 2018 Springer International Publishing
• Algorithmic Decision Theory – 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings
  Rothe, Jörg 2017 Springer International Publishing
• From Lambda Calculus to Cybersecurity Through Program Analysis – Essays Dedicated to Chris Hankin on the Occasion of His Retirement
  2020 Springer International Publishing
• Künstliche Intelligenz und Data Science in Theorie und Praxis – Von Algorithmen und Methoden zur praktischen Umsetzung in Unternehmen
  Gillhuber, Andreas ; Kauermann, Göran ; Hauner, Wolfgang 2023 Springer Berlin Heidelberg
• Hochschulmathematik mit Octave verstehen und anwenden – Eine Orientierungshilfe für die ersten Schritte
  Kunath, Jens 2022 Springer Berlin Heidelberg
• Prediction of electrical energy consumption using principal component analysis and independent components analysis
  Saeedi, Nima ; Baharvand, Deniz ; Shirini, Kimia ; Gharehveran, Sina Samadi
• Prevalence of Tuberculosis among migrants under national screening programs: a systematic review and meta-analysis
  Chen, Qin ; Ren, Ningjun ; Liu, Shengya ; Qian, Zixin ; Li, Mengdie ; Mustapha, Aliyu ; Luo, Wei ; Li, Jinghua ; Wang, Wenxi ; Hao, Chun
• Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach
  Cai, Guangying ; Cai, Liujia ; Cui, Xinyue ; Lu, Siqi ; Wang, Yongjuan ; Wang, Xiangyu ; Xue, Haoyuan
• Global research trends on Chinese patent drugs inducing programmed cell death in cancer: a bibliometric analysis (1998–2024)
  Song, Min ; Teng, Chunyan ; Zheng, Xiaodong ; Tan, Shizhen ; Guo, Yipeng
• Model Checking as Program Verification by Abstract Interpretation
  Baldan, Paolo ; Bruni, Roberto ; Ranzato, Francesco ; Rigo, Diletta 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Investigating the association between school substance programs and student substance use: accounting for informative cluster size
  Mitani, Aya A. ; Zou, Yushu ; Leatherdale, Scott T. ; Patte, Karen A.
• Malgta: large language model-based guided malware tactical analysis
  Guo, Wenjie ; Xue, Jingfeng ; Liu, Zeyang ; Han, Weijie ; Hu, Jingjing
• Solving Low-Rank Semidefinite Programs via Manifold Optimization
  Wang, Jie ; Hu, Liangbing
• Semidefinite programming bounds for the average kissing number
  Dostert, Maria ; Kolpakov, Alexander ; de Oliveira Filho, Fernando Mário
• Assessment and Simulation Tools for Sustainable Energy Systems – Theory and Applications
  Cavallaro, Fausto 2013 Springer London
• Non-negative sparse signal recovery with a feasible based sequential quadratic programming
  Alamdari, Mohammad Saeid ; Fatemi, Masoud ; Ghaffari, Aboozar
• Adult education foreign language courses in the Weimar Republic and Nazi Germany: A program analysis of the Adult Education Center of Greater Berlin from 1920 to 1945
  Baker, Francesca
• Text Analysis with R for Students of Literature
  2014 Springer International Publishing
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• Genetic Programming Theory and Practice XI
  2014 Springer New York