Results 11 to 20 of about 86,910 (166)
Proceedings of the ACM on Programming Languages, 2023 Every program should be accompanied by a specification that describes important aspects of the code's behavior, but writing good specifications is often harder than writing the code itself. This paper addresses the problem of synthesizing specifications automatically, guided by user-supplied inputs of two kinds: i) a query posed about a set of function
Kanghee Park +2 more
openaire +4 more sources
Learn to synthesize and synthesize to learn [PDF]
Computer Vision and Image Understanding, 2019 Accepted to Computer Vision and Image Understanding (CVIU)
Behzad Bozorgtabar +3 more
openaire +2 more sources
Synthesized difference in differences [PDF]
Proceedings of the 12th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics, 2021 We consider estimating the conditional average treatment effect for everyone by eliminating confounding and selection bias. Unfortunately, randomized clinical trials (RCTs) eliminate confounding but impose strict exclusion criteria that prevent sampling of the entire clinical population.
Eric V. Strobl, Thomas A. Lasko
openaire +2 more sources
Proceedings of the 4th International Workshop on Genetic Improvement Workshop, 2018 In many scenarios we need to find the most likely program under a local context, where the local context can be an incomplete program, a partial specification, natural language description, etc. We call such problem program estimation. In this paper we propose an abstract framework, learning to synthesis, or L2S in short, to address this problem.
Yingfei Xiong 0001 +3 more
openaire +2 more sources
Hidróxidos duplos lamelares à base de escória de alto forno
Química Nova, 2012 Hydrotalcite like compounds (HT) were prepared by co-precipitation (Mg/Al = 3.5), using an acid solution with blast furnace slag and MgCl2.6H2O and aqueous solutions of NaOH. The following synthesis variables were investigated: temperature (30 and 45 ºC)
Monaliza Maia Rebelo +2 more
doaj +1 more source
Chemical and Process Engineering, 2015 A proper selection of steam reforming catalyst geometry has a direct effect on the efficiency and economy of hydrogen production from natural gas and is a very important technological and engineering issue in terms of process optimisation.
Franczyk Ewelina +4 more
doaj +1 more source
Molecules, 2022 Supercritical fluid extraction is a powerful analytical tool and it is willingly used by researchers for the isolation of various components from different matrices.
Barbara Mazurek +3 more
doaj +1 more source
Synthesizing abstract transformers
Proceedings of the ACM on Programming Languages, 2022 This paper addresses the problem of creating abstract transformers automatically. The method we present automates the construction of static analyzers in a fashion similar to the way yacc automates the construction of parsers. Our method treats the problem as a program-synthesis problem.
Pankaj Kumar Kalita +4 more
openaire +2 more sources
Applied Sciences, 2023 The tightening standards of nitrogen oxides emission from industrial plants encourage nitric acid producers to search for new efficient solutions to meet the stringent emission limits.
Paweł Capała +4 more
doaj +1 more source
Molecules, 2019 A simple, economical and metal-free approach to the synthesis of 2-substituted benzoxazoles and 2-substituted benzothiazoles from 2-aminophenols, 2-aminothiophenols and DMF derivatives, only using imidazolium chloride (50% mmol) as promoter without any ...
Qingqiang Tian +7 more
doaj +1 more source