Filtrer vos résultats
- 15
- 1
- 6
- 6
- 1
- 1
- 1
- 1
- 15
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 13
- 3
- 14
- 7
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
16 résultats
|
|
triés par
|
Parallel biological in silico simulation29th Intenational Symposium on Computer and Information Sciences, Oct 2014, Krakow, Poland. pp.387-394, ⟨10.1007/978-3-319-09465-6_40⟩
Communication dans un congrès
hal-01087811v1
|
|||
Algorithms for an irreducible and lumpable strong stochastic boundLinear Algebra and its Applications, 2004, 386, pp.167-186
Article dans une revue
hal-01309511v1
|
|||
Computing the Steady-state Distribution of G-networks with Synchronized Partial FlushingISCIS 2006, 2006, Istanbul, Turkey. pp.887-896
Communication dans un congrès
hal-00159217v1
|
|||
Modelling Buffer Admission Mechanisms using Stochastic Automata NetworksAnnals of Telecommunications - annales des télécommunications, 1994, Special Issue, ATM-CESAME
Article dans une revue
hal-01310045v1
|
|||
A New Tool to Model Parallel Systems and ProtocolsEuropean Simulation Symposium, 1994, Istambul, Turkey. pp.220-224
Communication dans un congrès
hal-01310075v1
|
|||
|
Bin packing with fragmentable items: Presentation and approximationsTheoretical Computer Science, 2015, 602, ⟨10.1016/j.tcs.2015.08.005⟩
Article dans une revue
hal-01206602v1
|
||
Graph Algorithms and Software Framework for Interactive RNA Structure ModellingJournees Ouvertes de Biologie Informatique et Mathematiques - JOBIM'12, Jul 2012, Rennes, France. pp.475-476
Communication dans un congrès
hal-00756345v1
|
|||
Multiple class G-networks with jumps back to zeroMASCOTS, 1995, Durham, North Carolina, United States
Communication dans un congrès
hal-01310078v1
|
|||
Une introduction à la science informatique pour les enseignants de la discipline en lycéeGilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
Ouvrages
hal-00765226v1
|
|||
Multiple Class Generalized Networks with iterated deletionsPerformance Evaluation, 2000, 42, pp.1-20
Article dans une revue
hal-01310039v1
|
|||
|
Bin Packing with Fragmentable Items: Presentation and Approximations2013
Pré-publication, Document de travail
hal-00780434v1
|
||
A New Graph Algorithm for the Analysis of Conformational Dynamics of Molecules.Springer. Information Sciences and Systems 2015 : 30th International Symposium on Computer and Information Sciences (ISCIS 2015), 363, pp.319, 2015
Chapitre d'ouvrage
hal-01220093v1
|
|||
A First Approach of Grouping Problem in Stochastic Automata Network[Intern report] A04-R-072 || barth04e, 2004
Rapport
inria-00100238v1
|
|||
Dimensionnement des réseaux dans FADO : une première approche6ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF 2005, Feb 2005, Tours, France
Communication dans un congrès
hal-00126580v1
|
|||
Automated prediction of three-way junction topological families in RNA secondary structuresComputational Biology and Chemistry, 2012, 37, pp.1-5
Article dans une revue
hal-00641738v1
|
|||
An Algorithmic Game-Theory Approach for Coarse-Grain Prediction of RNA 3D Structure.IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2013, 10 (1), pp.193-199. ⟨10.1109/TCBB.2012.148⟩
Article dans une revue
hal-00832110v1
|