Search

Research Departments Algorithms and Complexity Teaching Summer 2021 Clock Synchronization and Adversarial Fault Tolerance Clock Synchronization and Adversarial Fault Tolerance Advanced Course, 4 Basic [...] same time, the devised algorithms are simple and practical enough to be implemented on physical chips, and the theory is informed by real-world constraints arising from hardware and the unforgiving need [...] 2021-05-26 Self-stabilization and Recovery - I Chapter 12 Recording Slides 2021-05-31 Self-stabilization and Recovery - II Recording Slides 2021-06-02 Self-stabilization and Recovery - III Recording Slides

The simplex algorithm and the ellipsoid method will be presented. The lecture concludes with exact and approximation algorithms for NP-hard optimization problems. There will be theoretical and practical [...] calculus, algorithms, and complexity. At Saarland University these topics are covered in the bachelor courses Mathematik für Informatiker 1 & 2 , Grundzüge der Theoretischen Informatik , and Grundzüge [...] Bertsimas and John N. Tsitsiklis. Clock Synchronization and Adversarial Fault Tolerance Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms (external)

Departments Algorithms and Complexity Teaching Summer 2021 Summer Semester 2021 Clock Synchronization and Adversarial Fault Tolerance Advanced Course (2+2). Lecturers: Christoph Lenzen and Ben Wiederhake [...] me, and parameterized algorithms (external) Advanced Course (2+2). Given by: Dániel Marx more Geometric algorithms with limited resources Advanced Course (2+1). Given by: Sándor Kisfaludi-Bak and Themis [...] Synchronization and Adversarial Fault Tolerance Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms (external) Geometric algorithms with limited resources

linking and on entity-quantity column alignment. The latter was oversimplified in prior works by assuming a single subject-column per table, whereas our approach is geared for complex tables and leverages [...] web tables. This involves recognizing quantities, with normalized values and units, aligning them with the proper entities, and contextualizing these pairs with informative cues to match sophisticated [...] informative cues from text and structural markup that surrounds a table. For query-time fact ranking, we devise a new scoring technique that exploits both context similarity, and inter-fact consistency.

interactions of a subject with complex and possibly deformable environments is a very challenging, ill-posed and under-explored problem. Existing methods address it only weakly and do not model possible surface [...] Vision and Machine Learning, Max Planck Institute for Informatics, Germany (Advisors: Prof. Dr. Bernt Schiele and Dr. Dengxin Dai) Dec. 2020 - Nov. 2021: Research intern in Computer Vision and Machine [...] especially image perception under domain shift, and 3D computer vision. Education/ Research Experience Jun. 2022 - Present: PhD student in Computer Vision and Machine Learning, Max Planck Institute for I

ophobic). We find that 93% and 81% of posts that contain terms from our lexicons are Antisemitic and Islamophobic, respectively. Also, we find that the veracity of usage and frequency of these terms greatly [...] discussions and automatically discover new slurs related to online antisemitism. Overall, alarmingly, we find a rise of antisemitic rhetoric and antisemitic memes over time in both 4chan’s /pol/ and Gab. Reference [...] 4chan and Twitter. Also, we find differences across Twitter and 4chan: on Twitter we observed a shift towards blaming China for the pandemic, while on 4chan we observed a shift towards using more and new

networks and whether they are weaponized (i.e., use genetic testing results to attack specific users). We find instances where genetic testing discourse is toxic and misogynistic on Reddit and 4chan, and that [...] real-world events and shed light on their targets as well as the content disseminated via images. "And We Will Fight For Our Race!" A Measurement Study of Genetic Testing Conversations on Reddit and 4chan (ICWSM [...] Departments Internet Architecture Research Understanding, Detecting, and Mitigating Weaponized Information Understanding, Detecting, and Mitigating Weaponized Information Weaponized information refers to

Architecture Research Emerging Platforms and Communities on the Web Emerging Platforms and Communities on the Web The Web consists of numerous Web communities, news sources, and services, which are often used by [...] time, the overhead for creating new platforms and communities has significantly shrunk over the past years, hence the Web is becoming a bigger and more complex ecosystem (e.g., users can easily create new [...] emerging Web communities and platforms, and assess the fundamental differences across platforms/communities. In this line of research, we aim to study emerging platforms and Web communities that can have a large

individuals, communities, and society as a whole. Thus, understanding the challenges and complexities of moderating online content is crucial for ensuring that these platforms are safe and inclusive spaces for [...] on/harmful content and do not include warning labels, 37.3% share benign information and include warning labels, and 35% of the videos that share misinformation/harmful content (and need a warning label) [...] important for several reasons. First, social media and other online platforms have become major sources of information and communication, shaping public discourse and opinions. The content shared on these platforms

Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification Franz Baader and Tobias Nipkow: Term Rewriting and All That. Cambridge Univ [...] 1998 Further readings Leo Bachmair and Harald Ganzinger Resolution Theorem Proving, in "Handbook of Automated Reasoning", pages 19-99. Elsevier, 2001. Robert Nieuwenhuis and Albert Rubio Paramodulation-Based [...] Nonnengart and Christoph Weidenbach Computing small clause normal forms, in "Handbook of Automated Reasoning", pages 335-367. Elsevier, 2001. Christoph Weidenbach Combining Superposition, Sorts and Splitting