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 21-40 of 4990 (Search time: 0.01 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Kiesel Rafael Peter David - 2024 - Streaming and Quantitative Extensions of...pdf.jpgKiesel, Rafael Peter David Streaming and Quantitative Extensions of Answer Set ProgrammingThesis Hochschulschrift 2024
22Zeier Yannik - 2024 - Identifying Frameworks in Android Applications using...pdf.jpgZeier, Yannik Identifying Frameworks in Android Applications using Binary Code Function SimilarityThesis Hochschulschrift 2024
23Voboril Florentina - 2024 - SAT-based Local Improvement for the Closest String...pdf.jpgVoboril, Florentina SAT-based Local Improvement for the Closest String ProblemThesis Hochschulschrift 2024
24Sha, Lei ; Thomas Lukasiewicz Text attribute control via closed-loop disentanglementArticle Artikel 2024
25Song-2024-Nature Neuroscience-vor.pdf.jpgSong, Yuhang ; Millidge, Beren ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Xu, Zhenghua ; Bogacz, Rafal Inferring neural activity before plasticity as a foundation for learning beyond backpropagationArticle Artikel 2024
26Cini-2024-Journal of Cryptology-vor.pdf.jpgCini, Valerio ; Ramacher, Sebastian ; Slamanig, Daniel ; Striecks, Christoph ; Tairi, Erkan (Inner-product) functional encryption with updatable ciphertextsArticle Artikel 2024
27Liu, Xin ; Xia, Junqiang ; Deng, Shanshan ; Zhou, Meirong ; Mao, Beiping ; Blanckaert, Koen Hydrodynamic and Morphological Adaptation of Two Consecutive Sharp Bends of the Middle Yangtze River to Upstream DammingArticle Artikel 29-Dec-2023
28Lindorfer-2023-The Threat of Surveillance and the Need for Privacy Protec...-vor.pdf.jpgLindorfer, Martina The Threat of Surveillance and the Need for Privacy ProtectionsBook Contribution Buchbeitrag 21-Dec-2023
29Polleres-2023-Transactions on Graph Data and Knowledge-vor.pdf.jpgPolleres, Axel ; Pernisch, Romana ; Bonifati, Angela ; Dell´Aglio, Daniele ; Dobriy, Daniil ; Dumbrava, Stefania ; Etcheverry, Lorena ; Ferranti, Nicolas ; Hose, Katja ; Jimenez-Ruiz, Ernesto ; Lissandrini, Matteo ; Scherp, Ansgar ; Tommasini, Riccardo ; Wachs, Johannes How does knowledge evolve in open knowledge graphs?Article Artikel 19-Dec-2023
30Berthe, Gaétan ; Codert-Osman, Yoann ; Dobler, Alexander ; Morelle, Laure ; Reinald, Amadeus ; Rocton, Mathis PACE Solver Description: TouiouidthInproceedings Konferenzbeitrag 13-Dec-2023
31Aebeloe-2023-Semantic Web-vor.pdf.jpgAebeloe, Christian ; Montoya, Gabriela ; Hose, Katja Optimizing SPARQL queries over decentralized knowledge graphsArticle Artikel 13-Dec-2023
32di Angelo, Monika ; Salzer, Gernot Consolidation of Ground Truth Sets for Weakness Detection in Smart ContractsInproceedings Konferenzbeitrag 5-Dec-2023
33Zeimetz, Tobias ; Hose, Katja ; Schenkel, Ralf Tunable Query Optimizer for Web APIs and User PreferencesInproceedings Konferenzbeitrag 5-Dec-2023
34Ganian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej Hedonic diversity games: A complexity picture with more than two colorsArticle Artikel Dec-2023
35Khazaliya, Liana ; Kindermann, Philipp ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Simonov, Kirill The st-Planar Edge Completion Problem Is Fixed-Parameter TractableInproceedings Konferenzbeitrag Dec-2023
36Brand, Cornelius ; Lassota, Alexandra Fast Convolutions for Near-Convex SequencesInproceedings Konferenzbeitrag Dec-2023
37Yu, Miao ; Guo, Miaomiao ; Zhang, Shuai ; Zhan, Yuefu ; Zhao, Mingkang ; Lukasiewicz, Thomas ; Xu, Zhenghua RIRGAN: An end-to-end lightweight multi-task learning method for brain MRI super-resolution and denoisingArticle Artikel Dec-2023
38Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora The Defeat of the Winograd Schema ChallengeArticle Artikel Dec-2023
39Frieder, Simon ; Berner, Julius ; Petersen, Philipp ; Lukasiewicz, Thomas Large Language Models for MathematiciansArticle ArtikelDec-2023
40Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023