Boolean Satisfiability

Trio2Promela: A Model Checker for Temporal Metric Specifications

Model Checking / Boolean Satisfiability / Temporal Logic

Las redes neuronales como herramientas estadísticas no paramétricas de clasificación

Psychology / Neural Network / Discriminant Analysis / Psicothema / Statistical Model / Boolean Satisfiability

A model parametric real-time logic

Information Systems / Computer Software / Formal Specification / Real Time Systems / First Order Logic / Boolean Satisfiability / Temporal Logic / Boolean Satisfiability / Temporal Logic

A model parametric real-time logic

Information Systems / Computer Software / Formal Specification / Real Time Systems / First Order Logic / Boolean Satisfiability / Temporal Logic / Boolean Satisfiability / Temporal Logic

Teorías Implícitas, Diseño Organizacional y Eficacia

Organizational Effectiveness / Parameter estimation / Revista / Organizational Design / Boolean Satisfiability

Estándares de calidad asistencial en la EPOC

Health Care / Quality of Mental Health Care / Quality Assurance / Humans / Arch / Health Care Quality / Quality Criteria / Clinical Sciences / Health care access / Patient Care / Quality Standard / Chronic obstructive pulmonary disease / Boolean Satisfiability / Standard of Care / Quantitative Evaluation / Health Care Quality / Quality Criteria / Clinical Sciences / Health care access / Patient Care / Quality Standard / Chronic obstructive pulmonary disease / Boolean Satisfiability / Standard of Care / Quantitative Evaluation

Entangling photons via the double quantum Zeno effect

Quantum Information Processing / Mathematical Sciences / Electromagnetically Induced Transparency / Physical sciences / Quantum Computer / CHEMICAL SCIENCES / Boolean Satisfiability / Two Photon Absorption / CHEMICAL SCIENCES / Boolean Satisfiability / Two Photon Absorption

A New Constrained Parameter Estimator: Experiments in Fundamental Matrix Computation

Parameter estimation / Fundamental Matrix / Boolean Satisfiability / Image Features

A new approach to constrained parameter estimation applicable to some computer vision problems

Computer Vision / Parameter estimation / Video Analysis / Stereo Vision / Statistical Methods / Gold Standard / Fundamental Matrix / Boolean Satisfiability / Cost Function / Gold Standard / Fundamental Matrix / Boolean Satisfiability / Cost Function

Experimental study on a metal hydride based hydrogen compressor

Materials Engineering / Condensed Matter Physics / Heat Transfer / Hydrogen Production / Experimental Study / Management System / Boolean Satisfiability / Thermal Cycling / Flow Rate / Low Pressure Boiler / Compression Ratio / Management System / Boolean Satisfiability / Thermal Cycling / Flow Rate / Low Pressure Boiler / Compression Ratio

Delayed facial palsy after vestibular schwannoma surgery

Clinical Sciences / Facial Nerve / Boolean Satisfiability / Prospective Study

Minimum loss predispatch model for hydroelectric power systems

Power System / Power Plant / Power Generation / Operant Conditioning / Boolean Satisfiability / Load Flow / Southern Brazil / Power flow / Electrical And Electronic Engineering / Load Flow / Southern Brazil / Power flow / Electrical And Electronic Engineering

Estudo comparativo de duas diferentes modalidades de analgesia controlada pelo paciente após cirurgia cardíaca

Cardiac Surgery / Patient Satisfaction / Randomized Trial / Postoperative pain / Randomized Clinical Trial / Boolean Satisfiability / Side Effect / Heart Surgery / Postoperative Period / Patient Controlled Analgesia / Boolean Satisfiability / Side Effect / Heart Surgery / Postoperative Period / Patient Controlled Analgesia

From Local Adjacency Polynomials to Locally Pseudo-Distance-Regular Graphs

Pure Mathematics / Eigenvalues / Spectrum / ALGEBRA COMBINATORIAL NUMBER THEORY / Boolean Satisfiability

Improving behavioral design pattern detection through model checking

Model Checking / Dynamic Analysis / Formal Specification / Formal Verification / Design Pattern / Linear Temporal Logic / Dynamic Panel Data / Sequence Diagram / Unified Modeling Language / Software Systems / Boolean Satisfiability / Software System / Design and Implementation / Temporal Logic / Linear Temporal Logic / Dynamic Panel Data / Sequence Diagram / Unified Modeling Language / Software Systems / Boolean Satisfiability / Software System / Design and Implementation / Temporal Logic

Singular perturbations generating complexification phenomena for elliptic shells

Mechanical Engineering / Civil Engineering / Computational Mechanics / Finite Element / Numerical Simulation / Oscillations / Singular perturbation problems / Theoretical Analysis / Interdisciplinary Engineering / Boolean Satisfiability / Shell Model / Adaptive Mesh / Oscillations / Singular perturbation problems / Theoretical Analysis / Interdisciplinary Engineering / Boolean Satisfiability / Shell Model / Adaptive Mesh

Copyright © 2017 DATOSPDF Inc.