Keyword:synthesis

Publications
Exploring Generative Adversarial Networks for Image Synthesis in Computer Vision Julia Anderson and Chris Liu EasyChair Preprint 12357
Enhancements in Meta-Analytical Approaches for Deep Learning-Powered Conversational Agents Asad Ali EasyChair Preprint 12027
Unveiling Deep Learning's Prospects in Meta-Analysis for Chatbot Frameworks Asad Ali EasyChair Preprint 12022
Shades of Silver: Unraveling Biosynthesis, Spectroscopy, and Antibacterial Properties of Nanoparticles Kurez Oroy and Robert Thomoson EasyChair Preprint 11155
From Nature to Nanoparticles: Biosynthesis, Spectroscopic Signatures, and Antibacterial Potential of Silver David Jacob and Kurez Oroy EasyChair Preprint 11147
Eco-Friendly Synthesis, Spectroscopic Investigation, and Antibacterial Activity of Silver Nanoparticles Josiah Caleb and Smith Milson EasyChair Preprint 11144
Adapting Malware Detection to DNA Screening Dan Wyschogrod, Jeff Manthey, Tom Mitchell, Steven Murphy, Adam Clore and Jacob Beal EasyChair Preprint 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 8907
Building of Indian Accent Telugu and English Language TTS Voice Model Using Festival Framework Chevella Anilkumar and Kancharla Anitha Sheela EasyChair Preprint 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 6616
Synthesis of Undoped TiO2 and Co Doped TiO2 Photoanode Powders for Dye-Sensitized Solar Cells Fatma Aydın Ünal EasyChair Preprint 6229
Text-to-Speech Programming on Information in Pascal. Frank Appiah EasyChair Preprint 5254
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 1966
Synthesis/Programming of Hopfield Associative Memory Rama Murthy Garimella, Krishna Vamshi Reddy Lankala, Devaki Nimmagadda and Sree Divya Bondalapati EasyChair Preprint 1913
Synthesis of the management strategy of the ship power plant for the combined propulsion complex Vitalii Budashko and Valerii Shevchenko EasyChair Preprint 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 1541
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R Govind, Harshit Jitendra Motwani and Sai Teja Varanasi In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Parameter Synthesis for Probabilistic Hyperproperties Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
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
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
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
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