„Program synthesis“

Suchergebnisse

662 Treffer

• Mixed-integer nonlinear programming techniques for the synthesis of engineering systems
  Grossmann, Ignacio E.
• Temperature programmed adsorption and desorption of nitrogen on iron ammonia synthesis catalysts, and consequences for the microkinetic analysis of NH3 synthesis
  Fastrup, B.
• Zur numerischen Zuverlässigkeit regelungstechnischer Analyse- und Syntheseprogramme/On numerical reliability of control engineering analysis and synthesis programs
  Svaricek, Ferdinand
• Ein Programmpaket zur Synthese digitaler Regelalgorithmen/A program package for synthesis of digital control algorithmus
  Cuno, B.
• Ein Programmpaket zur Analyse und Synthese von Mehrgrößensystemen/A program package for analysis and synthesis of multivariable systems
  GRÄSER, A.
• Synthesis of Optically Pure Cyclometalated Iridium (III) Complex‐Peptide Hybrids and Their Anticancer Activity
  Kanbe, Azusa ; Yokoi, Kenta ; Umezawa, Masakazu ; Tsuchiya, Koji ; Aoki, Shin
• Improving the image of technical and vocational education and training – a synthesis ; based on three substudies by Ute Clement, Ewald Gold, Klaus Rütters and Klaus Schneider
  Clement, Ute 2014 GIZ, Sector Programme Technical and Vocational Education and Training
• Logic program synthesis and transformation – 5th international workshop ; proceedings
  Proietti, Maurizio 1996 Springer
• Logic program synthesis and transformation – 6th international workshop ; proceedings
  Gallagher, John 1997 Springer
• Germany's Contribution to the Forest and Climate Protection Programme REDD+: synthesis study
  Reinecke, Sabine ; Sacherer, Anne-Kathrin ; Michaelowa, Axel ; Schnepf, Simone ; Christensen, Johanna 2020 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• Germany’s Contribution to the Forest and Climate Protection Programme REDD+ – Synthesis study
  Reinecke, Sabine ; Sacherer, Anne-Kathrin ; Michaelowa, Axel ; Schnepf, Simone ; Christensen, Johanna 2020 Deutsches Evaluierungsinstitut der Entwicklungszusammenarbeit
• Workshop Verification, Construction, and Synthesis of Programs – April 6 and 7, 1989 in Karlsruhe
  Furbach, Ulrich 1989 Inst. for Logic, Complexity and Deductive Systems
• Logic program synthesis and transformation – 7th international workshop ; proceedings
  Fuchs, Norbert E. 1998 Springer
• Parallel chaos-based image encryption algorithm: high-level synthesis and FPGA implementation
  Moghimi Moghaddam, Saeed Sharifian ; Rashtchi, Vahid ; Azarpeyvand, Ali
• Controlling 3D Objects in 2D Image Synthesis
  Brehm, Stephan ; Barthel, Florian ; Lienhart, Rainer
• An integrated self-optimizing programmable chemical synthesis and reaction engine
  Leonov, Artem I. ; Hammer, Alexander J. S. ; Lach, Slawomir ; Mehr, S. Hessam M. ; Caramelli, Dario ; Angelone, Davide ; Khan, Aamir ; O’Sullivan, Steven ; Craven, Matthew ; Wilbraham, Liam ; Cronin, Leroy
• Evidence-based decision support for a structured care program on polypharmacy in multimorbidity: A guideline upgrade based on a realist synthesis
  Dinh, Truc Sophia ; Brückle, Maria-Sophie ; González-González, Ana I. ; Fessler, Joachim ; Marschall, Ursula ; Schubert-Zsilavecz, Manfred ; Gerlach, Ferdinand M. ; Harder, Sebastian ; Akker, Marjan ˜van denœ ; Schubert, Ingrid ; Muth, Christiane 2022 Universitätsbibliothek Johann Christian Senckenberg
• Analytische Philosophie – Anspruch und Wirklichkeit eines Programms
  Otte, Michael 2021 Meiner
• Synthesis of Two-Dimensional NiO Nanostructures by a Combination of Programmable Chemical Deposition and Hydrothermal Treatment
  Simonenko, T. L. ; Dudorova, D. A. ; Simonenko, N. P. ; Simonenko, E. P. ; Kuznetsov, N. T.
• Active ageing policies in Europe: between institutional path dependency and path departure ; synthesis report
  Ney, Steven 2004