Search Results - ((mixed‐integer OR mixed‐interier) OR mixed‐internet) second‐order cone programming problemy*

Explainable Artificial Intelligence

Authors: Riccardo Guidotti Ute Schmid Luca Longo

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Tunnelling Into a Sustainable Future – Methods and Technologies : Proceedings of the ITA-AITES World Tunnel Congress 2025 (WTC 2025), 9-15 May 2025, Stockholm, Sweden

Authors: Fredrik Johansson Anders Ansell Daniel Johansson et al.

Resource Type: eBook.

Subjects: Tunnels--Congresses

Categories: TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Civil / Soil & Rock

Mining Goes Digital : Proceedings of the 39th International Symposium 'Application of Computers and Operations Research in the Mineral Industry' (APCOM 2019), June 4-6, 2019, Wroclaw, Poland

Authors: Christoph Mueller Winfred Assibey-Bonsu Ernest Baafi et al.

Resource Type: eBook.

Subjects: Mines and mineral resources--Data processing--Congresses, Mining engineering--Data processing--Congresses, Mining engineering--Technological innovations--Congresses

Categories: TECHNOLOGY & ENGINEERING / Mining

Integer Programming and Combinatorial Optimization : 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings

Authors: Karen Aardal Laura Sanità

Resource Type: eBook.

Subjects: Mathematics—Data processing, Computer science—Mathematics, Discrete mathematics, Application software

Categories: COMPUTERS / Computer Science, COMPUTERS / Business & Productivity Software / General, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Safety and Reliability – Safe Societies in a Changing World : Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway

Authors: Stein Haugen Anne Barros Coen van Gulijk et al.

Resource Type: eBook.

Subjects: Structural engineering, Industrial safety--Statistical methods--Congresses, Technology

Categories: TECHNOLOGY & ENGINEERING / Environmental / General, TECHNOLOGY & ENGINEERING / Civil / General

Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Authors: Helmut Simonis

Resource Type: eBook.

Subjects: Machine theory, Artificial intelligence, Software engineering, Computer science—Mathematics, Computer simulation

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation, MATHEMATICS / Applied

The Quadratic Unconstrained Binary Optimization Problem : Theory, Algorithms, and Applications

Authors: Abraham P. Punnen

Resource Type: eBook.

Subjects: Mathematical optimization--Industrial applications, Mathematical optimization

Categories: BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Management Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Optimization, COMPUTERS / Quantum Computing

Optimization of Complex Systems: Theory, Models, Algorithms and Applications

Authors: Hoai An Le Thi Hoai Minh Le Tao Pham Dinh

Resource Type: eBook.

Subjects: Mathematical optimization, Programming (Mathematics)

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Telecommunications

Theory and Applications of Satisfiability Testing – SAT 2018 : 21st International Conference, SAT 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Authors: Olaf Beyersdorff Christoph M. Wintersteiger

Resource Type: eBook.

Subjects: Computer science, Artificial intelligence, Software engineering, Computer programming, Computer science—Mathematics, Discrete mathematics, Artificial intelligence—Data processing

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Mathematical Optimization Theory and Operations Research : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Authors: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Resource Type: eBook.

Subjects: Computer science—Mathematics, Artificial intelligence, Algorithms, Computer networks, Artificial intelligence—Data processing, Computer science

Categories: MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms

Italian Manufacturing Association Conference

Authors: Fratini, L.

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Machine Learning, Optimization, and Data Science

Authors: Giuseppe Nicosia Panos Pardalos Giovanni Giuffrida et al.

Resource Type: eBook.

Subjects: Application software, Machine learning, Algorithms, Data mining

Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Handbook of Approximation Algorithms and Metaheuristics : Methologies and Traditional Applications, Volume 1

Authors: Teofilo F. Gonzalez

Resource Type: eBook.

Subjects: Mathematical optimization--Handbooks, manuals, etc, Heuristic algorithms--Data processing--Handbooks, manuals, etc, Computer algorithms--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Handbook of Approximation Algorithms and Metaheuristics : Contemporary and Emerging Applications, Volume 2

Authors: Teofilo F. Gonzalez

Resource Type: eBook.

Subjects: Mathematical optimization--Handbooks, manuals, etc, Heuristic algorithms--Data processing--Handbooks, manuals, etc, Computer algorithms--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Handbook of Discrete and Combinatorial Mathematics

Authors: Kenneth H. Rosen

Resource Type: eBook.

Subjects: Computer science--Mathematics--Handbooks, manuals, etc, Combinatorial analysis--Handbooks, manuals, etc

Categories: MATHEMATICS / Combinatorics, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / General

Hierarchical Modeling of Energy Systems

Authors: Nikolai I. Voropai Valery A. Stennikov

Resource Type: eBook.

Categories: SCIENCE / Environmental Science, BUSINESS & ECONOMICS / Economics / General

Optimization and Applications : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers

Authors: Nicholas Olenev Yuri Evtushenko Milojica Jaćimović et al.

Resource Type: eBook.

Subjects: Computer science—Mathematics, Artificial intelligence, Data structures (Computer science), Information theory

Categories: MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory

Advances in Optimization and Applications : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers

Authors: Nicholas Olenev Yuri Evtushenko Milojica Jaćimović et al.

Resource Type: eBook.

Subjects: Computer science—Mathematics, Artificial intelligence, Computer science

Categories: MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Authors: Gert-Martin Greuel Thorsten Koch Peter Paule et al.

Resource Type: eBook.

Subjects: Computer science—Mathematics, Discrete mathematics, Numerical analysis, Software engineering, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Handbook of Satisfiability : Second Edition

Authors: Armin Biere Hans van Maaren Toby Walsh

Resource Type: eBook.

Subjects: Computer algorithms--Congresses, Algebra, Boolean--Congresses, Propositional calculus--Congresses, Decision making--Congresses

Categories: COMPUTERS / Computer Science