Boolean Satisfiability

Avaliação do programa de promoção da atividade física Academia da Cidade de Recife, Pernambuco, Brasil: percepções de usuários e não-usuários

Program Evaluation / Health Promotion / Community-Based Mental Health Services / Physical Activity / Brazil / Adolescent / Humans / Female / Male / Young Adult / Exercise / Middle Aged / Adult / Boolean Satisfiability / Cross Sectional Studies / Self Rated Health / Leisure Activities / Adolescent / Humans / Female / Male / Young Adult / Exercise / Middle Aged / Adult / Boolean Satisfiability / Cross Sectional Studies / Self Rated Health / Leisure Activities

Avaliação do programa de promoção da atividade física Academia da Cidade de Recife, Pernambuco, Brasil: percepções de usuários e não-usuários

Program Evaluation / Health Promotion / Community-Based Mental Health Services / Physical Activity / Brazil / Adolescent / Humans / Female / Male / Young Adult / Exercise / Middle Aged / Adult / Boolean Satisfiability / Cross Sectional Studies / Self Rated Health / Leisure Activities / Adolescent / Humans / Female / Male / Young Adult / Exercise / Middle Aged / Adult / Boolean Satisfiability / Cross Sectional Studies / Self Rated Health / Leisure Activities

BWR fuel reloads design using a Tabu search technique

Tabu Search / Genetic Algorithm / Design optimization / Interdisciplinary Engineering / Boolean Satisfiability / Pattern Generation / Fuel Management / Boiling Water Reactor / Objective function / Pattern Generation / Fuel Management / Boiling Water Reactor / Objective function

Semiclassical states for quantum cosmology

Quantum Physics / Quantum Cosmology / Quantum Mechanics / Chaos Theory Evolution Equation / Quantum error correction / Phase Space / Boolean Satisfiability / Semiclassical Approximation / Elementary Particles / Phase Space / Boolean Satisfiability / Semiclassical Approximation / Elementary Particles

Huitzoctli: A system to design Control Rod Pattern for BWR’s using a hybrid method

Tabu Search / Optimization / OPERATING SYSTEM / Fortran / Local Search / OPTIMIZATION TECHNIQUE / Operant Conditioning / Interdisciplinary Engineering / Power Distribution / Boolean Satisfiability / Boiling Water Reactor / Hybrid Method / Power Density / OPTIMIZATION TECHNIQUE / Operant Conditioning / Interdisciplinary Engineering / Power Distribution / Boolean Satisfiability / Boiling Water Reactor / Hybrid Method / Power Density

BWR fuel reloads design using a Tabu search technique

Tabu Search / Genetic Algorithm / Design optimization / Interdisciplinary Engineering / Boolean Satisfiability / Pattern Generation / Fuel Management / Boiling Water Reactor / Objective function / Pattern Generation / Fuel Management / Boiling Water Reactor / Objective function

Balanced distributed web service lookup system

Application Integration (Computer Science) / Institutional Design / Quality of Service / Mobile Peer-to-Peer Network / Domain Name System / Non Functional Requirement / Search Engine / Theoretical Analysis / Universal Service / Time Complexity / Service discovery / Web service discovery / Web Service / Next Generation / Boolean Satisfiability / Informing Science / Range Query / Communication Cost / Non Functional Requirement / Search Engine / Theoretical Analysis / Universal Service / Time Complexity / Service discovery / Web service discovery / Web Service / Next Generation / Boolean Satisfiability / Informing Science / Range Query / Communication Cost

Precise asymptotic of eigenvalues of resonant quasilinear systems

Applied Mathematics / Pure Mathematics / Differential Equations / Eigenvalues / Boolean Satisfiability

Decomposing data sets into skewness modes

Applied Mathematics / Spatial Analysis / Nonlinear Dynamics and Stochasticity / Atmospheric Physics / Time series analysis / Statistical Significance / Boolean Satisfiability / Statistical Significance / Boolean Satisfiability

Processor capacity reserves: operating system support formultimedia applications

Scheduling / OPERATING SYSTEM / Real Time Systems / Random access memory / Real Time / Multimedia Computing / Boolean Satisfiability / Multimedia Application / Admission Control / Scheduling Algorithm / Icme / Multimedia Computing / Boolean Satisfiability / Multimedia Application / Admission Control / Scheduling Algorithm / Icme

A Fuzzy Discrete Event System Approach to Determining Optimal HIV/AIDS Treatment Regimens

Engineering / Expert Systems / Decision Making / Fuzzy Logic / Treatment Outcome / Genetic Algorithm / Quality Control / Humans / System Theory / Expert Opinion / Human immunodeficiency virus / Innovation System / Boolean Satisfiability / Clinical Decision Support Systems / Medical Treatment / Finite State Machine / Genetic Algorithm / Quality Control / Humans / System Theory / Expert Opinion / Human immunodeficiency virus / Innovation System / Boolean Satisfiability / Clinical Decision Support Systems / Medical Treatment / Finite State Machine

Enhancing Data Flow Testing of Classes through Design by Contract

Random testing of object oriented programs / Data Flow Diagram / Boolean Satisfiability / Design-by-Contract

Parallel Processing with Autonomous Databases in a Cluster System

Parallel Processing / Linux Cluster / Transaction Processing / Load Balance / Boolean Satisfiability / Application Service Provider / Cluster System / Application Service Provider / Cluster System

Development of transparent payment systems

Civil Engineering / Project Management / Supply Chain / Construction Industry / United Kingdom / Project manager / Building / Paradigm Shift / Design Methodology / Payment System / Cash Flow / Boolean Satisfiability / Payments / Simulation Tool / Project manager / Building / Paradigm Shift / Design Methodology / Payment System / Cash Flow / Boolean Satisfiability / Payments / Simulation Tool

Crypto processor for contactless smart cards

Power Management / Cryptography / Energy Management / Smart Cards / Power Consumption / Feedback / Random access memory / Throughput / Smart Card / NIST / Boolean Satisfiability / Power Reduction / Switching Activity / Feedback / Random access memory / Throughput / Smart Card / NIST / Boolean Satisfiability / Power Reduction / Switching Activity

Strategic consensus

Economics / Mathematical Economics / Boolean Satisfiability

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

Copyright © 2017 DADOSPDF Inc.