„Program synthesis“

Suchergebnisse

662 Treffer

• Method of transformation of the observation space in the statistical synthesis of nonlinear closed automatic systems. I
  Ivanenko, V. I.
• A New Method of Coding Minorants in Problems of Synthesis of Digital Devices from PLAs
  Rytsar, B. Ye ; Kmet', A. B.
• Programable Synthesis of Polyspirocyclic Heterocycles
• META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
  Lowry, Michael R. ; Van Baalen, Jeffrey
• Methods to Create Systems for the Analysis and Synthesis of Communicative Information
  Kryvonos, Iu. G. ; Krak, Iu. V. ; Barmak, O. V. ; Kulias, A. I.
• Designing optimal automatic cycles of round grinding based on the synthesis of digital twin technologies and dynamic programming method
  Pereverzev, Pavel P. ; Akintseva, Aleksandra V. ; Alsigar, Masar K. ; Ardashev, Dmitrii V.
• AMAP - A General Optical Mark Reader Form Evaluation Program
  Pocklington, P. R.
• Pseudoinverse and Projection Matrices in Problems of Synthesis of Functional Transformers
  Kirichenko, N. F. ; Krak, Yu. V. ; Polishchuk, A. A.
• Electricity system performance – options and opportunities for developing countries ; synthesis report of the Cooperative Programme on Energy and Development [Coped]
  Oliveira, Adilson ˜deœ 1992 Office for Official Publ. of the Europ. Communities
• Productivity Programs in Schools: Synthesis of the Curriculum
  Okolie, Sociis Tobias 2018 LAP LAMBERT Academic Publishing
• Leptin Treatment During Lactation Programs Leptin Synthesis, Intermediate Metabolism, and Liver Microsteatosis in Adult Rats
  Trevenzoli, I. H. ; Rodrigues, A. L. ; Oliveira, E. ; Thole, A. A. ; Carvalho, L. ; Figueiredo, M. S. ; Toste, F. P. ; Neto, J. F. N. ; Passos, M. C. F. ; Lisboa, P. C. ; Moura, E. G.
• Automation of Test Program Synthesis for Processor Post-silicon Validation
  Suryasarman, Vasudevan Madampu ; Biswas, Santosh ; Sahu, Aryabartta
• MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs
  Cámara, Javier ; Schmerl, Bradley ; Moreno, Gabriel A. ; Garlan, David
• SpExSim: assessing kernel suitability for C-based high-level hardware synthesis
  Oppermann, Julian ; Sommer, Lukas ; Koch, Andreas
• Synthesis of Σ-Automata Specified in the First Order Logical Languages LP and LF
  Chebotarev, A. N.
• Off-line synthesis of evolutionarily stable normative systems
  Morales, Javier ; Wooldridge, Michael ; Rodríguez-Aguilar, Juan A. ; López-Sánchez, Maite
• Engaging High-Need Patients in Intensive Outpatient Programs: A Qualitative Synthesis of Engagement Strategies
  Zulman, Donna M. ; O’Brien, Colin W. ; Slightam, Cindie ; Breland, Jessica Y. ; Krauth, David ; Nevedal, Andrea L.
• Programmed Synthesis of Arylthiazoles
• Programmed Synthesis of Tetraarylthieno[3,2-b]thiophene by Site-Selective Suzuki Cross-Coupling Reactions of Tetrabromothieno[3,2-b]thiophene
  Nguyen, Hien ; Nguyen, Dung Xuan ; Tran, Thinh Quang ; Vo, Binh Ngoc ; Nguyen, Thao Huong ; Vuong, Thi Minh Ha ; Dang, Tung T.
• Pattern synthesis of a practical conformal hydrophone array via second-order cone programming
  Liu, Dali ; Li, Lei ; Chen, Xinhong