<--- Back to Details
First PageDocument Content
Statistics / Systems science / Analytic Hierarchy Process / Multi-criteria decision analysis / Thomas L. Saaty / Decision making / Dempster–Shafer theory / Reliability engineering / Hierarchical Decision Process / Decision theory / Operations research / Science
Date: 2012-02-23 11:42:37
Statistics
Systems science
Analytic Hierarchy Process
Multi-criteria decision analysis
Thomas L. Saaty
Decision making
Dempster–Shafer theory
Reliability engineering
Hierarchical Decision Process
Decision theory
Operations research
Science

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Download Document from Source Website

File Size: 306,53 KB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVRU - View Document

Logic / Mathematical logic / Mathematics / Propositional calculus / Logical truth / Logic in computer science / Syntax / Automated theorem proving / Resolution / Frege system / Boolean satisfiability problem / First-order logic

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

DocID: 1xVI3 - View Document

Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xVqL - View Document

Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVk1 - View Document

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document