Journal of Cardiac Surgery · 2012 · 20 citations · 45 references
ComputingComputer EngineeringComputer ScienceAlgorithmsDesign AutomationKnowledge RepresentationDesign For TestabilityLogic ProgrammingSoftware TestingSpecification LanguagesAnswer Set ProgrammingAutomated Reasoning With ConstraintsCombinatorial TestingComplexityComplexity AnalysisCoverage CriteriaDeclarative Semantics
For surveillance, CDUS promises accurate results without missing any potential complication requiring intervention as Type I or III endoleak. Lack of detecting Type II endoleaks may be negligible as sac enlargement was the key for reintervention in this situation and CDUS has a remarkably high correlation with CTA in sac diameter measurement. CDUS may be a primary surveillance tool for EVAR and CTA will be reserved in case of aneurysm sac enlargement, detection of an endoleak, inadequate CDUS, or in case of unexplained abdominal symptomatology. By this way we not only avoid ionizing radiation and nephrotoxic agents, but also achieve cost saving issue also.
45
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
Michael R. Fellows · Electronic Notes in Theoretical Computer Science · 2002 · 2.9K citations · Full text