Conceptual Models as Ontological Contracts (Distinguished Lecture Series)
Giancarlo Guizzardi , Free University of Bolzano-Bozen, Italy – Abstract: In the years to come, we will experience an increasing demand for building Reference Conceptual Models in critical domains in reality, as well as employing them to address classes of problems, for which sophisticated conceptual…
Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing (IST, DEEC and INESC-ID Distinguished Lecture)
On May 11th, at 11am, INESC-ID will promote the 11th session of IST Distinguished Lecture Series entitled “Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing”. The lecture will be given by Professor K. J. Ray Liu, Distinguished Scholar-Teacher of the University of…
Rethinking Memory System Design (and the Computing Platforms We Design Around It)
Onur Mutlu, ETH Zurich – Abstract: The memory system is a fundamental performance and energy bottleneck in almost all computing systems. Recent system design, application, and technology trends that require more capacity, bandwidth, efficiency, and predictability out of the memory system make it an even…
Certifying Computations: Algorithmics meets Software Engineering
Kurt Mehlhorn, Max-Planck-Institute for Informatics – Abstract: I am mostly interested in algorithms for difficult combinatorial and geometric problems: What is the fastest tour from A to B? How to optimally assign jobs to machines? How can a robot move from one location to another…
People-Centered Design. Why it matters?
Prof. Don Norman, University of California – Abstract: At the new Design Lab at UC San Diego, Design is a way of thinking, understanding people real, fundamental needs, and designing systems that fulfill those needs in an understandable, enjoyable manner. Does it matter? Yes. Medical…
VersionClimber: an algorithm and system for package evolution in data science
Prof. Dennis Shasha, Courant Institute of New York University – Abstract: Imagine you are a data scientist (as many of us are/have become). Systems you build typically require many data sources and many packages (machine learning/data mining, data management, and visualization) to run. Your working…
Computational Sustainability: Computing for a Better World
Prof. Carla Gomes, Cornell University – Abstract: Computational sustainability is a new interdisciplinary research field with the overarching goal of developing computational models, methods, and tools to help manage the balance between environmental, economic, and societal needs for a sustainable future. I will provide an…
Toward a Unified Approach to Sustainable and Resilient Electric Energy Systems – Modeling, Control and Testbeds
Prof. Marija Ilic, Carnegie Mellon University – Abstract: In this talk we present the changing objectives of the electric energy systems as complex dynamical systems. We briefly provide the basic landscape in the industry first. We take a broader look at the objectives of deploying…
The Five Tribes of Machine Learning, and What You Can Take from Each
Prof. Pedro Domingos, University of Washington – Abstract: There are five main schools of thought in machine learning, and each has its own master algorithm – a general-purpose learner that can in principle be applied to any domain. The symbolists have inverse deduction, the connectionists…
Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
Prof. Srini Devadas, MIT – Abstract: (Work done with Xiangyao Yu) A new memory coherence protocol, Tardis, is presented. Tardis uses timestamp counters representing logical as opposed to physical time to order memory operations and enforce sequential consistency in any type of shared memory system….