„Program synthesis“

Suchergebnisse

662 Treffer

• Growth Optimization and Device Integration of Narrow‐Bandgap Graphene Nanoribbons
  Borin Barin, Gabriela ; Sun, Qiang ; Di Giovannantonio, Marco ; Du, Cheng‐Zhuo ; Wang, Xiao-Ye ; Llinas, Juan Pablo ; Mutlu, Zafer ; Lin, Yuxuan ; Wilhelm, Jan ; Overbeck, Jan ; Daniels, Colin ; Lamparski, Michael ; Sahabudeen, Hafeesudeen ; Perrin, Mickaël ; Urgel, José ; Mishra, Shantanu ; Kinikar, Amogh ; Widmer, Roland ; Stolz, Samuel ; Bommert, Max ; Pignedoli, Carlo ; Feng, Xinliang ; Calame, Michel ; Müllen, Klaus ; Narita, Akimitsu ; Meunier, Vincent ; Bokor, Jeffrey ; Fasel, Roman ; Ruffieux, Pa
• Synthesis and formulation of modified milk protein and its study as an adhesive for wood binding
  Singh, Smita ; Sengupta, Sumanta ; Surin, Praween ; Sen, Gautam ; Kumar, Rajeev ; Sinha, Sweta
• The Dynamic Programming Method in Impulsive Control Synthesis
  Dar'in, A. N. ; Kurzhanskii, A. B. ; Seleznev, A. V.
• PAYNT – A Tool for Inductive Synthesis of Probabilistic Programs
  Andriushchenko, Roman ; Češka, Milan ; Junges, Sebastian ; Katoen, Joost-Pieter ; Stupinský, Šimon 2021 Universitätsbibliothek der RWTH Aachen
• DigiChemTree enables programmable light-induced carbene generation for on demand chemical synthesis
  Rana, Abhilash ; Chauhan, Ruchi ; Mottafegh, Amirreza ; Kim, Dong Pyo ; Singh, Ajay K.
• Increasing the uptake of exercise programs in the dialysis unit: a protocol for a realist synthesis
  Thompson, Stephanie ; Clark, Alex ; Molzahn, Anita ; Klarenbach, Scott ; Tonelli, Marcello
• A qualitative synthesis of practice-based learning from case studies on COVID community champion programmes in England, UK
  South, Jane ; Woodall, James ; Stansfield, Jude ; Mapplethorpe, Tom ; Passey, Andrew ; Bagnall, Anne-Marie
• An algebraic foundation for automatic feature-based program synthesis
  Apel, Sven ; Lengauer, Christian ; Möller, Bernhard ; Kästner, Christian 2010 Universität Augsburg
• Refutation-based synthesis in SMT
  Reynolds, Andrew ; Kuncak, Viktor ; Tinelli, Cesare ; Barrett, Clark ; Deters, Morgan
• Enhancing the Behaviour Change Wheel with synthesis, stakeholder involvement and decision-making: a case example using the ‘Enhancing the Quality of Psychological Interventions Delivered by Telephone’ (EQUITy) research programme
  Faija, Cintia L. ; Gellatly, Judith ; Barkham, Michael ; Lovell, Karina ; Rushton, Kelly ; Welsh, Charlotte ; Brooks, Helen ; Ardern, Kerry ; Bee, Penny ; Armitage, Christopher J.
• Bounded choice-free Petri net synthesis: algorithmic issues
  Best, Eike ; Devillers, Raymond ; Schlachter, Uli
• Synthesising Programs with Non-trivial Constants
  Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; Polgreen, Elizabeth ; Reynolds, Andrew ; Tinelli, Cesare
• Synthesis of circular compositional program proofs via abduction
  Dillig, Isil ; Dillig, Thomas ; Li, Boyang ; McMillan, Kenneth L. ; Sagiv, Mooly
• Synthesis from hyperproperties
  Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip ; Stenger, Marvin ; Tentrup, Leander
• Petri Net Synthesis
  Badouel, Eric ; Bernardinello, Luca 2015 Springer Berlin
• Recursive program optimization through inductive synthesis proof transformation
  Madden, Peter 1994 MPI Informatik
• Logic program synthesis and transformation, meta programming in logic – 4th international workshops, proceedings
  Fribourg, Laurent 1994 Springer
• Field programmable logic – architectures, synthesis and applications ; proceedings
  Hartenstein, Reiner W. 1994 Springer
• Genetically programmed synthetic cells for thermo-responsive protein synthesis and cargo release
  Monck, Carolina ; Elani, Yuval ; Ceroni, Francesca
• Middle out reasoning for logic program synthesis
  Kraan, Ina ; Basin, David A. ; Bundy, Alan 1993 MPI Informatik