„Program synthesis“

Suchergebnisse

662 Treffer

• A qualitative evidence synthesis of participant, caregiver, and provider experiences of lung cancer exercise programs
  Whish-Wilson, Georgina A. ; Edbrooke, Lara ; Granger, Catherine L. ; Kinnersly, Emma ; Silva, Alisha da ; Sloan, Evelyn ; Truong, Dominic ; Yi, Michelle ; Parry, Selina M.
• Logic-Based Program Synthesis and Transformation – 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  Alpuente, María 2011 Springer Berlin Heidelberg
• Programmable synthesis of atomically precise semiconductor artificial atoms
  Ma, Fuyan ; Ivanov, Sergei A. ; Dobrzycki, Lukasz ; Zeng, Chenjie
• Detecting unrealizable bit vector program synthesis problems – = Erkennung unlösbarer Bitvektor-Programmsyntheseprobleme
  Kamp, Marius 2024 FAU University Press
• Logic-Based Program Synthesis and Transformation – 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
  Bowles, Juliana ; Søndergaard, Harald 2024 Springer Nature Switzerland, Imprint: Springer
• Logic-Based Program Synthesis and Transformation – 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
  2022 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
  2021 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
  2020 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
  Falaschi, Moreno 2015 Springer International Publishing
• Hybrid Systems Biology – Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  Maler, Oded ; Halász, Ádám ; Dang, Thao ; Piazza, Carla 2015 Springer International Publishing
• Cell-free protein synthesis and vesicle systems for programmable therapeutic manufacturing and delivery
  Kim, Wonhee ; Han, Jinjoo ; Chauhan, Shraddha ; Lee, Jeong Wook
• Design and Applications of Multi‐Frequency Programmable Metamaterials for Adaptive Stealth
  Orasugh, Jonathan Tersur ; Mohanty, Ankita ; Malakar, Amit ; Bose, Suryasarathi ; Ray, Suprakas Sinha
• On-device programmable synthesis of polymers
  Wang, Leng ; Zhang, Yaqi ; Chen, Hongliang
• CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection
  Tang, Yixuan ; Zeng, Junwei ; Zhang, Jingxuan ; Li, Weiwei ; Huang, Zhiqiu
• Logic-Based Program Synthesis and Transformation – 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
  2023 Springer Nature Switzerland
• Undiscounted optimal growth in the two-sector Robinson-Solow-Srinivasan model: a synthesis of the value-loss approach and dynamic programming
  Khan, M. Ali ; Mitra, Tapan
• Scientific Workflows – Programming, Optimization, and Synthesis with ASKALON and AWDL
  Qin, Jun ; Fahringer, Thomas 2012 Springer Berlin
• Bottom-Up Synthesis of Memory Mutations with Separation Logic
  Ferdowsi, Kasra ; Peleg, Hila 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact)
  Ferdowsi, Kasra ; Peleg, Hila
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
  Schmid, Ute ; Muggleton, Stephen H. ; Singh, Rishabh