Boolean Satisfiability

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 / Pattern Generation / Fuel Management / Boiling Water Reactor

A framework for uplink power control in cellular radio systems

Distributed Computing / Common Property / Iterative Methods / Control Systems / Fixed Point Theory / Power Control / Iteration / Radio Transmitters / Wireless communication systems / Boolean Satisfiability / Electrical And Electronic Engineering / Base station / Power Control / Iteration / Radio Transmitters / Wireless communication systems / Boolean Satisfiability / Electrical And Electronic Engineering / Base station

A 30-frames/s megapixel real-time CMOS image processor

Machine Vision / Image Quality / Motion Pictures / Real Time / Color Space / Solid State Devices and Circuits / Boolean Satisfiability / Electrical And Electronic Engineering / Solid State Devices and Circuits / Boolean Satisfiability / Electrical And Electronic Engineering

SiO2–CaO–B2O3–Al2O3 ceramic glaze as sealant for planar ITSOFC

Engineering / Stainless Steel / Thermal Stress / Solid oxide fuel cell / CHEMICAL SCIENCES / Phase Separation / Boolean Satisfiability / Thermal Cycling / Viscous Flow / Power Sources / Phase Separation / Boolean Satisfiability / Thermal Cycling / Viscous Flow / Power Sources

Controller Development for An Automotive Ac-System Using R744 As Refrigerant

Market Research / Air Conditioning / Control Design / Load distribution / System modeling / Boolean Satisfiability / Point of View / Reference Systems / Boolean Satisfiability / Point of View / Reference Systems

Controller Development for an Automotive Ac-system using R744 as Refrigerant

Market Research / Air Conditioning / Control Design / Load distribution / System modeling / Boolean Satisfiability / Point of View / Reference Systems / Boolean Satisfiability / Point of View / Reference Systems

A hierarchical disk scheduler for multimedia systems

Information Systems / Distributed Computing / Multimedia / Clusters / Performance Evaluation / Multimedia Systems / Stream Processing / Boolean Satisfiability / Open System / Admission Control / Scheduling Algorithm / Disk Scheduling / Multimedia Systems / Stream Processing / Boolean Satisfiability / Open System / Admission Control / Scheduling Algorithm / Disk Scheduling

Combinatorial aspects of -convex polyominoes

Pure Mathematics / Recurrence Relation / Boolean Satisfiability

Variability-Aware Bulk-MOS Device Design

Monte Carlo Simulation / Computer Hardware / Design process / Leakage Current / Process Variation / Design Methodology / Low Power / High performance / Design optimization / Boolean Satisfiability / Electrical And Electronic Engineering / Design Methodology / Low Power / High performance / Design optimization / Boolean Satisfiability / Electrical And Electronic Engineering

Recuperação de Informação e Processamento da Linguagem Natural

Information Retrieval / Natural Language Processing / Boolean Satisfiability / Information Need / Indexation / Semantic Interpretation

Anterior knee pain in younger adults as a precursor to subsequent patellofemoral osteoarthritis: a systematic review

Comorbidity / Osteoarthritis / Foreign Language / Humans / Cohort Study / Young Adult / Structural Change / Systematic review / Patellofemoral Pain Syndrome / Clinical Sciences / Adult / Knee Osteoarthritis / Boolean Satisfiability / Observational Study / Case Control Study / Knee Joint / Patellar Ligament / Data Extraction / Young Adult / Structural Change / Systematic review / Patellofemoral Pain Syndrome / Clinical Sciences / Adult / Knee Osteoarthritis / Boolean Satisfiability / Observational Study / Case Control Study / Knee Joint / Patellar Ligament / Data Extraction

Fuzzy logic control of a fuel cell/battery/ultra-capacitor hybrid vehicular power system

Fuzzy Logic / Power System / Fuzzy Logic Control / Fuel Cell / Energy Management / Energy simulation / Electric Power System / Energy Storage / High Power / Dynamic Response / Control Strategy / Dc-Dc Boost Converter / Power Converter / Boolean Satisfiability / Power flow / High energy / Control Algorithm / Hybrid System / Energy simulation / Electric Power System / Energy Storage / High Power / Dynamic Response / Control Strategy / Dc-Dc Boost Converter / Power Converter / Boolean Satisfiability / Power flow / High energy / Control Algorithm / Hybrid System

A sense of autonomy is preserved under Chinese reproductive policies

Sociology / Social Change / Jurisprudence / Social Policy / Public Opinion / Bioethics / Social Problems / Reproduction / China / Ultrasound / Social Responsibility / Genetic counseling / Pregnancy / Humans / Eugenics / Sex ratio / Female / Male / Population Control / Attitude / Paternalism / Data Collection / Family Planning / Social Values / Reproductive behavior / Prenatal Diagnosis / Rural Area / Boolean Satisfiability / Prenatal Care / Personal autonomy / Health Personnel / Disabled Persons / Bioethics / Social Problems / Reproduction / China / Ultrasound / Social Responsibility / Genetic counseling / Pregnancy / Humans / Eugenics / Sex ratio / Female / Male / Population Control / Attitude / Paternalism / Data Collection / Family Planning / Social Values / Reproductive behavior / Prenatal Diagnosis / Rural Area / Boolean Satisfiability / Prenatal Care / Personal autonomy / Health Personnel / Disabled Persons

Utilização De Hardware Reconfigurável Para Acelerar a Satisfação Booleana

SAT Solver Design / Case Study / Reconfigurable Hardware / Boolean Satisfiability

Utilização de hardware reconfigurável para acelerar a satisfação booleana

SAT Solver Design / Case Study / Reconfigurable Hardware / Boolean Satisfiability
Copyright © 2017 DADOSPDF Inc.