Knowledge Tree

researcher / Pascal André

Pascal André

at_id:

orcid_id:

Disciplines:

Applied sciences

Chemistry

Computer sciences

Medicine and health

Pharmacology

Physics

Edit Merge See Links

Thesis:

Caractérisations fonctionnelle et moléculaire de transporteurs impliqués dans les échanges de cations organiques au niveau des barrières hémato-encéphalique et hémato-oculaire chez la souris

Electrophorese d'objets mous complexes : vesicules et polymeres

Superantigène et immunodépression liée au VIH : à propos de la distribution du TCR V [bêta]12 sur les lymphocytes T CD4 de 46 personnes infectées par le VIH

Etude de la composition et des proprietes thermodynamiques des plasmas thermiques a l'equilibre et hors d'equilibre thermodynamique

Methodes formelles et a objets pour le developpement du logiciel : etudes et propositions

Aspects probabilistes du probleme de la satisfaction d'une formule booleenne, etude des problemes sat, number-sat et max-sat

Directed Thesis:

Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats