Classement
112 résultats
Livre numérique Outils de mise en oeuvre industrielle des techniques formelles

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Plus

Livre numérique Électromagnétisme : équations de Maxwell propagation et émission

Cet ouvrage propose une analyse approfondie de l'électromagnétisme. Après une révision des équations des phénomènes indépendants du temps, il analyse en détail l'induction, les équations de Maxwell et les ondes électromagnétiques dans les diélectriques, ... Plus

Livre numérique Modèles statistiques pour l’accès à l'information textuelle

Cet ouvrage présente les modèles statistiques récemment développés au sein de diverses communautés pour accéder à l'information contenue dans des collections textuelles. Plus

Livre numérique Théorie des graphes et applications avec exercices et problèmes

Théorie des graphes et applications est un ouvrage, à la fois pédagogique et complet, qui présente une étude des principaux aspects de la théorie des graphes et de ses applications, en particulier celles relevant de l'optimisation combinatoire. Plus

Livre numérique Performances des réseaux et des systèmes informatiques

Les réseaux et les systèmes informatiques sont devenus extraordinairement complexes. Les protocoles et algorithmes qui en assurent le partage permettent d'absorber les fluctuations du trafic liées au comportement aléatoire des utilisateurs, ... Plus

Livre numérique Signaux et systèmes linéaires continus

Il n'est guère de fonctionnement sans système, ces derniers obéissant généralement à des signaux. De la pendule à balancier aux drones, l'imbrication des systèmes élémentaires conduit aux systèmes les plus complexes. Plus

Livre numérique Raisonnement qualitatif sur le temps et l'espace

Le raisonnement qualitatif sur le temps et l'espace est un domaine de l'intelligence artificielle qui connaît un développement important, notamment en raison de ses liens avec de nombreuses applications comme la planification, ... Plus

Livre numérique Analyse et contrôle des équations différentielles

Analyse et contrôle des équations différentielles dresse un panorama des différents problèmes auxquels l'ingénieur doit faire face dans la modélisation et la résolution des systèmes dynamiques régis par des équations différentielles ordinaires. Plus

Livre numérique Morphologie mathématique 2 (traité IC2)

La morphologie mathématique est historiquement la première théorie non-linéaire dans le domaine du traitement des images. Elle repose sur trois piliers qui font son succès : une théorie solide, un champ d'application vaste, et une mise en œuvre efficace. Plus

Livre numérique Méthodes numériques pour l'ingénieur

Méthodes numériques pour l'ingénieur présente les algorithmes de base pour résoudre les problèmes en dimension finie rencontrés dans la modélisation des phénomènes physiques ou économiques. La résolution des équations matricielles, ... Plus