Yassine Hachaichi

11
Documents

Présentation

Coordonnées :

Nom : Yassine Ben Souaï Hachaïchi.

Date et lieu de naissance : 26 septembre 1970, à Tunis (Tunisie).

Nationalité : Tunisienne.

Fonctions actuelles : Maître assistant en mathématiques, ENICarthage.

Adresse personnelle :

81 Avenue Abou Al Walid Ibn Rochd.

2080, Cité Riadh Al Andalous, Ariana. TUNISIE.

Adresse professionnelle :

LAMSIN, Ecole Nationale d’Ingénieurs de Tunis, B.P. 37, 1002 Tunis, Tunisie

E-mail : Yassine.Hachaichi@ipeiem.rnu.tn

Diplôme :

Doctorat en Mathématiques, spécialité Logique et fondements

de l’informatique, Université Paris 7 (Denis Diderot), Mention Très

Honorable.

  • Mon sujet de thèse était : « Contributions à la théorie des modèles finis et à la complexité descriptive », sous la direction du Professeur Patrick Cegielski. Soutenue le 13 juillet 2001 devant le jury composé de :
  1. Mr Serge Grigorieff, Professeur à l'université Paris 7 (Président du jury)
  2. Mr Georg Gottlob, Professeur à l'université technologique de Vienne (Rapporteur)
  3. Mr Etienne Grandjean, Professeur à l'université de Caen (Rapporteur)
  4. Mr Patrick Cegielski, Professeur à l'université Paris 12 (Directeur de thèse)
  5. Mr Denis Richard, Professeur à l'université de Clermont-Ferrand 1 (Examinateur)
  6. Mr Sedki Boughattas, Maître de conférence à l'université Paris 7 (Examinateur)
  7. Mr Arnaud Durand, Maître de conférence à l'université Paris 12 (Examinateur)

Cours enseignés :

  1. Initiation à l’algorithmique et à la programmation en Pascal. 1ère Année DEUG MIAS et 1ère Année DEUG MASS, Paris 7.

    TD et TP. (1996--1998)

  2. Programmation avancée en Turbo-Pascal. 2ème Année DEUG MASS, Paris 12.

    TD et TP. (1998--2000)

  3. Mathématiques pour l’informatique. 2ème Année DEUG MASS, Paris 12.

    Travaux dirigés. (1998--2000)

  4. Logique et informatique. 2ème Année MIAGE, Paris 12.

    Cours et TD. (1998--2001)

  5. Algorithmique. 3ème Année Licence MIAGE, Paris 12.

    Cours et TD. (1999--2001)

  6. Logique et informatique. 2ème Année Licence info ESTI.

    Cours et TD. (2012--2013)

  7. Mathématiques pour l'ingénieur. 1ère Année ingénieurs mécatronique ESTI.

    Cours et TD. (2012--2013)

  8. Logique pour informaticiens. 1ère Année ingénieurs INFO, ENIT et ESPRIT.

    Cours et TD. (2004--2014)

  9. Graphes et Applications. 2ème Année ingénieurs INFO, ESPRIT.

    Cours et TD. (2004--2010)

  10. Analyse numérique. 1ère Année ingénieurs mécatronique ESTI.

    Cours et TD. (2012--2016)

  11. Algèbre et géométrie (10 ans). 1ère Année Classes prépas.

    Cours et TD. (2001--2012)

  12. Algèbre et géométrie (6 ans). 2èmeAnnée Classes prépas.

    Cours et TD. (2005--2012).

  13. Analyse (1 an). 1ère Année Classes prépas.

    Cours et TD. (2008--2009)

  14. Recherche Opérationnelle. 2ème Année Licence GE, ESTI.

    Cours et TD. (2012--2015)

  15. Recherche Opérationnelle et Optimisation. 2ème Année Ingénieurs mécatronique ESTI.

    Cours et TD. (2013--2016)

  16. Recherche Opérationnelle. 1ère Année Master CSSA, ESTI.

    Cours et TD. (2014--2016)

  17. Introduction à la vérification formelle. 1ère Année Master ARTI, ESTI.

    Cours et TD. (2014--2016)

  18. Statistique et probabilité. 1ère Année Ingénieurs mécatronique ESTI.

    Cours et TD. (2013--2014)

Publications :

  1. «De la structure additive à la saturation des modèles de Peano à une classification des souslangages de l’arithmétique», mémoire de DEA, université Paris 7, mai 1996.
  2. «Les machines relationnelles et les L^k types», manuscrit, Université de Paris 7, mai 1997.
  3. «A Logical Characterization of Context-Free Languages using Härtig Quantifiers and Rescher Quantifiers, and a new Chomsky and Schützenberger Normal Form», manuscrit, Université de Paris 7, mai 1998.
  4. «Petri Nets, Context-Free Languages and Turing Complexity», manuscrit, octobre 1999.
  5. «Contributions à la théorie des modèles finis et à la complexité descriptive», thèse de doctorat, université Paris 7, soutenue le 13 juillet 2001.
  6. Hachaïchi, Y. (2003). A descriptive complexity approach to the linear hierarchy.Theoretical computer science, 304(1), 421-429.
  7. « Définissabilité arithmétique et complexité », actes de la conférence (avec rapporteurs) dédiée au soixantième anniversaire de Denis Richard, Clermont-Ferrand les 16-17 mai 2002.
  8. Hachaı̈chi, Y. (2004). Arithmetical definability and computational complexity.Theoretical computer science, 322(1), 137-146.
  9. Hachaïchi, Y. (2005). Fragments of monadic second-order logics over word structures. Electronic Notes in Theoretical Computer Science, 123, 111-123.
  10. «Le réalisme mathématique vu par un profane», in Actes du colloque "Le Réalisme en perspective" juin 2013, des Sciences Humaines et Sociales de Tunis.
  11. Moslah, O., Hachaichi, Y., Lahbib, Y. (2015, September). Democratic multi-robot exploration: New method to compute Particle Swarm Optimizations' global best parameter. In Computer Networks and Information Security (WSCNIS), 2015 World Symposium on (pp. 1-4). IEEE.
  12. Hachaichi, Y. (2016) ,Logic for Unambiguous Context-Free Languages. In : International Journal of Computer Science: Theory and Application, 5(1), 12-19.
  13. Rahim Kouki, Fatma Belhaj Amor et Yassine Hachaichi, (2016) "Comparaison entre l'évolution historique ayant mené aux développements limités et leur pratique d'enseignement au début de l'université : Entre syntaxe et sémantique",INDRUM 2016.
  14. Rahim Kouki and Yassine Hachaïchi (2017) Taylor series: From history to teaching, CERME 10, DUBLIN, 1-5 fevrier 2017
  15. Rahim Kouki et Yassine Hachaïchi (2016) Apport d’une étude historique etinstitutionnelle des développements limités au début de l’université : Vers unealternative d’une meilleure conceptualisation, in Premier colloque de l’Association de Didacticiens des Mathématiques Africains17 au 19 aout 2016, ÉCOLE NORMALE SUPÉRIEURE DE YAOUNDE (CAMEROUN). pp 314-323.

Publications

Publications

Enhanced Configurable DCT Cordic Loeffler Architectures for Optimal Power-PSNR Trade-Off

Yassine Hachaïchi , Sonia Mami , Imen Ben Saad , Younes Lahbib , Yassine Hachaichi
Journal of Signal Processing Systems, 2018, 90 (3), pp.371-393
Article dans une revue hal-01981059 v1

High Precision DCT CORDIC Architectures for Maximum PSNR

Imen Ben , Yassine Hachaichi , Imen Ben Saad , Sonia Mami , Yassine Hachaïchi et al.
International journal of advanced computer science and applications (IJACSA), 2017, 8 (5)
Article dans une revue hal-01981053 v1
Image document

Logic for Unambiguous Context-Free Languages

Yassine Hachaïchi
International Journal of Computer Science Theory and Application, 2016, 5 (1), pp.12-19
Article dans une revue hal-01298965 v2

Fragments of Monadic Second-Order Logics Over Word Structures

Yassine Hachaïchi , Yassine Hachaichi
Electronic Notes in Theoretical Computer Science, 2005, 123, pp.111-123
Article dans une revue hal-01981086 v1

A descriptive complexity approach to the linear hierarchy

Yassine Hachaïchi , Yassine Hachaichi
Theoretical Computer Science, 2003, 304 (1-3), pp.421-429
Article dans une revue hal-01981070 v1
Image document

Contributions à la théorie des modèles finis et à la complexité descriptive

Yassine Hachaichi
Mathématique discrète [cs.DM]. Université Denis Diderot (Paris 7), 2001. Français. ⟨NNT : ⟩
Thèse tel-01298969 v1