„Programs“

Suchergebnisse

10.000+ Treffer

• Normalization and Partial Evaluation of Functional Logic Programs
  Peemöller, Björn 2017 Universitätsbibliothek Kiel
• Gender and equity in market-based environmental programs – case studies from Kenya
  Kariuki, Juliet ; Birner, Regina 2017 Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
• Perspectives on policy transfer: “Dropping Stones, Making Waves”: how international organizations promote “social cash transfer programs” in the Global South
  Leutelt, Michael ; Leisering, Lutz ; Boli, John 2017 Universitätsbibliothek Bielefeld
• Comparison of membrane proteins using computational programs
  Stamm, Marcus ; Dötsch, Volker ; Michel, Hartmut 2017 Universitätsbibliothek Johann Christian Senckenberg
• A coordinate ascent method for solving semidefinite relaxations of non-convex quadratic integer programs
  Montenegro Chingal, Jessica Maribel ; Buchheim, Christoph ; Wiegele, Angelika 2017 Universitätsbibliothek Dortmund
• Governance challenges in post-conflict agricultural recovery programs in Northern Uganda – a comparative study of the Northern Uganda Social Action Fund (NUSAF) and the National Agricultural Advisory Services (NAADS)
  Wassajja, Emmy ; Birner, Regina 2017 Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
• Heritage Technologies in Space Programs - Assessment Methodology and Statistical Analysis
  Hein, Andreas Makoto ; Walter, Ulrich ; Crawley, Edward 2016 Universitätsbibliothek der TU München
• Tierwohl in der Nutztierhaltung: Eine Stakeholder-Analyse
  Heise, Heinke ; Theuvsen, Ludwig ; Spiller, Achim ; Recke, Guido 2017 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Verification of pointer programs
  Rieger, Stefan ; Katoen, Joost-Pieter 2009 Universitätsbibliothek der RWTH Aachen
• Semantics and loop invariant synthesis for probabilistic programs
  Gretz, Friedrich ; Katoen, Joost-Pieter ; Sankaranarayanan, Sriram 2016 Universitätsbibliothek der RWTH Aachen
• Solving mixed-integer programs arising in production planning
  Weninger, Dieter ; Martin, Alexander ; Bixby, Robert E. ; Wolsey, Laurence A. 2016 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Implementation Evaluation of Bystander Programs to Reduce Sexual Violence Victimization and Perpetration in College Communities
  Coker, Ann L. ; Davidov, Danielle M. ; Clear, Emily R. ; Brancato, Candace J. ; Bush, Heather M.
• Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs
  Siegel, Holger 2016 Verlag Dr. Hut
• Tissue-specific analysis of chromatin and transcription during Drosophila development - gauging the predictive potential of chromatin – = Gewebsspezifische Analyse von Chromatin und Transkription während der Embryonalentwicklung von Drosophila melanogaster
  Gärtner, Björn Christian ; Driever, Wolfgang 2012 Universität
• Proving correctness of graph programs relative to recursively nested conditions
  Flick, Nils Erik ; Habel, Annegret ; König, Barbara 2016 BIS der Universität Oldenburg
• Advancing stability analysis of mean-risk stochastic programs – Bilevel and two-stage models
  Claus, Matthias ; Schultz, Rüdiger 2016 Universitätsbibliothek Duisburg-Essen
• Discovery of Potential Parallelism in Sequential Programs
  Li, Zhen ; Wolf, Felix ; Clauss, Philippe 2016 Universitäts- und Landesbibliothek Darmstadt
• Rigorous State-Based Methods – 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
  Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael ; Riccobene, Elvinia ; Scandurra, Patrizia 2024 Springer Nature Switzerland, Imprint: Springer
• Verification Techniques for TSO-Relaxed Programs
  Cǎlin, Georgel Ionuţ ; Meyer, Roland 2016 Technische Universität Kaiserslautern
• Systematic Review of Measles, Mumps and Rubella Vaccination Programs in Selected European Countries and the Influence of Migration Movements
  Richard, Annika ; Prelog, Martina ; Schneider-Schaulies, Sibylle 2016 Universität Würzburg