„Programs“

Suchergebnisse

10.000+ Treffer

• Removing cycles in esterel programs
  Lukoschus, Jan 2009 Universitätsbibliothek Kiel
• Approximation algorithms for linear programs and geometrically constrained packing roblems
  Diedrich, Florian 2009 Universitätsbibliothek Kiel
• Reducing mixed-integer to zero-one programs
  Büther, Marcel 2008 Universitätsbibliothek Kiel
• Economic valuation of phenotypic cattle trait preferences in trypanosomosis prevalent production systems of Eastern Africa – implications for sustainable cattle breeding programs
  Ouma, Emily Awuor 2008 Universitätsbibliothek Kiel
• Molecular programs in the venous pole of the developing murine heart
  Norden, Julia 2011 Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB)
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard 1999 Universität Ulm. Fakultät für Informatik
• Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs
  Friedmann, Oliver ; Lange, Martin 2011 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Mathematical Programs with Complementarity Constraints – Theory, Methods and Applications
  Schwartz, Alexandra ; Kanzow, Christian 2011 Universitätsbibliothek der Universität Würzburg
• Generating general-purpose cutting planes for mixed-integer programs
  Wesselmann, Franz
• Effectiveness of major activation programs for welfare recipients – evidence from Germany
  Kopf, Eva
• Objectives of social entrepreneurs and federal lending programs, and the optimal allocation of external funds
  Starke, Christoph
• The erosion of stereotypes through intercultural exchange programs – testing Pettigrew's contact theory
  Visbal, Olga 2011 Staats- und Universitätsbibliothek Hamburg
• Dynamic race detection in parallel programs
  Jannesari Ladani, Ali
• On the formal foundation of a verification approach for system-level concurrent programs
  Daum, Matthias
• Laser weld spot detection based on MMG-YOLO
  Feng, Jianxin ; Zhao, Xinyu ; Wang, Jiahao ; Liu, Zhiguo ; Ding, Yuanming
• ODEMixer: an approach for modeling non-stationary time series with learnable fragment library
  Wei, Bin ; Chen, Jiejie ; Jiang, Ping ; Xiao, Zhiwei
• Task offloading based on deep reinforcement learning in edge computing network
  Kumari, Shailja ; Gupta, Divya
• LAXMI: a novel AI-based system for smart, energy-efficient, and secure video footage processing
  Bhattacharya, Tathagata ; Ponaganti, Srikant ; Vardhan, Adithya Peddi ; Venkatesan, Yaswanth Sai
• Income effects from labor market training programs in Sweden during the 80's and 90's
  Andrén, Thomas ; Gustafsson, Björn 2002 IZA
• Removing the veil of ignorance in assessing the distributional impacts of social policies
  Carneiro, Pedro ; Hansen, Karsten T. ; Heckman, James J. 2002 IZA