All current Informatik courses in 2024
3147 Kurse
AI for Safety Critical Control
Explore the essential theoretical foundations of AI within safety-critical control systems in this insightful presentation by Claire Tomlin from UC Berkeley. This course emphasizes the importance of trust and reliability in environments where high-risk applications are managed using artificial intelligence.
Hosted on YouTube, this session is p.
YouTube
Free Video
47 minutes
On-Demand
YouTube
Free Video
46 minutes
On-Demand
Neurosymbolic Synthesis for Trustworthy Machine Learning
Discover how neurosymbolic synthesis can enhance the reliability and trustworthiness of machine learning applications. This session, led by Osbert Bastani from the University of Pennsylvania, provides valuable insights into the integration of symbolic reasoning and neural networks. Watch this comprehensive course on YouTube, ideal for enthusi.
YouTube
Free Video
47 minutes
On-Demand
Formal Models of Machine Teaching Without Collusion
Discover the key insights of formal models in machine teaching without the influence of collusion with Sandra Zilles, a renowned expert from the University of Regina. Engage with advanced concepts and theoretical perspectives on building trustworthy AI systems. Perfect for enthusiasts of artificial intelligence and computer science, this talk.
YouTube
Free Video
55 minutes
On-Demand
Trustworthy AI for Legal Reasoning
Delve into the innovative world of AI as it intersects with legal reasoning. Ruzica Piskac from Yale University takes you on a journey to understand how artificial intelligence can be applied to the realm of legal reasoning, with a keen focus on ensuring trustworthiness. This insightful session, presented at the Simons Institute and availa.
YouTube
Free Video
1 hour 4 minutes
On-Demand
Towards Reasoning with a Million Environment Models
Explore sophisticated methods for reasoning with vast environment models in AI systems, emphasizing the theoretical aspects of trustworthy artificial intelligence. Join the University and YouTube collaboration to deepen your understanding of these cutting-edge techniques.
Categories: Artificial Intelligence Courses, Computer Science Courses
YouTube
Free Video
51 minutes
On-Demand
Theoretical Aspects of Trustworthy AI
Theoretical Aspects of Trustworthy AI by Susmit Jha
Explore the theoretical aspects of trustworthy AI in this insightful presentation by Susmit Jha from SRI International, a leading organization in technological innovations. Discover the key concepts and challenges that define the trustworthy AI landscape in this enlightening session. Avai.
YouTube
Free Video
50 minutes
On-Demand
Language Model Guided Synthesis for Lifting
Explore how the integration of language models with program synthesis paves the way for automating the lifting of code to domain-specific languages. This approach enhances the efficiency of code generation processes when working with heterogeneous hardware, offering advancements in the fields of artificial intelligence and computer science.
YouTube
Free Video
48 minutes
On-Demand
Synthesizing Pareto-optimal Interpretations of Black Box ML Models
Dive into the intricate process of synthesizing Pareto-optimal interpretations for black-box machine learning models. This course focuses on finding the perfect balance between the clarity of explainability metrics and the precision of model accuracy. Utilizing MaxSAT solving techniques, the content provides insights into achieving PAC-style.
YouTube
Free Video
49 minutes
On-Demand
YouTube
Free Video
40 minutes
On-Demand
Prediction-Powered Inference for Trustworthy AI
Delve into the world of trustworthy AI with renowned expert Anastasios Angelopoulos as he explores the intricacies of prediction-powered inference methods. This engaging session focuses on the theoretical aspects crucial for developing AI systems that are not only effective but also reliable. Understand the statistical techniques that drive.
YouTube
Free Video
44 minutes
On-Demand
Introduction to Computer Science and Programming
Introduction to Computer Science and Programming | edX
Embark on a journey through the essentials of computer science with our comprehensive course on edX. Delve into programming with Ruby, gaining hands-on experience in writing programs for encryption and decryption. This course covers critical data concepts, offering detailed insi.
edX
Free Online Course (Audit)
5 weeks, 2-3 hours a week
On-Demand