Ces méthodes sont principalement basées sur le partitionnement de l`espace d`État et l`abstraction de SHS par les chaînes de Markov, qui sont optimales dans le sens de la réduction de l`erreur d`abstraction avec le nombre minimal d`États de Markov. Par exemple, un aéronef peut nécessiter des centaines de milliers d`étapes à construire, avec des contraintes comme «nous ne pouvons pas monter les moteurs avant les ailes»», et des ressources comme le nombre de travailleurs et de pièces de machinerie clé. Le but du projet est d`ajouter des fonctionnalités au compilateur afin d`obtenir des implémentations OpenCL ou CUDA des mêmes modèles de cellules et d`augmenter ainsi l`efficacité du «Web Lab». Computer Vision permet aux machines de reconnaître des objets dans des séquences réelles. Il s`agit d`un projet de compilateur, nécessitant également une familiarité avec l`accès concurrentiel. Les résultats ont été présentés aux ateliers internationaux et un document de recherche a été publié. Les cours sur la simultanéité et les systèmes distribués fournissent un arrière-plan utile pour ce projet. Chacun de ces niveaux fournit des garanties plus strictes sur l`exactitude, négociés contre l`efficacité. Utilisez Keiko pour implémenter un langage simple qui est purement orienté objet. Les projets introduisent également des compétences supplémentaires en matière de gestion d`équipe, de présentations orales et de rédaction de rapports, de compétences supérieures essentielles. La partie théorique développera la recherche existante, par exemple dans l`une des deux paires de domaines interdisciplinaires suivantes: apprentissage et réparation, ou analyse de l`accessibilité et Inférence bayésienne. Plus de détails peuvent être trouvés à (http://www.

En utilisant ce firmware comme un guide, produire un interprète pour un bytecode approprié, peut-être une variante de Keiko, permettant Oberon ou un autre langage robot de votre propre conception pour fonctionner sur le contrôleur. L`étudiant doit également concevoir une interface utilisateur agréable (pour le choix des équations dynamiques, des paramètres et des méthodes, etc. Prof Murawski est disposé à superviser dans le domaine de la théorie des automates, la vérification du programme d`ordre supérieur, le calcul lambda et les types. Adapté pour les étudiants de 3ème ou 4e année, ou MSc, simultanéité, programmation simultanée, sécurité informatique tout peut-être un avantage. Les étudiants de premier cycle qui désirent s`enquérir d`un projet pour 2017-18 sont invités à contacter le Prof. Spivey mais devraient noter que la réponse peut être retardée car il est en congé sabbatique. Joint avec Michael Goldsmith) développement de l`interface Kinect pour l`outil d`analyse visuelle de la cybersécurité: utilisation de l`environnement de développement ouvert pour Kinect, pour développer un HCI alternatif pour l`outil CyberVis d`Oxford http://www.