„Program Analysis“

Suchergebnisse

7.892 Treffer

• Computational Logistics – 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings
  Cerulli, Raffaele 2018 Springer International Publishing
• Improving Lazy Non-Deterministic Computations by Demand Analysis
  Hanus, Michael 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal control of Allen-Cahn systems
  Blank, Luise ; Farshbaf Shaker, Mohammad Hassan ; Hecht, Claudia ; Rammensee, Josef ; Rupprecht, Christoph 2013 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• A Course in Statistics with R
  Tattar, Prabhanjan N. ; Ramaiah, Suresh ; Manjunath, B. G. 2016 John Wiley & Sons
• A Course in Statistics with R
  Tattar, Prabhanjan N. ; Ramaiah, Suresh ; Manjunath, B. G. 2016 John Wiley & Sons
• Static Detection of Software Errors – Precise and Scalable Algorithms for Automatic Detection of Software Errors
  Xie, Yichen 2012 AV Akademikerverlag
• Tight WCRT analysis of synchronous C programs
  Roop, Partha S. 2009 Institut für Informatik / Christian-Albrechts-Universität zu Kiel
• Teacher professional development during a global pandemic: A critical analysis of global learning through a peer-to-peer learning programme
  Cohen, Elisheva ; Sikenyi, Maurice
• Practical Mathematical Optimization – An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms
  2005 Springer US
• A goal-oriented dual-weighted adaptive finite element approach for the optimal control of a nonsmooth Cahn-Hilliard-Navier-Stokes system
  Hintermüller, Michael ; Hinze, Michael ; Kahle, Christian ; Tobias, Keil 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Joint dynamic probabilistic constraints with projected linear decision rules
  Guigues, Vincent ; Henrion, René 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Are Quasi-Monte Carlo algorithms efficient for two-stage stochastic programs?
  Heitsch, Holger ; Leövey, Hernan ; Römisch, Werner 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• On M-stationarity conditions in MPECs and the associated qualification conditions
  Adam, Lukáš ; Henrion, René ; Outrata, Jir̆í 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
  2014 Springer International Publishing
• Linear Optimization and Approximation – An Introduction to the Theoretical Analysis and Numerical Treatment of Semi-infinite Programs
  Glashoff, Klaus ; Gustafson, Sven-Åke 1983 Springer New York
• The efficacy of enhanced recovery program compared to routine care for patients undergoing knee replacement surgery: a systematic review and meta-analysis
  Ju, Yanyan ; Wang, Guangling ; Xiao, Xinglei
• Pharmacist-driven mobile health clinics: a qualitative analysis of logistics for program development, implementation, and operation
  Miller, Erin E. ; Schweitzer, Sarah ; Middendorf, Alex W. ; Gilder, Deidra Van ; Amell, James W. ; Ahmed, Patricia ; Hanson, Stephanie
• Digital twin and the asset administration shell – An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering
  Zhang, Jingxi ; Ellwein, Carsten ; Heithoff, Malte ; Michael, Judith ; Wortmann, Andreas
• Tools for High Performance Computing 2016 – Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany
  Niethammer, Christoph ; Gracia, José ; Hilbrich, Tobias ; Knüpfer, Andreas ; Resch, Michael ; Nagel, Wolfgang E. 2017 Springer International Publishing
• Advances in Stochastic and Deterministic Global Optimization
  Pardalos, Panos M. ; Žigljavskij, Anatolij Aleksandrovič ; Žilinskas, Julius 2016 Springer International Publishing