Global ETD Search

1	Développement et validation d'un nouveau dispositif expérimental mobile, automatisé et autonome, permettant d'analyser les capacités cognitives de primates non humains vivant en groupes sociaux / Development and validation of a new mobile, automated and autonomous experimental device to measure cognitive abilities of non-human primates living in social groups Fizet, Jonas 22 November 2016 (has links) Les avancées scientifiques sont de plus en plus dépendantes de l’évolution des technologies et des approches expérimentales. Dans la continuité des travaux initiés par Fagot, nous avons développé un nouveau dispositif expérimental permettant l’étude des capacités cognitives de singes vivant en groupes sociaux. Cet outil est automatisé, portable, muni d’un système d’apprentissage autonome, et il permet aux singes de réaliser plusieurs tâches cognitives en parallèle. Ce design expérimental nous a permis, pour la première fois, d’étudier l’évolution conjointe de différentes fonctions cognitives sur une échelle de temps réduite. Nos résultats révèlent un apprentissage des tâches rapide par les sujets qui présentent en outre des performances élevées et stables dans le temps. Ces travaux ouvrent ainsi des perspectives prometteuses à travers une utilisation de cet outil dans le cadre d’études i) sur les bases sous-jacentes à des processus cérébraux complexes, ii) sur les liens entre différentes fonctions cognitives, ou encore iii) pharmaceutiques, testant les l’effets de molécules sur une ou plusieurs fonctions cognitives simultanément. / Scientific advances are increasingly dependent on the evolution of both technologies and experimental approaches. Following on from Fagot's research, we developed a new experimental device to study cognitive abilities in nonhuman primates living in social groups. This tool is automated, portable, equipped with an autonomous self-learning system, and it allows the subjects to perform several complex cognitive tasks concurrently. This experimental design allowed us, for the first time, to study the co-evolution of different cognitive functions on a small time scale. Our results reveal the subjects learned the tasks rules rapidly and additionally they archieved high and stable performances over time. This developmental work thus opens up new investigation prospects in cognition for studies interested in i) the underlying bases of cerebral complex processes, ii) the links between several cognitive functions, or iii) testing the effects of drugs on one or more cognitive functions concurrently. Cognition Macaque Modèle primate Tests automatisés Écran tactile Performances cognitives Attention Mémoire Acuité visuelle Pharmacologie Cognition Macaque Primate model Automated testing Touchscreen Cognitive performances Attention Memory Visual acuity Pharmacology 591.5 153.1
2	Programming tools for intelligent systems Considine, Breandan 04 1900 (has links) Les outils de programmation sont des programmes informatiques qui aident les humains à programmer des ordinateurs. Les outils sont de toutes formes et tailles, par exemple les éditeurs, les compilateurs, les débogueurs et les profileurs. Chacun de ces outils facilite une tâche principale dans le flux de travail de programmation qui consomme des ressources cognitives lorsqu’il est effectué manuellement. Dans cette thèse, nous explorons plusieurs outils qui facilitent le processus de construction de systèmes intelligents et qui réduisent l’effort cognitif requis pour concevoir, développer, tester et déployer des systèmes logiciels intelligents. Tout d’abord, nous introduisons un environnement de développement intégré (EDI) pour la programmation d’applications Robot Operating System (ROS), appelé Hatchery (Chapter 2). Deuxièmement, nous décrivons Kotlin∇, un système de langage et de type pour la programmation différenciable, un paradigme émergent dans l’apprentissage automatique (Chapter 3). Troisièmement, nous proposons un nouvel algorithme pour tester automatiquement les programmes différenciables, en nous inspirant des techniques de tests contradictoires et métamorphiques (Chapter 4), et démontrons son efficacité empirique dans le cadre de la régression. Quatrièmement, nous explorons une infrastructure de conteneurs basée sur Docker, qui permet un déploiement reproductible des applications ROS sur la plateforme Duckietown (Chapter 5). Enfin, nous réfléchissons à l’état actuel des outils de programmation pour ces applications et spéculons à quoi pourrait ressembler la programmation de systèmes intelligents à l’avenir (Chapter 6). / Programming tools are computer programs which help humans program computers. Tools come in all shapes and forms, from editors and compilers to debuggers and profilers. Each of these tools facilitates a core task in the programming workflow which consumes cognitive resources when performed manually. In this thesis, we explore several tools that facilitate the process of building intelligent systems, and which reduce the cognitive effort required to design, develop, test and deploy intelligent software systems. First, we introduce an integrated development environment (IDE) for programming Robot Operating System (ROS) applications, called Hatchery (Chapter 2). Second, we describe Kotlin∇, a language and type system for differentiable programming, an emerging paradigm in machine learning (Chapter 3). Third, we propose a new algorithm for automatically testing differentiable programs, drawing inspiration from techniques in adversarial and metamorphic testing (Chapter 4), and demonstrate its empirical efficiency in the regression setting. Fourth, we explore a container infrastructure based on Docker, which enables reproducible deployment of ROS applications on the Duckietown platform (Chapter 5). Finally, we reflect on the current state of programming tools for these applications and speculate what intelligent systems programming might look like in the future (Chapter 6). Kotlin Docker Génie logiciel Software engineering Apprentissage automatique Machine learning Mathématiques appliquées Applied mathematics Langages de programmation Programming languages Outils de programmation Programming tools Systèmes de type Type systems Différenciation automatique Automatic differentiation Tests automatisés Automated testing Systémes embarqués Embedded systems Systèmes intelligents Intelligent systems Machines virtuelles Virtual machines ROS Metamorphic testing Programmation différenciable Differentiable programming Programmation probabiliste Probabilistic programming Programmation fonctionnelle Functional programming Compilateurs Compilers Generative modeling Modélisation générative Rétropropagation Backpropagation Fuzzing Test métamorphique Test de propriété Metamorphic testing Property-based testing Analyse statique Static analysis Moteur de production Build automation Intégration continue Continuous integration

Search results

Programming tools for intelligent systems