[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Ressources documentaires: Mathématiques

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