„program analysis“

Suchergebnisse

7.892 Treffer

• BuildQSAR: A New Computer Program for QSAR Analysis
  de Oliveira, Daniel Barbosa ; Gaudio, Anderson Coser
• Tight lower bounds for block-structured integer programs
  Hunkenschröder, Christoph ; Klein, Kim-Manuel ; Koutecký, Martin ; Lassota, Alexandra ; Levin, Asaf
• Principles of Contract Languages (Dagstuhl Seminar 22451)
  Gurov, Dilian ; Hähnle, Reiner ; Huisman, Marieke ; Reger, Giles ; Lidström, Christian
• ParMooN - a modernized program package based on mapped finite elements
  Wilbrandt, Ulrich ; Bartsch, Clemens ; Ahmed, Naveed ; Alia, Najib ; Anker, Felix ; Blank, Laura ; Caiazzo, Alfonso ; Ganesa, Sashikumaar ; Giere, Swetlana ; Matthies, Gunar 2016 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik
• A Primal-Dual Augmented Lagrangian Penalty-Interior-Point Algorithm for Nonlinear Programming
  Kuhlmann, Renke ; Büskens, Christof ; Gill, Philip E. 2018 Staats- und Universitätsbibliothek Bremen
• Entrepreneurship Programs in Developing Countries: A Meta Regression Analysis
  Cho, Yoon ; Honorati, Maddalena 2013 IZA
• Analysis of differently expressed proteins and transcripts in gills of Penaeus vannamei after yellow head virus infection
  Rattanarojpong, Triwit ; Wang, Hao‐Ching ; Lo, Chu‐Fang ; Flegel, Timothy W.
• GelBandFitter – A computer program for analysis of closely spaced electrophoretic and immunoblotted bands
  Mitov, Mihail I. ; Greaser, Marion L. ; Campbell, Kenneth S.
• 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
  Miranda, Rose ; Smets, Tinne ; Van Den Noortgate, Nele ; van der Steen, Jenny T. ; Deliens, Luc ; Payne, Sheila ; Szczerbińska, Katarzyna ; Pautex, Sophie ; Van Humbeeck, Liesbeth ; Gambassi, Giovanni ; Kylänen, Marika ; Van den Block, Lieve
• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Analysis and visualization of large networks with program package Pajek
  Mrvar, Andrej ; Batagelj, Vladimir
• Massive IoT network traffic analysis using ML and DL methods: an empirical evaluation
  Singh, Nongthombam Joychandra ; Singh, Khumukcham Robindro ; Hoque, Nazrul ; Bhattacharyya, Dhruba Kumar
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• A lift-and-project cutting plane algorithm for mixed 0–1 programs
  Balas, Egon ; Ceria, Sebastián ; Cornuéjols, Gérard
• Physical Activity and Sedentary Behavior of Children in Afterschool Programs : An Accelerometer-Based Analysis in Full-Day and Half-Day Elementary Schools in Germany
  Kuritz, Arvid ; Mall, Christoph ; Schnitzius, Melina Isabelle ; Mess, Filip 2020 KOPS Universität Konstanz
• Conformationally Programmable Chiral Foldamers with Compact and Extended Domains Controlled by Monomer Structure
  Lockhart, Zachariah ; Knipe, Peter C.
• On mathematical programming with indicator constraints
  Bonami, Pierre ; Lodi, Andrea ; Tramontani, Andrea ; Wiese, Sven
• 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
  Ogbuabor, Daniel Chukwuemeka ; Onwujekwe, Obinna Emmanuel
• 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
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Fuzzy logic programming based knowledge analysis for qualitative comparative analysis
  Kachroo, Pushkin ; Krishen, Anjala ; Agarwal, Shaurya