Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807054073> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2807054073 abstract "Medical cyber-physical systems are a new trend of software controlled physical systems that are increasingly common in medical domains. With rapid developments in medical science and computer technology, safety verification and simulation becomes more challenging. This paper introduces a general model for medical injection systems, which can be used for formal verification, simulation/testing, and computing the Area Under the Curve (AUC) metrics, using Satisfiability Modulo Theories (SMT) over Reals. An algorithm of computing constrained AUC for measuring drug exposure with relative baseline, is presented based on the proof of unsatisfiability. We demonstrate that our model can efficiently solve these problems using the state-of-the-art SMT solver dReal." @default.
- W2807054073 created "2018-06-13" @default.
- W2807054073 creator A5011120024 @default.
- W2807054073 creator A5029321729 @default.
- W2807054073 creator A5052694410 @default.
- W2807054073 creator A5072927296 @default.
- W2807054073 date "2018-07-01" @default.
- W2807054073 modified "2023-10-18" @default.
- W2807054073 title "Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model" @default.
- W2807054073 cites W1496681274 @default.
- W2807054073 cites W1514680377 @default.
- W2807054073 cites W2049622757 @default.
- W2807054073 cites W2081011933 @default.
- W2807054073 cites W2101508170 @default.
- W2807054073 cites W2133120422 @default.
- W2807054073 cites W2152186576 @default.
- W2807054073 cites W2166280160 @default.
- W2807054073 cites W2560401546 @default.
- W2807054073 doi "https://doi.org/10.1109/isvlsi.2018.00062" @default.
- W2807054073 hasPublicationYear "2018" @default.
- W2807054073 type Work @default.
- W2807054073 sameAs 2807054073 @default.
- W2807054073 citedByCount "0" @default.
- W2807054073 crossrefType "proceedings-article" @default.
- W2807054073 hasAuthorship W2807054073A5011120024 @default.
- W2807054073 hasAuthorship W2807054073A5029321729 @default.
- W2807054073 hasAuthorship W2807054073A5052694410 @default.
- W2807054073 hasAuthorship W2807054073A5072927296 @default.
- W2807054073 hasBestOaLocation W28070540732 @default.
- W2807054073 hasConcept C110251889 @default.
- W2807054073 hasConcept C111498074 @default.
- W2807054073 hasConcept C11413529 @default.
- W2807054073 hasConcept C164155591 @default.
- W2807054073 hasConcept C168773769 @default.
- W2807054073 hasConcept C199360897 @default.
- W2807054073 hasConcept C2777904410 @default.
- W2807054073 hasConcept C2778770139 @default.
- W2807054073 hasConcept C41008148 @default.
- W2807054073 hasConcept C6943359 @default.
- W2807054073 hasConcept C80444323 @default.
- W2807054073 hasConceptScore W2807054073C110251889 @default.
- W2807054073 hasConceptScore W2807054073C111498074 @default.
- W2807054073 hasConceptScore W2807054073C11413529 @default.
- W2807054073 hasConceptScore W2807054073C164155591 @default.
- W2807054073 hasConceptScore W2807054073C168773769 @default.
- W2807054073 hasConceptScore W2807054073C199360897 @default.
- W2807054073 hasConceptScore W2807054073C2777904410 @default.
- W2807054073 hasConceptScore W2807054073C2778770139 @default.
- W2807054073 hasConceptScore W2807054073C41008148 @default.
- W2807054073 hasConceptScore W2807054073C6943359 @default.
- W2807054073 hasConceptScore W2807054073C80444323 @default.
- W2807054073 hasLocation W28070540731 @default.
- W2807054073 hasLocation W28070540732 @default.
- W2807054073 hasOpenAccess W2807054073 @default.
- W2807054073 hasPrimaryLocation W28070540731 @default.
- W2807054073 hasRelatedWork W108963745 @default.
- W2807054073 hasRelatedWork W2047591646 @default.
- W2807054073 hasRelatedWork W2210642749 @default.
- W2807054073 hasRelatedWork W2540053705 @default.
- W2807054073 hasRelatedWork W2735287568 @default.
- W2807054073 hasRelatedWork W2755744672 @default.
- W2807054073 hasRelatedWork W2914225034 @default.
- W2807054073 hasRelatedWork W3142296598 @default.
- W2807054073 hasRelatedWork W327065828 @default.
- W2807054073 hasRelatedWork W4241145878 @default.
- W2807054073 isParatext "false" @default.
- W2807054073 isRetracted "false" @default.
- W2807054073 magId "2807054073" @default.
- W2807054073 workType "article" @default.