Enseignements 2016/2017 UP

Indexing and Querying Text

• slides PPT
• slides PDF
• FAGIN 2001, Optimal Aggregation Algorithms for Middleware
• Dataset

Approches formelles pour la qualité logicielle

• Design By Contract (DbC),
  Test Driven Development (TDD), and
  Program Correct By Construction (CbC)
  • slides PPT
  • slides PDF
  • installation of cofoja in Eclipse
• Eclipse Project CircularList
• Programmes Corrects par Construction
  Précis de logique
  Programmes séquentiels
  Exemples divers
  Multi-programmes

Intelligence artificielle

• TP PageRank
  • sujet
  • code source
  • m.dat
  • genetic.dat
  • url_genetic.txt
• Heuristiques pour la recherche dans un espace d'états
• Réseaux de neurones
  • Notes pour le TD
  • Code source dans le langage J (jsoftware.com)