Automatic planning and optimization of a laser radar inspection system

Συγγραφείς: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Συνεισφορές: Spensieri, Domenico, Author, Sandberg, Jack, Author, Åblad, Edvin, Author, Torstensson, Johan, Author, Kressin, Jonas, Author, Strand, Daniel, Author, Lindqvist, Richard, 1974-, Author

Πηγή: International journal of computer integrated manufacturing (Print). 39(2):303-317

Θεματικοί όροι: Inspection, laser sensor, computer-integrated manufacturing, integer programming, algorithms

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-364534
https://doi.org/10.1080/0951192X.2025.2493624

Towards An Unsupervised Learning Scheme for Efficiently Solving Parameterized Mixed-Integer Programs

Συγγραφείς: Qu, Shiyuan, Dong, Fenglian, Wei, Zhiwei, Shang, Chao

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2412.17623

Circuit and Graver Walks and Linear and Integer Programming

Συγγραφείς: Onn, Shmuel

Πηγή: Discrete Optimization, 54:100862 (7 pages), 2024

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Mathematics - Combinatorics, 05A, 15A, 51M, 52A, 52B, 52C, 62H, 68Q, 68R, 68U, 68W, 90B, 90C

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.00656

Space-Efficient Algorithm for Integer Programming with Few Constraints

Συγγραφείς: Rohwedder, Lars, Węgrzycki, Karol

Θεματικοί όροι: Computer Science - Data Structures and Algorithms

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2409.03681

A Unified Framework for Integer Programming Formulation of Graph Matching Problems

Συγγραφείς: Alidaee, Bahram, Wang, Haibo, Sloan, Hugh

Θεματικοί όροι: Computer Science - Data Structures and Algorithms, Computer Science - Computer Vision and Pattern Recognition, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.07666

Parameterized Algorithms on Integer Sets with Small Doubling: Integer Programming, Subset Sum and k-SUM

Συγγραφείς: Randolph, Tim, Węgrzycki, Karol

Θεματικοί όροι: Computer Science - Data Structures and Algorithms, F.2.1, F.2.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2407.18228

(Near)-Optimal Algorithms for Sparse Separable Convex Integer Programs

Συγγραφείς: Hunkenschröder, Christoph, Koutecký, Martin, Levin, Asaf, Vu, Tung Anh

Θεματικοί όροι: Computer Science - Data Structures and Algorithms, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.22212

Testing re-optimisation strategies in international kidney exchange programmes by the ENCKEP simulator

Συγγραφείς: Matyasi, Lilla^{Aff1, Aff2}, Biró, Péter^{Aff2, Aff3, IDs10100023008802_cor2}

Πηγή: Central European Journal of Operations Research. 32(4):989-1011

Fair integer programming under dichotomous and cardinal preferences

Συγγραφείς: Demeulemeester, Tom, Goossens, Dries, Hermans, Ben, Leus, Roel

Θεματικοί όροι: Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, Economics - Theoretical Economics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2306.13383

Ijuice: integer JUstIfied counterfactual explanations

Συγγραφείς: Kuratomi Hernandez, Alejandro, Author, Miliou, Ioanna, Author, Lee, Zed, Author, Lindgren, Tony, 1974-, Author, Papapetrou, Panagiotis, 1981-, Author

Συνεισφορές: Kuratomi Hernandez, Alejandro, Author, Miliou, Ioanna, Author, Lee, Zed, Author, Lindgren, Tony, 1974-, Author, Papapetrou, Panagiotis, 1981-, Author

Πηγή: Machine Learning. 113:5731-5771

Θεματικοί όροι: Machine Learning, Interpretability, Counterfactuals, Justification, Integer Programming, Graph Network, data- och systemvetenskap, Computer and Systems Sciences

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-227898
https://doi.org/10.1007/s10994-024-06530-1

The Power of Duality: Response Time Analysis meets Integer Programming

Συγγραφείς: Deppert, Max A., Jansen, Klaus

Θεματικοί όροι: Computer Science - Data Structures and Algorithms, Computer Science - Discrete Mathematics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2210.02361

Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers

Συγγραφείς: Cooper, Joshua F., Choi, Seung Jin, Buyuktahtakin, I. Esra

Θεματικοί όροι: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Mathematics - Combinatorics, Mathematics - Optimization and Control, Statistics - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2402.13380

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming

Συγγραφείς: Wang, Jie, Wang, Zhihai, Li, Xijun, Kuang, Yufei, Shi, Zhihao, Zhu, Fangzhou, Yuan, Mingxuan, Zeng, Jia, Zhang, Yongdong, Wu, Feng

Θεματικοί όροι: Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.12638

NICE: Robust Scheduling through Reinforcement Learning-Guided Integer Programming

Συγγραφείς: Kenworthy, Luke, Nayak, Siddharth, Chin, Christopher, Balakrishnan, Hamsa

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2109.12171

Benchmark Results for Bookshelf Organization Problem as Mixed Integer Nonlinear Program with Mode Switch and Collision Avoidance

Συγγραφείς: Lin, Xuan, Fernandez, Gabriel I., Hong, Dennis W.

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Robotics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2208.13158

Feed-forward neural networks as a mixed-integer program

Συγγραφείς: Aftabi, Navid^{Aff1, IDs00366025021142_cor1}, Moradi, Nima^Aff2, Mahroo, Fatemeh^Aff3

Πηγή: Engineering with Computers: An International Journal for Simulation-Based Engineering. 41(4):2411-2429

Stability Verification of Neural Network Controllers using Mixed-Integer Programming

Συγγραφείς: Schwan, Roland, Jones, Colin N., Kuhn, Daniel

Θεματικοί όροι: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Machine Learning, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2206.13374

Piecewise Polynomial Regression of Tame Functions via Integer Programming

Συγγραφείς: Bareilles, Gilles, Aspman, Johannes, Nemecek, Jiri, Marecek, Jakub

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Mathematics - Statistics Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2311.13544

Lifelong Learning for Neural powered Mixed Integer Programming

Συγγραφείς: Manchanda, Sahil, Ranu, Sayan

Πηγή: Proceedings of the AAAI Conference on Artificial Intelligence 37(7),9047-9054, 2023

Θεματικοί όροι: Mathematics - Optimization and Control, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2208.12226

On Integer Programs That Look Like Paths

Συγγραφείς: Briański, Marcin^Aff10, Lassota, Alexandra^Aff11, Pekárková, Kristýna^{Aff12, Aff13}, Pilipczuk, Michał^Aff14, Reuter, Janina^Aff15

Συνεισφορές: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Dey, Santanu S., editor^Aff7, Di Summa, Marco, editor^Aff8, Salvagnin, Domenico, editor^Aff9

Πηγή: Integer Programming and Combinatorial Optimization : 27th International Conference, IPCO 2026, Padua, Italy, June 17–19, 2026, Proceedings. 16588:158-172