Boolean Satisfiability

Medidas Protecionistas Na Siderurgia Norte-Americana: Impactos Setoriais E Regionais

International Trade / Boolean Satisfiability

Accuracy analysis of a spectral Poisson solver

Computational Complexity / Spectral Methods / Numerical Simulation / Spectral method / Boolean Satisfiability / Scaling Law / Poisson Equation / Boundary Condition / Numerical Solution / Charge Distribution / Exact solution methods / Scaling Law / Poisson Equation / Boundary Condition / Numerical Solution / Charge Distribution / Exact solution methods

E A LUTA CONTINUA: APÓS CONQUISTA DA TERRA, ASSENTADOS DE MINAS GERAIS REIVINDICAM MAIS APOIO E INFRAESTRUTURA

Food Policy / Social Justice / Comparative Study / Everyday Life / Case Study / Minas Gerais / Production Process / Rural Area / Boolean Satisfiability / Public Policy / Minas Gerais / Production Process / Rural Area / Boolean Satisfiability / Public Policy

Realistic desires

Cognitive Science / Modal Logic / Default Logic / Boolean Satisfiability / Rule Based / BDI agents

Tratamento do neuroma de Morton via plantar: avaliação retrospectiva dos resultados cirúrgicos

Patient Satisfaction / Clinical Sciences / Cross Section / SURGICAL TECHNIQUE / Boolean Satisfiability

Dynamic Constraint-Based Energy-Saving Control of Pneumatic Servo Systems

Engineering / Actuators / Energy Saving / Sliding mode control / Valves / Dynamic systems / Servo Control / Dynamic Systems / Sliding Mode / Boolean Satisfiability / Degree of Freedom / Dynamic systems / Servo Control / Dynamic Systems / Sliding Mode / Boolean Satisfiability / Degree of Freedom

Conceptual logic programs

Applied Mathematics / Answer Set Programming / Description Logic / Boolean Satisfiability / Tree Automata / Rule Based

AVALIAÇÃO DE MESAS, MURAIS, GRADES E CHASSIS DISPONÍVEIS PARA RADIOLOGIA DIAGNOSTICA CONVENCIONAL

Quality Control / Boolean Satisfiability

Translucent network design from a CapEx/OpEx perspective

Network Design / Wavelength Assignment / Management Strategy / Boolean Satisfiability / Cost Function / Electrical And Electronic Engineering

A logical duality for underspecified probabilistic systems

Probability Theory / Modal Logic / Boolean Satisfiability / Probabilistic Automata

A logical duality for underspecified probabilistic systems

Probability Theory / Modal Logic / Boolean Satisfiability / Probabilistic Automata

Treillis de Galois Alpha

Conceptual Clustering / Association Rule / Boolean Satisfiability / Galois Lattice

Parallel job scheduling policies to improve fairness : a case study

Parallel Processing / Production Scheduling / Case Study / Th / Mathematical Model / Parallel Machines / Boolean Satisfiability / Parallel Computer / System performance / Task Scheduling / Parallel Job Scheduling / Parallel Machines / Boolean Satisfiability / Parallel Computer / System performance / Task Scheduling / Parallel Job Scheduling

Preprocessing C++ : Meta-Class Aspects

Aspect Oriented Programming / Automatic code generation / Boolean Satisfiability / Meta Programming / Object Oriented

Modelagem e avaliação de um sistema modular para gerenciamento de informação na Web

Information Management / Content Management / CIÊNCIA DA INFORMAÇÃO / User satisfaction / System Development / Boolean Satisfiability / Quantitative Evaluation / Web Information System / Boolean Satisfiability / Quantitative Evaluation / Web Information System

Solving Overconstrained Temporal Reasoning Problems

AI Planning (Artificial Intelligence) / Tabu Search / Spatial and Temporal Reasoning / Local Search / Temporal Information Extraction / Empirical Study / Knowledge base / Boolean Satisfiability / Temporal Database / Empirical Study / Knowledge base / Boolean Satisfiability / Temporal Database

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

Copyright © 2017 DADOSPDF Inc.