Zobrazeno 1 - 10
of 2 345
pro vyhledávání: '"maude"'
The 'Spinster' and her Jellyfish: Dorothy's Cross Medusae (2003) and historiographical storytelling.
Autor:
Elstob, Isobel
Publikováno v:
Visual Studies. Dec2022, Vol. 37 Issue 5, p557-568. 12p.
Autor:
Alexander Lein, Wolf‐Dieter Baumgartner, Lukas D. Landegger, Dominik Riss, Thomas Thurner, David T. Liu, Andro Kosec, Erich Vyskocil, Faris F. Brkic
Publikováno v:
Laryngoscope Investigative Otolaryngology, Vol 9, Iss 5, Pp n/a-n/a (2024)
Abstract Objective To analyze medical device reports (MDR) submitted to the Food and Drug Administration's (FDA) Manufacturer and User Device Facility Experience (MAUDE) database to identify adverse events (AEs) in patients implanted with novel activ
Externí odkaz:
https://doaj.org/article/f1e360d874b74e3e83d8915b8def0ba6
Autor:
Bogdan Aman, Gabriel Ciobanu
Publikováno v:
Computer Science Journal of Moldova, Vol 32, Iss 1(94), Pp 3-18 (2024)
Improving safety is a main objective for medical systems. To assist the modelling and formal analysis of medical systems, we define a language for multi-agent systems handling information, timed communication, and timed migration. We use a simplified
Externí odkaz:
https://doaj.org/article/f7262741a3754bc986809e9797abda16
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rachel C Hill, Shari R Lipner
Publikováno v:
Dermatology Practical & Conceptual, Vol 14, Iss 3 (2024)
Externí odkaz:
https://doaj.org/article/8b26f869c3854fbda1e3abc52372a63d
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
PeerJ Computer Science, Vol 10, p e2098 (2024)
This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation. We use Maude, a high-level specification/programming language based on rewriting
Externí odkaz:
https://doaj.org/article/b7d3825ca84d47e08001bf5aa20f48c9