SMT-based Software Model Checking __ Sepideh Asadi - TeIAS | Tehran Institute for Advanced Studies

Tehran Institute for Advanced Studies

Events

SMT-based Software Model Checking __ Sepideh Asadi

August 04, 2021

Decentralized Finance __ Mahdi Mohseni

July 31, 2021

Information Theory for Financial Network Analysis __ Ali Habibnia

July 11, 2021

Polynomial-Time Algorithms for Colonel Blotto __ Sina Dehghani

June 21, 2021

Trustworthy Machine Learning __ Mahed Abroshan

June 9, 2021

Making Sense of Limited Resource in Cross-Lingual NLP

June 7, 2021

Quantifying Attention Flow in Transformers __ Samira Abnar

May 17, 2021

Image Analysis of Anatomical Layers in Intravascular Polarization-Sensitive Optical Coherence Tomography __ Mohammad Haft-Javaherian

April 26, 2021

The Effect of Wealth on Worker Productivity __ Alireza Sepahsalari

March 01, 2021

An Operational Guide to Monitorability __ Luca Aceto

February 24, 2021

We are inspired to establish a world-class advanced research and higher education institute in Iran.