Search Results - Constraint Programming Model

Web Applications with Javascript or Java : Constraint Validation, Enumerations, Special Datatypes / by Wagner, Gerd, Diaconescu, Mircea

Web Applications with Javascript or Java : Volume 1: Constraint Validation, Enumerations, Special Datatypes / by Wagner, Gerd, Diaconescu, Mircea

PDE Models for Multi-Agent Phenomena

Generalized Preinvexity and Second Order Duality in Multiobjective Programming by Yang, Xinmin

Advances in Hybridization of Intelligent Methods Models, Systems and Applications /

Table of Contents: “…Deep Learning Approaches for Facial Emotion Recognition: A Case Study on FER-2013 -- Analysis of Biologically Inspired Swarm Communication Models -- Target-Dependent Sentiment Analysis of Tweets using Bi-directional Gated Recurrent Neural Networks -- Traffic Modelling, Visualisation and Prediction for Urban Mobility Management -- Assurance in Reinforcement Learning Using Quantitative Verification -- Distillation of Deep Learning Ensembles as a Regularisation method -- Heuristic Constraint Answer Set Programming for Manufacturing Problems.…”

Operational Research IO2017, Valença, Portugal, June 28-30 /

Table of Contents: “…Oliveira and Maria Antónia Carravilla, Understanding complexity in a practical combinatorial problem using Mathematical Programming and Constraint Programming -- Beatriz B. …”

Robotics in Education Latest Results and Developments /

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2016 /

Data and Decision Sciences in Action Proceedings of the Australian Society for Operations Research Conference 2016 /

Table of Contents: “…What Latin Hypercube Is Not -- A BDI-Based Methodology for Eliciting Tactical Decision-Making Expertise -- Analysis of Demand and Operations of Inter-modal Terminals -- Efficient Models, Formulations and Algorithms for Some variants of Fixed Interval Scheduling Problems -- The Value of Flexible Road Designs Through Ecologically Sensitive Areas -- Local Cuts for 0-1 Multidimensional Knapsack Problems -- An Exact Algorithm for the Heterogeneous Fleet Vehicle Routing Problem with Time Windows and Three-dimensional Loading Constraints -- Automated Techniques for Generating Behavioural Models for Constructive Combat Simulations -- Analytic and Probabilistic Techniques for the Determination of Surface Spray Patterns from Air Bursting Munitions -- Reformulations and Computational Results for the Uncapacitated Single Allocation Hub Covering Problem -- Search Strategies for Problems with Detectable Boundaries and Restricted Level Sets -- Alternative Passenger Cars for the Australian Market: A Cost-Benefit Analysis -- A Quick Practical Guide to Polyhedral Analysis in Integer Programming -- Towards a Feasible Design Space for Proximity Alerts Between Two Aircraft in the Conflict Plane -- Constructing a Feasible Design Space for Multiple-Cluster Conflict and Task-load Assessment -- Open Pit Mine Production Planning and Scheduling: A Research Agenda -- A Comparative Study of Different Integer Linear Programming Approaches for Resource Constrained Project Scheduling Problems -- A Recovery Model for Sudden Supply Delay with Demand Uncertainty and Safety Stock -- Applying Action Research to Strategic Thinking Modelling -- Applying Action Research to Strategic Thinking Modelling -- SimR: Automating Combat Simulation Database Generation -- Battlespace Mobile/Ad Hoc Communication Networks: Performance, Vulnerability and Resilience -- Using Multi-Agent Simulation to Assess the Future Sustainability of Capability -- Application of Field Anomaly Relaxation to Battlefield Casualties and Treatment: A Formal Approach to Consolidating Large Morphological Spaces -- Network Analysis of Decision Loops in Operational Command and Control Arrangements -- Impact of Initial Level and Growth Rate in Multiplicative HW Model on Bullwhip Effect in a Supply Chain -- The P-Median Problem and Health Facilities: Cost Saving and Improvement in Healthcare Delivery through Facility Location -- A Bi-level Mixed Integer Programming Model to Solve the Multi- Servicing Facility Location Problem, Minimising Negative Impacts Due to Existing Semi-Obnoxious Facility -- Can Three Pronouns Discriminate Identity in Writing?.…”

Saturated Control of Linear Systems by Benzaouia, Abdellah

Operation, Planning, and Analysis of Energy Storage Systems in Smart Energy Hubs

Table of Contents: “…An Introduction to Smart Energy Systems and Definition of Smart Energy Hubs -- Impacts of Energy Storage Technologies and Renewable Energy Sources on Energy Hub Systems -- Robust Economic Emission Dispatch of Thermal Units and Compressed Air Energy Storages -- Solar Thermal Energy Storage for Residential Sector -- Optimal Short-term Scheduling of Photovoltaic Powered Multi-chiller Plants in the Presence of Demand Response Programs -- Basic Open-source Nonlinear Mixed Integer Pro-gramming Based Dynamic Economic Dispatch of Multi-chiller Plants -- Demand Response Participation in Renewable Energy Hubs -- Supply Side Management in Renewable Energy Hubs -- Optimal Stochastic Short-Term Scheduling of Renewable Energy Hubs Taking into Account the Uncertainties of the Renewable Sources -- Risk-constraint Scheduling of Storage and Re-newable Energy Integrated Energy Hubs -- Grid Integration of Large-Scale Electric Vehicles: Enabling Support Through Power Storage -- Optimal Operation of Renewable-based Residential Energy Hubs for Minimizing PV Curtailment -- Long-term Smart Grid Planning under Uncertainty Considering Reliability Indexes -- A Joint Energy Storage Systems and Wind Farms Long Term Planning Model Considering Voltage Stability -- Optimal Design, Operation and Planning of Dis-tributed Energy Systems through the Multi-energy Hub Network Approach -- Joint Electricity and Heat Optimal Power Flow of Energy Hubs -- Power-to-gas; A New Energy Storage Concept for Integration of Future Energy Systems -- Multi-objective Optimization Framework for Electricity and Natural Gas Energy Hubs under Hydrogen Storage System and Demand Response Program -- Index.…”

Advances in Algebra and Analysis International Conference on Advances in Mathematical Sciences, Vellore, India, December 2017 - Volume I /

Table of Contents: “…-On Intuitionistic Fuzzy C-ends -- Generalized Absolute Riesz Summability of Orthogonal Series -- Holder Inequalities for Analytic Functions defined by Ruschewyh-type q-difference Operator -- Fuzzy Cut Sets Based Filter for Fixed-Value Impulse Noise Reduction -- On (p, q)-quantum calculus involving quasi-subordination -- Part 3: Operations Research -- Sensitivity Analysis for Spanning Tree -- On Solving Bi-objective Fuzzy Transportation Problem -- Nonlinear Programming Problem for an M-Design Multi Skill Call Center with Impatience Basedon Queuing Model Method -- Optimizing a Production Inventory Model with Exponential Demand Rate, Exponential Deterioration, and Shortages -- Analysis of Batch Arrival Bulk Service Queuing System with Breakdown, Different Vacation Policies, and Multi Phase Repair -- An Improvement to One's BCM for the Balanced and Unbalanced Transshipment Problems by Using Fuzzy Numbers -- An Articulation Point Based Approximation Algorithm for Minimum Vertex Cover Problem -- On Bottleneck-Rough Cost Interval Integer Transportation Problems -- Direct Solving Method of Fully Fuzzy Linear Programming Problems with Equality Constraints Having Positive Fuzzy Numbers -- An Optimal Deterministic Two Warehouse Inventory Model for Deteriorating Items -- Analysis on Time to Recruitment in a Three Grade Marketing Organization Having Classified Sources of Depletion of Two Types with an Extended Threshold and Shortage in Manpower forms Geometric Process -- Neutrosophic Assignment Problem via BnB Algorithm -- Part 4: Statistics -- An Approach to Segment the Hippocampus from T2-Weighted MRI of Human Head Scans for the Diagnosis of Alzheimer's Disease Using Fuzzy C-Means Clustering -- Analysis of M^[X]/G_k/1 Retrial Queuing Model and Stand-by -- μ-Statistically Convergent Mutliple Sequences in Probabilistic Normed Spaces -- A Retrial Queuing Model with Unreliable Server in K Policy -- Two Level Control Policy of an Unreliable Queuing System with Queue Size Dependent Vacation and Vacation Disruption -- Analysis of M/G/1 Priority Retrial G-Queue with Bernoulli Working Vacations -- Time to Recruitment for Organizations having n Types of Policy Decisions with Lag Period for Non-Ideal Wastages -- A Novice's Application of Soft Expert Set: A Case Study on Students' Course Registration -- Dynamics of Stochastic SIRS Model -- Steady State Analysis of Unreliable Preemptive Priority Retrial Queue with Feedback, Two Phase Service under Bernoulli Vacation -- An Unrealizable Optional Stage M^X/G/1 Retrial Queue with Immediate Feedbacks and at most J Vacations -- Weibull Estimates in Reliability - An Order Statistics Approach -- Intuitionistic Fuzzy ANOVA and Its Application using Different Techniques -- A Resolution to Stock Prices Prediction by Developing ANN based Models using PCA -- A Novel Method of Solving Quadratic Programming Problem under Stochastic Conditions.…”

European Youth Labour Markets Problems and Policies /

Mathematics and Computing ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /

Table of Contents: “…A fuzzy random continuous ($Q,r,L$) inventory model involving controllable back-order rate and variable lead- time with imprecise chance constraint -- Chapter 19. …”

Assessing Water Rights in China by Wang, Yahua

Biopharmaceutical Applied Statistics Symposium Volume 3 Pharmaceutical Applications /

Recent Developments in Data Science and Business Analytics Proceedings of the International Conference on Data Science and Business Analytics (ICDSBA- 2017) /

Table of Contents: “…Part I Marketing and Supply Chain Analytics: Chapter1: Research on Differential Pricing and Coordination Mechanism of Second-Class Supply Chain of New Products and Remanufactured Products -- Chapter2: A study on Cooperation Strategies of Dual Channel Supply Chain Based on Service Level -- Chapter3: The Quality Management of Food Supply Chain in Perspective of Food Safety -- Chapter4: Strategic Customer Behavior with Risk Preference for a Supply Chain Management Based on Double Channel -- Chapter5: Competition and Coordination in Single-supplier Multiple-retailer Supply Chain -- Chapter6: Research on the Construction of Enterprise Brand Competitiveness Evaluation System Based on the Integration of SWOT and AHP Model -- Chapter7: Reflections on the Training Mode of E-commerce Professionals with improved Practical Exercises and Innovative Ability -- Chapter8: Research on Evaluating Marketing Ability of Traditional Chinese Medicine Enterprises in Gansu Province -- Part II: Logistics and Operations Analytics: Chapter9: The Impact of the Relationship between Operational Cost and Oil Prices on Economic Assessment in Oil and Gas Industry -- Chapter10: The Construction of University Students' Entrepreneurship Competency Model in Application-Oriented Universities -- Chapter11: Improving Airport Security Screening System in Terms of Efficiency and Fairness Via Network Model -- Chapter12: Study on the Choice of Strategic Emerging Industries in Gansu Province Based on Multi-level Grey Model -- Chapter13: The Study of "Big Quality" Satisfaction Evaluation -- Chapter14: Research on Evaluation Index System of Enterprise Brand Competitiveness - Taking Liquor Industry as an Example -- Chapter15: Simulation of Stochastic Volatility Variance Swap -- Chapter16: Empirical Research of the Contribution Rate of University Science and Technology to the Regional Economic Development -- Chapter17: Research on Incentive Strategy of Logistics Outsourcing about Manufacturing Enterprises -- Chapter18: Research on External Quality Inspection Technology of Tropical Fruits Based on Computer Vision -- Chapter19: Wholesale Price Contract and Quantity Discount Contract under Competition with Various Games -- Chapter20: Evaluation of Science and Technology Service Industry in Shandong Province -- Part III: Financial Analytics: Chapter21: CEO's Background Characteristics, Financing Preference and Firm Performance-----Empirical Evidence from China's A-share Listed Companies -- Chapter22: Security Risk Management Approach for Improving Information Security Return of Investment -- Chapter23: Comparative Analysis on Investment and Financing Models of Urban Rail Transportation -- Chapter24: Measuring Systemic Risk in the Chinese Financial System Based on Asymmetric Exponential Power Distribution -- Chapter25: Research on Liquidity Preferences of Mutual Fund -- Chapter26: Relationship of the Financial Agglomeration and Fiscal Expenditure Scale of Yangtze River Delta -- Chapter27: Applying Data Processing Method for Relationship Discovery in the Stock Market -- Chapter28: A Study on Assets Categorizations and Optimal Allocation via an Improved Algorithm -- Chapter29: Forecasting Stock Price Index Volatility with LSTM Deep Neural Network -- Chapter30: Improvement of Hedging Effect Based on the Average Hedging Ratio -- Chapter31: Finding the Lenders of Bad Credit Score Based on the Classification Method -- Part IV: Chapter32: Research Status and Prospect of Data Extraction and Cleaning Technology in Large Environment -- Chapter33: Research on Intelligent Sales Platform of Automobile Industry Based on Large Data Mining -- Chapter34: A Local Neighborhood Constraint Method for SIFT Features Matching -- Chapter35: A Wine Consumption Prediction Model Based on L-DAGLSSVM -- Chapter36: Fuzzy Control and Network System Design for Time Series Prediction Model -- Chapter37: Research on Data Storage Based on Cloud Platform -- Chapter38: An Automatic Multi-Objective Clustering based on Hierarchical Method -- Chapter39: Big Data Analytics for High Frequency Trading Volatility Estimation -- Chapter40: A Simulation of Sample Variance Calculation in the Teaching of Business Statistics to English Majors -- Chapter41: Application of Clinical Diagnosis and Treatment Data of Coronary Heart Disease Based on Association Rules -- Chapter42: Bibliometric Analysis of Spatial Econometrics -- Chapter43: Using Diagnostic Analysis to Discover Offensive Patterns in a Football Game -- Chapter44: Fuzzy Game Based on Fuzzy Comparison Operator -- Chapter45: An Analysis of Business English Translation Research in China -- Part V: Chapter46: Optimum Design And Function Improvement Of Mobile Nursing System -- Chapter47: Technology Development and Networking Application of a Mobile Passive Optical Access Network System -- Chapter48: Improvement of E-MIMLSVM+ Algorithm Based on Semi-Supervised Learning -- Chapter49: The Method of Improving Learning Ability of "C Language Programming Design" Course -- Chapter50: Implementation of Koch Curves Based on Html5 -- Chapter51: The Proposal of Centralization Deployment of Cadre Management Information System of SGCC -- Chapter52: Research and Designing of Grounding Fault Diagnosis for Small Current System Based on DsPIC33 and MCP3903 -- Chapter53: Mobile Phone Addiction in Youngsters: Concept and Measurement -- Chapter54: Measurement and Empirical Research of High Technology Industry Development for Mainland China Region -- Chapter55: Sina Weibo User Influence Research.…”

Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017,...

Table of Contents: “…1.Detection of network attacks using hybrid ARIMA-GARCH model- 2.Towards mixed-mode risk management - a concept; Andrzej Bialas and Barbara Flisiuk -- 3.Software support of the Common Criteria vulnerability assessment -- 4.On the performance of some C# constructions -- 5.Deep Stacking Convex Neuro-Fuzzy System and its On-line Learning -- 6.Fault tolerant ASIC/ULA-based computing systems testing via FPGA prototyping with fault injection -- 7.Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk -- 8.Modelling an Optimal Capital Structure of the Telecommunication Company -- 9.Specification of constraints in a System-of-Systems configuration; Dariusz Caban and Tomasz Walkowiak -- 10.A Methodological Framework for Model-based Self-Management of Services and Components in Dependable Cyber-Physical Systems -- 11.Maintenance of wind turbine scheduling based on output power data and wind forecast -- 12.Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13.Scheduling tasks in embedded systems based on NoC architecture using Simulated Annealing -- 14.Adaptation of Ant Colony Algorithm for CAD of complex systems with higher degree of dependability -- 15.Context-Aware Anomaly Detection in Embedded Systems;Fatemeh Ehsani-Besheli and Hamid R. …”

Shallow Clouds, Water Vapor, Circulation, and Climate Sensitivity

Optimization and Control of Dynamic Systems Foundations, Main Developments, Examples and Challenges / by Górecki, Henryk