Results 11 to 20 of about 9,706,454 (336)
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
Physiological Reports, 2020 Aim Exercise training induces adaptations in muscle and other tissue mitochondrial metabolism, dynamics, and oxidative phosphorylation capacity. Mitochondrial fatty acid oxidation was shown to be pivotal for the anti‐inflammatory status of immune cells ...
Edgars Liepinsh +9 more
doaj +1 more source
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
The Amnesiac Consciousness of the Contemporary Holocaust Novel: Lily Brett’s Too Many Men and Jonathan Safran Foer’s Everything Is Illuminated [PDF]
, 2010 No abstract (available)
Hunter, Anna Clare
core +2 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
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
Human-Centric Program Synthesis [PDF]
, 2019 Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks:
Crichton, Will
core +2 more sources
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
On the use of observation equivalence in synthesis abstraction [PDF]
, 2011 In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata.
Fabian, Martin +3 more
core +2 more sources
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