Fakultät für Informatik

Informatik.jpg picture
 
Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 41-60 of 22533 (Search time: 0.009 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
42Hoffmann, David ; Nowacki, Natalie Samanta ; Biffl, Stefan ; Kiesling, Elmar ; Meixner, Kristof ; Lüder, Arndt Interdisciplinary Production Risk Exploration: A Grounded Approach to Integrate Data- and Knowledge-Driven AnalyticsInproceedings Konferenzbeitrag 12-Jan-2024
43Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
44Ekstein, Jan ; Fleischner, Herbert The most general structure of graphs with hamiltonian or hamiltonian connected squareArticle Artikel 1-Jan-2024
45Filipov, Velitchko ; Ceneda, Davide ; Archambault, Daniel ; Arleo, Alessio TimeLighting: Guidance-enhanced Exploration of 2D Projections of Temporal GraphsInproceedings Konferenzbeitrag 1-Jan-2024
46Dehury, Chinmaya Kumar ; Srirama, Satish Narayana ; Donta, Praveen Kumar ; Dustdar, Schahram Securing Clustered Edge Intelligence With BlockchainArticle Artikel Jan-2024
47Smajevic, Muhamed ; Ali, Syed Juned ; Bork, Dominik CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphsArticle Artikel Jan-2024
48Zhang, Jiaojiao ; Zhang, Shuo ; Shen, Xiaoqian ; Lukasiewicz, Thomas ; Xu, Zhenghua Multi-ConDoS: Multimodal Contrastive Domain Sharing Generative Adversarial Networks for Self-Supervised Medical Image SegmentationArticle Artikel Jan-2024
49Xu, Zhenghua ; Yu, Zhoutao ; Zhang, Hexiang ; Chen, Junyang ; Gu, Junhua ; Lukasiewicz, Thomas ; Leung, Victor C. M. PhaCIA-TCNs: Short-Term Load Forecasting Using Temporal Convolutional Networks With Parallel Hybrid Activated Convolution and Input AttentionArticle Artikel Jan-2024
50Schmidt, Johanna ; Pointner, Bernhard ; Miksch, Silvia Visual Analytics for Understanding Draco's Knowledge BaseArticle Artikel Jan-2024
51Deng, Shuiguang ; Zhao, Hailiang ; Huang, Binbin ; Zhang, Cheng ; Chen, Feiyi ; Deng, Yinuo ; Yin, Jianwei ; Dustdar, Schahram ; Zomaya, Albert Y. Cloud-Native Computing: A Survey From the Perspective of ServicesArticle Artikel Jan-2024
52Herzberger-2024-IEEE Transactions on Visualization and Computer Graphics-am.pdf.jpgHerzberger, Lukas ; Hadwiger, Markus ; Krüger, Robert ; Sorger, Peter K ; Pfister, Hanspeter ; Gröller, Eduard ; Beyer, Johanna Residency Octree: a hybrid approach for scalable web-based multi-volume renderingArticle Artikel Jan-2024
53Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
54Mahon-2024-Pattern Recognition-vor.pdf.jpgMahon, Louis ; Lukasiewicz, Thomas Minimum description length clustering to measure meaningful image complexityArticle Artikel Jan-2024
55Perez Messina-2024-IEEE Transactions on Visualization and Computer Graphics-vor.pdf.jpgPerez Messina, Ignacio Baltazar ; Ceneda, Davide ; Miksch, Silvia Guided visual analytics for image selection in time and spaceArticle Artikel Jan-2024
56Huymajer-2024-Tunnelling and Underground Space Technology-vor.pdf.jpgHuymajer, Marco ; Paskaleva, Galina ; Wenighofer, Robert ; Huemer, Christian ; Mazak-Huemer, Alexandra IFC concepts in the execution phase of conventional tunneling projectsArticle Artikel Jan-2024
57Clemens Heitzinger ; Stefan Woltran A Short Introduction to Artificial Intelligence: Methods, Success Stories, and Current LimitationsBook Contribution Buchbeitrag2024
58Szewieczek Martin - 2024 - Fuzzing embedded protocols.pdf.jpgSzewieczek, Martin Fuzzing embedded protocolsThesis Hochschulschrift 2024
59Niederhametner Nina - 2024 - Privacy Preserving Data Sharing Identifying Records...pdf.jpgNiederhametner, Nina Privacy Preserving Data Sharing Identifying Records at Risk for Membership Inference Attacks Against Synthetic DataThesis Hochschulschrift 2024
60Tran Thanh Hai - 2024 - Symbolic Verification of TLA Specifications with...pdf.jpgTran, Thanh Hai Symbolic Verification of TLA+ Specifications with Applications to Distributed AlgorithmsThesis Hochschulschrift 2024