×

Found 195 Documents (Results 1–100)

Parameterized complexity of geodetic set. (English) Zbl 07764111

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 20, 14 p. (2020).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

An interpretable classification method for predicting drug resistance in \(M. tuberculosis\). (English) Zbl 1518.92080

Kingsford, Carl (ed.) et al., 20th international workshop on algorithms in bioinformatics. WABI 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 172, Article 2, 18 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Distributing battery swapping stations for electric scooters in an urban area. (English) Zbl 1506.90139

Olenev, Nicholas (ed.) et al., Optimization and applications. 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12422, 150-165 (2020).
MSC:  90B80 90C11 90C05
PDFBibTeX XMLCite
Full Text: DOI

Lossless compression of deep neural networks. (English) Zbl 07636034

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 417-430 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Minimum cycle partition with length requirements. (English) Zbl 07636025

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 273-282 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

Reinforcement learning for variable selection in a branch and bound algorithm. (English) Zbl 07636019

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 176-185 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Persistency of linear programming relaxations for the stable set problem. (English) Zbl 1503.90080

Bienstock, Daniel (ed.) et al., Integer programming and combinatorial optimization. 21st international conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12125, 351-363 (2020).
MSC:  90C10 90C27
PDFBibTeX XMLCite
Full Text: DOI

Schema compliant consistency management via triple graph grammars and integer linear programming. (English) Zbl 1507.68162

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 315-334 (2020).
MSC:  68Q42 90C10
PDFBibTeX XMLCite
Full Text: DOI

Concurrent MDPs with finite Markovian policies. (English) Zbl 1484.68032

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 37-53 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Data-driven integrated production and maintenance optimization. (English) Zbl 1471.90062

Neufeld, Janis S. (ed.) et al., Operations research proceedings 2019. Selected papers of the annual international conference of the German Operations Research Society (GOR), Dresden, Germany, September 4–6, 2019. Cham: Springer. Oper. Res. Proc., 43-49 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Incorporating differential equations into mixed-integer programming for gas transport optimization. (English) Zbl 1471.90033

Neufeld, Janis S. (ed.) et al., Operations research proceedings 2019. Selected papers of the annual international conference of the German Operations Research Society (GOR), Dresden, Germany, September 4–6, 2019. Cham: Springer. Oper. Res. Proc., 19-25 (2020).
MSC:  90B06 90C11 90C30
PDFBibTeX XMLCite
Full Text: DOI Link

Toward the realization of the “Europe 2020” agenda for economic growth in the European union: an empirical analysis based on goal programming. (English) Zbl 1466.91186

Dutta, Hemen (ed.), Mathematical modelling in health, social and applied sciences. Singapore: Springer. Forum Interdiscip. Math., 199-239 (2020).
PDFBibTeX XMLCite
Full Text: DOI

New symmetry-less ILP formulation for the classical one dimensional bin-packing problem. (English) Zbl 07336123

Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 423-434 (2020).
MSC:  68Rxx
PDFBibTeX XMLCite
Full Text: DOI HAL

Integer programming approach to the data traffic paths recovering problem. (English) Zbl 1460.90060

Kononov, Alexander (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12095, 455-469 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Using integer programming to search for counterexamples: a case study. (English) Zbl 1476.05101

Kononov, Alexander (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12095, 69-84 (2020).
MSC:  05C45 05C42 90C10
PDFBibTeX XMLCite
Full Text: DOI

Optimization. (English) Zbl 1486.90128

Pirsing, Andreas (ed.) et al., Decision support systems for water supply systems. Smart water system to improve the operation of water supply systems by using applied mathematics. Berlin: European Mathematical Society (EMS). EMS Ser. Ind. Appl. Math. 2, 73-104 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Cut and flow formulations for the balanced connected \(k\)-partition problem. (English) Zbl 1458.90556

Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 128-139 (2020).
MSC:  90C27 90C10 90C05
PDFBibTeX XMLCite
Full Text: DOI

Computing strongly admissible sets. (English) Zbl 1464.68355

Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 179-190 (2020).
PDFBibTeX XMLCite
Full Text: DOI

On track procession assignment problem at the railway network sections. (English. Russian original) Zbl 1455.90066

Autom. Remote Control 81, No. 6, 967-977 (2020); translation from Avtom. Telemekh. 2020, No. 6, 3-16 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software