<--- Back to Details
First PageDocument Content
Time / Future / Nanomaterials / Nominal group technique / Nanotechnology / Decision Analytic Method / Decision making / Environmental impact assessment / Emerging technologies / Decision theory / Environment
Date: 2010-09-10 11:29:59
Time
Future
Nanomaterials
Nominal group technique
Nanotechnology
Decision Analytic Method
Decision making
Environmental impact assessment
Emerging technologies
Decision theory
Environment

Microsoft Word - Document1

Add to Reading List

Source URL: epa.gov

Download Document from Source Website

File Size: 104,34 KB

Share Document on Facebook

Similar Documents

Political philosophy / Politics / Collaboration / Group decision-making / Management / Democracy / Decision-making / Consensus decision-making / Collaborative method / Analytic hierarchy process

Microsoft Word - effective_decision_making.doc

DocID: 1lMvq - View Document

Functions and mappings / Analytic Hierarchy Process / Function / Integral / Thomas L. Saaty / Multi-criteria decision analysis / Analytic network process / Decision theory / Operations research / Mathematics

A METHOD FOR EVALUATION AND SELECTION OF C2X COMMUNICATION FUNCTIONS Gunther Schaaf Corporate Research, Robert Bosch GmbH Postfach, 70442 Stuttgart, Germany Tel: +, Fax: +, E-mail:

DocID: 1gcb7 - View Document

Formal languages / Logical syntax / Philosophical logic / Method of analytic tableaux / Interpretation / Entailment / Modal logic / Model theory / Symbol / Logic / Metalogic / Propositional calculus

TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives

DocID: 1aPB4 - View Document

Mathematics / CTL* / Method of analytic tableaux / Formal language / Model checking / Temporal logic / Finite-state machine / Tree automaton / Powerset construction / Automata theory / Theoretical computer science / Applied mathematics

Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method

DocID: 19Smu - View Document

Method of analytic tableaux / Theoretical computer science / Applied mathematics / Ω-automaton / Formal language / Automata theory / Mathematics / Automated theorem proving

A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2

DocID: 19RBn - View Document