A rule-based model for compliance of medical devices applied to the European market
There is a growing producer and consumer interest in medical devices and the
commensurate need for regulatory frameworks to ensure the quality of medical devices …
commensurate need for regulatory frameworks to ensure the quality of medical devices …
Inverse scattering: solution of coupled Gel'fand-Levitan-Marchenko integral equations using successive kernel approximations
FV Frangos, DL Jaggard - IEEE transactions on antennas and …, 1995 - ieeexplore.ieee.org
We develop a method of successive kernel approximations to solve coupled Gel'fand-
Levitan-Marchenko (1955) integral equations. These equations appear in the synthesis …
Levitan-Marchenko (1955) integral equations. These equations appear in the synthesis …
Object-relational rules for medical devices: Classification and conformity
This work focuses on formalizing the rules enacted by Regulation (EU) 2017/745, for risk-
based classification and for class-based conformity assessment options regarding medical …
based classification and for class-based conformity assessment options regarding medical …
Aligning, interoperating, and co-executing air traffic control rules across PSOA RuleML and IDP
Abstract This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning,
interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations …
interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations …
Invertible bidirectional metalogical translation between prolog and ruleml for knowledge representation and querying
M Thom, H Boley, T Mitsikas - International Joint Conference on Rules and …, 2020 - Springer
Abstract The paper presents BiMetaTrans (Prolog, RuleML), an invertible bidirectional
metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of …
metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of …
ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking
Wearable robots are devices intended to improve the quality of users' life by augmenting,
assisting, or substituting human functions. Exoskeletons are one of the most widespread …
assisting, or substituting human functions. Exoskeletons are one of the most widespread …
[PDF][PDF] Λογική της Επιχειρηματολογίας και των Κανόνων με Eφαρμογές σε Μαθηματικές Αποδείξεις και Νομικά Συστήματα Τεχνητής Νοημοσύνης
Σ Αλμπάνη - 2022 - dspace.lib.ntua.gr
Proving is the validation of conclusions by application of logical arguments and rules to
assumptions. In mathematics, an assertion is not accepted as true or valid unless it is …
assumptions. In mathematics, an assertion is not accepted as true or valid unless it is …