Tous les cours actuels de Informatique en 2024
3147 Cours
IA pour le contrôle critique de la sécurité
Explorez les fondements théoriques essentiels de l'IA au sein des systèmes de contrôle critiques pour la sécurité dans cette présentation éclairante par Claire Tomlin de l'UC Berkeley. Ce cours met l'accent sur l'importance de la confiance et de la fiabilité dans les environnements où les applications à haut risque sont gérées à l'aide de l'in.
Synthèse neurosymbolique pour l'apprentissage automatique fiable
Découvrez comment la synthèse neurosymbolique peut améliorer la fiabilité et la confiance dans les applications d'apprentissage automatique. Cette session, dirigée par Osbert Bastani de l'Université de Pennsylvanie, fournit des insights précieux sur l'intégration du raisonnement symbolique et des réseaux neuronaux. Regardez ce cours complet s.
Modèles formels d'enseignement automatique sans collusion
Découvrez les principaux aperçus des modèles formels d'enseignement automatique sans l'influence de la collusion avec Sandra Zilles, une experte renommée de l'Université de Regina. Engagez-vous avec des concepts avancés et des perspectives théoriques sur la construction de systèmes d'IA dignes de confiance. Parfait pour les passionnés d'intel.
IA fiable pour le raisonnement juridique
Plongez dans le monde innovant de l'IA à l'intersection du raisonnement juridique. Ruzica Piskac de l'Université de Yale vous emmène dans un voyage pour comprendre comment l'intelligence artificielle peut être appliquée au domaine du raisonnement juridique, avec une attention particulière à la fiabilité. Cette session perspicace, présentée.
Vers le raisonnement avec un million de modèles d'environnement.
Explorez des méthodes sophistiquées pour raisonner avec de vastes modèles d'environnements dans les systèmes d'IA, en mettant l'accent sur les aspects théoriques d'une intelligence artificielle fiable. Rejoignez la collaboration entre l'Université et YouTube pour approfondir votre compréhension de ces techniques de pointe.
Catégories : Cours.
Aspects théoriques de l'IA fiable
Aspects Théoriques de l'IA Fiable par Susmit Jha
Explorez les aspects théoriques de l'IA fiable dans cette présentation perspicace par Susmit Jha de SRI International, une organisation leader en innovations technologiques. Découvrez les concepts clés et les défis qui définissent le paysage de l'IA fiable dans cette session éclairante. Disp.
Synthèse Guidée par Modèle de Langue pour la Levée
Explorez comment l'intégration des modèles linguistiques avec la synthèse de programmes ouvre la voie à l'automatisation de l'élévation de code vers des langages spécifiques au domaine. Cette approche améliore l'efficacité des processus de génération de code lors du travail avec du matériel hétérogène, offrant des avancées dans les domaines d.
Synthétiser des interprétations Pareto-optimales de modèles ML en boîte noire
Plongez dans le processus complexe de synthèse d'interprétations Pareto-optimales pour des modèles d'apprentissage automatique en boîte noire. Ce cours se concentre sur la recherche de l'équilibre parfait entre la clarté des mesures d'expliabilité et la précision de l'exactitude du modèle. Utilisant des techniques de résolution MaxSAT, le con.
Inférence propulsée par prédiction pour une IA digne de confiance
Plongez dans le monde de l'IA fiable avec le célèbre expert Anastasios Angelopoulos alors qu'il explore les complexités des méthodes d'inférence soutenues par la prédiction. Cette session captivante se concentre sur les aspects théoriques cruciaux pour le développement de systèmes d'IA qui sont non seulement efficaces mais aussi fiables. Com.
Introduction à l'informatique et à la programmation
Introduction à l'informatique et à la programmation | edX
Embarquez pour un voyage à travers les éléments essentiels de l'informatique avec notre cours complet sur edX. Plongez dans la programmation avec Ruby, acquérant une expérience pratique en écrivant des programmes pour le chiffrement et le déchiffrement. Ce cours couvre des co.