Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

38 Results
Author: personID (integer) : 831465

Direct phasing by binary integer programming

Vladimir Y. Lunin , Alexandre Urzhumtsev , Alexander Bockmayr
Acta Crystallographica Section A : Foundations and Advances [2014-..], 2002, 58, pp.283-291. ⟨10.1107/s0108767302004002⟩
Journal articles inria-00100777v1

Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)

Damien Eveillard , Arnaud Courtois , Alexander Bockmayr
Modeling and Simulation of Biological Regulatory Processes - ECCB Satellite Meeting, 2003, Paris, France
Conference papers inria-00099705v1

Solving numerical constraints

Alexander Bockmayr , Volker Weispfenning
A. Robinson and A. Voronkov. Handbook of Automated Reasoning, Elsevier, pp.751-842, 2001
Book sections inria-00101100v1

Cutting Planes and the Elementary Closure in Fixed Dimension

Alexander Bockmayr , Friedrich Eisenbrand
[Intern report] 99-R-362 || bockmayr_99a, 1999, 12 p
Reports inria-00098944v1

Mathematical methods for the direct solution of the phase problem in X-ray structural analysis of biological macromolecules

Alexander Bockmayr , Vladimir Y. Lunin , Natasha Lunina , Alexandre Urzhumtsev
none. French-Russian A. M. Liapunov Institute for Applied Mathematics and Computer Science Transactions Volume 4, INRIA, pp.200-232, 2003
Book sections inria-00099607v1

On the Chvátal Rank of Polytopes in the 0/1 Cube

Alexander Bockmayr , Friedrich Eisenbrand , Mark Hartmann , Andreas S. Schulz
Discrete Applied Mathematics, 1999, 98 (1-2), pp.21-27
Journal articles inria-00099018v1
Image document

Recherche des gènes d'ARN non codant

Emmanuel Gothié , Yann Guermeur , Sébastien Muller , Christiane Branlant , Alexander Bockmayr et al.
[Rapport de recherche] RR-5057, INRIA. 2003
Reports inria-00071526v1

Network flow problems in constraint programming

Alexander Bockmayr , Nicolai Pisaruk , Abderrahmane Aggoun
7th International Conference on Principles and Practice of Constraint Programming - CP'2001, 2001, Paphos, Cyprus, pp.196-210
Conference papers inria-00101102v1

Combining logic and optimization in cutting plane theory

Alexander Bockmayr , Friedrich Eisenbrand
International Workshop on Frontiers of Combining Systems - FroCoS'2000, 2000, Nancy, France, pp.1-17
Conference papers inria-00099172v1

Multiscale modeling of alternative splicing regulation

Damien Eveillard , Delphine Ropers , Hidde de Jong , Christiane Branlant , Alexander Bockmayr et al.
International Workshop on Computational Methods in Systems Biology - CMSB'03, 2003, Rovereto, Italie, pp.75-87
Conference papers inria-00099792v1

On unions and dominants of polytopes

Egon Balas , Alexander Bockmayr , Nicolai Pisaruk , Laurence Wolsey
Mathematical Programming, 2004, 99, pp.223-239. ⟨10.1007/s10107-003-0432-4⟩
Journal articles istex inria-00100114v1

Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)

Alexander Bockmayr , Arnaud Courtois
2nd International Conference on Systems Biology - ICSB'01, Nov 2001, Pasadena, CA, USA, 1 p
Conference papers inria-00100608v1

Binary integer programming and its use for envelope determination

Vladimir Y. Lunin , Alexandre Urzhumtsev , Alexander Bockmayr
CCP4 Newsletter on Protein Crystallography, 2002, 40, 9 p
Journal articles inria-00100778v1

LISCOS Growth Project: Modelling and requirements of PSA test cases

Abder Aggoun , Marcel Beauseigneur , Alexander Bockmayr , Nicolai Pisaruk
[Contract] A00-R-274 || aggoun00c, 2000, 42 p
Reports inria-00099173v1

Branch-and-Infer: a Framework for Combining CP and IP

Alexander Bockmayr , Thomas Kasper
Michela Milano. Constraint and Integer Programming. Toward a Unified Methodology, Kluwer, pp.59-87, 2003, Operations Research/Computer Science Interfaces
Book sections inria-00099687v1

SCIL - Symbolic Constraints in Integer Linear Programming

Ernst Althaus , Alexander Bockmayr , Matthias Elf , Thomas Kasper , Michael Jünger et al.
10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87
Conference papers inria-00100922v1

Préétude pour la planification de transport de Gaz Est Distribution

Jianyi Zhou , Alexander Bockmayr , Jianyang Zhou
[Contrat] A00-R-426 || zhou00b, 2000
Reports inria-00099185v1

Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides

Alexander Bockmayr , Arnaud Courtois
Onzièmes Journées Francophone de Programmation en logique avec contraintes - JFPLC'02, 2002, Nice, France, pp.167-180
Conference papers inria-00100782v1

Using hybrid concurrent constraint programming to model dynamic biological systems

Alexander Bockmayr , Arnaud Courtois
18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, pp.85-99
Conference papers inria-00100783v1

Integer programs and valid inequalities for planning problems

Alexander Bockmayr , Yannis Dimopoulos
5th European Conference on Planning - ECP'99, 1999, Durham, UK, pp.239-251
Conference papers inria-00099171v1

The convex hull of the disjunction of polymatroids

Alexander Bockmayr , Nicolai Pisaruk
[Intern report] A00-R-421 || bockmayr00c, 2000, 13 p
Reports inria-00099312v1

Building and analysing an integrative model of HIV-1 RNA alternative splicing

Alexander Bockmayr , Arnaud Courtois , Damien Eveillard , Myriam Vezain
International Conference on Computational Methods in Systems Biology - CMSB 2004, May 2004, Paris/France, pp.43--57, ⟨10.1007/b107287⟩
Conference papers inria-00000917v1
Image document

A Multi-Site Constraint Programming Model of Alternative Splicing Regulation

Damien Eveillard , Delphine Ropers , Hidde de Jong , Christiane Branlant , Alexander Bockmayr et al.
[Research Report] RR-4830, INRIA. 2003
Reports inria-00071756v1

On unions and dominants of polytopes

Egon Balas , Alexander Bockmayr , Nicolai Pisaruk , Laurence Wolsey
[Intern report] A02-R-104 || balas02a, 2002, 23 p
Reports inria-00101057v1

Modeling the effects of SR proteins on alternative splicing

Damien Eveillard , Delphine Ropers , Hidde de Jong , Christiane Branlant , Alexander Bockmayr et al.
[Intern report] A02-R-117 || eveillard02b, 2002, 8 p
Reports inria-00101060v1

Analyse des Séquences InterORF chez les Levures - Application à la Recherche des petits ARN

Emmanuel Gothié , Yann Guermeur , Fabrice Leclerc , Christiane Branlant , Alexander Bockmayr et al.
Structure, Intégration, Fonction et Réactivité des ARN - SIFRARN, Oct 2002, Nancy, France
Conference papers inria-00101006v1
Image document

Detecting Infeasibility and Generating Cuts for MIP using CP

Alexander Bockmayr , Nicolai Pisaruk
5th International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - CPAIOR'03, 2003, Montréal, Canada, 11 p
Conference papers inria-00107699v1

A multi-scale constraint programming model of alternative splicing regulation

Damien Eveillard , Delphine Ropers , Hidde de Jong , Christiane Branlant , Alexander Bockmayr et al.
Theoretical Computer Science, 2004, Special issue: computational systems biology, 325 (1), pp.3-24. ⟨10.1016/j.tcs.2004.03.062⟩
Journal articles inria-00000916v1

Cutting Planes and the Elementary Closure in Fixed Dimension

Alexander Bockmayr , Friedrich Eisenbrand
Mathematics of Operations Research, 2001, 26 (2), pp.304-312
Journal articles inria-00101099v1

A binary integer programming approach for the determination of structures of biological macromolecules

Alexander Bockmayr , Vladimir Y. Lunin , Alexandre Urzhumtsev
Moscow Conference on Computational Molecular Biology 2003 - MCCMB'03, 2003, Moscou, Russie, pp.44-45
Conference papers inria-00099657v1