Ce numéro 6.3 vient clore la première année de reparution de Studia

Informatica Universalis grâce à vous tous qui la faites connaître et

envoyez des articles. La communauté informatique francophone dispose

ainsi d'une revue internationale dans laquelle les articles peuvent être

écrits en anglais ou en français indifféremment tant il est vrai qu'on ne

pense bien que dans sa langue maternelle.

Ce numéro 6.3 ne recouvre pas un thème précis mais nous permet de

publier quatre articles qui tournent plutôt autour des applications.

Le premier article The Phase Transition Behaviour of Non Binary Forward

Checking Algorithms s'intéresse aux transitions de phases en satisfaction de

contraintes, en ce sens qu'il étudie le cas où l'on passe d'une situation où tous les

problèmes ont des solutions à celle où presqu'aucun n'a de solution, cela en fonction

de la nature du nombre des contraintes, et comme on pouvait s'y attendre,

passage d'un état à l'autre s'opère brutalement.

Le deuxième article nous vient du Vietnam et traite d'un problème déjà classique,

celui de l'établissement d'horaires de cours. Solving The Lecture Scheduling

Problem by Combination of Exchange Procedure and Tabu Search Techniques.

Tout est dit dans le titre, l'article revient sur une méthode de résolution combinant

la recherche dite "Tabou" et la méthode classique d'échange.

Le troisième article Parallel Tree Search for Combinatorial Problems : a

Comparative Study between Open MP and MPI , traite de parallélisme et mène une

étude comparative de résolution de problèmes combinatoires (en particulier le

problème de Langford) sur machine parallèle en comparant l'utilisation de Open

MP avec MPI.

Le quatrième article ; Performance Evaluation of mobile networks based

on stochastic ordering of Markov Chains , revient sur un thème déjà précédemment

traité dans cette revue, mais sous l'angle d'évaluation des performances de

réseaux mobiles par utilisation de chaînes de Markov.