Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

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
 

OrgUnit's Publications


Results 341-360 of 4996 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
341Xie, Zhongbin ; Lukasiewicz, Thomas An Empirical Analysis of Parameter-Efficient Methods for Debiasing Pre-Trained Language ModelsInproceedings Konferenzbeitrag 2023
342Atanasova, Pepa ; Camburu, Oana-Maria ; Lioma, Christina ; Lukasiewicz, Thomas ; Simonsen, Jakob Grue ; Augenstein, Isabelle Faithfulness Tests for Natural Language ExplanationsInproceedings Konferenzbeitrag 2023
343Xu, Gang ; Wang, Shengxin ; Lukasiewicz, Thomas ; Xu, Zhenghua Adaptive-Masking Policy with Deep Reinforcement Learning for Self-Supervised Medical Image SegmentationInproceedings Konferenzbeitrag 2023
344Millidge, Beren ; Song, Yuhang ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Bogacz, Rafal A Theoretical Framework for Inference and Learning in Predictive Coding NetworksInproceedings Konferenzbeitrag 2023
345Jang, Myeongjun ; Lukasiewicz, Thomas Consistency Analysis of ChatGPTInproceedings Konferenzbeitrag 2023
346Millidge, Beren ; Song, Yuhang ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Bogacz, Rafal Backpropagation at the Infinitesimal Inference Limit of Energy-Based Models: Unifying Predictive Coding, Equilibrium Propagation, and Contrastive Hebbian LearningInproceedings Konferenzbeitrag 2023
347Zhongbin, Xie ; Kocijan, Vid ; Lukasiewicz, Thomas ; Camburu, Oana-Maria Counter−GAP: Counterfactual Bias Evaluation through Gendered Ambiguous PronounsInproceedings Konferenzbeitrag 2023
348Wang, Xiangtao ; Wang, Ruizhi ; Tian, Biao ; Zhang, Jiaojiao ; Zhang, Shuo ; Chen, Junyang ; Lukasiewicz, Thomas ; Xu, Zhenghua MPS-AMS: Masked Patches Selection and Adaptive Masking Strategy Based Self-Supervised Medical Image SegmentationInproceedings Konferenzbeitrag 2023
349Jang, Myeongjun ; Lukasiewicz, Thomas Improving Language Models’ Meaning Understanding and Consistency by Learning Conceptual Roles from DictionaryInproceedings Konferenzbeitrag 2023
350Zhang, Hexiang ; Xu, Zhenghua ; Yao, Dan ; Zhang, Shuo ; Chen, Junyang ; Thomas Lukasiewicz Multi-Head Feature Pyramid Networks for Breast Mass DetectionInproceedings Konferenzbeitrag 2023
351Wang, Jianfeng ; Massiceti, Daniela ; Hu, Xiaolin ; Pavlovic, Vladimir ; Lukasiewicz, Thomas NP-SemiSeg: When Neural Processes meet Semi-Supervised Semantic SegmentationInproceedings Konferenzbeitrag 2023
352Wang, Ruizhi ; Wang, Xiangtao ; Xu, Zhenghua ; Xu, Wenting ; Chen, Junyang ; Lukasiewicz, Thomas MvCo-DoT: Multi-View Contrastive Domain Transfer Network for Medical Report GenerationInproceedings Konferenzbeitrag 2023
353Limmer, Steffen ; Varga, Johannes ; Raidl, Günther R. An Evolutionary Approach for Scheduling a Fleet of Shared Electric VehiclesInproceedings Konferenzbeitrag 2023
354Rebola Pardo, Adrian Even Shorter Proofs Without New VariablesInproceedings Konferenzbeitrag 2023
355Nöllenburg, Martin ; Wallinger, Markus Computing Hive Plots: A Combinatorial FrameworkInproceedings Konferenzbeitrag 2023
356Reichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan Circuit Minimization with Exact Synthesis: From QBF Back to SATInproceedings Konferenzbeitrag 2023
357Pavlovic, Aleksandar ; Sallinger, Emanuel Building Bridges: Knowledge Graph Embeddings Respecting Logical Rules (short paper)Inproceedings Konferenzbeitrag 2023
358Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
359Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
360Komusiewicz, Christian ; Kunz, Pascal ; Sommer, Frank ; Sorge, Manuel On Computing Optimal Tree EnsemblesInproceedings Konferenzbeitrag 2023