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 |