"Planning de passage des étudiants à la banque UBA pour le paiement des droits universitaires : Lundi (FSEGA) - Mardi (FSJP) - Mercredi (Fac Sciences) - Jeudi (FLSH+IBA) - Vendredi (FGI+FMSP+ISH+Fac Sciences) - Samedi (ESSEC+ENSET+IUT+FSEGA) • NECROLOGIE ► Le professeur François Xavier ETOA, Recteur de l'Université de Douala, a la profonde douleur d'annoncer le décès de Madame le Pr NANA FABU STELA, Maître de Conférences et ancien Chef du Département de Sociologie en Faculté des Lettres et Sciences Humaines, décès survenu le 17 octobre 2017.

:::PUBLICATIONS:::

JOURNAL STD Vol. 18

◄•►

Cover & Editorial

Guide aux Auteurs

◄•►

ARTICLES IN PRESS[new]

◄•►

ABOUT US :

Contacts

SUIVEZ-NOUS SUR FBK

LONLAC KONLAC Jerry Garvin, Assistant

► Publications Scientifiques

1.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou. Résolution Étendue par Substitution Dynamique des Fonctions Booléennes. Révue d’Intelligence Artificielle (RIA),  2014. (En révision)   Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi. Revisiting the Learned Clauses Database Reduction Strategies. Submitted to the 17th International Conference on Theory and Applications of Satisfiability Testing  (SAT’14).

2.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers. In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA-13). Washington, USA, July 11-13.

3.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. In Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT-12).  Italy, Trento, July 2012.

4.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Extending Resolution by Dynamic Substitution of Boolean Functions. In Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (IEEE ICTAI-12). Athenes, November 7-9 2012.

5.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi. Révision des Stratégies de Réduction de la Base des Clauses Apprises. Submitted to the eighth National conference on Constraints Programming (JFPC-14).

6.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Nouvelles Clauses Bi-Assertives pour accélérer la Recherche dans les Solveurs SAT Modernes. Submitted to the eighth National conference on Constraints Programming (JFPC-14).

7.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. In Proceedings of the eighth National conference on Constraints Programming (JFPC-12), 146-155. Toulouse, 22-24, mai 2012.

8.    Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification de la Recherche dans les Solveurs SAT Modernes. In Proceedings of the eighth National conference on Constraints Programming (JFPC-12), 156-159. Toulouse, 22- 24, mai 2012.

Fiche d'inscription en thèse

PDF | Word

 

Le Centre de formations en Sciences Pétrolière et Minière (PETROMINES) de l'Université de Douala offre des formations de Master. Pour l'année académique 2017-2018, PETROMINES innove avec des options dans les spécialités Petrochimie, Mines et Carrières. La nouvelle spécialité Petroleum Engineering est faite avec la collaboration des Camerounais de la diaspora.

Pour tout autre renseignement, bien vouloir se rapprocher de la Faculté des Sciences, sise au Campus II à Ndog-Bong.
Téléchargez nos brochures  | 1 | 2 | 3 |