Got Energy Talent – fellowship programme
July 10, 2018
Got Energy Talent (GET) is a fellowship programme co-funded by the EU as part of the H2020-MSCA-COFUND programme (Grant Agreement...
[ Read More ]
Catalizadores mecanizados
July 10, 2018
Catalizadores mecanizados figure { display: table; margin-bottom:10px; margin-left: auto; margin-right: auto; } figcaption{ display: table-caption; margin-left: auto; margin-right: auto; text-align:...
[ Read More ]
Catalysts in MINT condition
July 10, 2018
Catalysts in MINT condition 09.07.2018 Carbon nanotubes have been used as catalysts in many relevant chemical processes, however, controlling...
[ Read More ]
Constraint Answer Set Programming without Grounding
July 10, 2018
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present...
[ Read More ]
Talk by Gerardo Schneider: Runtime Verification of Hyperproperties for Deterministic Programs
July 9, 2018
In this talk I will present some results concerning the runtime monitoring of safety hyperproperties for deterministic programs. Several security...
[ Read More ]
Runtime Verification of Hyperproperties for Deterministic Programs
July 9, 2018
In this talk I will present some results concerning the runtime monitoring of safety hyperproperties for deterministic programs. Several security...
[ Read More ]
High temperatures, drought and an insecticide, combined effects on freshwater zooplankton communities
July 4, 2018
XIX Conference of the Iberian Association of Limnology
[ Read More ]
Talk by Nuno Machado: Practical Log-based Analysis for Distributed Systems
July 3, 2018
Developers typically rely on log data to reason about the runtime behavior of distributed systems. Unfortunately, the inherently distributed nature...
[ Read More ]
Talk by Luis Miguel Danielsson: Decentralized Stream Runtime Verification
July 3, 2018
Stream Runtime Verification (SRV) is a behavioral specification language for runtime verification, where a monitor is described by expressing the...
[ Read More ]
