|
|
|
14:00 à 16:00
Salle du conseil
seminar with Prof. Liliane Machado and prof. Ronei M. de Moraes, UFPA, Brésil
Keynote Prof. Liliane dos Santos Machado / Departament of Informatics)
Title: Serious Games and Virtual Reality Environments for Learning, Training and Diagnosis
Abstract: VR environments and games can be widely used to promote learning, training and diagnosis. Safety, reuse and availabity are characteristics that promote their use for several areas. In this talk, some projects developed by at the Laboratory of Technologies for Virtual Teaching and Statistics (LabTEVE) of the Federal University of Paraíba, in Brazil, dedicated to improving motivation to learn, promoting awareness, allowing the training of risky tasks and providing rehabilitation and playful diagnosis will be presented.
Keynote: Prof. Ronei (Ronei Marcos de Moraes / Departament of Statistics)
Títle: Developments in Machine Learning with Fuzzy Sets and its Aplications in Health Sciences
Abstract: The team of Laboratory of Applied Statistics in Image Processing and Geoprocessing of Federal University of Paraiba (Brazil) has achieve some theorectical developments in Bayesian Netwoks using Fuzzy Probabilities (BNFP) and their ensembles for Machine Learning. I will present some recents developments and its implementation in an R Package named FUZZYCLASS, as well as, some applications of those BNFP for Assessment Training based on Virtual Reality and Phonoaudiology.
|
|
10:00 à 11:00
Salle 007
Logical Analysis of Distributed Systems: The Importance of Being Constructive
Dans le cadre de l'appel AAPI2 - AIDE A LA MOBILITE LONGUE,
le prof Michael Mendler, University of Bamberg (E-Mail: michael.mendler@uni-bamberg.de WWW: https://www.uni-bamberg.de/gdi/team/michael-mendler/), visitera l'I3S. A partir de jeudi 26 mai, le prof. Mendler sera ravi de rencontrer et échanger des chercheurs du Labo à leur convenance.
En outre, le 2nd juin (vendredi) à 10h AM il donnera l'exposé :
Titre
Logical Analysis of Distributed Systems: The Importance of Being Constructive
Abstract.
The design and analysis of complex distributed systems proceeds along numerous levels of abstractions. One key abstraction step is the passage from analog transistor electronics to synchronously clocked sequential circuits. This significantly reduces the modelling complexity from continuous differential equations over the real numbers to discrete Mealy automata over two-valued Boolean algebra. Although typically taken for granted, this step is magic. How do we obtain clock synchronization from asynchronous communication of continuous values? How do we decide on the discrete meaning of continuous signals without a synchronization clock? From a logical perspective, the possibility of synchronization is paradoxical and appears “out of thin air.”
This talk revisits the logical justification of the synchronous abstraction claiming that correctness arguments must intrinsically depend on reasoning in classical logic. The well-known result that some synchronization elements cannot be implemented in delay-insensitive circuits is related to “Berry’s Thesis” according to which digital circuits are delay-insensitive if and only if they are provably correct in constructive logic. More technically, the talk will show how non-inertial delays give rise to a constructive modal logic while inertial delays are inherently non-constructive. This gives a logical explanation for why inertial delays can be used to build arbiters, memory-cells and other synchronization elements, while non-inertial delays are not powerful enough. These results indicate the importance of logical constructiveness for metastable-free discrete abstractions of physical behavior.
Local Contacts: L. Liquori and R. De Simone
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
