Results 21 to 30 of about 9,445,683 (296)
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
Synthesis of all-digital delay lines [PDF]
, 2017 © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new ...
Cortadella, Jordi, Moreno Vega, Alberto
core +1 more source
Effects of ursodeoxycholic acid on synthesis of cholesterol and bile acids in healthy subjects [PDF]
, 2004 Background/Aims: Ursodeoxycholic acid ( UDCA) decreases biliary secretion of cholesterol and is therefore used for the dissolution of cholesterol gallstones.
Fischer, S. +5 more
core +1 more source
The composition of a linked database on administrative healthcare and employment data in Austria
International Journal of Population Data Science, 2018 Introduction In Austria, healthcare and employment services are organized by different public entities. Therefore, administrative data are dispersed but share a common individual identifier.
Florian Endel +2 more
doaj +1 more source
BMC Health Services Research, 2020 Background Medication mismanagement is a major cause of both hospital admission and nursing home placement of frail older adults. Medication reviews by community pharmacists aim to maximise therapeutic benefit but also minimise harm.
Rebecca A. Abbott +5 more
doaj +1 more source
Journal of Nanobiotechnology, 2023 Copper-based antibacterial materials have emerged as a potential alternative for combating bacterial infections, which continue to pose significant health risks.
Yue Zhou +5 more
doaj +1 more source
Depth-Optimized Reversible Circuit Synthesis [PDF]
, 2012 In this paper, simultaneous reduction of circuit depth and synthesis cost of reversible circuits in quantum technologies with limited interaction is addressed.
Arabzadeh, Mona +3 more
core +1 more source
, 2019 Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures would facilitate deeper scientific understanding of materials synthesis ...
Chang, Haw-Shiuan +8 more
core +1 more source
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
Czech Journal of Food Sciences, 2001 Antioxidants with 1,4-dihydropyridine structure were investigated as a less harmful alternative to synthetic phenolic antioxidants in liposomes under conditions simulating food storage.
G. Tirzitis, D. Tirzite, Z. Hyvonen
doaj +1 more source