Institut für Logic and Computation

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 81-100 of 253 (Search time: 0.023 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mischek Florian - 2022 - Automated project scheduling in real-world test...pdf.jpgMischek, Florian Automated project scheduling in real-world test laboratoriesThesis Hochschulschrift 2022
2Krasel Lukas Felician - 2022 - Optimization of container transportation for...pdf.jpgKrasel, Lukas Felician Optimization of container transportation for fixed-schedule block trains with optional round trips in collaborative logisticsThesis Hochschulschrift 2022
3Ettrich Rupert - 2022 - Using graph neural networks in local search for...pdf.jpgEttrich, Rupert Using graph neural networks in local search for edge-based relaxations of the maximum clique problemThesis Hochschulschrift 2022
4Ceylan Esra - 2022 - Optimal Seat arrangement Structure algorithms and...pdf.jpgCeylan, Esra Optimal Seat arrangement: Structure, algorithms, and complexityThesis Hochschulschrift 2022
5Hager Paul Theodor - 2022 - Curious apps Large-scale detection of apps scanning...pdf.jpgHager, Paul Theodor Curious apps: Large-scale detection of apps scanning your local networkThesis Hochschulschrift 2022
6Schoen Felix - 2022 - PAUL-2 A transformer-based algorithmic composer of...pdf.jpgSchön, Felix PAUL-2: A transformer-based algorithmic composer of two-track piano piecesThesis Hochschulschrift 2022
7Maurer Michael - 2022 - On automated theorem proving for assertional and...pdf.jpgMaurer, Michael On automated theorem proving for assertional and refutational natural deduction systemsThesis Hochschulschrift 2022
8Gius Martin - 2022 - On constructing assertional and complementary sequent...pdf.jpgGius, Martin On constructing assertional and complementary sequent calculi for non-deterministic finite-valued logicsThesis Hochschulschrift 2022
9Grasmann Lukas - 2022 - Integrating skyline queries into spark SQL Efficient and...pdf.jpgGrasmann, Lukas Integrating skyline queries into spark SQL : Efficient and productive integration of skyline queries into apache spark SQLThesis Hochschulschrift 2022
10Haimerl Nikolas - 2023 - Cross-Chain Traceability in Decentralized Finance.pdf.jpgHaimerl, Nikolas Tracing cryptoassets across chains: An empirical analysis of the Terra networkThesis Hochschulschrift 2022
11Luzian Sebastian - 2023 - A Systematic Investigation of Illicit Money Flows in...pdf.jpgLuzian, Sebastian A systematic investigation of illicit money flows in the DeFi ecosystemThesis Hochschulschrift 2022
12Merkl Timo - 2022 - Generating diverse solutions to conjunctive queries and...pdf.jpgMerkl, Timo Camillo Generating diverse solutions to conjunctive queries and propositional formulaeThesis Hochschulschrift 2022
13Okulmus Cem - 2023 - Parallel Computation of Structural Decompositions.pdf.jpgOkulmus, Cem Parallel Computation of Structural DecompositionsThesis Hochschulschrift 2022
14Kletzander Lucas - 2023 - Automated Solution Methods for Complex Real-life...pdf.jpgKletzander, Lucas Automated solution methods for complex real-life personnel scheduling problemsThesis Hochschulschrift 2022
15Pachinger Pia Simone - 2022 - A Recommender system for scientific referees based...pdf.jpgPachinger, Pia SimoneA Recommender system for scientific referees based on bibliographic databases and KGsThesis Hochschulschrift 2022
16Ederer Ian - 2022 - Enhancing meta-agent conflict-based search for the...pdf.jpgEderer, Ian Enhancing meta-agent conflict-based search for the multi-agent pathnding problem with informed merging and heuristicsThesis Hochschulschrift 2022
17Schueller Manuel - 2022 - Reasoning in financial knowledge graphs Making...pdf.jpgSchüller, Manuel Reasoning in financial knowledge graphs : Making Industry sectors accessible to AIThesis Hochschulschrift 2022
18Hamm Thekla - 2022 - Algorithmic Advances via Graph Decomposition.pdf.jpgHamm, Thekla Algorithmic advances via graph decompositionThesis Hochschulschrift 2022
19Stipkovits, Christian Der Einsatz von digitalen Unterrichtsmethoden während der COVID-19 PandemieThesis Hochschulschrift2022
20Grimm Niklas - 2021 - Static and dynamic enforcement of security via relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021