Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Larsen, Kim Skak"'
Publikováno v:
Knudsen, A N, Chiarandini, M & Larsen, K S 2018, Heuristic Variants for A* Search in 3D Flight Planning . in W-J van Hoeve (ed.), Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings . 1 edn, Springer, Lecture Notes in Computer Science, vol. 10848, pp. 361-376, 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Delft, Netherlands, 26/06/2018 . https://doi.org/10.1007/978-3-319-93031-2_26
A crucial component of a flight plan to be submitted for approval to a control authority in the pre-flight phase is the prescription of a sequence of airways and airway points in the sky that an aircraft has to follow to cover a given route. The gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::5f76ea5b6870216ed4af252e59dc4f8d
https://findresearcher.sdu.dk:8443/ws/files/153046944/Heuristic_Variants_for_A_Search_in_3D_Flight_Planning.pdf
https://findresearcher.sdu.dk:8443/ws/files/153046944/Heuristic_Variants_for_A_Search_in_3D_Flight_Planning.pdf
Publikováno v:
Knudsen, A N, Chiarandini, M & Larsen, K S 2017, Constraint Handling in Flight Planning . in J Christopher Beck (ed.), 23rd International Conference on Principles and Practice of Constraint Programming . Springer, Lecture Notes in Computer Science, vol. 10416, pp. 354-369, 23rd International Conference on Principles and Practice of Constraint Programming, Melbourne, Victoria, Australia, 28/08/2017 . https://doi.org/10.1007/978-3-319-66158-2_23
Flight routes are paths in a network, the nodes of which represent waypoints in a 3D space. A common approach to route planning is first to calculate a cheapest path in a 2D space, and then to optimize the flight cost in the third dimension. We focus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::69969a3597abf48f2da83cf6802091bf
https://portal.findresearcher.sdu.dk/da/publications/d6b95d2c-7759-4c29-b9f9-4c0ba8acda08
https://portal.findresearcher.sdu.dk/da/publications/d6b95d2c-7759-4c29-b9f9-4c0ba8acda08
Publikováno v:
Boyar, J, Favrholdt, L M, Kotrbcik, M & Larsen, K S 2017, Relaxing the Irrevocability Requirement for Online Graph Algorithms . in F Ellen, A Kolokolova & J-R Sack (eds), Algorithms and Data Structures : Proceedings of the 15th International Symposium on Algorithms and Data Structures . Springer, Lecture Notes in Computer Science, vol. 10389, pp. 217-228, 15th International Algorithms and Data Structures Symposium 2017, St. John's, Newfoundland and Labrador, Canada, 30/07/2017 . https://doi.org/10.1007/978-3-319-62127-2_19
Online graph problems are considered in models where the irrevocability requirement is relaxed. Motivated by practical examples where, for example, there is a cost associated with building a facility and no extra cost associated with doing it later,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::ba9c675ac9682f016f890fdd5e401440
https://findresearcher.sdu.dk:8443/ws/files/141252467/Relaxing_the_Irrevocability_Requirement_for_Online_Graph_Algorithms.pdf
https://findresearcher.sdu.dk:8443/ws/files/141252467/Relaxing_the_Irrevocability_Requirement_for_Online_Graph_Algorithms.pdf
Publikováno v:
Hansen, B N, Larsen, K S, Merkle, D & Mihalchuk, A 2017, DNA-Templated Synthesis Optimization . in R Brijder & L Qian (eds), 23rd International Conference on DNA Computing and Molecular Programming . Springer, Lecture Notes in Computer Science, vol. 10467, pp. 17-32, 23rd International Conference on DNA Computing and Molecular Programming, Austin, Texas, United States, 24/09/2017 . https://doi.org/10.1007/978-3-319-66799-7_2
In chemistry, synthesis is the process in which a target compound is produced in a step-wise manner from given base compounds. A recent, promising approach for carrying out these reactions is DNA-templated synthesis, since, as opposed to more traditi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::463f1f17dace3708eda7c5eef22f634f
https://portal.findresearcher.sdu.dk/da/publications/f401b329-693d-48ce-8be0-a9309e141b8f
https://portal.findresearcher.sdu.dk/da/publications/f401b329-693d-48ce-8be0-a9309e141b8f
Publikováno v:
Kehlet Jensen, C, Chiarandini, M & Larsen, K S 2017, Flight Planning in Free Route Airspaces . in G D'Angelo & T Dollevoet (eds), 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, OpenAccess Series in Informatics, vol. 59, pp. 14:1-14:14, 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, Vienna, Austria, 04/09/2017 . https://doi.org/10.4230/OASIcs.ATMOS.2017.14
We consider the problem of finding cheapest flight routes through free route airspaces in a 2D setting. We subdivide the airspace into regions determined by a Voronoi subdivision around the points from a weather forecast. This gives rise to a regular
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8e4cbb9bf8ea36d4f6844a179c2ce1c
Publikováno v:
Cruz-Filipe, L, Larsen, K S & Schneider-Kamp, P 2017, How to Get More Out of Your Oracles . in M Ayala-Rincón & C A Muñoz (eds), Proceedings of the 8th International Conference on Interactive Theorem Proving . Springer, Lecture Notes in Computer Science, vol. 10499, pp. 164-170, 8th International Conference on Interactive Theorem Proving, Brasília, Brazil, 26/09/2017 . https://doi.org/10.1007/978-3-319-66107-0_11
Formal verification of large computer-generated proofs often relies on certified checkers based on oracles. We propose a methodology for such proofs, advocating a separation of concerns between formalizing the underlying theory and optimizing the alg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::aafc28df0233d17e892bc24a0e362915
https://portal.findresearcher.sdu.dk/da/publications/23f0447b-c67e-46cf-9e8d-5619d48c49b6
https://portal.findresearcher.sdu.dk/da/publications/23f0447b-c67e-46cf-9e8d-5619d48c49b6
Publikováno v:
Boyar, J, Epstein, L, Favrholdt, L M, Larsen, K S & Levin, A 2017, Batch Coloring of Graphs . in M Mastrolilli & K Jansen (eds), Approximation and Online Algorithms : 14th International Workshop on Approximation and Online Algorithms, WAOA 2016 . Springer, Lecture Notes in Computer Science, vol. 10138, pp. 52-64, 14th International Workshop on Approximation and Online Algorithms, Aarhus, Denmark, 25/08/2016 . https://doi.org/10.1007/978-3-319-51741-4_5
In graph coloring problems, the goal is to assign a positive integer color to each vertex of an input graph such that adjacent vertices do not receive the same color assignment. For classic graph coloring, the goal is to minimize the maximum color us
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::8665b34008da832418461222eeeb41c2
https://arxiv.org/pdf/1610.02997.pdf
https://arxiv.org/pdf/1610.02997.pdf
Publikováno v:
Knudsen, A N, Chiarandini, M & Larsen, K S 2016, Vertical Optimization of Resource Dependent Flight Paths . in G A Kaminka, M Fox, P Bouquet, E Hüllermeier, V Dignum, F Dignum & F van Harmelen (eds), Proceedings of the Twenty-Second European Conference on Artificial Intelligence . IOS Press, Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 639-645, 22nd European Conference on Artificial Intelligence, The Hague, Netherlands, 29/08/2016 . https://doi.org/10.3233/978-1-61499-672-9-639
Flight routes are paths calculated on a network of waypoints representing 3D-coordinates. A common approach is first to calculate a path in a 2D-network, taking into account feasibility constraints, and then to optimize the altitude of the flight.We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::0ffafe64a93b2bb7b671d71fed31f2d5
https://findresearcher.sdu.dk:8443/ws/files/129531997/Vertical_Optimization_of_Resource_Dependent_Flight_Paths.pdf
https://findresearcher.sdu.dk:8443/ws/files/129531997/Vertical_Optimization_of_Resource_Dependent_Flight_Paths.pdf
Publikováno v:
Boyar, J, Epstein, L, Favrholdt, L M, Larsen, K S & Levin, A 2016, Online Bounded Analysis . in A S Kulikov & G J Woeginger (eds), Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings . Springer, Lecture Notes in Computer Science, vol. 9691, pp. 131-145, 11th International Computer Science Symposium in Russia, St. Petersburg, Russian Federation, 09/06/2016 . https://doi.org/10.1007/978-3-319-34171-2_10
Though competitive analysis is often a very good tool for the analysis of online algorithms, sometimes it does not give any insight and sometimes it gives counter-intuitive results. Much work has gone into exploring other performance measures, in par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::8f9eff5b0564984dc93bbed086a41664
https://portal.findresearcher.sdu.dk/da/publications/1696205a-7b53-4653-b380-089c79a4fba5
https://portal.findresearcher.sdu.dk/da/publications/1696205a-7b53-4653-b380-089c79a4fba5
Publikováno v:
Christ, M G, Favrholdt, L M & Larsen, K S 2015, Online Multi-Coloring with Advice . in E Bampis & O Svensson (eds), Approximation and Online Algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers . Springer, Lecture Notes in Computer Science, vol. 8952, pp. 83-94, 12th Workshop on Approximation and Online Algorithms, Wrocław, Poland, 11/09/2014 . https://doi.org/10.1007/978-3-319-18263-6_8
We consider the problem of online graph multi-coloring with advice. Multi-coloring is often used to model frequency allocation in cellular networks. We give several nearly tight upper and lower bounds for the most standard topologies of cellular netw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3062::cff2767c583db9184224b48ea23cc51c
https://portal.findresearcher.sdu.dk/da/publications/0d7053cd-7b10-40a4-907a-3a0c6c06f22c
https://portal.findresearcher.sdu.dk/da/publications/0d7053cd-7b10-40a4-907a-3a0c6c06f22c