451,921 Hits in 7.8 sec

Synthesis of Reactive(1) Designs [chapter]

Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2005 Lecture Notes in Computer Science  
The class of LTL formulas considered is that of Generalized Reactivity(1) (generalized Streett(1)) formulas, i.e., formulas of the form: where each pi, qi is a boolean combination of atomic propositions  ...  size of the state space of the design.  ...  Madhusudan for suggesting that enumerating the states of the controller may be very inefficient.  ... 
doi:10.1007/11609773_24 fatcat:o6loqezqzvhjnfyzyy2knypsya

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2012 Journal of computer and system sciences (Print)  
The synthesis algorithm is based on a novel type of game called General Reactivity of rank 1 (gr(1)), with a winning condition of the form where each p i and q i is a Boolean combination of atomic propositions  ...  We also show how to use gr(1) games to solve the synthesis of ltl specifications in many interesting cases.  ...  Generalized Reactive(1) Games In [18] , we consider the case of Generalized Reactive(1) games (called there generalized Streett(1) games).  ... 
doi:10.1016/j.jcss.2011.08.007 fatcat:ws52wlxjeremjpw44jedi4ngqq

Synthesis and design of reactive distillation columns with two reactive sections

Liang Zhang, Haisheng Chen, Yang Yuan, Jieping Yu, Shaofeng Wang, Kejin Huang
2015 Chemical engineering research & design  
The synthesis and design of reactive distillation columns with two reactive sections (RDC-TRS) are attempted for the separations of reacting mixtures with somewhat unfavorable ranking of relative volatilities  ...  The process is found considerably superior to the reactive distillation column with a single reactive section and this demonstrates its feasibility and effectiveness in the separations of RM-SURRV.  ...  Huang Synthesis and design of reactive distillation columns with two reactive sections Liang Zhang, Haisheng Chen, Yang Yuan, Jieping Yu, Shaofeng Wang, and Kejin Huang Synthesis and design of reactive  ... 
doi:10.1016/j.cherd.2015.05.034 fatcat:w736zoob2zdcxnls3jxbi3azpq

Design, synthesis, and biological evaluation of AV6 derivatives as novel dual reactivators of latent HIV-1

Mingtao Ao, Zhenrui Pan, Yuqing Qian, Bowen Tang, Zeming Feng, Hua Fang, Zhen Wu, Jingwei Chen, Yuhua Xue, Meijuan Fang
2018 RSC Advances  
As dual-acting HIV LRAs, compounds 12c and 12d could activate latent HIV-1 via the NFAT-required mechanism and as histone deacetylase (HDAC) inhibitors.  ...  Conflicts of interest There are no conicts to declare. Fig. 2 2 Fig. 2 Design of multi-targeted HIV activator based AV6 and HDAC inhibitors. Fig. 1 1 Fig.1Several HIV reactivators.  ...  In this paper, we report the design, synthesis, and biological evaluation of AV6 analogues as novel LRAs with dual activated mechanism.  ... 
doi:10.1039/c8ra01216d pmid:35539279 pmcid:PMC9080425 fatcat:o5ahbbnxfnf5zgs5kjg57otnke

Software scheduling in the co-synthesis of reactive real-time systems

Pai Chou, Gaetano Borriello
1994 Proceedings of the 31st annual conference on Design automation conference - DAC '94  
This algorithm is suitable for control-dominated embedded systems with hard real-time constraints, and is part of the core of a hardware software co-synthesis system.  ...  This paper considers one such class of systems, called reactive real-time systems, where timing requirements can include sequencing, rate, and response time constraints.  ...  IV Conclusion Software synthesis is an emerging eld in the automation of embedded system design.  ... 
doi:10.1145/196244.196247 dblp:conf/dac/ChouB94 fatcat:naqhio4ysfai5mfl4e3ai4lpoa

Synthesis and Reactivity of New 1-Pentafluorophenyl-1Hpyrrole Derivatives

Katarína Hrnčariková, Daniel Végh
2003 Molecules  
A general synthesis of 3-acylpyrroles was developed by the trifluoromethanesulfonic acid-mediated rearrangement of the corresponding 2-acylpyrroles.  ...  We present 1-pentafluorophenyl-1H-pyrrole and some of its electrophilic substitution reactions: formylation and acetylations.  ...  Synthesis of 1-Pentafluorophenyl-1H-Pyrrole (1).  ... 
doi:10.3390/80700536 fatcat:4n5vkporfvbererz3lof6ol7si

Design and synthesis of double-stranded oligonucleotides containing reactive acylphosphate internucleotide groups

S.A Kuznetsova, I.E Kanevsky, Z.A Shabarova
1998 FEBS Letters  
The acylphosphate group was inserted into a DNA duplex and dumbbells as a result of template-directed condensation of 5Pphosphate and especially introduced 3P-carboxy groups of oligonucleotides. 1-Ethyl  ...  The yields of acylphosphatecontaining double-stranded oligonucleotides achieved 15^25% depending on the structure of their precursors.  ...  In order to continue our investigations into the design and synthesis of reactive ds DNAs, we propose new reagents^ds oligonucleotides containing acylphosphate groups.  ... 
doi:10.1016/s0014-5793(98)00812-6 pmid:9714562 fatcat:xwrltcowdbgnzpdvvmt6ddogmy

Design and Synthesis of Reactive Perylene Tetracarboxylic Diimide Derivatives for Rapid Cell Imaging

Endong Zhang, Libing Liu, Fengting Lv, Shu Wang
2018 ACS Omega  
A new water-soluble reactive perylene tetracarboxylic diimide derivative (PDI-pfp) is designed and synthesized that can realize fast imaging of the endoplasmic reticulum in living cells.  ...  1 min and also exhibit low cell cytotoxicity.  ...  ■ ACKNOWLEDGMENTS The authors are grateful to the National Natural Science Foundation of China (Nos 21473220, 91527306, and 21661132006).  ... 
doi:10.1021/acsomega.8b01275 pmid:31459000 pmcid:PMC6644429 fatcat:bo4gh6vhgrgwdj34xmcxt4zufy

Entrainer selection for the synthesis of fatty acid esters by Entrainer-based Reactive Distillation

M.C. de Jong, E. Zondervan, A.C. Dimian, A.B. de Haan
2010 Chemical engineering research & design  
Residue curve maps, flash simulations and column simulation are used to investigate the effect of various entrainers with different polarity an esterification with isopropanol through Entrainer-based Reactive  ...  For a more quantitative selection of entrainers further research concerning the thermodynamics is needed.  ...  Figure 1 . 1 Conceptual flowsheet for entrainer-based reactive distillation synthesis of fatty acid esters SYMPOSIUM SERIES NO.  ... 
doi:10.1016/j.cherd.2009.06.015 fatcat:afnyyktrejdj5mtaigcduo2bqa

Automatic synthesis of reactive agents

Insu Song, Guido Governatori, Loachim Diederich
2010 2010 11th International Conference on Control Automation Robotics & Vision  
This paper introduces a new approach to designing smart control chips that enables automatic synthesis of real-time control systems from agent specifications.  ...  This enables chip designers to capture commonsense knowledge and concepts having varying degrees of confidence collaboratively and incrementally.  ...  CONCLUSION The main result of this paper is a solution to the problem of automatically synthesizing reactive agents.  ... 
doi:10.1109/icarcv.2010.5707867 dblp:conf/icarcv/SongGD10 fatcat:mwxosnfaifdbnb4bgvfivk4gpi

Bounded Synthesis of Reactive Programs [article]

Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018 arXiv   pre-print
Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadable code.  ...  for reactive programs.  ...  (SoC) designs [7] .  ... 
arXiv:1807.09047v1 fatcat:unlkrouvsvgm5mlenjoevsx22y

Design, Synthesis and Photochemical Reactivation of Caged Prodrugs of 8-Hydroxyquinoline-Based Enzyme Inhibitors

Shinya Ariyasu, Yuki Mizuseda, Kengo Hanaya, Shin Aoki
2014 Chemical and pharmaceutical bulletin  
This methodology could be applied to the design of similar types of Zn 2 hydrolase inhibitors and prodrugs.  ...  Based on this background information, HQ sulfonates were synthesized as prodrugs of HQ-based AAP-inhibitors that can be reactivated by photochemical cleavage of the S-O bond in the sulfonate groups.  ...  Fukiko Hasegawa (Tokyo University of Science) for mass spectroscopy and Ms. Tomoko Matsuo (Tokyo University of Science) for elemental analyses.  ... 
doi:10.1248/cpb.c14-00086 pmid:24990501 fatcat:p573kirk6zglbaahc7onvozukq

Peculiarities of Peroxide-Containing Reactive Copolymers Synthesis

Volodymyr Samaryk, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine, Natalya Nosova, Sergiy Varvarenko, Ihor Tarnavchyk, Nataliia Puzko, Stanislav Voronov, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine, Lviv Polytechnic National University 12, S. Bandera str., 79013 Lviv, Ukraine
2011 Chemistry & Chemical Technology  
This work deals with the study of radical copolymerization of higher esters of (meth)acrylic acid with peroxide monomer, 5-tert-butylperoxy-5-methyl-2hexene-3-yne showing the properties of a weak inhibitor  ...  with low polymerization degree and in the absence of noticeable quadratic break of macroradicals in the system.  ...  They have been recently designed and employed for synthesis and modification of polymer composites.  ... 
doi:10.23939/chcht05.04.377 fatcat:kzmcj3cy3vcdxk64vxn7oq4g7q

Synthesis and Reactivity of Allenylporphyrins

Shane Plunkett, Katja Dahms, Mathias O. Senge
2013 European Journal of Organic Chemistry  
Several different methods have been utilized in an effort to allow for the effective the effective synthesis of a new class of porphyrins, bearing the synthetically intriguing propadienyl (or allenyl)  ...  -1-amine followed by Pd catalyzed rearrangement was developed to give allenylporphyrins in high yields.  ...  Acknowledgments This work was supported by a grant from Science Foundation Ireland (SFI P.I. 09/IN.1/B2650) and a studentship for S.P. from the School of Chemistry, TCD. ____________  ... 
doi:10.1002/ejoc.201201535 fatcat:ddjmjghuefagtfobny53rnkpsi

Design and Controlled-Synthesis of Novel Slightly Crosslinked and Reactive Polycationic Dye-Fixatives for Cotton Fabric

Yikai Yu, Liping Deng, Meihua Yu
2014 Asian Journal of Chemistry  
slightly crosslinked and reactive polycationic dye-fixatives with 1-5 % molar contents of triallylmethylammonium chloride (TAMAC) units in main chains and controlled intrinsic viscosities of 0.16-0.75  ...  New series of slightly crosslinked and reactive polycationic dye-fixatives for cotton fabric were synthesized by copolymerization of 3-chloro-2-hydroxypropyltriallyl-ammonium chloride (CHTAAC) and dimethyldiallylammonium  ...  ACKNOWLEDGEMENTS This work has been supported by Science and Technology Project of Education Department of Jiangxi Province (No. GJJ13213).  ... 
doi:10.14233/ajchem.2014.17088 fatcat:24bjnqgykvdnzcwa6eokedevje
« Previous Showing results 1 — 15 out of 451,921 results