Keywords: مادرم; Authentication; e-Passport; Key exchange; Maude; Model checking; Rewriting; 00-01; 99-00;
مقالات ISI مادرم (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مادرم; Business process modeling; BPMN collaboration; Operational semantics; Maude; Verification;
Keywords: مادرم; Alloy; Business process; Formal analysis; Resource; Round-based model; Maude; Time;
Keywords: مادرم; Operational semantics; Rewrite theories; Symbolic execution; K Framework; Maude
Keywords: مادرم; Conditional term rewriting; Normal forms; Normal theory; Operational termination; Rewriting logic; Maude
Keywords: مادرم; Co-Cr; cobalt-chromium; CTA; computer tomography angiography; DES; drug-eluting stent; ISR; in-stent restenosis; IVUS; intravascular ultrasound; LAD; left anterior descending artery; FDA; Food and Drug Administration; MAUDE; Manufacturer and User Faci
Keywords: مادرم; Dental equipment; dental public health; dental records; informatics; quality of care; safety management; AEs; Adverse events; AHRQ; Agency for Healthcare Research and Quality; DC; District of Columbia; FAERS; FDA Adverse Event Reporting System; FDA; Food
Keywords: مادرم; Rewriting logic; Trace exploration; Maude; Conditional rewrite theories;
Keywords: مادرم; FDA; Food and Drug Administration; ICD; implantable cardioverter-defibrillator; MAUDE; Manufacturer and User Facility Device Experience Database; SVO; silver vanadium oxide; Implantable cardioverter-defibrillator; Battery failure; Short circuit; St. Jude
Keywords: مادرم; Postmarketing safety; Adverse events; FDA; Medical devices; Biological products; Surveillance; FAERS; MAUDE
Keywords: مادرم; Software patterns; Distributed systems; Formal specification and verification; Rewriting logic; Maude
Periodic scheduling for MARTE/CCSL: Theory and practice
Keywords: مادرم; Periodic scheduling; MARTE/CCSL; Maude; Rewriting logic; Model checking;
Metalevel algorithms for variant satisfiability
Keywords: مادرم; Finite variant property (FVP); Folding variant narrowing; Satisfiability in initial algebras; Metalevel algorithms; Reflection; Maude;
Stochastic analysis of BPMN with time in rewriting logic
Keywords: مادرم; BPMN business processes; Stochastic modeling and analysis; Rewriting logic; Statistical model checking; Maude;
Model checking the iKP electronic payment protocols
Keywords: مادرم; Electronic commerce; Maude; Model checking; Observational transition systems (OTSs); Rewriting; 00-01; 99-00;
Multisociety guideline on reprocessing flexible GI endoscopes: 2016 update
Keywords: مادرم; AER; automated endoscope reprocessor; AORN; Association of PeriOperative Registered Nurses; ASGE; American Society for Gastrointestinal Endoscopy; CDC; Centers for Disease Control and Prevention; FDA; U.S. Food and Drug Administration; HLD; high-level dis
Endoscopic anti-reflux devices (with videos)
Keywords: مادرم; ASGE; American Society for Gastrointestinal Endoscopy; CPT; Current Procedure Terminology; FDA; Food and Drug Administration; GEJ; gastroesophageal junction; HRQL; health-related quality of life; LES; lower esophageal sphincter; MAUDE; manufacturer and us
Executing and verifying higher-order functional-imperative programs in Maude
Keywords: مادرم; Maude; Higher-order function; State monad; Reachability Logic;
2017 HRS expert consensus statement on cardiovascular implantable electronic device lead management and extraction
Keywords: مادرم; Lead management; Extraction; Defibrillator; Pacemaker; Infection; 99mTc-HMPAO-WBC; 99mTc-hexamethypropylene amine oxime-labeled autologous white blood cell; CIED; cardiovascular implantable electronic device; COR; Class of Recommendation; CRT; cardiac r
Debugging Maude programs via runtime assertion checking and trace slicing
Keywords: مادرم; Trace slicing; Runtime checking; Dynamic program slicing; Program diagnosis and debugging; Rewriting logic; Maude
Modelling and analyzing adaptive self-assembly strategies with Maude
Keywords: مادرم; Adaptation; Maude; Reflective Russian Dolls; Statistical model checking; PVeStA
Order-sorted equality enrichments modulo axioms
Keywords: مادرم; Equality predicate; Order-sorted equational logic modulo axioms; Algebraic specifications; Initial algebra semantics; Maude
A rewriting logic semantics for NCL
Keywords: مادرم; Multimedia document validation; Multimedia authoring; Rewriting theory; Maude; NCL
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Keywords: مادرم; Rewriting logic; Orc; Executable semantics; Maude; Formal analysis; Service orchestration;
Nickel Hypersensitivity in Patients with Inferior Vena Cava Filters: Case Report and Literature and MAUDE Database Review
Keywords: مادرم; IVC; inferior vena cava; MAUDE; Manufacturer and User Facility Device Experience;
Comparison of Complication Rates Associated with Permanent and Retrievable Inferior Vena Cava Filters: A Review of the MAUDE Database
Keywords: مادرم; AE; adverse event; FDA; Food and Drug Administration; IVC; inferior vena cava; MAUDE; Manufacturer and User Facility Device Experience (MAUDE); PE; pulmonary embolism; pIVCF; permanent inferior vena cava filter; rIVCF; retrievable inferior vena cava filte
Prospective long-term evaluation of Optim-insulated (Riata ST Optim and Durata) implantable cardioverter-defibrillator leads
Keywords: مادرم; CI; confidence interval; ICD; implantable cardioverter-defibrillator; IQR; interquartile range; MAUDE; Manufacturer and User Facility Device Experience; PHRI; Population Health Research Institute; SJM; St Jude Medical; ICD leads; Optim insulation; Mechani
MAUDE: Analysis of Robotic-Assisted Gynecologic Surgery
Keywords: مادرم; da Vinci Surgical System; MAUDE;
Distribution of Reported StarClose SE Vascular Closure Device Complications in the Manufacturer and User Facility Device Experience Database
Keywords: مادرم; CLIP; Clip CLosure In Percutaneous Procedures; MAUDE; Manufacturer and User Facility Device Experience;
Adverse drug and device reactions in the oral cavity
Keywords: مادرم; Epidemiology; consumer product safety; drugs; U.S. Food and Drug Administration; implants; legal liability; oral medicine; postmarketing product surveillance; safety management; AE; Adverse effect; FAERS; FDA Adverse Event Reporting System; FDA; Food and
The rewriting logic semantics project: A progress report
Keywords: مادرم; Rewriting logic; Programming languages; Semantics; Maude; KK
A generic framework for nn-protocol compatibility checking
Keywords: مادرم; SOC; Transition systems; Non-observable actions; Compatibility; Maude
Declarative debugging of rewriting logic specifications
Keywords: مادرم; Declarative debugging; Rewriting logic; Maude; Wrong answers; Missing answers
Systematic Review of the Use of Retrievable Inferior Vena Cava Filters
Keywords: مادرم; ACCP; American College of Chest Physicians; CI; confidence interval; DVT; deep vein thrombosis; FDA; U.S. Food and Drug Administration; IVC; inferior vena cava; MAUDE; Manufacturer and User Facility Device Experience; PE; pulmonary embolism; VTE; venous t
Fragmentation, Embolization, and Left Ventricular Perforation of a Recovery Filter
Keywords: مادرم; IVC; inferior vena cava; MAUDE; Manufacturer and User Device Experience;
Management of Severe Vena Cava Filter Tilting: Experience with Bard G-2 Filters
Keywords: مادرم; IVC; inferior vena cava; MAUDE; Manufacturer And User Facility Device Experience;
Endoscopic mucosal resection and endoscopic submucosal dissection
Keywords: مادرم; ASGE; American Society for Gastrointestinal Endoscopy; CPT; Current Procedural Terminology; ESD; endoscopic submucosal dissection; MAUDE; Food and Drug Administration Center for Devices and Radiological Health;
Cholangiopancreatoscopy
Keywords: مادرم; ASGE; American Society for Gastrointestinal Endoscopy; CCD; charge-coupled device; CP; cholangiopancreatoscopy; CPT; Current Procedural Terminology; EHL; electrohydraulic lithotripsy; ESWL; extracorporeal shock wave lithotripsy; IDUS; intraductal US; IPMN
Emergency Retrieval of a G2 Filter after Complete Migration into the Right Ventricle
Keywords: مادرم; IVC; inferior vena cava; FDA; Food and Drug Administration; MAUDE; Manufacturer and User Facility Device Experience; PE; pulmonary embolism;
Vena Cava Filter Performance Based on Hemodynamics and Reported Thrombosis and Pulmonary Embolism Patterns
Keywords: مادرم; FDA; Food and Drug Administration; IVC; inferior vena cava; MAUDE; Manufacture and Facilities Device Experience; PE; pulmonary embolism;
Writing and executing ODP computational viewpoint specifications using Maude
Keywords: مادرم; Rewriting logic; Maude; RM-ODP; ODP computational viewpoint; Environment contracts
Maude's Internal Strategies
Keywords: مادرم; Execution strategies; Maude; rewriting logic; reflection; metaprogramming;
Cardiac perforation after device closure of atrial septal defects with the Amplatzer septal occluder
Keywords: مادرم; ASD; atrial septal defect; ASO; Amplatzer septal occluder; CE; cardiac events; CP; cardiac perforation; FDA; Food and Drug Administration; MAUDE; Manufacturer And User facility Device Experience database; PFO; patent foramen ovale; SBD; stretched balloon
Invariant-Driven Strategies for Maude
Keywords: مادرم; Execution strategies; Maude; rewriting logic; reflection;
On-demand Evaluation for Maude
Keywords: مادرم; Declarative programming; Maude; reflection; demandedness; on-demand strategy;
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel
Keywords: مادرم; Rewriting logic; Maude; modal logic; VLRL; reflection; mechanical verification;
Communicating Concurrent Objects in HiddenCCS
Keywords: مادرم; Algebraic specification; concurrent systems; process algebra; object- oriented specification; hidden algebra; rewriting logic; Maude; CCS; linear temporal logic; verification techniques;
Playing with Maude
Keywords: مادرم; Rule-based programming; Maude; puzzles;
Proving VLRL Action Properties with the Maude Model Checker
Keywords: مادرم; Modal logic; liner temporal logic; Maude; rewriting logic; verification logic for rewriting logic; transformation of theories;
New Evaluation Commands for Maude Within Full Maude
Keywords: مادرم; Declarative programming; Maude; reflection; strategy annotations;