„Program Analysis“

Suchergebnisse

7.892 Treffer

• On generalized surrogate duality in mixed-integer nonlinear programming
  Müller, Benjamin ; Muñoz, Gonzalo ; Gasse, Maxime ; Gleixner, Ambros M. ; Lodi, Andrea ; Serrano Musalem, Felipe
• Energy bounds for weighted spherical codes and designs via linear programming
  Borodachov, S. V. ; Boyvalenkov, P. G. ; Dragnev, P. D. ; Hardin, D. P. ; Saff, Edward B. ; Stoyanova, M. M.
• RamanCrystalHunter: A new program and database for processing, analysis, and identification of Raman spectra
  Nestola, Fabrizio ; Zhang, Qiwei ; Day, Maxwell C. ; Lorenzon, Sofia ; Pamato, Martha G. ; Rocchetti, Ivano ; Bendazzoli, Claudio ; Novella, Davide ; Mazzoli, Claudio ; Sassi, Raffaele ; Pearson, D. Graham ; Smith, Evan M. ; Scott, Michael ; Barbaro, Anna ; Brenker, Frank E. ; Santello, Lisa ; Molinari, Simone ; Qu, Kai ; Wang, Yanjuan ; Škoda, Radek ; Alvaro, Matteo ; Gilio, Mattia ; Murri, Mara ; Kasatkin, Anatoly V.
• Feature-level analysis of a novel smoking cessation program integrating app-based behavioral therapy and an electronic cigarette
  Schiek, Helen ; Esch, Tobias ; Hoetger, Cosima
• Comparative Analysis of Protein‐Bound Ligand Conformations with Respect to Catalyst′s Conformational Space Subsampling Algorithms.
  Kirchmair, Johannes ; Laggner, Christian ; Wolber, Gerhard ; Langer, Thierry
• Are transversion mutations better? A Mutagenesis Assistant Program analysis on P450 BM‐3 heme domain
  Wong, Tuck Seng ; Roccatano, Danilo ; Schwaneberg, Ulrich
• Steuerung im Netzwerk Schule und Spitzensport. Zwischen schulischer Eigenlogik und politischer Programmatik
  Bonn, Benjamin ; Symanzik, Tino ; Körner, Swen
• An analysis of capability meta-models for expressing dynamic business transformation
  Koutsopoulos, Georgios ; Henkel, Martin ; Stirna, Janis
• A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
  Bavota, Gabriele ; Gravino, Carmine ; Oliveto, Rocco ; De Lucia, Andrea ; Tortora, Genoveffa ; Genero, Marcela ; Cruz-Lemus, José A.
• Analysis of Mobility Patterns for Public Transportation and Bus Stops Relocation
  Fabbiani, Enzo ; Nesmachnow, Sergio ; Toutouh, Jamal ; Tchernykh, Andrei ; Avetisyan, Arutyun ; Radchenko, Gleb
• Parallel reachability analysis of hybrid systems in XSpeed
  Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu
• Impacts of domestic electric water heater parameters on demand response – A Simulative Analysis of Physical and Control Parameter Impacts
  Lübkert, Tobias ; Venzke, Marcus ; Turau, Volker
• A weighted fuzzy linear programming model in economic input–output analysis: an application to risk management of energy system disruptions
  Yu, Krista Danielle S. ; Aviso, Kathleen ; Promentilla, Michael Angelo B. ; Santos, Joost R. ; Tan, Raymond R.
• Optimality Conditions for Disjunctive Programs with Application to Mathematical Programs with Equilibrium Constraints
  Flegel, Michael L. ; Kanzow, Christian ; Outrata, Jiří V.
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• Fully Pythagorean fuzzy linear programming problems with equality constraints
  Akram, Muhammad ; Ullah, Inayat ; Allahviranloo, Tofigh ; Edalatpanah, S. A.
• An abstract specification language for static program analysis
  Vistein, Michael ; Ortmeier, Frank ; Reif, Wolfgang ; Huuck, Ralf ; Fehnker, Ansgar 2009 Universität Augsburg
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• The shape of feature code: an analysis of twenty C-preprocessor-based systems
  Queiroz, Rodrigo ; Passos, Leonardo ; Valente, Marco Tulio ; Hunsen, Claus ; Apel, Sven ; Czarnecki, Krzysztof
• Child sexual abuse in religiously affiliated and secular institutions: a retrospective descriptive analysis of data provided by victims in a government-sponsored reappraisal program in Germany
  Spröber, Nina ; Schneider, Thekla ; Rassenhofer, Miriam ; Seitz, Alexander ; Liebhardt, Hubert ; König, Lilith ; Fegert, Jörg M.