Indexaxión 518
518.1 Documentos en la biblioteca con la clasificación 518 (131)
Hacer una sugerencia 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. Palabras clave: Inteligencia artificial Compiladores e intérpretes Análisis numérico Informática Algoritmo Modelos de Computación Compiladores (programas informáticos) Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
Palabras clave: Inteligencia artificial Compiladores e intérpretes Análisis numérico Informática Algoritmo Modelos de Computación Compiladores (programas informáticos) Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
