Résultats de recherche
Nombre de programmes trouvés : 184
Conférences
le
(58m26s)
Safety Verification of Deep Neural Networks
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including perception modules and end-to-end controllers for self-driving cars, this raises concerns about their safety. This lecture will describe progress with developing a novel automated verification framework for deep neural networks to ensure safety of their classification decisions with respect to image manipulations, for ...
Voir la vidéo
Conférences
le
(2h45m43s)
Simulations, scénarios et prospectives
... météorologiques et climatologiques a évolué, depuis la fin de la 2e guerre mondiale, vers une modélisation numérique du climat, dans un contexte technologique et politique où l'observation, via satellite, devient réalisable à une échelle planétaire ? Les modèles...
Voir la vidéo
Conférences
le
(22m8s)
Regional Climate Change and Extremes
...Global coupled ocean-atmosphere models, driven by greenhouse gas concentrations according to several hypotheses for the next century, have been used in the last IPCC-AR4 report to depict possible future climates of the planet. It will be shown that...
Voir la vidéo
Label UNT Conférences
le
(53m2s)
Mathematical models for the cardiovascular system
...Mathematical models for the cardiovascular system: analysis, numerical simulation, applications The role of mathematics in understanding and simulating fluid dynamics and biochemical processes in the physiological and pathological functioning of the...
Voir la vidéo
Conférences
le
(28m58s)
Modelling Forced and Internal Climate Variability During the Last Millennium
... the last millennia. In this framework, simulations in which the model is forced to follow the observations using a data assimilation technique could be very useful. Their goal is to extract the information on the forced and internal variability...
Voir la vidéo
Conférences
le
(1h12m32s)
Le devenir des villes et la modélisation
... régulières où dominent les figures du triangle et de l'hexagone. Puis ils ont construit des modèles dynamiques, qui combinent règles et aléas pour simuler les processus de croissance et de différenciation dans des systèmes de villes. Ces travaux s'inspirent...
Voir la vidéo
Conférences
le
(1h15m2s)
Derniers résultats de la mission Planck
... particulier pendant les 370 000 premières années. Ces anisotropies nous indiquent les valeurs possibles des paramètres des modèles lorsqu'ils sont confrontés à des données. Il en de même pour les anisotropies de polarisation. J’examinerai la nouvelle...
Voir la vidéo
Conférences
le
(1h12m18s)
L'action de l'homme sur le climat
... succès et se montrent capables de simuler au moins qualitativement la plupart des régimes naturels de fluctuation du climat. Lorsqu'il sont appliqués à l'évaluation des changements climatiques futurs les modèles existant présentent un accord fort sur...
Voir la vidéo
Conférences
le
(24m59s)
The Start and the End of Our Interglacial
... were inclined to predict a quite close entrance into the next ice age. Simulations using the 2.5-D climate model of Louvain-la- Neuve show however that our interglacial will most probably last much longer than any previous one, even without human...
Voir la vidéo
Conférences
le
(45m52s)
Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
... étudierons la représentativités des modèles ainsi construits, y compris pour les nouveaux besoins liés à la validation de propriétés extra-fonctionnelles devenues essentielles comme la consommation d'énergie. La seconde partie présentera des techniques de...
Voir la vidéo