Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 554
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 (58m26s)

11 - Pourquoi construire des ressources terminologiques et pourquoi le faire différemment ? (taln2015)

Sessions orales TALN 2015 – Mardi 23 juin 2015Conférence invitée Pourquoi construire des ressources terminologiques et pourquoi le faire différemment ? Marie-Claude L’HommePrésident de session : Pierre Beust Résumé : Dans cette présentation, je défendrai l’idée selon laquelle des ressources terminologiques décrivant les propriétés lexico-sémantiques des termes constituent un complément nécessaire, voire indispensable, à d’autres types de ressources, À partir d’exemples anglais et français empruntés au domaine de l’environnement, je montrerai, d’une part, que les ressources lexicales générales (y compris celles qui ont une ...
Voir la vidéo
Conférences

le (57m39s)

Quels phénomènes universels sont émergents ? / Which universal phenomena are emergent?

Christopher Pincock, Professeur de philosophie à l’université d’État de l’Ohio (Ohio State University, États-Unis). Christopher Pincock discute la nature de l’explication de l’universalité de certains phénomènes naturels, comme les phénomènes critiques. Sous quelles conditions est-il possible de les appeler émergents Christopher Pincock discusses the nature of the explanation of the universality of certain natural phenomena, such as critical phenomena. Under what conditions can they be called emergent?
Voir la vidéo
Conférences

le (57m23s)

LE CALENDRIER MAYA ET LE MYTHE DE LA FIN DU MONDE

Cette conférence est proposée comme un voyage dans le monde ancien des Mayas, en visitant principalement leur façon - très intéressante - d'approcher le concept du temps. Le temps et les différents calendriers chez les Mayas étaient au centre de leur idée philosophique de la vie qui se renouvelait en permanence. Dans la période dite Classique, les Mayas avaient réussi à développer un calendrier plus précis que ceux qui étaient utilisés en Europe à la même époque, une réussite due aux observations astronomiques effectuées de ...
Voir la vidéo
Conférences

le (56m47s)

SECRET LIFE OF SPACETIME

Combining the principles of general relativity and quantum theory still remains as elusive as ever. Recent work, that concentrated on the points of conflict and contact between quantum theory and general relativity, suggests a new perspective on gravity. It appears that the field equations of gravity in a wide class of theories - including, but not limited to, standard Einstein's theory - can be given a purely thermodynamic interpretation. In this approach gravity appears as an emergent phenomenon, like e.g., gas or fluid dynamics. I ...
Voir la vidéo
Conférences

le (56m22s)

Inférence à la meilleure explication en mathématiques : Concilier apriorité et révisabilité / Mathematical inference to the best explanation : Reconciling a priority and revisability.

... explication en mathématiques. Peut-on, en mathématiques, avoir des formes à priori d’inférence à la meilleure explication ? Peuvent-elles être à la fois à priori et révisables ? Marina Imocrante discusses the nature of mathematical inferences to the...
Voir la vidéo
Conférences

le (56m5s)

Eternal family trees and dynamics on unimodular random graphs (workshop ERC Nemo Processus ponctuels et graphes aléatoires unimodulaires)

This talk is centered on covariant dynamics on unimodular random graphs and random networks (marked graphs), namely maps from the set of vertices to itself which are preserved by graph or network isomorphisms. Such dynamics are referred to as vertex-shifts here. These dynamics have point-shifts on point processes as a subclass. First we give a classification of vertex-shifts on unimodular random networks. Each such vertex-shift partitions the vertices into a collection of connected components and foils. The latter are discrete analogues the stable manifold ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte