Results 21 to 30 of about 170,074,763 (296)
Frontiers in Artificial Intelligence, 2022 Cardiac computed tomography angiography (CTA) is an emerging imaging modality for assessing coronary artery as well as various cardiovascular structures.
Vy Bui +10 more
doaj +1 more source
Q8VaxStance: Dataset Labeling System for Stance Detection towards Vaccines in Kuwaiti Dialect
Big Data and Cognitive Computing, 2023 The Kuwaiti dialect is a particular dialect of Arabic spoken in Kuwait; it differs significantly from standard Arabic and the dialects of neighboring countries in the same region.
Hana Alostad +2 more
doaj +1 more source
Patient Safety, 2021 A nonpunitive approach to safety event reporting and analysis is an important dimension of healthcare organization safety culture. A system-based safety event review process, one focused on understanding and improving the conditions in which individuals ...
Ella S. Franklin +8 more
doaj +2 more sources
BMC Bioinformatics, 2019 Background Use of medication can cause adverse drug reactions (ADRs), unwanted or unexpected events, which are a major safety concern. Drug labels, or prescribing information or package inserts, describe ADRs.
Mert Tiftikci +3 more
doaj +1 more source
Invariants and Labels in Lie‐Poisson Systems [PDF]
Annals of the New York Academy of Sciences, 1998 ABSTRACT: Reduction is a process that uses symmetry to lower the order of a Hamiltonian system. The new variables in the reduced picture are often not canonical: there are no clear variables representing positions and momenta, and the Poisson bracket obtained is not of the canonical type.
Thiffeault, Jean-Luc, Morrison, P. J.
openaire +3 more sources
Labelled State Transition Systems [PDF]
Formalized Mathematics, 2009 For simplicity, we adopt the following convention: x, x1, x2, y, y1, y2, z, z1, z2, X, X1, X2 are sets, E is a non empty set, e is an element of E, u, v, v1, v2, w, w1, w2 are elements of Eω, F , F1, F2 are subsets of Eω, and k, l are natural numbers. Next we state a number of propositions: (1) For every finite sequence p such that k ∈ dom p holds (〈x〉
openaire +2 more sources
Monoid-labeled transition systems
Electronic Notes in Theoretical Computer Science, 2001 AbstractGiven a V -complete (semi)lattice L , we consider L -labeled transition systems as coalgebras of a functor L (−), associating with a set X the set L X of all L -fuzzy subsets. We describe simulations and bisimulations of
H. Peter Gumm, Tobias Schröder
openaire +1 more source
Frontiers in Sustainable Food Systems, 2019 Background: Food production and consumption contributes to one third of households' environmental impact. The environmental impact of different food categories varies and in general environmental footprint of meat is high than fish and vegetable options.
Helena Berz Slapø +2 more
doaj +1 more source
A new method for converting extended version of petri nets to fuzzy extended markup language [PDF]
Management Science Letters, 2014 A model is a simple and straightforward performance of structure and behavior of the system under study expressed as mathematical relations. In fact, with a model, knowledge and information on modeled phenomenon are prepared and the cost and risk of ...
Solmaz Soltani, Ali Harounabadi
doaj +1 more source
, 2017 Als Linked Open Data wird die direkte Vernetzung von frei verfügbaren Daten im Internet bezeichnet. Aufgrund der ständig wachsenden Datenmenge ergeben sich für die Wissenschaften daraus ganz neue Erkenntnismöglichkeiten. Dieses Wissensnetzwerk kämpft unter anderem mit dem Problem von nicht eindeutigen Begrifflichkeiten.
Thiery, Florian +2 more
openaire +2 more sources