Active Learning of Decomposable Systems __ Jan Friso Groote
Talk Active Learning of Decomposable Systems November 11, 2020(21 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Jan Friso Groote Professor of Computer Science at the Eindhoven University of Technology Overview Active automata learning is a technique of querying black box systems and modelling their behavior. In this paper, we aim to apply active…
Read More
Talk Active Learning of Decomposable Systems November 11, 2020(21 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Jan Friso Groote Professor of Computer Science at the Eindhoven University of Technology Overview Active automata learning is a technique of querying black box systems and modelling their behavior. In this paper, we aim to apply active…
Actual Causality and Counter-Factual Reasoning __ Mohammad Reza Mousavi
Talk Actual Causality and Counter-Factual Reasoning November 10, 2020(20 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Mohammad Reza Mousavi Professor of Data-Oriented Software Engineering at the University of Leicester Overview Explaining phenomena, particularly failures, using counterfactual causal reasoning has been a challenging line of research in science and engineering. An instance of this…
Read More
Talk Actual Causality and Counter-Factual Reasoning November 10, 2020(20 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Mohammad Reza Mousavi Professor of Data-Oriented Software Engineering at the University of Leicester Overview Explaining phenomena, particularly failures, using counterfactual causal reasoning has been a challenging line of research in science and engineering. An instance of this…
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages __ Frits Vaandrager
Talk A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages October 14, 2020(23 Mehr, 1399) Venue This Talk is online [email protected] +982189174612 Frits Vaandrager Professor of Informatics for Technical Applications, Radboud University, Netherlands Overview We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of…
Read More
Talk A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages October 14, 2020(23 Mehr, 1399) Venue This Talk is online [email protected] +982189174612 Frits Vaandrager Professor of Informatics for Technical Applications, Radboud University, Netherlands Overview We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of…
Convergence and Equilibrium in Generative Adversarial Networks __ Farzan Farnia
Talk Convergence and Equilibrium in Generative Adversarial Networks September 13, 2020(23 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Farzan Farnia Postdoctoral Research Associate at the Massachusetts Institute of Technology (MIT) Overview Generative adversarial networks (GANs) represent a zero-sum game between two machine players, a generator and a discriminator, designed to learn…
Read More
Talk Convergence and Equilibrium in Generative Adversarial Networks September 13, 2020(23 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Farzan Farnia Postdoctoral Research Associate at the Massachusetts Institute of Technology (MIT) Overview Generative adversarial networks (GANs) represent a zero-sum game between two machine players, a generator and a discriminator, designed to learn…
Research Methods in Networks and Systems __ Srinivasan Keshav
Talk Research Methods in Networks and Systems September 09, 2020(19 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Srinivasan Keshav Robert Sansom Professor of Computer Science at the University of Cambridge Overview In this talk, I review the basic principles for performing and disseminating great research. I start with some hints on the…
Read More
Talk Research Methods in Networks and Systems September 09, 2020(19 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Srinivasan Keshav Robert Sansom Professor of Computer Science at the University of Cambridge Overview In this talk, I review the basic principles for performing and disseminating great research. I start with some hints on the…
Active and Multitask Learning Approaches to Low-Resource Neural Machine Translation __ Gholam Reza Haffari
Talk Active and Multitask Learning Approaches to Low-Resource Neural Machine Translation September 2, 2020(12 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Gholam Reza Haffari Associate Professor in Department of Data Science & AI of Monash University Overview Machine translation is being revolutionized by the introduction of neural models. However, it is challenging…
Read More
Talk Active and Multitask Learning Approaches to Low-Resource Neural Machine Translation September 2, 2020(12 Shahrivar, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Gholam Reza Haffari Associate Professor in Department of Data Science & AI of Monash University Overview Machine translation is being revolutionized by the introduction of neural models. However, it is challenging…
Budgeted Experiment Design for Causal Structure Learning __ Saber Salehkaleybar
Talk Budgeted Experiment Design for Causal Structure Learning August 19, 2020(29 Mordad, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Saber Salehkaleybar Assistant Professor of Electrical Engineering at Sharif University of Technology Overview The first part of the talk starts with an introduction to causal inference. We introduce the principle of invariant mechanisms as…
Read More
Talk Budgeted Experiment Design for Causal Structure Learning August 19, 2020(29 Mordad, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Saber Salehkaleybar Assistant Professor of Electrical Engineering at Sharif University of Technology Overview The first part of the talk starts with an introduction to causal inference. We introduce the principle of invariant mechanisms as…
Connection Between Collective Coin Tossing and Robust Learning __ Mohammad Mahmoody
Talk Connection Between Collective Coin Tossing and Robust Learning August 12, 2020(22 Mordad, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Mohammad Mahmoody Associate Professor at University of Virginia Overview Classical learning algorithms are designed for benign settings in which normally generated samples are used for learning a model which is later tested on…
Read More
Talk Connection Between Collective Coin Tossing and Robust Learning August 12, 2020(22 Mordad, 1399) Venue This Talk is online [email protected] +982189174612 Dr. Mohammad Mahmoody Associate Professor at University of Virginia Overview Classical learning algorithms are designed for benign settings in which normally generated samples are used for learning a model which is later tested on…
Local Agency Costs of Political Centralization __ Roger Myerson
Talk Local Agency Costs of Political Centralization July 20, 2020 (30 Tir, 1399) Venue This Talk is online [email protected] +982189174612 Roger Myerson Distinguished Service Professor of Global Conflict Studies in the Harris School of Public Policy at the University of Chicago Nobel Memorial Prize Laureate 2007 Overview We analyze a model of moral hazard in local…
Read More
Talk Local Agency Costs of Political Centralization July 20, 2020 (30 Tir, 1399) Venue This Talk is online [email protected] +982189174612 Roger Myerson Distinguished Service Professor of Global Conflict Studies in the Harris School of Public Policy at the University of Chicago Nobel Memorial Prize Laureate 2007 Overview We analyze a model of moral hazard in local…
Data Science in Distributed-Systems Research __ Maarten van Steen
Talk Data Science in Distributed-Systems Research July 14, 2020(24 Tir, 1399) Venue This Talk is online [email protected] +982189174612 Maarten van Steen Professor of Large-Scale Distributed Computer Systems at the University of Twente Scientific Director of the Digital Society Institute Overview As in so many other domains, data-driven research is becoming an indispensable way of developing…
Read More
Talk Data Science in Distributed-Systems Research July 14, 2020(24 Tir, 1399) Venue This Talk is online [email protected] +982189174612 Maarten van Steen Professor of Large-Scale Distributed Computer Systems at the University of Twente Scientific Director of the Digital Society Institute Overview As in so many other domains, data-driven research is becoming an indispensable way of developing…