Información de la indexación
518.028553 Documentos en la biblioteca con la clasificación 518 (134)
Crear una solicitud de compra Refinar búsqueda13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / Matsatsinis, Nikolaos F. ; Marinakis, Yannis ; Pardalos, Panos
TÃtulo : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Matsatsinis, Nikolaos F., ; Marinakis, Yannis, ; Pardalos, Panos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 400 p. 98 ilustraciones, 49 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-38629-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas Algoritmos Red de computadoras Sistemas informáticos Software de la aplicacion Estructuras de datos (Informática) TeorÃa de la información Matemática Computacional y Análisis Numérico Redes de comunicación informática Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Estructuras de datos y teorÃa de la información Clasificación: 518 Resumen: Este libro constituye el pChania, Creta, Grecia, minuciosamente arbitrado en mayo de 2019. Los 38 artÃculos completos presentados han sido cuidadosamente revisados ​​y seleccionados entre 52 envÃos. Los artÃculos se centran en desarrollos de investigación avanzada en campos interconectados como la programación matemática, la optimización global, el aprendizaje automático y la inteligencia artificial y describen ideas, tecnologÃas, métodos y aplicaciones avanzadas en optimización y aprendizaje automático. Nota de contenido: Machine learning -- Artificial Intelligence -- Machine learning approaches -- Bio-inspired optimization -- Optimization with randomized search heuristics -- Evolutionary algorithms -- Continuous optimization -- Mathematical optimization -- Routing and network design problems -- Supervised learning -- Unsupervised learning -- Reinforcement learning -- Planning and scheduling -- Distributed artificial intelligence -- Multi-agent systems -- Intelligent agents. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed pChania, Crete, Greece, in May 2019. The 38 full papers presented have been carefully reviewed and selected from 52 submissions. The papers focus on advanced research developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence and describe advanced ideas, technologies, methods, and applications in optimization and machine learning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers [documento electrónico] / Matsatsinis, Nikolaos F., ; Marinakis, Yannis, ; Pardalos, Panos, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIII, 400 p. 98 ilustraciones, 49 ilustraciones en color.
ISBN : 978-3-030-38629-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas Algoritmos Red de computadoras Sistemas informáticos Software de la aplicacion Estructuras de datos (Informática) TeorÃa de la información Matemática Computacional y Análisis Numérico Redes de comunicación informática Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Estructuras de datos y teorÃa de la información Clasificación: 518 Resumen: Este libro constituye el pChania, Creta, Grecia, minuciosamente arbitrado en mayo de 2019. Los 38 artÃculos completos presentados han sido cuidadosamente revisados ​​y seleccionados entre 52 envÃos. Los artÃculos se centran en desarrollos de investigación avanzada en campos interconectados como la programación matemática, la optimización global, el aprendizaje automático y la inteligencia artificial y describen ideas, tecnologÃas, métodos y aplicaciones avanzadas en optimización y aprendizaje automático. Nota de contenido: Machine learning -- Artificial Intelligence -- Machine learning approaches -- Bio-inspired optimization -- Optimization with randomized search heuristics -- Evolutionary algorithms -- Continuous optimization -- Mathematical optimization -- Routing and network design problems -- Supervised learning -- Unsupervised learning -- Reinforcement learning -- Planning and scheduling -- Distributed artificial intelligence -- Multi-agent systems -- Intelligent agents. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed pChania, Crete, Greece, in May 2019. The 38 full papers presented have been carefully reviewed and selected from 52 submissions. The papers focus on advanced research developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence and describe advanced ideas, technologies, methods, and applications in optimization and machine learning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Kotsireas, Ilias S., ; Pardalos, Panos M., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 430 p. 91 ilustraciones, 62 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53552-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas Red de computadoras Ciencias de la Computación Sistemas informáticos Software de la aplicacion Informática Matemáticas discretas Matemática Computacional y Análisis Numérico Redes de comunicación informática TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Matemáticas discretas en informática Clasificación: 518 Resumen: Este libro constituye las actas arbitradas posteriores a la conferencia sobre Aprendizaje y Optimización Inteligente, LION 14, celebrada en Atenas, Grecia, en mayo de 2020. Los 37 artÃculos completos presentados junto con un artÃculo invitado han sido cuidadosamente revisados ​​y seleccionados entre 75 presentaciones. LION se ocupa del diseño y la ingenierÃa de formas de "aprender" sobre el rendimiento de diferentes técnicas y de formas de utilizar la experiencia pasada sobre el comportamiento del algoritmo para mejorar el rendimiento en el futuro. Los esquemas de aprendizaje inteligentes para extraer el conocimiento obtenido en lÃnea o fuera de lÃnea pueden mejorar el proceso de diseño de algoritmos y simplificar las aplicaciones de métodos de optimización de alto rendimiento. Las combinaciones de diferentes algoritmos pueden mejorar aún más la robustez y el rendimiento de los componentes individuales. Debido a la pandemia de COVID-19, LION 14 no se llevó a cabo como una reunión fÃsica. . Nota de contenido: Optimization for Urban Air Mobility -- A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking -- Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective -- QPTAS for the CVRP with a moderate number of routes in a metric space of any xed doubling dimension -- Early detection of eating disorders through machine learning techniques -- On Finding Minimum Cardinality Subset of Vectors with a Constraint on the Sum of Squared Euclidean Pairwise Distances -- Practical Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks -- A Class of Linear Programs Solvable by Coordinate-wise Minimization -- Travel times equilibration procedure for route- flow traffic assignment problem -- confStream: Automated Algorithm Selection and Configuration of Stream Clustering Algorithms -- Randomized Algorithms for Some Sequence Clustering Problems -- Hyper-parameterized Dialectic Search for Non-Linear Box-constrained Optimization with Heterogenous Variable Types -- Least Squares K-SVCR Multi-class Classification -- Active learning based framework for image captioning corpus creation -- Reducing space search in combinatorial optimization using machine learning tools -- Impact of the Discretization of VOCs for Cancer Prediction using a Multi-Objective Algorithm -- AUGMECON2 method for a bi-objective U-shaped assembly line balancing problem -- Two-Channel Conflict-Free Square Grid Aggregation -- Online Stacking using RL with Positional and Tactical Features -- Power consumption estimation in data centers using machine learning techniques -- Automated tuning of a column generation algorithm -- Pool-based Realtime Algorithm Configuration: A Preselection Bandit Approach -- A Memetic Approach for the Unicost Set Covering Problem -- Dynamic Visual Few-Shot Learning through Parameter Prediction Network -- An Alternating DCA-based Approach for Reduced-Rank Multitask Linear Regression with Covariance Estimation -- PSO-based cooperative learning using chunking -- The problem of the hospital surgery department debottlenecking -- Learning Optimal Control of Water Distribution Networks through Sequential Model-based Optimization -- Composition of kernel and acquisition functions for High Dimensional Bayesian Optimization -- A Pareto Simulated Annealing for the Integrated Problem of Berth and Quay Crane Scheduling at Maritime Container Terminals with Multiple Objectives and Stochastic Arrival Times of Vessels -- HotelSimu: Simulation-based Optimization for Hotel Dynamic Pricing -- Heuristic Search Strategies for Noisy Optimization -- Uncertainty of efficient frontier in portfolio optimization -- Learning to configure mathematical programming solvers by mathematical programming -- Convex Hulls in Solving Multiclass Pattern Recognition Problem -- Least Correntropic Loss Regression -- Novelty Discovery with Kernel Minimum Enclosing Balls -- DESICOM as Metaheuristic Search. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 14, held in Athens, Greece, in May 2020. The 37 full papers presented together with one invited paper have been carefully reviewed and selected from 75 submissions. LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components. Due to the COVID-19 pandemic, LION 14 was not held as a physical meeting. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers [documento electrónico] / Kotsireas, Ilias S., ; Pardalos, Panos M., . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 430 p. 91 ilustraciones, 62 ilustraciones en color.
ISBN : 978-3-030-53552-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas Red de computadoras Ciencias de la Computación Sistemas informáticos Software de la aplicacion Informática Matemáticas discretas Matemática Computacional y Análisis Numérico Redes de comunicación informática TeorÃa de la Computación Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Matemáticas discretas en informática Clasificación: 518 Resumen: Este libro constituye las actas arbitradas posteriores a la conferencia sobre Aprendizaje y Optimización Inteligente, LION 14, celebrada en Atenas, Grecia, en mayo de 2020. Los 37 artÃculos completos presentados junto con un artÃculo invitado han sido cuidadosamente revisados ​​y seleccionados entre 75 presentaciones. LION se ocupa del diseño y la ingenierÃa de formas de "aprender" sobre el rendimiento de diferentes técnicas y de formas de utilizar la experiencia pasada sobre el comportamiento del algoritmo para mejorar el rendimiento en el futuro. Los esquemas de aprendizaje inteligentes para extraer el conocimiento obtenido en lÃnea o fuera de lÃnea pueden mejorar el proceso de diseño de algoritmos y simplificar las aplicaciones de métodos de optimización de alto rendimiento. Las combinaciones de diferentes algoritmos pueden mejorar aún más la robustez y el rendimiento de los componentes individuales. Debido a la pandemia de COVID-19, LION 14 no se llevó a cabo como una reunión fÃsica. . Nota de contenido: Optimization for Urban Air Mobility -- A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking -- Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective -- QPTAS for the CVRP with a moderate number of routes in a metric space of any xed doubling dimension -- Early detection of eating disorders through machine learning techniques -- On Finding Minimum Cardinality Subset of Vectors with a Constraint on the Sum of Squared Euclidean Pairwise Distances -- Practical Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks -- A Class of Linear Programs Solvable by Coordinate-wise Minimization -- Travel times equilibration procedure for route- flow traffic assignment problem -- confStream: Automated Algorithm Selection and Configuration of Stream Clustering Algorithms -- Randomized Algorithms for Some Sequence Clustering Problems -- Hyper-parameterized Dialectic Search for Non-Linear Box-constrained Optimization with Heterogenous Variable Types -- Least Squares K-SVCR Multi-class Classification -- Active learning based framework for image captioning corpus creation -- Reducing space search in combinatorial optimization using machine learning tools -- Impact of the Discretization of VOCs for Cancer Prediction using a Multi-Objective Algorithm -- AUGMECON2 method for a bi-objective U-shaped assembly line balancing problem -- Two-Channel Conflict-Free Square Grid Aggregation -- Online Stacking using RL with Positional and Tactical Features -- Power consumption estimation in data centers using machine learning techniques -- Automated tuning of a column generation algorithm -- Pool-based Realtime Algorithm Configuration: A Preselection Bandit Approach -- A Memetic Approach for the Unicost Set Covering Problem -- Dynamic Visual Few-Shot Learning through Parameter Prediction Network -- An Alternating DCA-based Approach for Reduced-Rank Multitask Linear Regression with Covariance Estimation -- PSO-based cooperative learning using chunking -- The problem of the hospital surgery department debottlenecking -- Learning Optimal Control of Water Distribution Networks through Sequential Model-based Optimization -- Composition of kernel and acquisition functions for High Dimensional Bayesian Optimization -- A Pareto Simulated Annealing for the Integrated Problem of Berth and Quay Crane Scheduling at Maritime Container Terminals with Multiple Objectives and Stochastic Arrival Times of Vessels -- HotelSimu: Simulation-based Optimization for Hotel Dynamic Pricing -- Heuristic Search Strategies for Noisy Optimization -- Uncertainty of efficient frontier in portfolio optimization -- Learning to configure mathematical programming solvers by mathematical programming -- Convex Hulls in Solving Multiclass Pattern Recognition Problem -- Least Correntropic Loss Regression -- Novelty Discovery with Kernel Minimum Enclosing Balls -- DESICOM as Metaheuristic Search. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 14, held in Athens, Greece, in May 2020. The 37 full papers presented together with one invited paper have been carefully reviewed and selected from 75 submissions. LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components. Due to the COVID-19 pandemic, LION 14 was not held as a physical meeting. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings Tipo de documento: documento electrónico Autores: van Hoeve, Willem-Jan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXVI, 616 p. 155 ilustraciones ISBN/ISSN/DL: 978-3-319-93031-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Sistemas operativos (computadoras) Inteligencia artificial Operating systems Matemáticas discretas en informática Análisis numérico Procesamiento de datos Matemáticas discretas Matemáticas Informática Algoritmo Ciencia de los datos Clasificación: 518 Resumen: Este libro constituye las actas de la 15.ª Conferencia internacional sobre integración de técnicas de inteligencia artificial e investigación de operaciones en programación con restricciones para problemas de optimización combinatoria, CPAIOR 2018, celebrada en Delft (PaÃses Bajos) en junio de 2018. Los 47 artÃculos completos presentados, junto con 3 resúmenes de charlas invitadas y 3 resúmenes de artÃculos de revistas de publicación acelerada, fueron cuidadosamente revisados ​​y seleccionados de entre 111 presentaciones. La conferencia reúne a investigadores interesados ​​en la programación con restricciones, la inteligencia artificial y la investigación de operaciones para presentar nuevas técnicas o aplicaciones en la intersección de estos campos y brinda una oportunidad para que los investigadores de un área aprendan sobre las técnicas de las otras y demuestren cómo la integración de técnicas de diferentes campos puede conducir a resultados interesantes en problemas grandes y complejos. Nota de contenido: Time-bounded Query Generator for Constraint Acquisition -- Propagating lex, Find and Replace with Dashed Strings -- Designing Fair, Effcient, and Interpretable Policies for Prioritizing Homeless Youth for Housing Resources -- An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science -- Dealing with Demand Uncertainty in Service Network and Load Plan Design -- Energy-Aware Production Scheduling with Power-Saving Modes -- Episode Support: A Global Constraint for Mining Frequent Patterns in A Long Sequence of Events -- Off-line and on-line Optimization Under Uncertainty: A Case Study on Energy Management -- Reasoning on Sequences in Constraint-Based Local Search Frameworks -- Guiding Constraint Programming with Hot Starts for High School Timetabling -- Epiphytic Trees: Relational Consistency Applied to Global Optimization Problems -- Learning Heuristics for the TSP by Policy Gradient -- Three-Dimensional Matching Instances Are Rich in Stable Matchings -- From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP -- Constrained-based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately -- Chasing First Queens by Integer Programming -- Accelerating Counting-Based Search -- Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study -- Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks -- Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design -- A Dynamic Discretization Discovery Algorithm for the Minimum Duration Time-Dependent Shortest Path Problem -- Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms -- Horizontally Elastic Not-First/Not-Last Filtering Algorithm for Cumulative Resource Constraint -- Soft-regular with a Prefix-size Violation Measure -- Constraint and Mathematical Programming for Integrated Port Container Terminal Operations -- Heuristic Variants for A* Search in 3D Flight Planning -- Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia -- Objective Landscapes for Constraint Programming -- An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling -- Modeling and Solving the Senior Transportation Problem -- Solver Independent Rotating Workforce Scheduling -- Greedy Randomized Search for Scalable Compilation of Quantum Circuits -- A Comparison of Optimization Methods for Multi-Objective Constrained Bin Packing Problems -- A O(n log^2 n) Checker and O(n^2 log n) Filtering Algorithm for the Energetic Reasoning -- The Weighted Circuits LMax Constraint -- A Local Search Framework for Compiling Relaxed Decision Diagrams -- Symmetry Breaking Inequalities from the Schreier-Sims table -- Frequency-based Multi-agent Patrolling Model and Its Area Partitioning Solution Method for Balanced Workload -- Algorithms for Sparse k-Monotone Regression -- Revisiting the Self-Adaptive Large Neighbourhood Search -- A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs -- Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization -- Learning a Classification of Mixed-Integer Quadratic Programming Problems -- Fleet Scheduling in Underground Mines using Constraint Programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018. The 47 full papers presented together with 3 abstracts of invited talks and 3 abstracts of fast-track journal papers were carefully reviewed and selected from 111 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings [documento electrónico] / van Hoeve, Willem-Jan, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXVI, 616 p. 155 ilustraciones.
ISBN : 978-3-319-93031-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Sistemas operativos (computadoras) Inteligencia artificial Operating systems Matemáticas discretas en informática Análisis numérico Procesamiento de datos Matemáticas discretas Matemáticas Informática Algoritmo Ciencia de los datos Clasificación: 518 Resumen: Este libro constituye las actas de la 15.ª Conferencia internacional sobre integración de técnicas de inteligencia artificial e investigación de operaciones en programación con restricciones para problemas de optimización combinatoria, CPAIOR 2018, celebrada en Delft (PaÃses Bajos) en junio de 2018. Los 47 artÃculos completos presentados, junto con 3 resúmenes de charlas invitadas y 3 resúmenes de artÃculos de revistas de publicación acelerada, fueron cuidadosamente revisados ​​y seleccionados de entre 111 presentaciones. La conferencia reúne a investigadores interesados ​​en la programación con restricciones, la inteligencia artificial y la investigación de operaciones para presentar nuevas técnicas o aplicaciones en la intersección de estos campos y brinda una oportunidad para que los investigadores de un área aprendan sobre las técnicas de las otras y demuestren cómo la integración de técnicas de diferentes campos puede conducir a resultados interesantes en problemas grandes y complejos. Nota de contenido: Time-bounded Query Generator for Constraint Acquisition -- Propagating lex, Find and Replace with Dashed Strings -- Designing Fair, Effcient, and Interpretable Policies for Prioritizing Homeless Youth for Housing Resources -- An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science -- Dealing with Demand Uncertainty in Service Network and Load Plan Design -- Energy-Aware Production Scheduling with Power-Saving Modes -- Episode Support: A Global Constraint for Mining Frequent Patterns in A Long Sequence of Events -- Off-line and on-line Optimization Under Uncertainty: A Case Study on Energy Management -- Reasoning on Sequences in Constraint-Based Local Search Frameworks -- Guiding Constraint Programming with Hot Starts for High School Timetabling -- Epiphytic Trees: Relational Consistency Applied to Global Optimization Problems -- Learning Heuristics for the TSP by Policy Gradient -- Three-Dimensional Matching Instances Are Rich in Stable Matchings -- From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP -- Constrained-based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately -- Chasing First Queens by Integer Programming -- Accelerating Counting-Based Search -- Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study -- Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks -- Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design -- A Dynamic Discretization Discovery Algorithm for the Minimum Duration Time-Dependent Shortest Path Problem -- Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms -- Horizontally Elastic Not-First/Not-Last Filtering Algorithm for Cumulative Resource Constraint -- Soft-regular with a Prefix-size Violation Measure -- Constraint and Mathematical Programming for Integrated Port Container Terminal Operations -- Heuristic Variants for A* Search in 3D Flight Planning -- Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia -- Objective Landscapes for Constraint Programming -- An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling -- Modeling and Solving the Senior Transportation Problem -- Solver Independent Rotating Workforce Scheduling -- Greedy Randomized Search for Scalable Compilation of Quantum Circuits -- A Comparison of Optimization Methods for Multi-Objective Constrained Bin Packing Problems -- A O(n log^2 n) Checker and O(n^2 log n) Filtering Algorithm for the Energetic Reasoning -- The Weighted Circuits LMax Constraint -- A Local Search Framework for Compiling Relaxed Decision Diagrams -- Symmetry Breaking Inequalities from the Schreier-Sims table -- Frequency-based Multi-agent Patrolling Model and Its Area Partitioning Solution Method for Balanced Workload -- Algorithms for Sparse k-Monotone Regression -- Revisiting the Self-Adaptive Large Neighbourhood Search -- A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs -- Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization -- Learning a Classification of Mixed-Integer Quadratic Programming Problems -- Fleet Scheduling in Underground Mines using Constraint Programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018. The 47 full papers presented together with 3 abstracts of invited talks and 3 abstracts of fast-track journal papers were carefully reviewed and selected from 111 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers Tipo de documento: documento electrónico Autores: Simos, Dimitris E., ; Pardalos, Panos M., ; Kotsireas, Ilias S., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 410 p. 115 ilustraciones, 84 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-92121-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas IngenierÃa Informática Red de computadoras Algoritmos Matemática Computacional y Análisis Numérico IngenierÃa Informática y Redes Clasificación: 518 Resumen: Este libro constituye las actas arbitradas posteriores a la conferencia sobre Aprendizaje y Optimización Inteligente, LION 15, celebrada en Atenas, Grecia, en junio de 2021. Los 30 artÃculos completos presentados han sido cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. LION se ocupa del diseño y la ingenierÃa de formas de "aprender" sobre el rendimiento de diferentes técnicas y de formas de utilizar la experiencia pasada sobre el comportamiento del algoritmo para mejorar el rendimiento en el futuro. Los esquemas de aprendizaje inteligentes para extraer el conocimiento obtenido en lÃnea o fuera de lÃnea pueden mejorar el proceso de diseño de algoritmos y simplificar las aplicaciones de métodos de optimización de alto rendimiento. Las combinaciones de diferentes algoritmos pueden mejorar aún más la robustez y el rendimiento de los componentes individuales. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 15, held in Athens, Greece, in June 2021. The 30 full papers presented have been carefully reviewed and selected from 35 submissions. LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers [documento electrónico] / Simos, Dimitris E., ; Pardalos, Panos M., ; Kotsireas, Ilias S., . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 410 p. 115 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-92121-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas IngenierÃa Informática Red de computadoras Algoritmos Matemática Computacional y Análisis Numérico IngenierÃa Informática y Redes Clasificación: 518 Resumen: Este libro constituye las actas arbitradas posteriores a la conferencia sobre Aprendizaje y Optimización Inteligente, LION 15, celebrada en Atenas, Grecia, en junio de 2021. Los 30 artÃculos completos presentados han sido cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. LION se ocupa del diseño y la ingenierÃa de formas de "aprender" sobre el rendimiento de diferentes técnicas y de formas de utilizar la experiencia pasada sobre el comportamiento del algoritmo para mejorar el rendimiento en el futuro. Los esquemas de aprendizaje inteligentes para extraer el conocimiento obtenido en lÃnea o fuera de lÃnea pueden mejorar el proceso de diseño de algoritmos y simplificar las aplicaciones de métodos de optimización de alto rendimiento. Las combinaciones de diferentes algoritmos pueden mejorar aún más la robustez y el rendimiento de los componentes individuales. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 15, held in Athens, Greece, in June 2021. The 30 full papers presented have been carefully reviewed and selected from 35 submissions. LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings Tipo de documento: documento electrónico Autores: Rousseau, Louis-Martin, ; Stergiou, Kostas, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XX, 662 p. 389 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-19212-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial Compiladores e intérpretes Análisis numérico Informática Algoritmo Modelos de Computación Compiladores (programas informáticos) Clasificación: 518 Resumen: Este libro constituye las actas de la 16.ª Conferencia Internacional sobre Integración de Programación Restringida, Inteligencia Artificial e Investigación de Operaciones, CPAIOR 2019, celebrada en Salónica, Grecia, en junio de 2019. Los 34 artÃculos completos presentados junto con 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionado entre 94 presentaciones. La conferencia reúne a investigadores interesados ​​de Programación de Restricciones (CP), Inteligencia Artificial (IA) e Investigación de Operaciones (OR) para presentar nuevas técnicas o aplicaciones y brindar una oportunidad para que los investigadores de un área aprendan sobre técnicas de otras. Un objetivo principal de esta serie de conferencias es también brindar a estos investigadores la oportunidad de mostrar cómo la integración de técnicas de diferentes campos puede conducir a resultados interesantes sobre problemas grandes y complejos. Nota de contenido: Constraint Programming for Dynamic Symbolic Execution of JavaScript -- Sequential and Parallel Solution-Biased Search for Subgraph Algorithms -- Core-Boosted Linear Search for Incomplete MaxSAT solving -- Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation -- Local Rapid Learning for Integer Programs -- A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming -- Generating Compound Moves in Local Search by Hybridisation with Complete Search -- SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations -- A Constraint Programming Approach to Electric Vehicle Routing with Time Windows -- A Sampling-free Anticipatory Algorithm for the Kidney Exchange Problem -- Evaluating Ising Processing Units with Integer Programming -- Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems -- A Counting-Based Approach to Scalable Micro-service Deployment -- An Optimization Approach to the Ordering Phase of an Attended Home DeliveryService -- Consistency for 0-1 Programming -- Prediction + Optimization for the Knapsack Problem -- The maximum weighted submatrix coverage problem: A CP approach -- Learning MILP Resolution Outcomes Before Reaching Time-Limit -- An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem -- Investigating Constraint Programming for Real-World Industrial Test Laboratory Scheduling -- An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem -- Optimality Clue for Graph Coloring Problem -- Computing Wasserstein Barycenters via Linear Programming -- Repairing Learned Controllers with Convex Optimization: a Case Study -- A Hybrid Approach for Exact Coloring of Massive Graphs -- Modelling and Solving the Minimum Shift Design Problem -- A Computational Comparison of Optimization Methods for the Golomb Ruler Problem -- A new CP-approach for a parallel machine scheduling problem with time constraints on machine qualifications -- Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming -- Heat Exchanger Circuitry Design by Decision Diagrams -- A Column Generation for Online Ride-Sharing Services -- Some experiments with submodular function maximization via integer programming -- Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation -- Last-Mile Scheduling Under Uncertainty -- Building Optimal Steiner Trees on Supercomputers by using up to 43,000 Cores -- Deep Inverse Optimization -- A Study on the Traveling Salesman Problem with a Drone -- Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams -- Extending Compact-MDD to Basic Smart Multi-Valued Variable Diagrams -- Arc Consistency Revisited -- Embedding Decision Diagrams into Generative Adversarial Networks -- Time Table Edge Finding with Energy Variables -- Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019. The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings [documento electrónico] / Rousseau, Louis-Martin, ; Stergiou, Kostas, . - 1 ed. . - [s.l.] : Springer, 2019 . - XX, 662 p. 389 ilustraciones, 91 ilustraciones en color.
ISBN : 978-3-030-19212-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Inteligencia artificial Compiladores e intérpretes Análisis numérico Informática Algoritmo Modelos de Computación Compiladores (programas informáticos) Clasificación: 518 Resumen: Este libro constituye las actas de la 16.ª Conferencia Internacional sobre Integración de Programación Restringida, Inteligencia Artificial e Investigación de Operaciones, CPAIOR 2019, celebrada en Salónica, Grecia, en junio de 2019. Los 34 artÃculos completos presentados junto con 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionado entre 94 presentaciones. La conferencia reúne a investigadores interesados ​​de Programación de Restricciones (CP), Inteligencia Artificial (IA) e Investigación de Operaciones (OR) para presentar nuevas técnicas o aplicaciones y brindar una oportunidad para que los investigadores de un área aprendan sobre técnicas de otras. Un objetivo principal de esta serie de conferencias es también brindar a estos investigadores la oportunidad de mostrar cómo la integración de técnicas de diferentes campos puede conducir a resultados interesantes sobre problemas grandes y complejos. Nota de contenido: Constraint Programming for Dynamic Symbolic Execution of JavaScript -- Sequential and Parallel Solution-Biased Search for Subgraph Algorithms -- Core-Boosted Linear Search for Incomplete MaxSAT solving -- Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation -- Local Rapid Learning for Integer Programs -- A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming -- Generating Compound Moves in Local Search by Hybridisation with Complete Search -- SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations -- A Constraint Programming Approach to Electric Vehicle Routing with Time Windows -- A Sampling-free Anticipatory Algorithm for the Kidney Exchange Problem -- Evaluating Ising Processing Units with Integer Programming -- Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems -- A Counting-Based Approach to Scalable Micro-service Deployment -- An Optimization Approach to the Ordering Phase of an Attended Home DeliveryService -- Consistency for 0-1 Programming -- Prediction + Optimization for the Knapsack Problem -- The maximum weighted submatrix coverage problem: A CP approach -- Learning MILP Resolution Outcomes Before Reaching Time-Limit -- An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem -- Investigating Constraint Programming for Real-World Industrial Test Laboratory Scheduling -- An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem -- Optimality Clue for Graph Coloring Problem -- Computing Wasserstein Barycenters via Linear Programming -- Repairing Learned Controllers with Convex Optimization: a Case Study -- A Hybrid Approach for Exact Coloring of Massive Graphs -- Modelling and Solving the Minimum Shift Design Problem -- A Computational Comparison of Optimization Methods for the Golomb Ruler Problem -- A new CP-approach for a parallel machine scheduling problem with time constraints on machine qualifications -- Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming -- Heat Exchanger Circuitry Design by Decision Diagrams -- A Column Generation for Online Ride-Sharing Services -- Some experiments with submodular function maximization via integer programming -- Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation -- Last-Mile Scheduling Under Uncertainty -- Building Optimal Steiner Trees on Supercomputers by using up to 43,000 Cores -- Deep Inverse Optimization -- A Study on the Traveling Salesman Problem with a Drone -- Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams -- Extending Compact-MDD to Basic Smart Multi-Valued Variable Diagrams -- Arc Consistency Revisited -- Embedding Decision Diagrams into Generative Adversarial Networks -- Time Table Edge Finding with Energy Variables -- Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019. The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
