„Program Analysis“

Suchergebnisse

7.892 Treffer

• Type-based information flow analysis for the π-calculus
  Kobayashi, Naoki
• Sequence Independent Lifting for Mixed Integer Programs with Variable Upper Bounds
  Shebalov, S. ; Klabjan, D.
• Stability analysis for stochastic programs
  Römisch, Werner ; Schultz, Rüdiger 1989 Dir. d. Sekt. Mathematik d. Humboldt-Univ.
• A fine-grained data set and analysis of tangling in bug fixing commits
  Herbold, Steffen ; Trautsch, Alexander ; Ledel, Benjamin ; Aghamohammadi, Alireza ; Ghaleb, Taher A. ; Chahal, Kuljit Kaur ; Bossenmaier, Tim ; Nagaria, Bhaveet ; Makedonski, Philip ; Ahmadabadi, Matin Nili ; Szabados, Kristof ; Spieker, Helge ; Madeja, Matej ; Hoy, Nathaniel ; Lenarduzzi, Valentina ; Wang, Shangwen ; Rodríguez-Pérez, Gema ; Colomo-Palacios, Ricardo ; Verdecchia, Roberto ; Singh, Paramvir ; Qin, Yihao ; Chakroborti, Debasish ; Davis, Willard ; Walunj, Vijay ; Wu, Hongjun ; Marcilio, Diego
• Evaluation of a perinatal palliative care program by SWOT analysis
  Catapano, Francesca ; Ramacieri, Giuseppe ; Sperti, Giacomo ; Corvaglia, Luigi Tommaso ; Locatelli, Chiara
• Evaluation of the New York City COVID-19 case investigation and contact tracing program: a cascade of care analysis
  Conderino, Sarah ; Thorpe, Lorna E. ; Islam, Nadia Shilpi ; Berry, Carolyn A. ; Bendik, Stefanie ; Massar, Rachel ; Hong, Chuan ; Fair, Andrew ; Bershteyn, Anna
• Compartmental modeling approach for prediction of unreported cases of COVID-19 with awareness through effective testing program
  Singh, Abhishekh ; Rana, Vikash ; Verma, Vijai Shanker
• A Solver for large-scale indefinite quadratic programs
  Oh, Seyoung
• An algorithm for solving the problem of convex programming with several objective functions
  Cocan, Moise ; Pop, Bogdana
• On multiobjective generalized symmetric dual programs withρ − (η, θ)-invexity
  Nahak, C.
• Examining self-regulation models of programming students in visual environments: A bottom-up analysis of learning behaviour
  Duo, Zhaojun ; Zhang, Jianan ; Ren, Yonggong ; Xu, Xiaolu
• Hidradenitis suppurativa and psychosocial well-being: a cross-sectional survey analysis from the All of Us research program
  Jain, Shivani ; Tushe, Sokol ; Sood, Aditya ; Yeung, Howa ; Orenstein, Lauren A.V
• Analyzing learning curve for supine percutaneous nephrolithotomy in urology resident training programme: comparative analysis
  Arıkan, Yusuf ; Danacioğlu, Yavuz Onur ; Özlü, Deniz Noyan ; Koraş, Ömer ; Emir, Büşra ; Keskin, Mehmet Zeynel
• A comprehensive analysis of challenges and strategies for software release notes on GitHub
  Wu, Jianyu ; He, Hao ; Gao, Kai ; Xiao, Wenxin ; Li, Jingyue ; Zhou, Minghui
• Efficacy of different analgesic strategies combined with conventional physiotherapy program for treating chronic shoulder pain: a systematic review and network meta-analysis
  Yang, Fangjie ; Li, Xinmin ; Wang, Jing ; Gao, Qian ; Pan, Mengyang ; Duan, Zhenfei ; Ren, Chunlin ; Guo, Pengxue ; Zhang, Yasu
• Neuron importance-aware coverage analysis for deep neural network testing
  Guo, Hongjing ; Tao, Chuanqi ; Huang, Zhiqiu
• Static analysis driven enhancements for comprehension in machine learning notebooks
  Venkatesh, Ashwin Prasad Shivarpatna ; Sabu, Samkutty ; Chekkapalli, Mouli ; Wang, Jiawei ; Li, Li ; Bodden, Eric
• Design smells in multi-language systems and bug-proneness: a survival analysis
  Abidi, Mouna ; Rahman, Md Saidur ; Openja, Moses ; Khomh, Foutse
• Longitudinal analysis of teacher self-efficacy evolution during a STEAM professional development program: a qualitative case study
  Jiang, Haozhe ; Chugh, Ritesh ; Zhai, Xuesong ; Wang, Ke ; Wang, Xiaoqin
• TEMM: text-enhanced multi-interactive attention and multitask learning network for multimodal sentiment analysis
  Yu, Bengong ; Shi, Zhongyu