Synthesis without syntactic templates

Synthesis without syntactic templates

<p>Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the search space. Writing such templates is often challenging, particula...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Polgreen, E
Tác giả khác:	Abate, A
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2019
Những chủ đề:	Program Synthesis

Những quyển sách tương tự

Anodized Aluminum Oxide Templated Synthesis of Metal-Organic Frameworks Used as Membrane Reactors
Bằng: Chen, Bo, et al.
Được phát hành: (2017)

Template directed synthesis of porphyrin nanorings
Bằng: O'Sullivan, M
Được phát hành: (2011)

Principles of asymmetric synthesis /
Bằng: 360945 Gawley, Robert E., et al.
Được phát hành: (1996)

Template-assisted synthesis of 2D heterostructure photocatalysts
Bằng: Sun, Jiajun
Được phát hành: (2024)

Speech synthesis and recognition systems /
Bằng: 225963 Yannakoudakis, E. J., et al.
Được phát hành: (1987)

Network Synthesis
Bằng: Guillemin, Ernst A.
Được phát hành: (2010)

Network Synthesis
Bằng: Guillemin, Ernst A.
Được phát hành: (2010)

Network Synthesis
Bằng: Guillemin, Ernst A.
Được phát hành: (2010)

Network Synthesis
Bằng: Guillemin, Ernst A.
Được phát hành: (2010)

Network Synthesis
Bằng: Lee, H. B., Jr.
Được phát hành: (2010)

Network Synthesis
Bằng: Guillemin, Ernst A.
Được phát hành: (2010)

Towards the total synthesis of pectenotoxin-4: synthesis of the CDE and F rings
Bằng: Richardson, M
Được phát hành: (2018)

The synthesis of haemoglobin E
Bằng: Synodinos, J, et al.
Được phát hành: (1981)

An approach to the synthesis of the cytochalasans
Bằng: Harkin, S, et al.
Được phát hành: (1983)

Asymmetric synthesis : the essentials /
Bằng: Christmann, Mathias, et al.
Được phát hành: (2008)

Text-to-speech synthesis /
Bằng: 460849 Taylor, Paul
Được phát hành: (2009)

Network Synthesis
Bằng: Lewis, P. M., II
Được phát hành: (2010)

Synthesis and Characterization of Semisynthetic Metallothermolysin
Bằng: Khalid, Syarajatul Erma
Được phát hành: (2008)

Total synthesis of rubriflordilactone A
Bằng: Goh, S
Được phát hành: (2015)

Introduction to electronic speech synthesis/
Bằng: 231019 Sclater, Neil
Được phát hành: (1983)

Towards the total synthesis of stambomycin D
Bằng: Wang, Y
Được phát hành: (2022)

Enzymatic Synthesis of Palm Based Amino Acid Esters
Bằng: Soo, Ee Lin
Được phát hành: (2003)

Enzymatic synthesis of betulinic acid ester
Bằng: Chew, Won Yin
Được phát hành: (2001)

Templatic morphology through syntactic selection: Valency-changing extensions in Kinyarwanda
Bằng: Banerjee, Neil
Được phát hành: (2020)

Electrochemical Synthesis Of Tin Sulphide In Aqueous Media
Bằng: Ghazali, Arniza
Được phát hành: (2000)

Electronic speech synthesis: techniques, technology and applications/
Bằng: 453770 Bristow, Geoff
Được phát hành: (1984)

Network Synthesis
Bằng: Lewis, P. M., II
Được phát hành: (2010)

Network Synthesis
Bằng: Reza, F. M.
Được phát hành: (2010)

Lipase-Catalysed Synthesis of Fatty Aminoesters from Fatty Acids and Triethanolamine
Bằng: Idris, Zainab
Được phát hành: (1998)

Synthesis of Novel Glutamate-Zinc-Aluminium-Layered Double Hydroxide Nanobiocomposites
Bằng: Md. Ajat, Mohd Mokrish
Được phát hành: (2006)

Non-stabilized nucleophiles in cu-catalyzed asymmetric synthesis
Bằng: You, H
Được phát hành: (2016)

Applications of DABSO for the delivery of sulfur dioxide in organic synthesis
Bằng: Deeming, A
Được phát hành: (2015)

The development of novel methods for the synthesis of histidine-containing peptides
Bằng: Richards, J, et al.
Được phát hành: (1981)

Reverse enzyme synthesis in microemulsion-based organo-gels/
Bằng: Rees, Gareth D.

Synthesis, electrical and electochemical studies of bismuth antimony oxide for ascorbic acid detection
Bằng: Chia, Chew Theng
Được phát hành: (2017)

Machine learning for function synthesis
Bằng: Parsert, J
Được phát hành: (2024)

Improvements in speech synthesis : COST 258 : the naturalness of synthetic speech /
Bằng: Keller, Eric
Được phát hành: (2002)

Spectral synthesis /
Bằng: 359558 Benedetto, John
Được phát hành: (1975)

Asymmetric synthesis /
Bằng: Aitken, R. A., et al.
Được phát hành: (1992)

Synthesis and characterization of UV irradiated silver/montmorillonite nanocomposite
Bằng: Darroudi, Majid, et al.
Được phát hành: (2009)