Talk by Nikita Zyuzin: Verified Checking of Finite-Precision Error Bounds using Affine Arithmetic
June 29, 2018
Finite-precision representation and approximation of continuous and infinite real numbers causes unavoidable rounding towards discrete and finite values in that...
[ Read More ]
Are you a membrane user or end-of-life membrane manager? Would you like to avoid the landfill disposal of thousands of tons of membranes every year?
June 29, 2018
Help us to find alternatives
[ Read More ]
Verified Checking of Finite-Precision Error Bounds using Affine Arithmetic
June 29, 2018
Finite-precision representation and approximation of continuous and infinite real numbers causes unavoidable rounding towards discrete and finite values in that...
[ Read More ]
“All new network users will be machines”
June 28, 2018
Arturo Azcorra, IMDEA Networks’ director, vice-president of the 5TONIC Lab and one of the top European experts on the fifth generation...
[ Read More ]
Olga Titica tells us about her internship at IMDEA Water
June 28, 2018
University of Calgary student
[ Read More ]
Conference: Low-cost materials for energy storage and conversion
June 28, 2018
Speaker: A.Belen Jorge Sobrido (Queen Mary University of London)
[ Read More ]
Rebeca Marcilla participa en la Sesión informativa sobre las convocatorias 2019 del ERC
June 27, 2018
El próximo 29 de junio, tendrá lugar una jornada informativa sobre las convocatorias 2019 del Consejo Europeo de Investigación (ERC),...
[ Read More ]
Talk by Felipe Gorostiaga: Striver: Runtime Verification of Asynchronous Streams
June 26, 2018
Stream Runtime Verification (SRV) is a specification formalism for temporal properties of reactive systems where observations are described as streams...
[ Read More ]
Striver: Runtime Verification of Asynchronous Streams
June 26, 2018
Stream Runtime Verification (SRV) is a specification formalism for temporal properties of reactive systems where observations are described as streams...
[ Read More ]
