Sfoglia per Soggetto "Synthesis"
Items 1-3 di 3
-
Design and synthesis of bioactive small molecules by traditional and innovative methods
(Universita degli studi di Salerno, 2018-03-28)My PhD research plan concerns the exploration of the structural requirements determining TRPM8 modulation. We prepared a series of N-substituted tryptamines and identified two compounds acting, respectively, as an activator ... -
On the verification of parametric and real-time systems
(Universita degli studi di Salerno, 2011-05-06)Parametric and Real-Time Systems play a central role in the theory underlying the Verification and Synthesis problems. Real-time systems are present everywhere and are used in safety critical applications, such as flight ... -
Synthesis of recursive state machines from libraries of game modules
(Universita degli studi di Salerno, 2016-05-18)This thesis is focused on synthesis. In formal veri cation synthesis can be referred to the controller synthesis and the system synthesis. This work combines both this area of research. First we focus on synthesizing ...
