Results 11 to 20 of about 12,982,812 (373)
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
Scientific Reports, 2020 The development of targeted drugs for the treatment of cancer remains an unmet medical need. This study was designed to investigate the mechanism underlying breast cancer cell growth suppression caused by fused isoselenazolium salts.
Marina Makrecka-Kuka +5 more
doaj +1 more source
Neurology and Therapy, 2023 Introduction Alzheimer’s disease (AD) is a progressive neurodegenerative disorder associated with memory, cognitive, and behavioral deficits, and brings significant economic burden on caregivers and healthcare systems.
Amir Abbas Tahami Monfared +6 more
doaj +1 more source
Physiological Reports, 2020 Many drug candidates have shown significant renoprotective effects in preclinical models; however, there is no clinically used effective pharmacotherapy for acute kidney injury.
Reinis Vilskersts +7 more
doaj +1 more source
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
Synthesis without meta-analysis (SWiM) in systematic reviews: reporting guideline
British medical journal, 2020 In systematic reviews that lack data amenable to meta-analysis, alternative synthesis methods are commonly used, but these methods are rarely reported. This lack of transparency in the methods can cast doubt on the validity of the review findings.
M. Campbell +11 more
semanticscholar +1 more source
Large-Area Synthesis of High-Quality and Uniform Graphene Films on Copper Foils [PDF]
Science, 2009 Growing Graphene The highest quality graphene samples, single-atom-thick layers of carbon, are suspended flakes exfoliated from graphite, but these samples are very small in size (square micrometers).
Xuesong Li +12 more
semanticscholar +1 more source
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
Stellar population synthesis at the resolution of 2003 [PDF]
, 2003 We present a new model for computing the spectral evolution of stellar populations at ages between 1 x 10 5 and 2 x 10 1 0 yr at a resolution of 3 A across the whole wavelength range from 3200 to 9500 A for a wide range of metallicities.
G. Bruzual, S. Charlot
semanticscholar +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