Results 11 to 20 of about 2,467,465 (249)
Innovations in Systems and Software Engineering, 2021 AbstractSynthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an already running system. In addition to satisfying its own specification, the synthesized implementation must guarantee a sound transition from the
Finkbeiner, Bernd +2 more
openaire +3 more sources
Formal Methods in System Design, 2017 Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible.
Bettina Könighofer +6 more
openaire +4 more sources
Chimica Techno Acta, 2021 Two ethyleneglycol esters of 1-pyrene carboxylic acid were studied as chemosensors for the fluorescence “turn-off” detection of two nitro-containing analytes, such as antiviral drug Riamilovir (Triazavirin ®) and herbicidal agent dinitro-ortho-cresol ...
I. S. Kovalev +7 more
doaj +1 more source
Bispyrenylalkane Chemosensor for the Naked-eye Detection of Nitro-explosives
Chimica Techno Acta, 2021 Pyrene-based compounds have a great potential as fluorescent chemosensors for various analytes including common nitro-explosives, such as 2,4,6-trinitrotoluene (TNT).
I. S. Kovalev +8 more
doaj +1 more source
Nature Reviews Chemistry, 2023 Synthetic chemistry has traditionally relied on reactions between reactants of high chemical potential and transformations that proceed energetically downhill to either a global or local minimum (thermodynamic or kinetic control). Catalysts can be used to manipulate kinetic control, lowering activation energies to influence reaction outcomes.
Stefan Borsley +3 more
openaire +3 more sources
3-(Adenosylthio)benzoic Acid Derivatives as SARS-CoV-2 Nsp14 Methyltransferase Inhibitors
Molecules, 2023 SARS-CoV-2 nsp14 guanine-N7-methyltransferase plays an important role in the viral RNA translation process by catalyzing the transfer of a methyl group from S-adenosyl-methionine (SAM) to viral mRNA cap.
Olga Bobileva +9 more
doaj +1 more source
Nature Ecology & Evolution, 2020 Evidence synthesis facilitates a more robust understanding of generalities in ecology and evolution, as well as the effectiveness of conservation interventions. However, as synthesis methods become embedded in research workflows, it is imperative that the next generation of researchers receives sufficient training.
openaire +2 more sources
International Journal of Biomaterials, 2021 Nowadays, current global environmental problems include measures to eliminate or reduce the negative impact of chemicals from petroleum sources and, therefore, the use of materials from natural resources is increasingly recommended.
Yahya Bachra +4 more
doaj +1 more source
Biochimica et Biophysica Acta (BBA) - General Subjects, 2013 Glutathione (GSH) is present in all mammalian tissues as the most abundant non-protein thiol that defends against oxidative stress. GSH is also a key determinant of redox signaling, vital in detoxification of xenobiotics, and regulates cell proliferation, apoptosis, immune function, and fibrogenesis.
openaire +2 more sources
Molbank, 2022 Synthesis of a double-charged cationic amphiphilic 1,4-dihydropyridine derivative with dodecyl ester groups at positions 3 and 5 of the 1,4-DHP ring was performed starting from Hantzsch type cyclization of dodecyl acetoacetate, 2-naphthaldehyde and ...
Martins Rucins +5 more
doaj +1 more source