Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
synthesis
Papers
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
Copyright © 2012-2022 easychair.org. All rights reserved.