Partial Implications in Data Mining and Logic
Partial Implications in Data Mining and Logic by José Luis Balcázar, CENTRIA Seminar, 17 of April 2013, 14h00, DI/FCT
View ArticleChainReaction: a Causal+ Consistent Datastore based on Chain Replication
ChainReaction: a Causal+ Consistent Datastore based on Chain Replication by João Leitão, CENTRIA/CITI Seminar, 20 of November 2013, 14h00, DI/FCT
View ArticleCallisto: co-scheduling parallel run time systems
Callisto: co-scheduling parallel run time systems by Tim Harris, CENTRIA/CITI Seminar, 25 of November 2013, 15h00, DI/FCT
View ArticleLogic-Based Domain-Aware Session Types
Logic-Based Domain-Aware Session Types by Jorge A. Perez, CENTRIA/CITI Seminar, 4 of December 2013, 14h00, DI/FCT
View ArticleNon-monotonic temporal goals
Non-monotonic temporal goals by Ricardo Gonçalves, CENTRIA/CITI Seminar, 15 of January 2014, 14h00, DI/FCT
View ArticleNoHR - Querying EL Ontologies and Non-Monotonic Rules
NoHR - Querying EL Ontologies and Non-Monotonic Rules, CENTRIA/CITI Seminar, 15 of January 2014, 14h00, DI/FCT
View ArticleProbabilistic deduplication for cluster-based storage systems
Probabilistic deduplication for cluster-based storage systems by Konstantinos Kloudas, CITI/CENTRIA Seminar, 29 of January 2014, 14h00, DI/FCT
View ArticleSynthesising Correct Concurrent Runtime Monitors
Synthesising Correct Concurrent Runtime Monitors by Adrian Francalanza, CITI/CENTRIA Seminar, 5 of February 2014, 14h00, DI/FCT
View ArticleThe Quest for Supporting Snapshot Isolation in Transactional Memory
The Quest for Supporting Snapshot Isolation in Transactional Memory by Ricardo Silva, CITI/CENTRIA Seminar, 12 of March 2014, 14h30, DI/FCT
View ArticleFixed-parameter tractable reductions to SAT
Fixed-parameter tractable reductions to SAT by Ronald de Haan, CENTRIA/CITI Seminar, 1 of April 2014, **16h00**, DI/FCT
View ArticleVideo Games: Becoming the Medium of the 21st Century
Video Games: Becoming the Medium of the 21st Century by Warren Spector, CITI/CENTRIA Seminar, 13 of May 2014, 14h30, DI/FCT
View ArticleTowards Sustainable Information Society – Green and Never Die Networks
Towards Sustainable Information Society – Green and Never Die Networks by Norio Shiratori, CITI/CENTRIA Seminar, 26 of June 2014, 14:00, DI/FCT
View ArticleIntroducing Prolog Studio for XSB
Introducing Prolog Studio for XSB by Miguel Calejo, NOVA LINCS/CENTRIA/CITI Seminar, 12 of November 2014, 14:00, DI/FCT
View ArticleCounterfactuals in Logic Programming with Applications to Agent Morality
Counterfactuals in Logic Programming with Applications to Agent Morality by Luís Moniz Pereira, NOVA LINCS/CENTRIA/CITI Seminar, 19 of November 2014, 14:00, DI/FCT
View ArticleDesigning for Partition Tolerance with CRDTs
Designing for Partition Tolerance with CRDTs by Carlos Baquero, NOVA LINCS/CITI/CENTRIA Seminar, 4 of December 2014, 14:00, DI/FCT
View ArticleCompleteness of Queries over Incomplete Databases
Completeness of Queries over Incomplete Databases by Werner Nutt, NOVA LINCS/CENTRIA/CITI Seminar, 16 of January 2015, 15:00, DI/FCT
View ArticleData mining and knowledge discovery missing topic: anomalous cluster clustering
Data mining and knowledge discovery missing topic: anomalous cluster clustering by Boris Mirkin, NOVA LINCS/CENTRIA/CITI Seminar, 25 of March 2015, 14:00, DI/FCT
View ArticleUsing a domain taxonomy for the analysis of structure and level of research:...
Using a domain taxonomy for the analysis of structure and level of research: A multifaceted project in semantic data analysis by Boris Mirkin, NOVA LINCS/CENTRIA/CITI Seminar, 26 of March 2015, 16:00,...
View Article
