„Programs“

Suchergebnisse

10.000+ Treffer

• Extending KeY for the Verification of C Programs – The Development of a Prototype
  Gladisch, Christoph 2008 VDM Verlag Dr. Müller
• Bridging directed acyclic graphs to linear representations in linear genetic programming: a case study of dynamic scheduling
  Huang, Zhixing ; Mei, Yi ; Zhang, Fangfang ; Zhang, Mengjie ; Banzhaf, Wolfgang
• A refinement-based approach to safe smart contract deployment and evolution
  Antonino, Pedro ; Ferreira, Juliandson ; Sampaio, Augusto ; Roscoe, A. W. ; Arruda, Filipe
• Progress in the prime factorization of large numbers
  Zhang, Dan ; Wang, Hui ; Li, Shuang ; Wang, Baonan
• Effects of mindfulness-based programs on competitive anxiety in sports: A meta-analysis
  Wang, Xiaolin ; Nasiruddin, Nasnoor Juzaily bin Mohd ; Ji, Shuyu ; Gao, Xuejiao ; Hassan, Muhammad Zarif bin ; Dong, Delong ; Samsudin, Shamsulariffin bin
• Generalized derivatives of optimal-value functions with parameterized convex programs embedded
  Song, Yingkai ; Barton, Paul I.
• Supplementary feeding and cost analysis of locally produced ready-to-use food (RUF) for moderately and mildly wasted children in Nias Island, Indonesia – daily and weekly programs
  Purwestri, Ratna C.
• Termination proofs for logic programs
  Plümer, Lutz
• Tree-structured programs
  Wegner, Eberhard 1973 Techn. Univ., Fachbereich 20, Kybernetik
• Barriers, facilitators, perceptions and impact of interventions in implementing antimicrobial stewardship programs in hospitals of low-middle and middle countries: a scoping review
  Harun, Md. Golam Dostogir ; Sumon, Shariful Amin ; Hasan, Istiaque ; Akther, Fairoze Masuda ; Islam, Md. Saiful ; Anwar, Md. Mahabub Ul
• A parallel feature selection method based on NMI-XGBoost and distance correlation for typhoon trajectory prediction
  Qiao, Baiyou ; Wu, Jiaqi ; Wang, Rui ; Hao, Yuanqing ; Wang, Peirui ; Han, Donghong ; Wu, Gang
• Multi-level trust-based secure and optimal IoT-WSN routing for environmental monitoring applications
  Sharma, Vishal ; Beniwal, Rohit ; Kumar, Vinod
• Quantum circuit implementations of lightweight authenticated encryption ASCON
  Zheng, Yuanmeng ; Luo, Qingbin ; Li, Qiang ; Lv, Yi
• Do Exercise-Based Prevention Programs Reduce Injury in Endurance Runners? A Systematic Review and Meta-Analysis
  Wu, Han ; Brooke-Wavell, Katherine ; Fong, Daniel T. P. ; Paquette, Max R. ; Blagrove, Richard
• Effective strategies for Fecal Immunochemical Tests (FIT) programs to improve colorectal cancer screening uptake among populations with limited access to the healthcare system: a rapid review
  Belon, Ana Paula ; McKenzie, Emily ; Teare, Gary ; Nykiforuk, Candace I. J. ; Nieuwendyk, Laura ; Kim, Minji (Olivia) ; Lee, Bernice ; Adhikari, Kamala
• On the impact of hardware-related events on the execution of real-time programs
  Andrade, Tadeu Nogueira C. ; Lima, George ; Lima, Veronica Maria Cadena ; Bem-Amor, Slim ; Hawila, Ismail ; Cucu-Grosjean, Liliana
• Cardiac cell type–specific gene regulatory programs and disease risk association
  Hocker, James D. ; Poirion, Olivier B. ; Zhu, Fugui ; Buchanan, Justin ; Zhang, Kai ; Chiou, Joshua ; Wang, Tsui-Min ; Zhang, Qingquan ; Hou, Xiaomeng ; Li, Yang E. ; Zhang, Yanxiao ; Farah, Elie N. ; Wang, Allen ; McCulloch, Andrew D. ; Gaulton, Kyle J. ; Ren, Bing ; Chi, Neil C. ; Preißl, Sebastian 2024 Universität
• ChemInform Abstract: Computational Organic Chemistry: Bridging Theory and Experiment in Establishing the Mechanisms of Chemical Reactions
  Cheng, Gui‐Juan ; Zhang, Xinhao ; Chung, Lung Wa ; Xu, Liping ; Wu, Yun‐Dong
• ChemInform Abstract: New Mechanistic Insights on the Selectivity of Transition‐Metal‐Catalyzed Organic Reactions: The Role of Computational Chemistry
  Zhang, Xinhao ; Chung, Lung Wa ; Wu, Yun‐Dong
• Umsetzung der SDGS im europäischen, tschechischen und österreichischen Umweltrecht
  Damohorský, Milan ; Kerschner, Ferdinand ; Stejskal, Vojtěch ; Wagner, Erika M. 2020 Eva Rozkotová Publishing