| Colloque Mathématique à Grenoble (30 juin -- 1er juillet 1949) |
| Colloque mathématique (du 7 mai 1950 à Grenoble) |
| Note sur la méthode d'intégration de Fourier des équations de la physique mathématique |
| Le traitement du signal et l'analyse mathématique |
| Maths à modeler -Laboratoire LEIBNIZ |
| Cmathématique |
| Les carrés magiques |
| PI 3.14.net |
| Pour une biologie intégrative |
| Les indispensables mathématiques et physiques pour tous |
| NUMDAM. |
| NUMDAM |
| Cinquantenaire de l'IHES |
| La quatrième dimension, une promenade mathématique |
| Portail documentaire Mathématique |
| Archimaths.net |
| Mathworld |
| Signets du CADIST Mathématiques SCD Paris-Sud 11 |
| Analyse statistique et morphologique des images multivaluées : développements logiciels pour les applications cliniques |
| Contributions à l'analyse numérique de méthodes de volumes finis, à la modélisation et au calcul en électrocardiologie. |
| Modélisation mathématique de phénomènes électromagnétiques dans des matériaux à fort contraste |
| Vers un outil d'aide à la décision pour le choix entre internalisation/externalisation ou mutualisation des activités logistiques au sein d'un établissement de santé: cas du service de stérilisation |
| Un système d'aide à l'enseignement d'une méthode de programmation |
| Les objets et les types dans un enseignement de la programmation s'adressant à des débutants |
| Itération et récursivité |
Une rencontre du troisième type :
simulation et pédagogie |
| La simulation numérique comme élément d'une démarche expérimentale. À propos de l'enseignement de la physique |
| 2 - Détection multiple par les valeurs propres de la matrice spectrale |
| 1 - Mouvements et traitement d'images |
| 3 - Fermeture des contours par un opérateur local |
| 4 - Les éléments structurants plans et volumiques en morphologie mathématique sur des images à niveaux de gris, appliqués sur un opérateur temps réel vidéo |
| 2 - Utilisation de la transformation de Radon en sismique |
| 5 - Sur une méthode d'inversion en tomographie acoustique de l'océan |
| 8 - Segmentation de défauts dans des images de radiographies industrielles |
| 1 - Champs stationnaires au sens large sur Z2 : propriétés structurelles et modèles paramétriques |
| 4 - Formalisation en occam et simulation sur un réseau de Transputers d'un processeur systolique de traitement d'images |
| 8 - Architecture et fonctionnement du système DIRA. De l'acoustique aux niveaux linguistiques |
| 1 - Quelques commentaires sur des représentations temps-fréquence proposées récemment |
| 4 - Détection des arêtes dans les images de distance |
| 1 - Méthodes temps-fréquence |
| 5 - Evaluation automatique du degré de bulles dans le sang : méthodes paramétriques |
| 6 - Une décomposition non linéaire pour la segmentation de textures bruitées |
| 01 - Traitement d'antenne avec adéquation de modèle |
| 09 - Reconstruction 3D de vaisseaux sanguins par fusion de données à partir d'images angiographiques et échographiques |
| 2 - Une revue des derniers progrès en autocalibration de caméras CCD |
| 8 - Reconstruction de visages par stéréovision active |
| 4 - Théorie de l'évidence et cadres de discernement non exhaustifs |
| 5 - Justifications physiques et applications du modèle LIP pour le traitement des images obtenues en lumière transmise |
| 2 - Introduction à l'imagerie tomographique 2D et 3D reposant sur la propagation en ligne droite. Cas de la tomographie par rayon X, par émission et par ultrasons |
| [ Article non disponible ] |
| 1 - Les équations aux dérivées partielles en traitement des images et vision par ordinateur |
| 10 - Un réseau cellulaire VLSI fonctionnellement asynchrone pour le filtrage morphologique d'images |
| 1 - Méthode coopérative et quantification de la segmentation de l'encéphale en Imagerie par Résonance Magnétique |
| 12 - Variables et signaux aléatoires complexes |
| 21 - Les systèmes à sauts : théorie et application |
| 6 - Quelle précision pour une mire d'étalonnage ? |
| 2 - Séquences pour l'étalement de spectre par séquence directe |
| 3 - Segmentation d'images couleur : applications en microscopie cellulaire |
| 5 - Méthode d'évaluation univariante de la qualité des images. Application à des images comprimées selon la norme JPEG |
| 05 - Prédiction en ligne par apprentissage et exploitation des caractéristiques géométriques des signaux |
| Claude Godbillon : l'homme et son travail mathématiques. Discours prononcé à l'ouverture du colloque par Paul A. Schweitzer, S. J. |
| À propos du sens des textes mathématiques, un exemple : la théorie des «bifurcations dynamiques» |
| Université Montpellier II |
| Chronomath, en partenariat avec Sciences en Ligne |
| Educasource |
| Canal-U |
|
| Cyberscol |
| Editions du Kangourou |
| Le nombre PI |
| Histoire des maths |
| Art et fractales |
| Délices de maths |
| Figures Animées pour la Physique |
| La photothèque du CNRS |
| Une histoire des mathématiques |
| Tas de sable |
| L'éolienne |
| Vitamines mathématiques |
| 15èmes rencontres CNRS Jeunes -Sciences et citoyens |
| ABC Maths: Mathématiques animées pour le lycée |
| Les récréations mathématiques de Diophante |
| Des trucs et des maths |
| ABCMaths : élèments de cours et exercices mathématiques interactifs . |
| 14ème édition de la Fête de la Science - Du 10 au 16 octobre 2005 |
| L'age d'or des sciences arabes |
| Les Amphis de France 5/Mathématiques |
| Blog Sciences |
| Maths Rometus |
| Wendelin Werner, lauréat de la médaille Fields 2006 |
| Un nouveau site labellisé: Ampere.science.gouv.fr |
| Le théorème de Pythagore |
| L'histoire des mathématiques |
| Buffon@web |
| Bibliothèque virtuelle des archives de l'Académie des sciences. |
| Bibliothèque virtuelle des archives de l'Académie des sciences |
| Tout est relatif, monsieur Poincaré ! |
| Images des mathématiques |
| Vidéo : le c?ur numérique |
| Aimer les maths c'est possible ? |
| Qu'est-ce qu'un nombre ? |
| Master Journalisme scientifique |
| European Mathematical Information Service (EMIS) |
| Eric Weisstein's word of Mathematics |
| Des ressources mathématiques sur la toile |
| Les mathematiques.net |
| Bacamaths |
| Maths54 |
| Mathématiques en ligne pour MPSI/PCSI/PTSI:PSI*/PSI |
| Des trucs et des maths |
| Histoire des chiffres |
| L'univers de Pi |
| Le nombre d'or |
| Des figures géométriques à la souris |
| Réseau national des bibliothèques de mathématiques |
| Introduction à la logique |
| ressources nationales de chimie |
| Université en ligne : mathématiques |
| Bibnum |
| Institut für Geschichte der Arabisch-Islamischen Wissenschaften, Frankfurt-am-Main |
| L'oeuvre humanitaire du Corps de santé colonial français (1890-1968) |
| Contributions à la quantification et à la propagation des incertitudes en mécanique numérique |
| LES LOGICIELS TUTEURS FERMES : INSTITUTIONS D'APPRENTISSAGE ET D'ENSEIGNEMENT DES MATHÉMATIQUES ? LE CAS DU DÉBUT DU SECONDAIRE. |
| EpiNet : Revue électronique de l'EPI, Année 2008, n° 101-110 |
| Le tableur et l'option informatique : vers la programmation par objets |
| Modélisation - simulation. Introduction au thème |
| Un plan de formation à l'informatique de tous les élèves, de l'école primaire au lycée. Propositions du Groupe Technique Disciplinaire Informatique |
| 5 - Renaissance d'une technique de l'analyse modale d'avant les transformées rapides. Le décrément aléatoire |
| 5 - Un algorithme rapide séquentiel de déconvolution L2 |
| 1 - A quin wavelet analysis |
| 01 - De la spécification formelle au partitionnement matériel logiciel |
| 22 - Commande de l'équation des télégraphistes et restauration active d'un signal |
| Introduction to magnetic resonance imaging for mathematicians |
| Université de Nancy: Les archives Henri Poincaré |
| Second ravitailleur spatial : un parrain prestigieux |
| SCD ULP Documents numérisés Auteur: Euler, Leonhard |
| SCD ULP - Documents numérisés - Auteur: Euler, Leonhard |
| Informatique et dé-taylorisation ; informatique et enseignement |
| Gallica-Math: ?uvres complètes |
| Comprendre l'organisation du vivant et son évolution vers la conscience |
| Foundations for Mapping of Distributed Multimedia Applications to Distributed Computer System |
| Partial Commutation and Traces |
| Formal Languages, Automata and Petri-Nets |
| Representing Time in Multimedia Systems |
| Wortgleichungen in hyperbolischen Gruppen |
| ROLE: Role Oriented Programming Environment for Multiagent Systems |
| Quantitative Analyse dynamischer Systeme am Beispiel der Lyapunov-Exponenten |
| Komponentenerkennung durch Begriffsanalyse |
| Entwicklung einer agentenbasierten Werkzeugdisposition in einer verteilten CORBA-Umgebung |
| Entwurf eines kombinierten Daten- und Funktionsschemas zur Beschreibung von Prüfungsordnungen und Prüfungsplänen |
| Charakterisierungsverfahren fuer GRIDIS-Anwendungen |
| Document-Driven Black-Box-Testing |
| Lectures on Applied Mathematics |
| Modern scientific methods and their potential in wastewater science and technology |
| Two proofs of convergence for the combination technique for the efficient solution of sparse grid problems |
| Model-Checking Hierarchical Structures |
| Cooperative EKF Localization |
| Inverse monoids: decidability and complexity of algebraic questions |
| Fixpoint logics on hierarchical structures |
| Computational and logical aspects of infinite monoids |
| Gegenseitige Simulation von Datenstrukturen |
| First-order and counting theories of omega-automatic structures |
| Teaching High-Performance Computing on a High-Performance Cluster |
| Wissenschaftliches Rechnen in der Lehre am Beispiel des Studienprojekts "Computational Steering - der virtuelle Windkanal" |
| Molecular Simulation of Fluid Flow on a Cluster of Workstations |
| Some Remarks on hybrid Systems |
| A Simulation Package for dynamical Systems |
| Artificial Neural Networks based Reconstruction of dynamical Systems |
| On the Border Collision Period doubling Bifurcation Scenario |
| The AnT Project: Simulation and Investigation of dynamical Systems |
| General Concepts of Modelling and their Application in the AnT Simulation Package |
| On the Software Package AnT 4.669 for the Investigation of dynamical Systems |
| Test for Hyperbolicity of a dynamical System |
| Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen |
| Polynomials, Fragments of Temporal Logic and the Variety DA over Traces |
| On dynamical Systems with piecewise defined System Functions, Part I: Period-increment Scenario |
| On dynamical Systems with piecewise defined System Functions, Part II: Big-Bang Bifurcation |
| On dynamical Systems with piecewise defined System Functions |
| On the Order Parameter Equations of dynamical Systems with Time Delay |
| Mathematical Basics of multi-agent Systems |
| Emulation von Rechnernetzen zur Leistungsanalyse von verteilten Anwendungen und Netzprotokollen |
| Implementation of parallel Algorithms for short-range molecular dynamics simulations |
| On dynamical Systems with piecewise defined System Functions, Part II: Big-Bang Bifurcation |
| Reconstruction of Vector Fields of dynamical Systems from Time Series Data: A Neural Network Approach |
| The Expressive Power of Simple Logical Fragments over Traces |
| Laws for Rewriting Queries Containing Division Operators |
| Spiele und temporallogische Fragmente über Spuren |
| Molecular simulation of fluids with short range potentials |
| Infinite State Model-Checking of Propositional Dynamic Logics |
| Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation |
| A Generalized Broadcasting Technique for Mobile Ad Hoc Networks |
| Caching and Prefetching for Efficient Read Access to Multidimensional Wave Propagation Data on Disk |
| An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process |
| On the Reliability Evaluation of SRAM-based FPGA Designs |
| Hierarchical Self-Organization in Swarms of Nano-Robots |
| Experimental Study on Self-organized and Error Resistant Control of Distributed Autonomous Robotic Systems |
| On detection of multi-band chaotic attractors |
| Protocol based Integration using SSDL |
| Space-Based Web Services: Konzepte und prototypische Implementierung mit Linda-Spaces |
| Query Structural Information of BPEL Processes |
| Aggregation von QoS und SLAs in BPEL Geschäftsprozessen |
| Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking |
| On a Generic Uncertainty Model for Position Information |
| Fragments of first-order logic over infinite words |
| Konzeption und Realisierung eines zeitbezogenen Contextcast |
| Process Fragments |
| Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation |
Evolutions de Schramm-Loewner et théories conformes;
Deux exemples de systèmes désordonnés de basse dimension |
| Information and Communication Theory |
| Error Control Coding and System Performance |
| 1 - Segmentation d'images: vers une méthodologie |
| 3 - Similarités entre les aspects non linéaires du filtrage adaptatif en traitement du signal et en automatique |
| 4 - Détection des harmoniques dans un spectre de vibrations par des méthodes de traitement d'images |
| 2 - Une approche multiéchelle à l'analyse d'images par champs markoviens |
| 2 - Regroupement optimal de capteurs en traitement du signal radar |
| 2 - Approximation du changement de focale et de mise au point par une transformation affine à trois paramètres |
| 4 - Un complément sur la normalité des accroissements moyens dans les processus définis par leurs accroissements ; une application à l'acoustique routière |
| 02 - Cascaded stochastic processes in optics |
| 1 - Classification de textures en imagerie sonar et invariance en rotation |
| How Many? A Dictionary of Units of Measurement |
| Circles of Light: The Mathematics of Rainbows |
| Entwicklung eines Testkonzepts für parametrisierbare Simulationsmodelle mechanischer, hydraulischer und regelungstechnischer Systeme. |
| Entwicklung einer wissenbasierten Zuweisung von Aufgabenträgern in einem Workflow-Management-System |
| Fehlertolerantes Protokoll zur Exactly-Once-Ausführung von Agenten |
| Parallele Repartitionierung von Gittern zur dynamischen Lastbalancierung, |
| Graphische parallele Programmiermethoden |
| Visualisierung und Gezielte Selektion von Isoflächenkomponenten |
| Characterizing MANET Topologies and Analyzing Their Impact on Routing Protocols |
| A Key-Distribution Scheme for Wireless Home Automation Networks |
| A fault-tolerant Key-Distribution Scheme for Securing Wireless Ad-Hoc Networks |
| High Performance Scientific and Engineering Computing |
| Numerical Simulation and Experimental Studies of the Fluid-Dynamic Behaviour of Rising Bubbles in Stagnant and Flowing Liquids |
| A multigrid algorithm for higher order finite elements on sparse grids |
| Sparse grids: Recent developments for elliptic partial differential equations |
| A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation |
| Applications of computer algebra in scientific computing |
| Extrapolation, combination, and sparse grid techniques for elliptic boundary value problems |
| Extrapolation, combination, and sparse grid techniques for elliptic boundary value problems |
| Concepts for higher order finite elements on sparse grids |
| Numerische Simulation als interdisziplinäre Herausforderung |
| Efficient strategies for optimization with genetic algorithms |
| Hierarchische Geometriemodellierung für die Simulation von Präzisions-Fräsvorgängen |
| Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version) |
| A Note on On-The-Fly Verification Algorithms |
| Entwurf und Bewertung von Lokationsmodellen |
| Hierarchische Graphen zur Wegesuche |
| Gleichungen mit regulären Randbedingungen über freien Gruppen |
| On special types of two- and three-parametric bifurcations in piecewise-smooth dynamical systems |
| Congestion-Aware Optimization of Pedestrian Paths |
| An Octree- and A Graph-Based Approach to Support Location Aware Navigation Services |
| Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV |
| Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände |
| Methods for Optimal Pedestrian Task Scheduling and Routing |
| Strategien für die Elternselektion in evolutionären Algorithmen |
| Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten |
| Connection between bifurcations on the Poincare Equator and the dangerous bifurcations |
| Realzeitverarbeitung von Datenströmen in globalen Sensornetzen |
| A Graph-based Approach for Querying Structural Information of Business Processes |
| Stratifizierte Transaktionen |
| Etude de la dynamique autour des points de Lagrange |
| Analyse des processus longue mémoire stationnaires et non-stationnaires : estimations, applications et prévisions |
| Optimisation de forme d'antennes lentilles intégrées aux ondes millimétriques |
| Forme normale tournante des tresses |
| Le problème de Yamabe avec singularités et la conjecture de Hebey-Vaugon. |
| Probabilities |
| Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden |
| Fairness in epidemischen Ereignisverteilungsverfahren |
| Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator |
| Bewertung und Analyse der formalen Spezifikationssprachen LOTO und Esterel |
| Verwendung von Scalable Vector Graphics und MathML in web-basierten Lernumgebungen |
| Konzeption und Teilrealisierung einer interaktiven Programmierumgebung für die Lehrerausbildung basierend auf der Idee des Literate-Programming |
| Emulationskonzepte für Netze mit gemeinsamem Medium |
| Dynamic Load Balancing for Parallel Database Processing |