![تیاس](https://teias.institute/wp-content/uploads/2020/12/Johannes-Haushofer.jpg)
![](https://teias.institute/wp-content/uploads/2020/11/download.jpg)
Towards Mixed-Initiative Conversational Search __ Hamed Zamani
December 09, 2020
Read More
December 09, 2020
![](https://teias.institute/wp-content/uploads/2020/11/پوستر-علوم-داده1.jpg)
Introducing Data Science Program at TeIAS (Khatam University)
November 29, 2020
Read More
November 29, 2020
![](https://teias.institute/wp-content/uploads/2020/11/Philipp-Rummer-pic.jpg)
SMT Solving, A Very Short Introduction __ Philipp Rümmer
November 24, 2020
Read More
November 24, 2020
![](https://teias.institute/wp-content/uploads/2020/10/JanFrisoGroote2.jpg)
Active Learning of Decomposable Systems
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…
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…
![mousavi](https://teias.institute/wp-content/uploads/2020/11/mousavi-1.jpg)
Actual Causality and Counter-Factual Reasoning
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…
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…
![](https://teias.institute/wp-content/uploads/2020/09/frits-vandgar.jpg)
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages
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…
![](https://teias.institute/wp-content/uploads/2020/09/download.jpg)
Convergence and Equilibrium in Generative Adversarial Networks
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 the…
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 the…
![](https://teias.institute/wp-content/uploads/2020/09/srinivasan_keshav.jpg)
Research Methods in Networks and Systems
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…
![](https://teias.institute/wp-content/uploads/2020/09/Poster11-.jpg)
TeIAS Introduces its Special Master’s Program in Data Science
Announcement TeIAS Introduces its Special Master’s Program in Data Science Add to Google Calendar Announcement TeIAS Introduces Its Special Master’s Program in Data Science Overview After gaining acceptable results in holding a Special MSc Program in Economics, in line with its policy and vision for continuous growth and development, TeIAS has been planning to add…
Read More
Announcement TeIAS Introduces its Special Master’s Program in Data Science Add to Google Calendar Announcement TeIAS Introduces Its Special Master’s Program in Data Science Overview After gaining acceptable results in holding a Special MSc Program in Economics, in line with its policy and vision for continuous growth and development, TeIAS has been planning to add…