Search Results - Constraint Programming

Refine Results
  1. 1

    Constraint Programming and Decision Making: Theory and Applications

    ISBN: 9783319617534
    ISSN: 2198-4182 ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
  2. 2
  3. 3

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

    ISBN: 9783110499957
    Published: München ; Wien : De Gruyter Oldenbourg, [2017]

    Get full text
    eBook
  4. 4

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

    ISBN: 9783110499957
    Published: München ; Wien : De Gruyter Oldenbourg, 2017

    Get full text
    eBook
  5. 5

    Legal and Regulatory Constraints on the Application and Implementation of IST Research Results for New Working Environments

    Published: Brussels : European Commission,Information Society Directorate-General, 2005

    Get full text
    Book
  6. 6

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

    ISBN: 9789811319815
    ISSN: 1931-6828 ;
    Published: Singapore : Springer Singapore , 2018.

    Get full text
    Electronic eBook
  7. 7

    Actors, Institutions, and the Making of EU Gender Equality Programs by Ahrens, Petra

    ISBN: 9781137570604
    ISSN: 2662-5814
    Published: London : Palgrave Macmillan UK, 2018.

    Get full text
    Electronic eBook
  8. 8

    Enterprise Cybersecurity Study Guide How to Build a Successful Cyberdefense Program Against Advanced Threats / by Donaldson, Scott E.

    ISBN: 9781484232583
    Published: Berkeley, CA : Apress, 2018.

    Get full text
    Electronic eBook
  9. 9

    PDE Models for Multi-Agent Phenomena

    ISBN: 9783030019471
    ISSN: 2281-518X ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
  10. 10

    Family Economics and Public Policy, 1800s-Present How Laws, Incentives, and Social Programs Drive Family Decision-Making and the US Economy / by Way, Megan McDonald

    ISBN: 9781137439635
    ISSN: 2662-3900
    Published: New York : Palgrave Macmillan US, 2018.

    Get full text
    Electronic eBook
  11. 11

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

    ISBN: 9783319667904
    ISSN: 2190-3018 ;
    Published: Cham : Springer International Publishing, 2018.
    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.…”

    Get full text
    Electronic eBook
  12. 12

    Robotics in Education Latest Results and Developments /

    ISBN: 9783319628752
    ISSN: 2194-5357 ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
  13. 13

    Saturated Control of Linear Systems by Benzaouia, Abdellah

    ISBN: 9783319659909
    ISSN: 2198-4182 ;
    Published: Cham : Springer International Publishing, 2018.
    Table of Contents: “…Introduction -- Regulator Problem for Linear Systems with Constraints on Control and Its Increment -- Constrained Control and Rate or Increment for Linear Systems with Additivie Disturbances -- Robust Constratined Linear Regulator Problem -- Observer-Based Constrained Control -- Observer-Based Regulator Problem for WWTP with Constraints on the Control -- Regulator Problem for Linear Singular Systems with Constrained Control -- Regulation of Linear Singular Systems under Constrained Control Magnitude and Rate -- Constrained Observer-Based Control for Linear Singular Systems -- Stability and Control Synthesis for Discrete-Time Linear Systems Subject to Actuator Saturation by Output Feedback -- The Regulator Problem for Linear Systems with Asymmetric Saturations on the Control and Its Increments or Rate: An LMI Approach -- Stabilization of Unsymmetrical Saturated Control: An LMI Approach -- System Stabilization by Unsymmetrical Constrained State Feedback -- Control of a Hydrogen Reformer with Output Feedback: An LMI Approach -- l1-control Using Linear Programming for Systems with Asymmetric Bounds -- Stabilization of 2-D Continuous Systems with Multi-Delays and Saturated Control.…”

    Get full text
    Electronic eBook
  14. 14

    Parametric Interval Algebraic Systems by Skalna, Iwona

    ISBN: 9783319751870
    ISSN: 1860-949X ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
  15. 15

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

    ISBN: 9783319598611
    ISSN: 1860-949X ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
  16. 16

    SQL Primer An Accelerated Introduction to SQL Basics / by Batra, Rahul

    ISBN: 9781484235768
    Published: Berkeley, CA : Apress, 2018.

    Get full text
    Electronic eBook
  17. 17

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

    ISBN: 9783319750972
    Published: Cham : Springer International Publishing, 2018.
    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.…”

    Get full text
    Electronic eBook
  18. 18

    Optimization Problems in Graph Theory In Honor of Gregory Z. Gutin's 60th Birthday /

    ISBN: 9783319948300
    ISSN: 1931-6828 ;
    Published: Cham : Springer International Publishing, 2018.
    Table of Contents: “…Andrade and Endre Boros and Vladimir Gurvich) -- Computing the Line Index of Balance Using Integer Programming Optimisation (Samin Aref, Andrew J. Mason and Mark C. …”

    Get full text
    Electronic eBook
  19. 19

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

    ISBN: 9783319559148
    ISSN: 2198-0772
    Published: Cham : Springer International Publishing, 2018.
    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?.…”

    Get full text
    Electronic eBook
  20. 20

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

    ISBN: 9783319715834
    ISSN: 2194-1009 ;
    Published: Cham : Springer International Publishing, 2018.
    Table of Contents: “…Oliveira and Maria Antónia Carravilla, Understanding complexity in a practical combinatorial problem using Mathematical Programming and Constraint Programming -- Beatriz B. …”

    Get full text
    Electronic eBook