Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
Explore la correction d'erreurs orthographiques, y compris les néologismes et les emprunts, en utilisant la distance d'édition et les automates à états finis.
Explore les concepts de contrôle hiérarchique en robotique, y compris la commutation, la hiérarchisation et les chaînes d'information, pour atteindre des comportements robotiques complexes.
Explore les états internes et le contrôle hiérarchique dans la robotique, en se concentrant sur les comportements et les circuits neuraux pour la faim.
Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.
Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.
