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

SMT-based Software Model Checking __ Sepideh Asadi
August 04, 2021

Read More

Information Theory for Financial Network Analysis __ Ali Habibnia
July 11, 2021

Read More

Polynomial-Time Algorithms for Colonel Blotto __ Sina Dehghani
June 21, 2021

Read More

Trustworthy Machine Learning __ Mahed Abroshan
June 9, 2021

Read More

Making Sense of Limited Resource in Cross-Lingual NLP
June 7, 2021

Read More

Quantifying Attention Flow in Transformers __ Samira Abnar
May 17, 2021

Read More

تیاس

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

Read More

تیاس

The Effect of Wealth on Worker Productivity __ Alireza Sepahsalari
March 01, 2021

Read More

تیاس

An Operational Guide to Monitorability __ Luca Aceto
February 24, 2021

Read More

تیاس

Transparency, Culture and Investment Decisions __ Arman Eshraghi
February 14, 2021

Read More