„Program synthesis“

Suchergebnisse

662 Treffer

• Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)
  Darulova, Eva ; Donaldson, Alastair F. ; Rakamaric, Zvonimir ; Rubio-González, Cindy
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Formal Foundations for Networking (Dagstuhl Seminar 15071)
  Bjorner, Nikolaj ; Foster, Nate ; Godfrey, Philip Brighten ; Zave, Pamela
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
  Gulwani, Sumit ; Kitzelmann, Emanuel ; Schmid, Ute
• A Synthesis of Random Assignment Benefit-Cost Studies of Welfare-to-Work Programs
  Greenberg, David H. ; Deitch, Victoria ; Hamilton, Gayle
• Software Synthesis (Dagstuhl Seminar 12152)
  Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
• Neurosymbolic Robot Programming: A Framework for AI-Enabled Programming of Robot Manipulation Tasks – Neurosymbolische Roboterprogrammierung: Ein Rahmenwerk für die Programmierung von Robotern für Handhabungsaufgaben mit Künstlicher Intelligenz
  Alt, Benjamin ; Beetz, Michael ; Billard, Aude 2025 Staats- und Universitätsbibliothek Bremen
• Inverse programming of ferromagnetic domains for 3D curved surfaces of soft materials
  Xia, Neng ; Jin, Dongdong ; Yang, Zhengxin ; Pan, Chengfeng ; Su, Lin ; Zhang, Moqiu ; Wang, Xin ; Xu, Zirong ; Guo, Zichang ; Pan, Longyu ; Sun, Xiaohao ; Ma, Xing ; Wang, Liu ; Zhang, Li
• MoCaRT++ Ein objektorientiertes Programmsystem für Monte-Carlo-Bildsynthese/MoCaRT++ An Object Oriented System for Monte-Carlo Image Synthesis
  Garmann, R. ; Mencl, R. ; Pietrek, G.
• HALMA: ein CAD-Programm für die Synthese und Optimierung von Schaltnetzen mit vorgegebener Verzögerungszeit – HALMA: a CAD-Program for Synthesis and Optimization of Delay-Constrained Switching-Circuits
  Kemper, Axel ; Sarfert, Thomas
• Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware
  Vasicek, Zdenek ; Sekanina, Lukas
• A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing
  Ramírez-Rueda, Rolando ; Benítez-Guerrero, Edgard ; Mezura-Godoy, Carmen ; Bárcenas, Everardo
• Programming Covalent Organic Frameworks for Photocatalysis: Investigation of Synthesis Methods
  Dong, Wenbo ; He, Tianji ; Li, Longyu
• The DX Story – FM Synthesis – the magic formula for the sound of the 80s
  Rausch, Klaus P. 2021 epubli
• Edition Klangmeister/The DX Story – FM Synthesis – the magic formula for the sound of the 80s
  Rausch, Klaus P. 2021 epubli
• Automating the design of multigrid methods with evolutionary program synthesis – = Automatisierung des Entwurfs von Mehrgitterverfahren mit evolutionärer Programmsynthese
  Schmitt, Jonas 2024 FAU University Press
• Sound Analysis and Synthesis with R
  Sueur, Jérôme 2018 Springer International Publishing
• Logic based program synthesis and transformation – 12th international workshop ; revised selected papers
  Leuschel, Michael 2003 Springer
• Small State Behavior in Strategic and Intelligence Studies – David’s Sling
  Coaty, Patrick 2019 Springer International Publishing
• String Analysis for Software Verification and Security
  Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing