„Program Analysis“

Suchergebnisse

7.892 Treffer

• Optimality conditions and duality for mathematical programming with equilibrium constraints including multiple interval-valued objective functions on Hadamard manifolds
  Tung, L. T. ; Singh, V.
• Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
  Tsarchopoulos, Panagiotis
• Modeling with Stochastic Programming
  King, Alan J. ; Wallace, Stein W. 2024 Springer International Publishing, Imprint: Springer
• Дата-грамостность и наука о данных: Образовательные подходы и решения
  Deryabin, Andrey ; Popov, Alexandr ; Gluhov, Pavel 2020 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition
• Contextual Effects on the Gendered Division of Housework: a Cross-Country and Cross-Time Analysis
  Mandel, Hadas ; Lazarus, Amit 2021 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• Die Entwicklung des Formatradios in Deutschland: Eine Untersuchung zur Konvergenzhypothese im Hörfunk
  Heckl, Harald 2022 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• From approximate to exact integer programming
  Dadush, Daniel ; Eisenbrand, Friedrich ; Rothvoss, Thomas
• Economic Impact as a Community Outcomes Measurement in Nonprofit Program Evaluation: An Economic Analysis of the United Way of Southwest Alabama
  Winton, Bradley G. ; Smith, Christopher D. ; Sabol, Misty A.
• Target-Point Interpolation of a Program Control in the Approach Problem
  Alekseev, A. V. ; Ershov, A. A.
• Verified linear programming in control system analysis and design
  Idriss, Ismail
• Analysis and verification of multiple agent languages – selected papers
  Dam, Mads 1997 Springer
• A post test analysis of the OECD LOFT experiment LP-FP-2 using the computer programs SCDAP-RELAP 5, TRAP-MELT 2.2 and PULSE
  Güntay, Salih ; Coryell, Eric W. ; Carboneau, Michael L. 1991 PSI
• The Inquiring Mind Youth: Analysis of a Mental Health Promotion and Stigma Reduction Pilot Program for Secondary Students
  Szeto, Andrew C. H. ; Lindsay, Brittany L. ; Bernier, Emily ; Henderson, Laura ; Mercer, Susan
• Gamification of business process modeling education: an experimental analysis
  Garaccione, Giacomo ; Coppola, Riccardo ; Ardito, Luca ; Torchiano, Marco
• Solving integer indefinite quadratic bilevel programs with multiple objectives at the upper level
  Fali, Fatima ; Cherfaoui, Yasmin ; Moulaï, Mustapha
• Global algorithm for effectively solving min-max affine fractional programs
  Jiao, Hongwei ; Sun, Yudong ; Wang, Wenjie ; Shang, Youlin
• A novel compressive strength estimation approach for 3D printed fiber-reinforced concrete: integrating machine learning and gene expression programming
  Uddin, Md Nasir ; Ye, Junhong ; Haque, M. Aminul ; Yu, Kequan ; Li, Lingzhi
• Die Entwicklung des Formatradios in Deutschland – eine Untersuchung zur Konvergenzhypothese im Hörfunk
  Heckl, Harald 2022 Nomos
• Dose-response relationship between 15 weeks of running and aerobic fitness: a retrospective analysis based on the fun running program
  Tao, Zhixuan ; Sun, Xugui ; Sun, Jun ; Zhu, Ergang