Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Alexander Bockmayr »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Alex C. Kot < Alexander Bockmayr < Alexander Gruenstein  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000393 (2006) Alexander Bockmayr [France] ; Nicolai Pisaruk [France]Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
000582 (2004) Egon Balas [États-Unis] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique]On unions and dominants of polytopes
000638 (2004) Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]A multi-scale constraint programming model of alternative splicing regulation
000746 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
000763 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid concurrent constraint programming to model dynamic biological systems
000774 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL: Symbolic constraints in integer linear programming
000812 (2002) Vladimir Y. Lunin [Russie, France] ; Alexandre Urzhumtsev [France] ; Alexander Bockmayr [France]Direct phasing by binary integer programming
000895 (2001) Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Abderrahmane Aggoun [France]Network flow problems in constraint programming

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Système hybride
2Langage programmation
2Programmation concurrente par contrainte
2Programmation en nombres entiers
2Programmation logique avec contrainte
2Protéine
2Système biologique
2Système dynamique
16110N
1Biologie mathématique
1Biologie moléculaire
1Complexité combinatoire
1Composé biologique
1Compréhension
1Densité électron
1Diffraction RX
1Donnée expérimentale
1Enveloppe convexe
1Epissage alternatif
1Etude théorique
1Flot réseau
1Fonction complexe
1Génome
1Informatique théorique
1Langage déclaratif
1Logiciel exploitation
1Machine multiple
1Matroïde
1Modèle biologique
1Modèle hybride
1Modélisation
1Méthode plan sécant
1Méthode séparation et coupe
1Méthode séparation et évaluation
1Nombre cardinal
1Optimisation combinatoire
1Optimisation sous contrainte
1Ordonnancement
1Phase amplitude
1Polymatroïde
1Polytope
1Polyèdre
1Programmation linéaire
1Programmation logique
1Programmation partiellement en nombres entiers
1Programme ordinateur
1RNA
1Ramification
1Représentation connaissances
1Régulation épissage
1Résolution problème
1Résolution structurale
1Simultanéité informatique
1Structure cristalline
1Système réactif
1Sémantique déclarative
1Sémantique opérationnelle
1Théorie système
1Virus HIV1
1Virus immunodéficience humaine

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Alexander Bockmayr" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Alexander Bockmayr" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Alexander Bockmayr
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022