„program analysis“
Suchergebnisse
7.892 Treffer
-
BuildQSAR: A New Computer Program for QSAR Analysis
-
Tight lower bounds for block-structured integer programs
-
Principles of Contract Languages (Dagstuhl Seminar 22451)
-
ParMooN - a modernized program package based on mapped finite elements
-
A Primal-Dual Augmented Lagrangian Penalty-Interior-Point Algorithm for Nonlinear Programming
-
Entrepreneurship Programs in Developing Countries: A Meta Regression Analysis
-
Analysis of differently expressed proteins and transcripts in gills of Penaeus vannamei after yellow head virus infection
-
GelBandFitter – A computer program for analysis of closely spaced electrophoretic and immunoblotted bands
-
No difference in effects of ‘PACE steps to success’ palliative care program for nursing home residents with and without dementia: a pre-planned subgroup analysis of the seven-country PACE trial
-
Decision problems for pushdown threads
-
Analysis and visualization of large networks with program package Pajek
-
Massive IoT network traffic analysis using ML and DL methods: an empirical evaluation
-
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
-
A lift-and-project cutting plane algorithm for mixed 0–1 programs
-
Physical Activity and Sedentary Behavior of Children in Afterschool Programs : An Accelerometer-Based Analysis in Full-Day and Half-Day Elementary Schools in Germany
-
Conformationally Programmable Chiral Foldamers with Compact and Extended Domains Controlled by Monomer Structure
-
On mathematical programming with indicator constraints
-
Scaling-up strategic purchasing: analysis of health system governance imperatives for strategic purchasing in a free maternal and child healthcare programme in Enugu State, Nigeria
-
Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
-
Fuzzy logic programming based knowledge analysis for qualitative comparative analysis