„Programs“

Suchergebnisse

10.000+ Treffer

• Entrepreneurship Programs in Developing Countries: A Meta Regression Analysis
  Cho, Yoon ; Honorati, Maddalena 2013 IZA
• State Merit-Aid Programs and College Major: A Focus on STEM
  Sjoquist, David ; Winters, John 2013 IZA
• Program Quality and Treatment Completion for Youth Training Programs
  Dammert, Ana C. ; Galdo, Jose 2013 IZA
• Do Study Abroad Programs Enhance the Employability of Graduates?
  Di Pietro, Giorgio 2013 IZA
• Relative Completeness for Logics of Functional Programs
  Reus, Bernhard ; Streicher, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A decomposition theorem for finite persistent transition systems
  Best, Eike ; Darondeau, Philippe
• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Realisation of a celestial system based on VLBI geodynamics programs
  Arias, E. F. ; Boucher, C. ; Feissel-Vernier, Martine ; Lestrade, J. -F
• GoNDEF: an exact method to generate all non-dominated points of multi-objective mixed-integer linear programs
  Rasmi, Seyyed Amir Babak ; Türkay, Metin
• Massive IoT network traffic analysis using ML and DL methods: an empirical evaluation
  Singh, Nongthombam Joychandra ; Singh, Khumukcham Robindro ; Hoque, Nazrul ; Bhattacharyya, Dhruba Kumar
• Boosting source code learning with text-oriented data augmentation: an empirical study
  Dong, Zeming ; Hu, Qiang ; Guo, Yuejun ; Zhang, Zhenya ; Cordy, Maxime ; Papadakis, Mike ; Le Traon, Yves ; Zhao, Jianjun
• A novel fuzzy general best–worst method for considering diversity and inclusion in supplier selection programs
  Tavana, Madjid ; Sorooshian, Shahryar ; Sarvarizadehkouhpaye, Meysam ; Mina, Hassan
• A lift-and-project cutting plane algorithm for mixed 0–1 programs
  Balas, Egon ; Ceria, Sebastián ; Cornuéjols, Gérard
• Axiomatic approach to total correctness of programs
  Manna, Zohar ; Pnueli, Amir
• Preparing medical first responders for crises: a systematic literature review of disaster training programs and their effectiveness
  Baetzner, Anke ; Wespi, Rafael ; Hill, Yannick ; Gyllencreutz, Lina ; Sauter, Thomas C. ; Saveman, Britt-Inger ; Mohr, Stefan ; Regal, Georg ; Wrzus, Cornelia ; Frenkel, Marie O.
• Where the Action is. Distributed Agency between Humans, Machines, and Programs
  Rammert, Werner ; Seifert, Uwe ; Kim, Jin Hyun ; Moore, Anthony 2008 Philipps-Universität Marburg
• Optimizing Suicide Prevention Programs and Their Implementation in Europe (OSPI Europe): an evidence-based multi-level approach
  Hegerl, Ulrich ; Wittenburg, Lisa ; Arensman, Ella ; Van Audenhove, Chantal ; Coyne, James C. ; McDaid, David ; Feltz-Cornelis, Christina M van der ; Gusmão, Ricardo ; Kopp, Mária ; Maxwell, Margaret ; Meise, Ullrich ; Roskar, Saska ; Sarchiapone, Marco ; Schmidtke, Armin ; Värnik, Airi ; Bramesfeld, Anke
• Mobi-Sense: mobility-aware sensor-fog paradigm for mission-critical applications using network coding and steganography
  Mukherjee, Anwesha ; Ghosh, Shreya ; Ghosh, Soumya ; Buyya, Rajkumar
• Technological diversity of quantum computing providers: a comparative study and a proposal for API Gateway integration
  Alvarado-Valiente, Jaime ; Romero-Álvarez, Javier ; Moguel, Enrique ; García Alonso, José Manuel ; Murillo, Juan M.
• Latticed k-Induction with an Application to Probabilistic Programs
  Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph ; Schröer, Philipp 2021 Universitätsbibliothek der RWTH Aachen