Boolean Satisfiability Research Papers - Academia.edu (original) (raw)

Stringent emission regulations combined with customer demands for improved fuel economy and performance have forced the automotive industry to consider more advanced powertrain configurations than standard port-fuel injected gasoline engines. Modern state-of-the-art powertrain systems may combine several power sources (internal combustion engines, electric motors, fuel cells, etc.) and various exhaust aftertreatment devices (catalytic converters, lean NOx traps, particulate filters, etc.) in addition to conventional engine subsystems such as turbochargers and exhaust gas recirculation. The determination of the way in which these systems need to be operated to meet driver's torque demand, performance and fuel economy expectations while satisfying federal emission regulations is a complex and a multiobjective optimal control problem. This paper reviews some of the approaches to this problem in the context of two case studies

- by
- •
- Applied Mathematics, Multiobjective Optimization, Automotive Industry, Fuel Cell
- by Susy Harrigan
- •
- Family Therapy, Ethics, Early Intervention, Schizophrenia
- by Richard Wassersug
- •
- Psychology, Play Therapy, Prostate Cancer, Erectile dysfunction
- by Avishai Wool
- •
- SAT Solver Design, Optimization Problem, Power Analysis, Measurement Error
- by roma Performance
- •
- Data Analysis, TQM, Business and Management, Profitability
- by Edson Donizete De Carvalho and +3
- •
- Applied Mathematics, Mathematical Sciences, Boolean Satisfiability
- by J. Wielenga and +1
- •
- Nursing, Neonatal Nursing, Social Support, Adolescent
- by Veronika Huta and +1
- •
- Psychology, Cognitive Science, Happiness Studies, Self Determination Theory
- by Jennifer Arlen
- •
- Corporate Governance, STOCK EXCHANGE, Boolean Satisfiability
- by Ian Watt
- •
- Psychology, Health Psychology, Health Behavior, Transtheoretical Model
- by Erica Wilson
- •
- Data Analysis, Tourism, Boolean Satisfiability, Exploratory Study
- by Helena Martins
- •
- Decision Making, Forest Ecology And Management, Biological Sciences, Forest Policy
- by Opeti Pulotu
- •
- Higher Education, Small islands, South Pacific, Tertiary Education
- by chammie sorila
- •
- Information Systems, Human Computer Interaction, Design, Web Design
- by Ahmed Khalafallah
- •
- Civil Engineering, Multiobjective Optimization, Building, Minimum Travel Cost
- by Jozef ANNE
- •
- Bioinformatics, Genetics, Microbiology, Physiology

Three dimensional object extraction and recognition (OER) from LIDAR data has been an area of major interest in photogrammetry for quite a long time. However, most of the existing methods for automatic object extraction and recognition from LIDAR data are just based on the range information and employ parametric methods and object’s vagueness behaviour is basically neglected. Thus, these methods do not take into account the extraction and recognition complexities and may fail to reach a satisfied reliability level in complex situations. In this paper a novel approach based on the following strategies is formulated and implemented: (a) for a more comprehensive definition of the objects, information fusion concept is utilized, i.e., object’s descriptive components such as 3D structural and textural (ST) information are automatically extracted from first/last rang and intensity information of LIDAR data and simultaneously fed into the evaluation process, (b) for a more realistic expres...

- by Farhad Samadzadegan
- •
- Fuzzy Logic, Recognition, LiDAR, Region growing
- by mai elmasry
- •
- Engineering, Power Consumption, Process Variation, Comparative Analysis
- by Camilo Andres Rodriguez Parra
- •
- Zoology, Animal Behavior, Housing, Animal Welfare

The aim of this research is to understand the experience of the football sector on the use of artificial turf (satisfaction, safety, sporting feature, or the advantages and disadvantages). The study was conducted on a random selection of 627 male participants (404 amateur/semi-professional footballers, 101 coaches and 122 referees) that regularly train/compete on artificial turf in Spanish football leagues. The

- by Jose Felipe 02
- •
- Mechanical Engineering, Perception, Consumer Behavior, Soccer
- by Shui Feng
- •
- Statistics, Boolean Satisfiability, Markov Process
- by Mark Klock
- •
- Marketing, Law and Economics, Behavioral Economics, Financial Markets
- by Shane Brown and +1
- •
- Social Sciences, Curriculum Design, Engineering Education, Social Learning Theory
- by Melanie Hilario
- •
- Relational Database, Model Selection, Cross Validation, relational Learning
- by Colleen Seifert
- •
- Cognitive Psychology, Research Methodology, Planning, Problem Solving
- by Sasikumar Punnekkat
- •
- Engineering, Timing Analysis, Scheduling, Distributed System

With the emergence of the World Wide Web, analyzing and improving Web communication has become essential to adapt the Web content to the visitors’ expectations. Web communication analysis is traditionally performed by Web analytics software, which produce long lists of page-based audience metrics. These results suffer from page synonymy, page polysemy, page temporality, and page volatility. In addition, the metrics contain little semantics and are too detailed to be exploited by organization managers and chief editors, who need summarized and conceptual information to take high-level decisions. To obtain such metrics, we propose to classify the Web site pages into categories representing the Web site topics and to aggregate the page hits accordingly. In this paper, we show how to compute and visualize these metrics using OLAP tools. To solve the page-temporality issue, we propose to classify the versions of the pages using automatic classifiers.

- by Gianluca Bontempi
- •
- Ontology, Semantics, Linguistics, Volatility
- by Phongsak Keeratiwintakorn
- •
- Energy, Energy Consumption, Wireless Network, Information Exchange
- by Hwan Jin Kim
- •
- Engineering, Technology, Computer Networks, Service Quality
- by Epimenidis Voutsakis
- •
- Web search, Image Retrieval, Link analysis, Feature Extraction
- by R. Nadalini
- •
- Mechanical Engineering, Aerospace Engineering, System Integration, Control system
- by Fadoua Drira and +1
- •
- Principal Component Analysis, Binary Tree, Boolean Satisfiability, Unsupervised Classification
- by Ekram Hossain
- •
- Distributed Computing, Resource Allocation, Cognitive radio, Optimization Problem

With the profession of radiology experiencing workforce shortages among radiologists and radiological technologists many radiological groups were beginning to hire ancillary personnel to fill efficiency gaps in practices. Many academic... more

- by Brad Short
- •
- Patient Safety, Medicine, Social Responsibility, Humans
- by Arzad Kherani
- •
- Computer Science, Signal Processing, Congestion Control, Queueing theory
- by Richard Lippke
- •
- Law, Philosophy, Philosophy of Criminal Law, Boolean Satisfiability
- by James Maina
- •
- Civil Engineering, Linear Elasticity, Numerical Analysis, South Africa
- by Hoong Lau
- •
- Mathematics, Applied Mathematics, Computer Science, Local Search

Today, it can be maintained that the customer is a ‘king’ as he will buy only the products that satisfy his needs and wants. The companies of today are facing new challenges: global business and local operation, standardization, and individualization of products, demanding customers and fierce competition. The company wants to achieve shorter product development time, lower costs, high quality of the product, and finally, customer satisfaction. In order to achieve the set goals, the company has to take into account the customers wants and needs during the new-product-development process. This article presents the mode of description of processes that allow recognition of suitable natural systems and their transformation into technical systems and a model for management of development process. The phases of quality functions deployment (QFD) during the new product development process along with the location for collecting customer needs and wants are presented. A detailed description...

- by Joze Duhovnik
- •
- Business, Computer Science, Concurrent Engineering, Customer Satisfaction
- by Ahmed Gamal
- •
- Physics, Mathematical Economics, Optimal Control, Boolean Satisfiability
- by Enrique Llorens-Fuster and +1
- •
- Applied Mathematics, Pure Mathematics, Fixed Point Theory, Mathematical Model
- by Christian Borgs
- •
- Random Walk, Social Choice, Explicit Knowledge, Recommender System
- by Colm O'Morain
- •
- Occupational Health, Colorectal cancer, Irish medical history, Humans
- by José Caetano
- •
- European Union, Food Security, Genetic Engineering, Legislation
- by Oka Kurniawan
- •
- Engineering, Quantum Mechanics, Finite element method, Finite Element
- by Axel Jessner
- •
- Masers, Dust (Astronomy & Astrophysics), Magnetic field, Electromagnetic Waves

Nowadays, information and communication technologies are incorporating extremely rapidly to the individual's education and training. This trend lead the European academic research to focus on key terms like open distance learning or lifelong learning. In this context, there are a large number of past and actual projects and researches concerning the content, methodologies, technologies and new pedagogical challenges - all parts of so-called e- learning environments. There are a lot of achievements from this work but there is still a significant work left for the process of building a reliable and efficient learning process capable of satisfying the end user needs and meet the necessary requirements imposed by the educational organizations (content, standardization, measurement tools, ratings, etc.). This article reveals the components of an e-learning environment, the present trends in this research field and some conclusions.

- by Razvan Zota
- •
- Lifelong Learning, Information and Communication technology, User needs, New Economy