„ADA-Programm“

Suchergebnisse

1.774 Treffer

• Adapting Web Services for Multiple Devices: a Model-Driven, Aspect-Oriented Approach
  Ortiz-Bellot, Guadalupe ; Garcia de Prado, Alfonso
• Balancing Minimum Free Energy and Codon Adaptation Index for Pareto Optimal RNA Design
  Gu, Xinyu ; Qi, Yuanyuan ; El-Kebir, Mohammed 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
  Roberson, David ; Seppelt, Tim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adaptive Collective Responses to Local Stimuli in Anonymous Dynamic Networks
  Oh, Shunhao ; Randall, Dana ; Richa, Andréa W. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programmable mRNA therapeutics for controlled epigenomic modulation of single and multiplexed gene expression in diverse diseases
  O’Donnell, Charles W. ; Farelli, Jeremiah D. ; Belaghzal, Houda ; Chen, Justin ; Beech, Lauren ; Sullivan, James ; Morrison-Smith, Chevaun ; Siecinski, Stephen ; Katz, Adam ; Mildrum, Samuel ; Gurnani, Mayur ; Dhanania, Prachi ; Webb, Caitlyn R. ; Castello Coatti, Giuliana ; Rumale, Pranjali ; Costa, Daniel F. G. ; Gibson, Marcus I. ; Wang, Yaoyu E. ; Newman, Joseph V. ; McCauley, Thomas G.
• An Adaptive Refinement Algorithm for Discretizations of Nonconvex QCQP
  Gupte, Akshay ; Koster, Arie M.C.A. ; Kuhnke, Sascha 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum Speedups for Dynamic Programming on n-Dimensional Lattice Graphs
  Glos, Adam ; Kokainis, Martins ; Mori, Ryuhei ; Vihrovs, Jevgēnijs 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization
  Kurpisz, Adam ; Potechin, Aaron ; Wirth, Elias Samuel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Monitoring and adaptation of a system dynamics approach to prevent childhood overweight and obesity: findings from the LIKE programme
  Pooter, Naomi de ; Luna Pinzon, Angie ; Hertog, Karen den ; Altenburg, Teatske ; Busch, Vincent ; Dijkstra, Coosje ; Emke, Helga ; Overman, Meredith ; Renders, Carry ; Seidell, Jacob ; Verhoeff, Arnoud ; Chinapaw, Mai ; Stronks, Karien ; Waterlander, Wilma
• (Near) Optimal Adaptivity Gaps for Stochastic Multi-Value Probing
  Bradac, Domagoj ; Singla, Sahil ; Zuzic, Goran 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sherali - Adams Strikes Back
  O'Donnell, Ryan ; Schramm, Tselil 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fast and Effective Multiframe-Task Parameter Assignment Via Concave Approximations of Demand
  Peng, Bo ; Fisher, Nathan ; Chantem, Thidapat 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sum-Of-Squares Bounds via Boolean Function Analysis
  Kurpisz, Adam 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials
  Dressler, Mareike ; Kurpisz, Adam ; de Wolff, Timo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Geschäftsprozeßorientierte Adaptionsstrategie für betriebswirtschaftliche Softwarebibliotheken – Prozeß-Ebenen-Analyse für Ergänzungsentwicklung, Lückenidentifikation und organisatorische Problemlösungen
  Vogelsang, Erik
• A Type Theory for Probabilistic and Bayesian Reasoning
  Adams, Robin ; Jacobs, Bart 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modellierung von adaptiven Geschäftsprozessen
  Scharfe, Christian
• Sherali-Adams Gaps, Flow-cover Inequalities and Generalized Configurations for Capacity-constrained Facility Location
  Kolliopoulos, Stavros G. ; Moysoglou, Yannis 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Answer Set Programming in the Development of Verified Software
  Schanda, Florian ; Brain, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pebble Games and Linear Equations
  Grohe, Martin ; Otto, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik