Keyword:synthesis

Papers
Adapting Malware Detection to DNA Screening Dan Wyschogrod, Jeff Manthey, Tom Mitchell, Steven Murphy, Adam Clore and Jacob Beal EasyChair Preprint no. 9045
Reducing Synthesis for the Production of Preparations Based on Gold Nanoparticles for Biomedical Purposes Olha Smirnova, Oleksij Pylypenko, Aleksandr Brovin, Andrej Nikonov, Svitlana Hordiienko and Valerija Rusanova EasyChair Preprint no. 8907
Building of Indian Accent Telugu and English Language TTS Voice Model Using Festival Framework Chevella Anilkumar and Kancharla Anitha Sheela EasyChair Preprint no. 6622
Synthesis, Characterization, and Activity of Phenothiazine Schiff Bases Containing Fluorine Iliana Nikolova, Iliana Kostova, Temenuzhka Haralanova, Galin Borisov, Marin Marinov and Neyko Stoyanov EasyChair Preprint no. 6616
Synthesis of Undoped TiO2 and Co Doped TiO2 Photoanode Powders for Dye-Sensitized Solar Cells Fatma Aydın Ünal EasyChair Preprint no. 6229
Text-to-Speech Programming on Information in Pascal. Frank Appiah EasyChair Preprint no. 5254
Parameter Synthesis for Probabilistic Hyperproperties Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesis/Programming of Hopfield Associative Memory Rama Murthy Garimella, Krishna Vamshi Reddy Lankala, Devaki Nimmagadda and Sree Divya Bondalapati EasyChair Preprint no. 1913
Montmorillonite Impregnated with Bismuth Nitrate: A mild and efficient reagent for the synthesis of gem-dinitro compounds from oximes Rajasekhar Koorella, Raatalu Nayudu and Ramkoti Gugulothu EasyChair Preprint no. 1966
Synthesis of the management strategy of the ship power plant for the combined propulsion complex Vitalii Budashko and Valerii Shevchenko EasyChair Preprint no. 1753
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis Jan Bessai, Moritz Roidl and Anna Vasileva EasyChair Preprint no. 1541
Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
SMT-Based CPS Parameter Synthesis Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis Scott Livingston and Vasumathi Raman In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John Lygeros In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems