Boolean Satisfiability

How to Decide Query Containment under Constraints Using a Description Logic

Coding / Database Query / Description Logic / Description / Boolean Satisfiability / Constraint Satisfaction

A Hierarchical Approach to Irregular Problems

Load Balance / Boolean Satisfiability

Food-allergic consumers\' labelling preferences: a cross-cultural comparison

Food Safety / Consumer Behavior / European Public Health Policies / Policy Change / Food Allergy / Greece / Cross-Cultural Comparison / Humans / Food Labeling / Legislation / Female / Male / Netherlands / Allergens / Consumers / European / Aged / Middle Aged / Adult / Public health systems and services research / Boolean Satisfiability / Food Products / Greece / Cross-Cultural Comparison / Humans / Food Labeling / Legislation / Female / Male / Netherlands / Allergens / Consumers / European / Aged / Middle Aged / Adult / Public health systems and services research / Boolean Satisfiability / Food Products

A noncooperative support for equal division in estate division problems

Economics / Mathematical Models for Social Sciences / Mathematical Sciences / Boolean Satisfiability / Nash equilibria / Divide-the-Dollar Game / Non-bossiness / Divide-the-Dollar Game / Non-bossiness

La eritropoyetina humana recombinante como terapia para la neuroprotección en la isquemia cerebral

Engineering / Technology / Biological Sciences / Erythropoietin / Brain Ischemia / Peripheral Vascular Disease / Biotecnología Aplicada / Controlled Clinical Trial / Boolean Satisfiability / Mechanism of action / Sialic Acid / Cerebral Blood Flow / SECONDARY PREVENTION / Peripheral Vascular Disease / Biotecnología Aplicada / Controlled Clinical Trial / Boolean Satisfiability / Mechanism of action / Sialic Acid / Cerebral Blood Flow / SECONDARY PREVENTION

Improving Image Retrieval Using Semantic Resources

Image Retrieval / Search Engine / Boolean Satisfiability / Image processing techniques / Image Features

How to lose as little as possible

Boolean Satisfiability

A class of quasilinear degenerate elliptic problems

Applied Mathematics / Pure Mathematics / Differential Equations / Gas Dynamics / Cauchy Problem / Historic conservation law / Degeneration / Euler Lagrange Equation / Boolean Satisfiability / Shallow Water Equation (SWE) / Blow Up / Pressure Gradient / Historic conservation law / Degeneration / Euler Lagrange Equation / Boolean Satisfiability / Shallow Water Equation (SWE) / Blow Up / Pressure Gradient

A polynomial algorithm for 2-cyclic robotic scheduling: A non-Euclidean case

Applied Mathematics / Time Complexity / Travel Time / Cycle Time / Boolean Satisfiability / Discrete Applied Mathematics / Product Line / Discrete Applied Mathematics / Product Line

AN ALGEBRAIC APPROACH TO CONSISTENCY CHECKING BETWEEN CLASS DIAGRAMS

Class Diagram / Enterprise System / Data Model / Boolean Satisfiability / Data Type / Information System / Consistency Checking / Information System / Consistency Checking

Strategy-proofness on Euclidean spaces

Economics / Mathematical Sciences / Is Strategy / Euclidean space / Boolean Satisfiability / Pareto Optimality

Model identification of a network as compressing sensing

Mechanical Engineering / Applied Mathematics / Stochastic Process / Time Series / Compressed Sensing / Model Identification / Numerical Simulation / Wiener filter / Boolean Satisfiability / Dynamic System / Hilbert Space / Cost Function / Electrical And Electronic Engineering / Model Identification / Numerical Simulation / Wiener filter / Boolean Satisfiability / Dynamic System / Hilbert Space / Cost Function / Electrical And Electronic Engineering

A Comprehensive Framework for Combined Decision Procedures

Type Theory / Higher Order Thinking / Isomorphism / decision Procedure / Boolean Satisfiability / Constraint Satisfaction / Decidability / Constraint Satisfaction / Decidability

Trap Avoidance in Local Search Using Pseudo-Conflict Learning

Local Search (Computer Science) / Algorithms for Satisfiability / Boolean Satisfiability

Functional Separation of EMG Signals via ARMA Identification Methods for Prosthesis Control Purposes

Time Series / Kalman Filter / Moving average / Boolean Satisfiability / Upper Extremity

Neural signatures of intransitive preferences

Decision Making / Behavior Analysis / Parietal Cortex / Boolean Satisfiability

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

Copyright © 2017 DATOSPDF Inc.