Filter your results
- 15
- 13
- 7
- 3
- 38
- 9
- 6
- 6
- 6
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 37
- 2
- 38
- 37
- 5
- 4
- 3
- 1
- 1
- 38
- 38
- 38
- 38
- 38
- 37
- 37
- 37
- 37
- 37
- 13
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 4
- 33
- 5
- 3
- 8
- 10
- 6
- 6
- 4
- 1
|
|
sorted by
|
|
Direct phasing by binary integer programmingActa 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)Modeling and Simulation of Biological Regulatory Processes - ECCB Satellite Meeting, 2003, Paris, France
Conference papers
inria-00099705v1
|
|||
Solving numerical constraintsA. 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[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 macromoleculesnone. 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 CubeDiscrete Applied Mathematics, 1999, 98 (1-2), pp.21-27
Journal articles
inria-00099018v1
|
|||
|
Recherche des gènes d'ARN non codant[Rapport de recherche] RR-5057, INRIA. 2003
Reports
inria-00071526v1
|
||
Network flow problems in constraint programming7th 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 theoryInternational Workshop on Frontiers of Combining Systems - FroCoS'2000, 2000, Nancy, France, pp.1-17
Conference papers
inria-00099172v1
|
|||
Multiscale modeling of alternative splicing regulationInternational Workshop on Computational Methods in Systems Biology - CMSB'03, 2003, Rovereto, Italie, pp.75-87
Conference papers
inria-00099792v1
|
|||
On unions and dominants of polytopesMathematical 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)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 determinationCCP4 Newsletter on Protein Crystallography, 2002, 40, 9 p
Journal articles
inria-00100778v1
|
|||
LISCOS Growth Project: Modelling and requirements of PSA test cases[Contract] A00-R-274 || aggoun00c, 2000, 42 p
Reports
inria-00099173v1
|
|||
Branch-and-Infer: a Framework for Combining CP and IPMichela 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 Programming10th 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[Contrat] A00-R-426 || zhou00b, 2000
Reports
inria-00099185v1
|
|||
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybridesOnziè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 systems18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, pp.85-99
Conference papers
inria-00100783v1
|
|||
Integer programs and valid inequalities for planning problems5th European Conference on Planning - ECP'99, 1999, Durham, UK, pp.239-251
Conference papers
inria-00099171v1
|
|||
The convex hull of the disjunction of polymatroids[Intern report] A00-R-421 || bockmayr00c, 2000, 13 p
Reports
inria-00099312v1
|
|||
|
Building and analysing an integrative model of HIV-1 RNA alternative splicingInternational Conference on Computational Methods in Systems Biology - CMSB 2004, May 2004, Paris/France, pp.43--57, ⟨10.1007/b107287⟩
Conference papers
inria-00000917v1
|
||
|
A Multi-Site Constraint Programming Model of Alternative Splicing Regulation[Research Report] RR-4830, INRIA. 2003
Reports
inria-00071756v1
|
||
On unions and dominants of polytopes[Intern report] A02-R-104 || balas02a, 2002, 23 p
Reports
inria-00101057v1
|
|||
Modeling the effects of SR proteins on alternative splicing[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 ARNStructure, Intégration, Fonction et Réactivité des ARN - SIFRARN, Oct 2002, Nancy, France
Conference papers
inria-00101006v1
|
|||
|
Detecting Infeasibility and Generating Cuts for MIP using CP5th 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 regulationTheoretical 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 DimensionMathematics 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 macromoleculesMoscow Conference on Computational Molecular Biology 2003 - MCCMB'03, 2003, Moscou, Russie, pp.44-45
Conference papers
inria-00099657v1
|
- 1
- 2