Nanotherapy: the controlled delivery of chemotherapeutics to fight cancer stem cells
September 9, 2019
Nanotherapy: the controlled delivery of chemotherapeutics to fight cancer stem cells 09.09.2019 Increase of the genomic DNA damage (pale blue)...
[ Read More ]
Conference: Mentoring 101
September 6, 2019
Speaker: Dr. Marc A. Anderson Electrochemical Processes Unit, IMDEA Energy Mentoring provides guidance and advice to help the mentee...
[ Read More ]
Life cycle assessment and cost-effectiveness analysis of direct recycling pilots of end-of-life reverse osmosis membranes
September 5, 2019
Study published in the international journal «Resources, Conservation and Recycling»
[ Read More ]
IMDEA-CSI: Investigando en la escena del crimen – Temporada 3 en la Noche Europea de los Investigadores e Investigadoras de Madrid 2019
September 5, 2019
Viernes 27 septiembre 2019 – Residencia de Estudiantes Por tercer año consecutivo, investigadores de los Institutos IMDEA y miembros de...
[ Read More ]
Talk by Yotam Feldman: Inferring Inductive Invariants from Phase Structures
September 4, 2019
Infinite-state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these...
[ Read More ]
Inferring Inductive Invariants from Phase Structures
September 4, 2019
Infinite-state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these...
[ Read More ]
Talk by Yotam Feldman: Order out of Chaos: Proving Linearizability Using Local Views
September 3, 2019
Proving the linearizability of highly concurrent data structures, such as those using optimistic concurrency control, is a challenging task. The...
[ Read More ]
Order out of Chaos: Proving Linearizability Using Local Views
September 3, 2019
Proving the linearizability of highly concurrent data structures, such as those using optimistic concurrency control, is a challenging task. The...
[ Read More ]
The imperviousness of the ground we step on
September 2, 2019
New article published in the «Geomática-Agua» Blog
[ Read More ]
IMDEA Software, through REDIMadrid, will participate in the EU Project OPENQKD
September 2, 2019
Today marks the launch of a pilot project, OPENQKD, that will install a test quantum communication infrastructure in several European...
[ Read More ]
