„program analysis“

Suchergebnisse

7.892 Treffer

• Availability analysis of software architecture decomposition alternatives for local recovery
  Sözer, Hasan ; Stoelinga, Mariëlle ; Boudali, Hichem ; Akşit, Mehmet
• On reduced semidefinite programs for second order moment bounds with applications
  Natarajan, Karthik ; Teo, Chung-Piaw
• RETRACTED ARTICLE: A limit analysis of Mindlin plates using the cell-based smoothed triangular element CS-MIN3 and second-order cone programming (SOCP)
  Trung, Nguyen-Thoi ; Phuc, Phung-Van ; Canh, Le-Van
• Strong duality and sensitivity analysis in semi-infinite linear programming
  Basu, Amitabh ; Martin, Kipp ; Ryan, Christopher Thomas
• Projects and results / BCR, Community Bureau of Reference – 1988 - 92 ; the BCR Programme on Applied Metrology and Chemical Analysis
  1992 Office for Official Publ. of the Europ. Communities
• Survey on training activities in value analysis – Sprint, European Community Programme for Innovation and Technology Transfer
  1992 Office for Official Publ. of the Europ. Communities
• A Comparison of Genetic Programming and Neural Networks in Medical Data Analysis
  Banzhaf, Wolfgang ; Brameier, Markus 1998 Universitätsbibliothek Dortmund
• Minimum cardinality non-anticipativity constraint sets for multistage stochastic programming
  Boland, Natashia ; Dumitrescu, Irina ; Froyland, Gary ; Kalinowski, Thomas
• Decomposition algorithms for two-stage chance-constrained programs
  Liu, Xiao ; Küçükyavuz, Simge ; Luedtke, James
• Transparency in past offensive biological weapon programmes: An analysis of Confidence Building Measure Form F 1992-2003
  2006 Carl Friedrich von Weizsäcker-Zentrum für Naturwissenschaft und Friedensforschung, Universität Hamburg
• Effects of a comprehensive cardiac rehabilitation program on quality of life and exercise tolerance in women: A retrospective analysis
  Kennedy, Michael D. ; Haykowsky, Mark ; Daub, Bill ; van Lohuizen, Karen ; Knapik, Grant ; Black, Bill
• Effectiveness of the National Program of Complementary Feeding for older adults in Chile on vitamin B12 status in older adults; secondary outcome analysis from the CENEX Study (ISRCTN48153354)
  Sánchez, Hugo ; Albala, Cecilia ; Lera, Lydia ; Dangour, Alan D. ; Uauy, Ricardo
• System analysis and modeling – about models ; 6th international workshop ; revised selected papers
  Kraemer, Frank Alexander ; Herrmann, Peter 2011 Springer
• Distributed reachability analysis in timed automata
  Behrmann, Gerd
• MooNMD – a program package based on mapped finite element methods
  John, Volker ; Matthies, Gunar
• Generalized Peaceman-Rachford splitting method for separable convex programming with applications to image processing
  Sun, Min ; Liu, Jing
• Douglas–Rachford splitting method for semidefinite programming
  Dong, Yunda
• A wide neighborhood infeasible-interior-point method with arc-search for linear programming
  Yang, Ximei ; Zhang, Yinkui ; Liu, Hongwei
• Solving Ill-posed Bilevel Programs
  Zemkoho, Alain B.
• Economic (gross cost) analysis of systematically implementing a programme of advance care planning in three Irish nursing homes
  O’Sullivan, Ronan ; Murphy, Aileen ; O’Caoimh, Rónán ; Cornally, Nicola ; Svendrovski, Anton ; Daly, Brian ; Fizgerald, Carol ; Twomey, Cillian ; McGlade, Ciara ; Molloy, D. William