Development of the Bing search engine at the Microsoft Language Development...
Development of the Bing search engine at the Microsoft Lang by José Santos, CENTRIA Seminar, 11 of January 2012, 14h00, DI/FCT
View ArticleComparing Variants of Strategic Ability
Comparing Variants of Strategic Ability by Wojtek Jamroga, CENTRIA Seminar, 12 of September 2012, 14h00, DI/FCT
View ArticleAGM-25 years
AGM-25 years by Eduardo Fermé, CENTRIA Seminar, 24 of September 2012, 12h00, DI/FCT
View ArticlePartial 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 Morality
Counterfactuals in Logic Programming with Applications to 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 Article
