„Program Analysis“

Suchergebnisse

7.892 Treffer

• Pointer Analysis (Dagstuhl Seminar 13162)
  Lhotak, Ondrej ; Smaragdakis, Yannis ; Sridharan, Manu
• Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
  Borba, Paulo ; Cohen, Myra B. ; Legay, Axel ; Wasowski, Andrzej
• Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)
  Harrold, Mary Jean ; Steinmann, Friedrich ; Tip, Frank ; Zeller, Andreas
• Quantitative Security Analysis (Dagstuhl Seminar 12481)
  Köpf, Boris ; Malacaria, Paquale ; Palamidessi, Catuscia
• Software Synthesis (Dagstuhl Seminar 12152)
  Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
• Elements of Network Science – Theory, Methods and Applications in Stata, R and Python
  Zinilli, Antonio 2025 Springer Nature Switzerland, Imprint: Springer
• Instrumented Analysis of Jaw Movements: Evaluating the Axiograms and Programming the Articulator
  2002 Georg Thieme Verlag
• Visualisierung und Analyse von Satellitenbildern mit der EnMAP-Box
  Rabe, Andreas 2020 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• Reduzierung der Fertigungsprogrammvarianz mittels datenbasierter Ähnlichkeitsanalyse – = Reduction of manufacturing program variance through data-driven similarity analysis
  Krug, Marius 2025 Apprimus Verlag
• Inverse problems in Pareto’s demand theory and their applications to analysis of stock market crises
  Klemashev, Nikolay I. ; Shananin, Alexander A. ; Zhang, Shuhua
• Inverse problems of demand analysis and their applications to computation of positively-homogeneous Konüs–Divisia indices and forecasting
  Klemashev, Nikolay I. ; Shananin, Alexander A.
• Enhanced code reviews using pull request based change impact analysis
  Göçmen, Ismail Sergen ; Cezayir, Ahmed Salih ; Tüzün, Eray
• What Do We Know About the Stop Now and Plan Program? A Systematic Review and Meta-Analysis of an Early Invention for Children and Youth with Conduct Problems
  Craig, Stephanie G. ; Frankiewicz, Katelyn ; Stearns, Natalie R. ; Girard-Lapointe, Julie ; Cortese, Allana ; Vogel, Natasha ; Pepler, Debra J.
• Outsourcing collaboration analysis of multiparty privacy data using the improved Yannakakis
  Chen, Zigang ; Zhang, Zhenjiang ; Leng, Tao ; Zhu, Haihua ; Liu, Yuhong
• Quantum-resistant blockchain and performance analysis
  Wu, Faguo ; Zhou, Bo ; Song, Jiale ; Xie, Lijia
• Bridging the digital divide for outpatients treated with anticancer chemotherapy: a retrospective quantitative and qualitative analysis of an adapted electronic Patient Reported Outcome program
  Boiteau, Coralie ; Alarcon, Natividad ; Joly, Charlotte ; Fenioux, Charlotte ; Queval, Claire ; Dutendas, Sylvie ; Bartoszczyk, Isabelle ; Nadji, Hadjer Ben ; Bouayed, Meriem ; Ganter, Claude ; Quatrehomme, Naël ; Agius, Catherine ; Tournigand, Christophe ; Kempf, Emmanuelle
• Analysis of the Baseline Assessments Conducted in 35 U.S. State/Territory Emergency Management Programs: Emergency Management Accreditation Program (EMAP) 2003-2004
  Lucus, Valerie
• Options and Challenges of a Resilience-Based, Network-Focused Port Security Grant Program
  Taquechel, Eric
• Effects of productive safety net program on children’s nutritional outcomes in Ethiopia: a systematic review without meta-analysis
  Oumer, Abdu ; Yigezu, Muluken ; Getachew, Milkiyas Solomon ; Mekonnen, Berhanu Abebaw
• Comprehensive exploration of programmed cell death landscape in lung adenocarcinoma combining multi-omic analysis and experimental verification
  Yu, Peng ; Xiao, Leyang ; Hu, Kaibo ; Ling, Jitao ; Chen, Yixuan ; Liang, Ruiqi ; Liu, Xinyu ; Zhang, Deju ; Liu, Yuzhen ; Weng, Tongchun ; Jiang, Hongfa ; Zhang, Jing ; Wang, Wuming