Boolean Satisfiability

Environmental decision support

Decision Making / Environmental Management / Problem Solving / Project evaluation / Impact Assessment / Decision Support / Boolean Satisfiability / Decision Support / Boolean Satisfiability

Environmental decision support: A distributed artificial intelligence approach

Decision Making / Decision support system / Project evaluation / Distributed Artificial Intelligence / Decision Support / Boolean Satisfiability

Environmental Decision Support: a Distributed Artificial Intelligence Approach

Decision Making / Decision support system / Project evaluation / Distributed Artificial Intelligence / Decision Support / Boolean Satisfiability

Propuesta de guía para la evaluación económica aplicada a las tecnologías sanitarias

Health Care / Health Policy / Biomedical Technology / New Technology / Economic evaluation / Economic Value / Boolean Satisfiability / Decision Maker / National Health System / Economic Value / Boolean Satisfiability / Decision Maker / National Health System

Economic Development, Environmental Conflicts and Citizen Participation in Latin America

Environmental Impact Assessment / Economic Development / Latin America / Developing Country / Citizen participation / Natural Resource / Boolean Satisfiability / Natural Resource / Boolean Satisfiability

Estudo comparativo de duas diferentes modalidades de analgesia controlada pelo paciente após cirurgia cardíaca Comparasion study of two different patient- controlled anesthesia regiments after heart surgery

Cardiac Surgery / Patient Satisfaction / Randomized Trial / Postoperative pain / Randomized Clinical Trial / Boolean Satisfiability / Side Effect / Heart Surgery / Postoperative Period / Patient Controlled Analgesia / Boolean Satisfiability / Side Effect / Heart Surgery / Postoperative Period / Patient Controlled Analgesia

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Calculus / Computational Complexity / Spatial and Temporal Reasoning / Artificial Intelligent / Spatial logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic

Plasma transport control and self-sustaining fusion reactor

Plasma Physics / Shear Flow / High performance / Boolean Satisfiability / Plasma Physics and Controlled Fusion / Pressure Gradient

Bem-estar subjetivo: um estudo com adolescentes trabalhadores1

Life Satisfaction / Negative Affect / Education System / Subjective Well Being / Boolean Satisfiability

Time-Inconsistent Preferences in a General Equilibrium Model

Economics / Economic Theory / General Equilibrium / Scientific / Publication / Boolean Satisfiability / Time Inconsistency / Time Consistency / Boolean Satisfiability / Time Inconsistency / Time Consistency

Clausal temporal resolution

Temporal Resolution / Theorem Proving / Pure Mathematics / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic / Normal Form / Temporal Logic / Normal Form

The DLRUS temporal description logic

Linear Temporal Logic / Description Logic / Boolean Satisfiability

Temporal Description Logics: A Survey

Computational Complexity / Reasoning / Description Logic / Boolean Satisfiability / Temporal Logic

Multiple equilibria in complex chemical reaction networks: extensions to entrapped species models

Chemical Engineering / Applied Mathematics / Kinetics / Systems Biology / Cell Biology / Signal Transduction / Computer Simulation / Stirred Tank Reactor / Chemical reactors / Continuous Flow / Bistability / Large classes / Bioreactors / Nonlinear system / Chemical Reaction / Network structure / Boolean Satisfiability / Reaction Rate / Electrical And Electronic Engineering / Multiple equilibria / Biochemistry and cell biology / Signal Transduction / Computer Simulation / Stirred Tank Reactor / Chemical reactors / Continuous Flow / Bistability / Large classes / Bioreactors / Nonlinear system / Chemical Reaction / Network structure / Boolean Satisfiability / Reaction Rate / Electrical And Electronic Engineering / Multiple equilibria / Biochemistry and cell biology

Signable posets and partitionable simplicial complexes

Computational Complexity / Pure Mathematics / Numerical Analysis and Computational Mathematics / Upper Bound / Boolean Satisfiability

A conjunctive query language for description logic aboxes

Knowledge Representation / Knowledge base / Description Logic / Boolean Satisfiability

«
1
2
3
4
5
6
7
8
9
10
11
12
»

Copyright © 2017 DATOSPDF Inc.