Oskar-Bordeaux: envíos recientes
Mostrando ítems 2581-2600 de 97038
-
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
Communication dans un congrès -
What Can be Observed Locally? Round-based Models for Quantum Distributed Computing
Communication dans un congrès -
Réalité Augmentée en extérieur : Enjeux et Etat de l'Art
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès -
Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
Communication dans un congrès -
Proof nets without links for Lambek calculus and partially commutative linear logic
Communication dans un congrès -
Ellipse et coordination en grammaire logique
Communication dans un congrès -
The Génolevures online database
Communication dans un congrès -
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 185--200, 2010-04)Article de revue -
Prédiction de réseaux d'interactions biomoléculaires à partir de données de la génomique comparée
(Université Sciences et Technologies - Bordeaux I)Thèses de doctorat -
Scotch and libScotch 5.1 User's Guide
(2008-08-04)Autre document -
PT-Scotch and libScotch 5.1 User's Guide
(2008-08-04)Autre document -
Towards efficient and scalable graph partitioning methods
Communication dans un congrès -
Efficient and scalable parallel graph partitioning
Communication dans un congrès -
The PT-Scotch project: purpose, algorithms, current results
(2008-06-18)Autre document -
Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
The PT-Scotch project: purpose, algorithms, intermediate results
Communication dans un congrès -
PT-Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
The PT-Scotch project: purpose, algorithms, first results
Communication dans un congrès -
Conception et mise en oeuvre d'outils efficaces pour le partitionnement et la distribution parallèles de problèmes numériques de très grande taille
(Université Bordeaux I)Thèses de doctorat