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: Crime scene investigation (Season 3) at The European Researchers’ Night in Madrid 2019
September 5, 2019
Friday, September 27, 2019 – Residencia de Estudiantes For the third consecutive year, researchers from the IMDEA Institutes and members...
[ 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 ]
