Un programme pour enseigner la vérification de modèles pour le développement de logiciels fiables.
― 6 min lire
La science de pointe expliquée simplement
Un programme pour enseigner la vérification de modèles pour le développement de logiciels fiables.
― 6 min lire
Un nouveau cadre améliore la sécurité des voitures autonomes grâce à des méthodes formelles.
― 11 min lire
Un nouveau cadre améliore la sécurité des systèmes cyber-physiques contrôlés par l'IA.
― 8 min lire
Examiner des stratégies pour créer des systèmes d'IA qui privilégient la sécurité et minimisent les risques.
― 12 min lire
Gemma Scope propose des outils pour mieux comprendre les modèles de langage et améliorer la sécurité de l'IA.
― 8 min lire
Explore le rôle des Fonctions de Barrière de Contrôle dans le maintien de la sécurité dans divers systèmes.
― 8 min lire
Un nouveau système améliore le contrôle des véhicules en terrain difficile en utilisant deux méthodes.
― 6 min lire
Cette étude examine les blessures causées par les interactions entre robots et humains dans des environnements industriels.
― 6 min lire
Une nouvelle approche pour améliorer la façon dont les robots comprennent et réagissent aux utilisateurs.
― 9 min lire
Une nouvelle approche simplifie la conception de contrôle tout en garantissant la sécurité dans les systèmes non linéaires.
― 6 min lire
Le CERN met à jour les arrêts de faisceau pour améliorer la sécurité et l'efficacité des faisceaux de particules à haute énergie.
― 7 min lire
Clarifier les limites opérationnelles assure la sécurité des voitures autonomes.
― 7 min lire
La transfert conscient améliore la sécurité et la performance dans les applications d'apprentissage par renforcement.
― 8 min lire
Une nouvelle approche des véhicules autonomes qui met l'accent sur la sécurité et le confort.
― 7 min lire
Une nouvelle méthode améliore la vérification de la sécurité des réseaux de neurones dans des systèmes critiques.
― 7 min lire
Un guide pour gérer des objectifs variés dans les processus de décision en utilisant des ensembles d'aspirations.
― 5 min lire
Une nouvelle approche simplifie la sécurité et l'utilité dans l'entraînement des modèles de langage.
― 12 min lire
Faire des recherches sur de nouveaux traitements à travers des petites expériences, c'est mettre la sécurité des patients en priorité.
― 7 min lire
Un cadre d'évaluation complet pour les chatbots de santé est introduit pour améliorer leur efficacité.
― 8 min lire
Examiner les effets des mises à jour sur la sécurité, le biais et l'authenticité dans la génération d'images.
― 9 min lire
Une nouvelle approche améliore la sécurité en dérive pour les voitures autonomes en utilisant la physique.
― 8 min lire
Une nouvelle approche pour optimiser l'analyse points-à, en équilibrant rapidité et précision.
― 8 min lire
Parler des avantages de partager les données de tests AV pour la sécurité publique.
― 10 min lire
De nouvelles limites d'erreur améliorent la fiabilité du GPR dans des domaines sensibles à la sécurité.
― 8 min lire
Une nouvelle méthode d'apprentissage automatique privilégie la sécurité dans les systèmes autonomes.
― 8 min lire
Une nouvelle méthode améliore la sécurité et la performance des technologies autonomes.
― 6 min lire
Examiner comment la responsabilité et l'assurance peuvent atténuer les risques liés à l'IA.
― 6 min lire
Un nouveau système améliore la communication entre les humains et les robots dans différents domaines.
― 6 min lire
Explorer la sécurité et la conformité dans les technologies de santé propulsées par l'IA.
― 10 min lire
Découvre comment les robots peuvent mieux bosser avec les humains en se concentrant sur ce qui est important.
― 7 min lire
Cet article parle des façons d'améliorer la sécurité en RL en utilisant des modèles de langage.
― 7 min lire
Une méthode pour évaluer les évaluations des agents IA en matière de sécurité et de fiabilité.
― 10 min lire
Examiner comment le fine-tuning affecte la sécurité des modèles de langage dans différentes tâches.
― 8 min lire
Une nouvelle méthode aide les robots à interagir en toute sécurité avec les gens.
― 6 min lire
Un examen des méthodes et de l'implication des parties prenantes dans la conception de listes de contrôle en santé.
― 11 min lire
Le dispositif SHULDRD améliore les tests dans les interactions humain-robot en toute sécurité.
― 7 min lire
Une nouvelle méthode d'entraînement améliore les capacités de parkour des robots de manière sûre et efficace.
― 7 min lire
Une nouvelle méthode améliore le renouvellement urbain en combinant la technologie et les retours de la communauté.
― 9 min lire
L'endoscopie robotique améliore la sécurité et l'efficacité dans le diagnostic des problèmes digestifs.
― 5 min lire
Combiner l'apprentissage et le contrôle pour améliorer la sécurité des robots à pattes.
― 8 min lire