Skip to Main content Skip to Navigation

inria-00000284v1  Conference papers
Franck CappelloFrédéric DesprezMichel DaydeEmmanuel JeannotYvon Jégou et al.  Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
inria-00000626v1  Book sections
Pierrick Gaudry. Chapter 7: Hyperelliptic curves and the HCDLP
I. Blake and G. Seroussi and N. Smart. Advances in Elliptic Curve Cryptography, 317 (317), Cambridge University Press, 2005, London Mathematical Society Lecture Note Series
inria-00000846v1  Directions of work or proceedings
Marc SchoenauerPierre LiardetPierre ColletEvelyne LuttonCyril Fonlupt. 6th International Conference, Evolution Artificielle, EA 2003
Pierre Liardet and Pierre Collet and Cyril Fonlupt and Evelyne Lutton and Marc Schoenauer. 2936 (2936), SPRINGER, pp.409, 2003, LNCS
inria-00001064v1  Journal articles
Hugues BerryDelphine PellencOlivier Gallet. Adsorption-induced conformational changes in protein diffusion-aggregation surface assemblies
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2005, 72, pp.051904
inria-00001063v1  Journal articles
Hugues BerryDelphine PellencOlivier Gallet. Adsorption-induced fibronectin aggregation and fibrillogenesis
Journal of Colloid and Interface Science, Elsevier, 2006, 298, pp.132-144
inria-00091838v1  Journal articles
Raghav BhaskarJavier HerranzFabien Laguillaumie. Aggregate Designated Verifier Signatures and Application to Secure Routing
International Journal of Security and Networks, Inderscience, 2006
inria-00099181v1  Reports
Jörn MiggeP. MinetS. Kamoun. Evaluation d'outils d'analyse de performances
[Contrat] A00-R-299 || migge00a, Loria. 2000, 8 p
inria-00099384v1  Conference papers
Assefaw Hadish GebremedhinIsabelle Guérin-LassousJens GustedtJan Arne Telle. Graph Coloring on a Coarse Grained Multiprocessor
26th International Workshop on Graph-Theoretic Concepts in Computer Science - WG'2000, 2000, Konstanz, Germany, pp.184-195
inria-00099711v1  Journal articles
Gilles DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
inria-00101012v1  Conference papers
Gilles DowekThérèse HardinClaude Kirchner. Binding Logic: proofs and models
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
hal-00115734v1  Journal articles
Alexandre Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time
Journal of Symbolic Computation, Elsevier, 2002, 33, pp.735-755
inria-00117492v1  Conference papers
Cécile Germain. Scheduling for Interactive Grids
First EGEE User Forum, Mar 2006, Genève/Suisse, Switzerland
inria-00119756v1  Conference papers
Antoine CornuéjolsFranck Thollard. Artificial data and language theory
GI workshop 2006. Grammatical inference: workshop on open problems and new directions, Colin de la Higuera, Nov 2005, Saint-Etienne, France
inria-00121232v1  Journal articles
Paul-Henry CounèdePhilippe de Reffye. GreenLab: A Dynamical Model of Plant Growth for Environmental Applications
ERCIM News, ERCIM, 2005, Special : Environmental Modelling, 61, pp.39-40
inria-00121234v1  Journal articles
Y. GuoY.T. MaZ.G. ZhanB.G. LiM. Dingkuhn et al.  Parameter Optimization and Field Validation of the Functional-Structural Model GREENLAB for Maize
Annals of Botany, Oxford University Press (OUP), 2006, Annals of Botany, 97, pp.217-230. ⟨10.1093/aob/mcj033⟩
inria-00121238v1  Journal articles
M. Z. KangPhilippe de ReffyeB.G. HuX. Zhao. Fast Construction of Geometrical Structure of Plant with Substructures Algorithm
International Journal of Image and Graphics, World Scientific Publishing, 2004, 9 (1), pp.79-86
inria-00121501v1  Journal articles
M. Z. KangE. HeuvelinkPhilippe de Reffye. Building Virtual Chrysanthemum Based on Sink-Source Relationships: Preliminary Results
Acta Horticulturae, International Society for Horticultural Science, 2006, Acta Horticulturae, 718, pp.129-136
inria-00121502v1  Conference papers
M.Z. KangR. QiPhilippe de ReffyeB.G. Hu. GreenScilab:A toolbox simulating plant growth in the Scilab environment
8th Middle Eastern Simulation Multiconference, Aug 2006, Alexandria / Egypt, Egypt. pp.174-178
inria-00122478v1  Conference papers
A. Rostand-MathieuPaul-Henry CournèdePhilippe de Reffye. A Dynamical Model of Plant Growth with Full Retroaction between Organogenesis and Photosynthesis,
7ème Colloque Africain sur la Recherche en Informatique (CARI'04), Nov 2004, Hammamet / Tunisia
inria-00122480v1  Journal articles
Cyril SolerFrançois X. SillionFrédéric BlaisePhilippe de Reffye. An efficient instanciation algorithm for simulating radiant energy transfer in plant models
ACM Transactions on Graphics, Association for Computing Machinery, 2003, ACM Transactions on Graphics, 22 (2), pp.204-233. ⟨10.1145/636886.636890⟩
inria-00122481v1  Journal articles
Y.H. SongY. GuoB.G. LiPhilippe de Reffye. Virtual maize model I. biomass partitioning based on plant topological structure
Acta Ecologica Sinica, Elsevier, 2003, Acta Ecologica Sinica, 23 (11), pp.2333- 2341
inria-00122491v1  Conference papers
L. WuF.X. Le DimetB.G. HuPaul-Henry CournèdePhilippe de Reffye. A Water Supply Optimization Problem for Plant Growth Based on GreenLab Model
7éme Colloque Africain sur la Recherche en Informatique (CARI'04), 2005, Mammamet / Tunisia, Tunisia
inria-00122493v1  Conference papers
Hongping YanBarczi Jean FrançoisPhilippe de ReffyeBaogang HuMarc Jaeger et al.  Fast Algorithms of Plant Computation Based on Substructure Instances
International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision, 2002, Bory / Czech Republic, Czech Republic. pp.145-153
inria-00122501v1  Conference papers
Zhigang ZhanYiming WangPhilippe de ReffyeBingbing WangYanwen Xiong. Architectural modeling of wheat growth and validation study
ASAE Annual International Meeting, 2000, Milwaukee, Wisconsin / Etats-unis, United States
inria-00122505v1  Journal articles
X. ZhaoF.L. XiongPhilippe de ReffyeB.G. HuM.Z. Kang. Simulation of Infloresences
Chinese Journal of Computers, China Computer Federation, 2003, Chinese Journal of Computers, 26 (1), pp.116-124
inria-00122497v1  Journal articles
Hongping YanMeng Zhen KangPhilippe de ReffyeMichael Dingkuhn. A dynamic, architectural plant model simulating resource-dependent growth
Annals of Botany, Oxford University Press (OUP), 2004, Annals of Botany, 93, pp.591-602
inria-00125469v1  Journal articles
Emmanuel Pietriga. Styling RDF Graphs with GSS, Textuality Services, Inc., 2003
inria-00128507v1  Conference papers
Grigori FursinAlbert Cohen. Building a Practical Iterative Interactive Compiler
International Workshop on Statistical and Machine Learning Approaches Applied to Architectures and Compilation (SMART'07), Jan 2007, Ghent, Belgium
inria-00128777v1  Conference papers
Leila Azouz SaidaneSkander AzzazSteven MartinPascale Minet. FP/FIFO scheduling: deterministic versus probabilistic QoS guarantees and p-schedulability
IEEE International Conference on Communications - ICC 2007, Jun 2007, Glasgow, Scotland / Great Britain
inria-00128787v1  Conference papers
Dang Quan NguyenPascale Minet. Analysis of MPR selection in the OLSR protocol
IEEE international workshop on Performance Analysis and Enhancement of Wireless Networks - PAEWN 2007, May 2007, Niagara falls, Ontario / Canada
inria-00128793v1  Conference papers
Dang Quan NguyenPascale Minet. Scalability of the OLSR protocol with the Fish Eye extension
6th IEEE International Conference on Networking - ICN 2007, Apr 2007, Sainte-Luce, Martinique, France
inria-00128809v1  Conference papers
Leila BoukhalfaPascale MinetSerge Midonnet. QoS support in a MANET based on OLSR and CBQ
6th IEEE International Conference on Networking - ICN 2007, Apr 2007, Sainte-Luce, Martinique, France
inria-00128816v1  Conference papers
Pascale MinetSteven MartinLeila Azouz SaidaneSahla Masmoudi. Probabilistic or deterministic QoS guarantees for flows scheduled with FP/DM
IASTED international conference on Parallel and Distributed Computing and Networks - PDCN 2007, Feb 2007, Innsbruck / Austria
inria-00128828v1  Book sections
Pascale Minet. Support de qualité de service dans les réseaux mobiles ad hoc
Houda Labiod. Réseaux mobiles ad hoc et réseaux de capteurs sans fil, Traité IC2, Hermès, 2006, Réseaux et Télécoms, 2-7462-1292-7
inria-00128841v1  Book sections
Pascale Minet. Différentes approches pour la qualité de service
Abdelhamid Mellouk. Mécanismes du contrôle de la qualité de service : applications temps réel et multimédia, Hermès, 2007, Traité IC2, série traitement du signal et de l'image, 2-7462-1488-1
inria-00129055v1  Conference papers
Claude MarchéNicolas Rousset. Verification of Java Card applets behavior with respect to transactions and card tears
Software Engineering and Formal Methods, Sep 2006, Pune, India
inria-00138779v1  Journal articles
Dang Quan NguyenPascale Minet. Quality of Service Routing in a MANET with OLSR
Journal of Universal Computer Science, Springer, 2007, 13 (1), pp. 56-86
inria-00144967v1  Journal articles
Emmanuel Baccelli. Algorithmes pour les réseaux ad hoc
Interstices, INRIA, 2006
hal-00147616v1  Journal articles
Randal DoucGersende FortÉric MoulinesPhilippe Soulier. Practical drift conditions for subgeometric rates of convergence
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2004, 14 (3), pp.1353-1377. ⟨10.1214/105051604000000323⟩
hal-00171507v1  Conference papers
Frédéric ChazalDavid Cohen-SteinerAndré LieutierBoris Thibert. Shape Smoothing using Double Offsets
SPM '07 - Solid and Physical Modeling, Jun 2007, Beijing, China. pp.183-192, ⟨10.1145/1236246.1236273⟩