Pedro Valero defended successfully his thesis: “On the use of Quasiorders in Formal Language Theory”
July 30, 2020
Research Results The researcher from the IMDEA Software Institute Pedro Valero, supervised by Pierre Ganty, defended his PhD thesis with...
[ Read More ]
Pedro Valero defended successfully his thesis: “On the use of Quasiorders in Formal Language Theory”
July 30, 2020
He uses quasiorders on words to offer a new perspective on two well-studied problems from Formal Language Theory
[ Read More ]
Comparison of hydrogen production systems in terms of carbon footprint
July 28, 2020
As presented in the European Hydrogen Strategy recently launched by the European Commission, hydrogen is bound to play a major...
[ Read More ]
Soiling and rainfall effect on PV technology in rural Southern Europe
July 28, 2020
Particle deposition onto the surfaces of solar energy conversion technologies leads to effective energy output losses. This study* shows a...
[ Read More ]
IMDEA Energy, ‘María de Maeztu’ Unit of Excellence
July 21, 2020
IMDEA Energy Institute has obtained the accreditation of ‘María de Maeztu’ Unit of Excellence, granted by the Spanish State Research...
[ Read More ]
How to inhibit archaea to maximize volatile fatty acids production
July 21, 2020
Anaerobic digestion (AD) is a mature technology employed worldwide for the treatment of organic wastes. AD is a complex process...
[ Read More ]
New photocatalysts to convert CO2 into fuels
July 21, 2020
Artificially imitating the process of photosynthesis, through which some organisms transform CO2 and water into organic molecules, is one of...
[ Read More ]
Talk by Zachary Grannan: REST: Rewriting for SMT Verification with User-Defined Functions
July 21, 2020
We introduce REST, a rewrite technique for SMT-based verifiers that supports user-defined terminating functions. Our technique builds upon proof-by-logical evaluation...
[ Read More ]
REST: Rewriting for SMT Verification with User-Defined Functions
July 21, 2020
We introduce REST, a rewrite technique for SMT-based verifiers that supports user-defined terminating functions. Our technique builds upon proof-by-logical evaluation...
[ Read More ]
IMDEA Water launches the multimedia section on its website
July 20, 2020
Now available
[ Read More ]
