المؤلفون: Horčík, Rostislav, Torralba, Alvaro, Rytíř, Pavel, Chrpa, Lukáš, Edelkamp, Stefan

المساهمون: Kumar, Akshat, Thiebaux, Sylvie, Varakantham, Pradeep, Yeoh, William

المصدر: Horčík , R , Torralba , A , Rytíř , P , Chrpa , L & Edelkamp , S 2022 , Optimal Mixed Strategies for Cost-Adversarial Planning Games . in A Kumar , S Thiebaux , P Varakantham & W Yeoh (eds) , Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 . vol. 32 , AAAI Press , pp. 160-168 , The 32nd International Conference on Automated Planning and Scheduling , Singapore , Singapore , 13/06/2022 . https://doi.org/10.1609/icaps.v32i1.19797Test

العلاقة: https://vbn.aau.dk/da/publications/8ec94b0e-7d7e-4cd4-9f9b-7bc8f6460e92Test; urn:ISBN:9781577358749

الإتاحة: https://doi.org/10.1609/icaps.v32i1.19797Test
https://vbn.aau.dk/da/publications/8ec94b0e-7d7e-4cd4-9f9b-7bc8f6460e92Test
http://www.scopus.com/inward/record.url?scp=85142612990&partnerID=8YFLogxKTest
https://ojs.aaai.org/index.php/ICAPS/article/view/19797/19556Test

المؤلفون: Edelkamp, Stefan

المساهمون: Stefan Edelkamp

مصطلحات موضوعية: Sorting, Searching, Algorithm Engineering

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 160, 18th International Symposium on Experimental Algorithms (SEA 2020); urn:nbn:de:0030-drops-120766; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2020.2Test

الإتاحة: https://doi.org/10.4230/LIPIcs.SEA.2020.2Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-120766Test

المؤلفون: Edelkamp, Stefan, Weiß, Armin, Wild, Sebastian

المصدر: Edelkamp , S , Weiß , A & Wild , S 2020 , ' QuickXsort : A Fast Sorting Scheme in Theory and Practice ' , ALGORITHMICA , vol. 82 , no. 3 , pp. 509-588 . https://doi.org/10.1007/s00453-019-00634-0Test

مصطلحات موضوعية: Average-case analysis, Continuous master theorem, Heapsort, MergeInsertion, Mergesort, QuickHeapsort, QuickMergesort, Quicksort, Recurrence, Sorting, Variance

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.1007/s00453-019-00634-0Test
https://kclpure.kcl.ac.uk/portal/en/publications/f14db068-66da-4174-b739-96fd96aad7d5Test
https://kclpure.kcl.ac.uk/ws/files/146280264/QuickXsort_A_Fast_Sorting_EDELKAMP_Acc24Sep2019Epub22Oct2019_GREEN_AAM.pdfTest
http://www.scopus.com/inward/record.url?scp=85074608299&partnerID=8YFLogxKTest
https://livrepository.liverpool.ac.uk/3058984Test/

المؤلفون: Chrestien, Leah, Pevny, Tomas, Komenda, Antonin, Edelkamp, Stefan

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Machine Learning (cs.LG)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67bba7f381c191e525a93248fff2d03fTest
http://arxiv.org/abs/2209.05206Test

المؤلفون: Edelkamp, Stefan, Greulich, Christoph

المصدر: Edelkamp , S & Greulich , C 2018 , ' A case study of planning for smart factories : Model checking and Monte Carlo search for the rescue ' , International Journal on Software Tools for Technology Transfer , vol. 20 , no. 5 , pp. 515-528 . https://doi.org/10.1007/s10009-018-0498-1Test

مصطلحات موضوعية: Action planning, Flow production, Model checking, Monte Carlo search

الإتاحة: https://doi.org/10.1007/s10009-018-0498-1Test
https://kclpure.kcl.ac.uk/portal/en/publications/68bb6bd9-f9be-4064-9709-d0202a186aacTest
http://www.scopus.com/inward/record.url?scp=85050596101&partnerID=8YFLogxKTest

المؤلفون: Edelkamp, Stefan, Weiss, Armin

المساهمون: Stefan Edelkamp and Armin Weiss

مصطلحات موضوعية: in-place sorting, Quicksort, branch mispredictions, lean programs

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 57, 24th Annual European Symposium on Algorithms (ESA 2016); urn:nbn:de:0030-drops-63890; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2016.38Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ESA.2016.38Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-63890Test

المؤلفون: Edelkamp, Stefan, Elmasry, Amr, Katajainen, Jyrki

المصدر: Edelkamp , S , Elmasry , A & Katajainen , J 2016 , Heap-construction programs . CPH STL Report , no. 2 , vol. 2016 , Department of Computer Science, University of Copenhagen .

وصف الملف: application/pdf

الإتاحة: https://curis.ku.dk/portal/da/publications/heapconstruction-programsTest(9a7d2471-574a-44b8-a527-91b41be29202).html
https://curis.ku.dk/ws/files/178451788/doc.pdfTest

المؤلفون: Edelkamp, Stefan, Elmasry, Amr, Katajainen, Jyrki

المصدر: Edelkamp , S , Elmasry , A & Katajainen , J 2017 , ' Optimizing Binary Heaps ' , THEORY OF COMPUTING SYSTEMS , vol. 61 , no. 2 , pp. 606-636 . https://doi.org/10.1007/s00224-017-9760-2Test

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.1007/s00224-017-9760-2Test
https://kclpure.kcl.ac.uk/portal/en/publications/optimizing-binary-heapsTest(13ac33fa-bd7d-4059-b124-d8eaffcbb78b).html
https://kclpure.kcl.ac.uk/ws/files/87388857/TheoryComputingSzstems.pdfTest

المؤلفون: Torralba, Álvaro, Alcázar, Vidal, Kissmann, Peter, Edelkamp, Stefan

المساهمون: Universidad Carlos III de Madrid, Family Process Institute, Deutsche Forschungsgemeinschaft, Bundesministerium für Bildung und Forschung

المصدر: Artificial Intelligence ; volume 242, page 52-79 ; ISSN 0004-3702

مصطلحات موضوعية: Artificial Intelligence, Linguistics and Language, Language and Linguistics

الإتاحة: https://doi.org/10.1016/j.artint.2016.10.001Test
https://api.elsevier.com/content/article/PII:S000437021630114X?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S000437021630114X?httpAccept=text/plainTest

المؤلفون: Cimatti, Alessandro, Edelkamp, Stefan, Fox, Maria, Magazzeni, Daniele, Plaku, Erion

المصدر: Dagstuhl Reports, Volume 4, Issue 11; ISSN 2192-5283

مصطلحات موضوعية: planning via model checking, directed model checking, plan validation, falsification, GPU-based state space exploration, hybrid systems, heuristic sea

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.4230/DagRep.4.11.227Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-49731Test
https://drops.dagstuhl.de/opus/volltexte/2015/4973Test/