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

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

An Operational Guide to Monitorability __ Luca Aceto

February 24, 2021

The Heterogeneous Effects of Monetary Policy Shocks: Microeconometric Evidence __ Niklas Amberg

February 08, 2021

5G and Beyond: A Systematic View __ Ali Movaghar

December 30, 2020

Security As a Software Development Culture __ Mohammad Ghafari

December 23, 2020

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