„program analysis“

Suchergebnisse

7.892 Treffer

• Analysis of ex vivo drug response data of Plasmodium clinical isolates: the pros and cons of different computer programs and online platforms
  Wirjanata, Grennady ; Handayuni, Irene ; Zaloumis, Sophie G. ; Chalfein, Ferryanto ; Prayoga, Pak ; Kenangalem, Enny ; Poespoprodjo, Jeanne Rini ; Noviyanti, Rintis ; Simpson, Julie A. ; Price, Ric N. ; Marfurt, Jutta
• An alternative approach for assessment of liquid chromatography-mass spectrometry matrix effects using auto-sampler programmed co-injection
  Rogers, Caitlyn A. ; Stockham, Peter C. ; Nash, Christine M. ; Martin, Sheridan M. ; Kostakis, Chris ; Lenehan, Claire E.
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• The verification of international conventions on protection of the environment and common resources – a comparative analysis of the instruments and procedures for international verification within the example of thirteen conventions
  Fischer, Wolfgang 1991 Forschungszentrum Jülich, Zentralbibliothek
• Towards elimination of mother-to-child transmission of HIV in Ghana: an analysis of national programme data
  Dako-Gyeke, P. ; Dornoo, B. ; Ayisi Addo, S. ; Atuahene, M. ; Addo, N. A. ; Yawson, A. E.
• Numerical Analysis for Composite Floor Exposed to Fire – Finite Difference method, Thermal Analysis, Strength Analysis, Orthotropic Plate Theory programmed in Visual Basic
  Nama, Samia 2010 VDM Verlag Dr. Müller
• Systems analysis approach in breeding programs
  Fewson, D.
• A user-friendly Matlab program and GUI for the pseudorotation analysis of saturated five-membered ring systems based on scalar coupling constants
  Hendrickx, Pieter MS ; Martins, José C.
• Intermediate results of implementation of automatic electronic alert program for early detection of severe sepsis patients in an hospital with sepsis unit. analysis of two years period
  Zaragoza, R. ; Sancho, S. ; Hurtado, C. ; Camarena, J. ; Gonzalez, R. ; Borrás, S. ; Cervera, M.
• Cluster dissection and analysis – theory FORTRAN programs, examples
  Späth, Helmuth ; Goldschmidt, Johannes 1985 Horwood
• Key components of early intervention programs for preterm infants and their parents: a systematic review and meta-analysis
  Benzies, Karen M. ; Magill-Evans, Joyce E. ; Hayden, K Alix ; Ballantyne, Marilyn
• Micro Finance for Urban Poor at Developing Countries – A Comparative Analysis Between Local Government and NGO Operated Micro Finance Programme at Bangladesh
  HASAN, MUHAMMAD RASHIDUL 2010 VDM Verlag Dr. Müller
• Performance characterization and analysis for Hadoop K-means iteration
  Issa, Joseph
• -Optimal Solutions in Nonconvex Semi-Infinite Programs with Support Functions
  Kim, DoSang ; Son, TaQuang
• Solvability and Algorithms for Functional Equations Originating from Dynamic Programming
  Jiang, Guojing ; Kang, ShinMin ; Kwun, YoungChel
• On Properties of Solutions for Two Functional Equations Arising in Dynamic Programming
  Liu, Zeqing ; Ume, JeongSheok ; Kang, ShinMin
• Verification, Induction, Termination Analysis – Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer Berlin Heidelberg
• Second-order duality for nondifferentiable minimax fractional programming problems with generalized convexity
  Khan, Meraj Ali
• Saddle Point Problems, Bilevel Problems, and Mathematical Program with Equilibrium Constraint on Complete Metric Spaces
  Lin, Lai-Jiu ; Chuang, Chih-Sheng
• Optimality Conditions in Nondifferentiable G-Invex Multiobjective Programming
  Kim, HoJung ; Seo, YouYoung ; Kim, DoSang