Boolean Satisfiability

Complexidade Computacional de um Algoritmo Competitivo Aplicado ao Projeto de Quantizadores Vetoriais

Signal Processing / Computational Complexity / Image coding / Competitive Learning / Boolean Satisfiability

Solução do problema de superação de disjuntores pela alocação ótima de dispositivos limitadores de corrente de curto-circuito utilizando algoritmos genéticos

Genetic Algorithm / Optimization Problem / Non-superconducting Fault Current Limiter / Boolean Satisfiability

Satisfier and dissatisfier factors of websites users: An exploratory study | Factores satisfacientes e insatisfacientes dos utilizadores de websites: Um estudo exploratório

Information Management / PHP websites development / User satisfaction / Websites Factors Satisfation / Satisfaction Websites / Empirical evidence / Boolean Satisfiability / Satisfier Factors / Dissatisfier Factors / Websites Users / Exploratory Study / Empirical evidence / Boolean Satisfiability / Satisfier Factors / Dissatisfier Factors / Websites Users / Exploratory Study

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

Do a Nomalies Disappear I N R Epeated M Arkets?

Experience Design / Boolean Satisfiability

Portfolio approaches to procurement

Marketing / Strategic Planning / Business and Management / Long-range planning / Boolean Satisfiability

A critical reappraisal of some voting power paradoxes

Voting Behavior / Political Science / Public Choice / Applied Economics / Voting power / Power Indices / Boolean Satisfiability / Decision Maker / Power Indices / Boolean Satisfiability / Decision Maker

Sequential design of decentralized control systems

Applied Mathematics / Control / Optimization Problem / Control System Design / Decentralized Control / Boolean Satisfiability / Fault Tolerant / Electrical And Electronic Engineering / Controller Synthesis / Boolean Satisfiability / Fault Tolerant / Electrical And Electronic Engineering / Controller Synthesis

First results from DAMA/LIBRA

Dark Matter / Galactic halo / Boolean Satisfiability

Probabilistic Real-Time Data Access with Interval Constraints

Real Time Scheduling / Empirical Study / Perforation / Real-Time Data Processing / Boolean Satisfiability / Open Architecture / First In First Out / Earliest deadline first / Open Architecture / First In First Out / Earliest deadline first

Twisted Entire Cyclic Cohomology, J-L-O Cocycles and Equivariant Spectral Triples

Quantum Algebra / Noncommutative Geometry / Mathematical Sciences / Physical sciences / Cyclic cohomology / Boolean Satisfiability / Chern character / Boolean Satisfiability / Chern character

Maximum rank distance codes as space~time codes

Boolean Satisfiability / Electrical And Electronic Engineering

XML reasoning made practical

Logic / Static Analysis / XML / Independent Component Analysis / Query Optimization / XML Schema / Navigation / Formal Verification / Data Structures / XML schemas / Boolean Satisfiability / Boolean Functions / XML Schema / Navigation / Formal Verification / Data Structures / XML schemas / Boolean Satisfiability / Boolean Functions

Hop-based priority technique using 802.11e for multimedia streaming

Mobile Ad Hoc Networks / Modeling and Simulation / Ad Hoc Networks / QoS / Quality of Service / Wireless Ad hoc Networks / Multimedia Streaming / Boolean Satisfiability / Service Provider / Bandwidth / Electrical And Electronic Engineering / Wireless Ad Hoc Network / Wireless Ad hoc Networks / Multimedia Streaming / Boolean Satisfiability / Service Provider / Bandwidth / Electrical And Electronic Engineering / Wireless Ad Hoc Network

A nonequilibrium entropy for dynamical systems

Statistical Physics / Mathematical Sciences / Physical sciences / Time Reversal / Phase Space / Boolean Satisfiability / Dynamic System / Boolean Satisfiability / Dynamic System

Diagram calculus for a type affine C Temperley–Lieb algebra, I

Pure Mathematics / Quantum Algebra / Boolean Satisfiability / Indexation

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

Copyright © 2017 DADOSPDF Inc.