scolobb/dossier-complet
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Somewhat demote the placement of the PhD work.

Browse source
This commit is contained in:
Sergiu Ivanov 2017-03-02 16:36:46 +01:00
parent 03653e92af
commit 7a0363aa54
1 changed files with 11 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
recherche.tex
View file

@ -31,10 +31,9 @@ Akademi à Turku, Finlande.
Les sujets de recherche que j'ai abordés jusqu'à maintenant se situent
dans les domaines du calcul inspiré par la biologie et des langages
formels. Lors de mon doctorat, j'ai travaillé également sur des
problèmes non reliés directement au sujet de ma thèse. Dans la suite
de cette section, je résume ma thèse, puis les résultats obtenus en
dehors de son cadre.
formels. Dans cette section, je résume d'abord ma thèse, puis d'autres
résultats obtenus pendant mon doctorat et par la suite de ma carrière
scientifique.
\subsection{Travaux de thèse}
Ma thèse porte sur la puissance d'expression et l'universalité de
@ -252,19 +251,16 @@ Les résultats de ma thèse portant sur les réseaux de Petri universels
ont été publiés
dans~\cite{DBLP:conf/dcfs/0001PV14,DBLP:journals/corr/IvanovPV13,DBLP:journals/jalc/Alhazov0PV16}.
\subsection{Travaux hors thèse}
\subsection{Travaux hors thèse et postdoctoraux}
Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur
des problèmes qui n'étaient pas directement reliés à ceux qui sont
des problèmes qui n'étaient pas directement liés à ceux qui sont
exposés dans le manuscrit. Ces travaux se situent également dans le
cadre du calcul naturel et de la théorie des langages formels. Je me
suis premièrement concentré sur les systèmes à membranes ({\em
membrane systems}) qui sont un modèle inspiré par la structure et
fonctionnement de la cellule biologique. J'ai aussi travaillé sur les
systèmes à réactions ({\em reaction systems}) qui représentent une
abstraction formelle d'un réacteur biochimique. Finalement, j'ai
participé à des travaux dans le domaine des grammaires de tableaux
({\em array grammars}), un modèle qui étend les grammaires classiques
à la réécriture des parties des tableaux.
cadre du calcul naturel et de la théorie des langages formels. En
tant que postdoc, je travaille sur la modélisation biomécanique du
squelette cellulaire.
Dans les sections suivantes, je donne plus détails par rapport aux
travaux de recherche sus-cités.
\subsubsection{Systèmes à membranes}
Le modèle des systèmes à membranes a été introduit par Gheorghe Păun