„Programs“

Suchergebnisse

10.000+ Treffer

• Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
  Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2020 Universitätsbibliothek der RWTH Aachen
• Carbon flow assessment and analysis in European countries – potential benefits of CO2-efficient Demand Response programs in interconnected electricity markets
  Rupietta, Leonard 2020 Universitätsbibliothek der Universität Stuttgart
• Is perceived gender related to contributions and standing in open-source software projects?
  Hechtl, Christian ; Joblin, Mitchell ; Apel, Sven
• Resisting against targeted poisoning attacks in lightweight privacy preserving federated learning
  Zhang, Hongliang ; Xie, Haojie ; Lv, Jiandong
• I-OppoCSCA: an improved opposition-based chaotic sine cosine algorithm for IoT applications placement in fog computing
  Rabbani, Ali ; Khorsand, Reihaneh
• Modeling the Budgetary Impacts of Sickle Cell Disease Gene Therapies on State Medicaid Programs
  Harvey, Jessica Preston ; Raymakers, Adam J. N. ; Rand, Leah Z. ; Goshua, George ; Kesselheim, Aaron S. ; Pandya, Ankur
• Application of generalized fractional-order Bernoulli wavelets in solving distributed-order fractional differential equations
  AbuGneam, Ali ; Nemati, Somayeh ; Babaei, Afshin
• Correction: Hybrid and parallel GAN architecture with non-IID noise input
  Gohel, Prashant ; Joshi, Manjunath
• Correction: Women’s and Men’s Context-Based Relationship Violence Intervention Programs: A Weekly Observational Study
  Chambers-Baltz, Stephanie M. ; Baltz, Daniel J. ; Nguyen-Feng, Viann N.
• Correction: Quantum-resilient security for 6G networks: a comprehensive survey on challenges, solutions, and research opportunities
  Kim, Minji ; Park, Jong Hyuk
• Correction: FDAG-GAN: frequency-domain attention-guided GAN with feature restoration for underwater image enhancement
  Gu, Hangfan ; Wang, Jue ; Li, Bo ; Li, Jinzhang
• Correction: Column-and-constraint generation approach to partition-based risk-averse two-stage stochastic programs
  Lee, Jongheon ; Lee, Kyungsik
• Correction to: A preliminary investigation on using multi-task learning to predict change performance in code reviews
  Yang, Lanxin ; Zhang, He ; Xu, Jinwei ; Lyu, Jun ; Zhou, Xin ; Shao, Dong ; Gao, Shan ; Bacchelli, Alberto
• Correction to: Deep learning based identification of inconsistent method names: how Far are we?
  Wang, Taiming ; Zhang, Yuxia ; Jiang, Lin ; Tang, Yi ; Li, Guangjie ; Liu, Hui
• Correction to: Utilization of pre-trained language models for adapter-based knowledge transfer in software engineering
  Saberi, Iman ; Fard, Fatemeh ; Chen, Fuxiang
• Correction to: A preliminary investigation on using multi-task learning to predict change performance in code reviews
  Yang, Lanxin ; Zhang, He ; Xu, Jinwei ; Lyu, Jun ; Zhou, Xin ; Shao, Dong ; Gao, Shan ; Bacchelli, Alberto
• Correction: YOLO-Fast: a lightweight object detection model for edge devices
  Song, Zijing ; Zhang, Xiaoyu ; Tan, Panlong
• Correction: Dynamic cloud model based on decision field theory
  Anjali ; Gupta, Anjana
• Publisher Correction: Thermal image edge detection for AI-powered medical research imaging
  Hoorfar, Hamid ; Puche, Adam C. ; Merchenthaler, Istvan
• Correction: Prompt4LJP: prompt learning for legal judgment prediction
  Huang, Qiongyan ; Xia, Yuhan ; Long, Yunfei ; Fang, Hui ; Liang, Ruiwei ; Guan, Yin ; Xu, Ge