Automated Reasoning in Systems Engineering
Laura Kovacs, Professor in Computer Science at the TU Wien
-
KAUST
Events
Mar 21 - Mar 28, 2021
Minimal-time Mean Field Games
Samer Dweik, Postdoctoral Fellow, University of British Columbia
-
KAUST
Mar 14 - Mar 28, 2021
Mar 14 - Mar 21, 2021
Multicomponent flows: overview of the models and results on the existence of global in time solutions - Part 2
Ewelina Zatorska, Senior Lecturer, Applied and Numerical Analysis, Imperial College London, UK
-
KAUST
On Discovering Nature’s Equations from Observations
Jesper Tegner, Professor, BESE Division, KAUST
-
KAUST
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 3
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Mathematical Modeling and Analysis of Emergent Phenomena
Jan Haskovec, Research Scientist, AMCS, KAUST
-
KAUST
Mar 7 - Mar 21, 2021
mm-Sized Wireless Implantable Medical Devices Toward Clinical Diagnostics and Therapeutics
Pyungwoo Yeon, Postdoctoral Fellow, Electrical Engineering, Stanford University
-
KAUST
Mar 7 - Mar 14, 2021
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 2
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Analysis of the compressible two-phase flow
Dr. Ewelina Zatorska, Senior Lecturer in the Applied and Numerical Analysis, Imperial College London
-
KAUST
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 1
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Feb 28 - Mar 14, 2021
Materials and Devices for Printed Flexible Electronics
Derya Baran, Assistant Professor, Material Science and Engineering, PSE, KAUST
-
KAUST
Feb 28 - Mar 7, 2021
A proof of the C^p'-regularity conjecture in the plane
Prof. José Miguel Urbano, Mathematics at the University of Coimbra (Portugal)
-
KAUST
Title: Introduction to free boundary problems - Session 2
Aram Karakhanyan, Professor, School of Mathematics, University of Edinburgh, UK
-
KAUST
Feb 21 - Mar 7, 2021
The fourth wave: ultrawide bandgap compound semiconductors for photonics and electronics
Xiaohang Li, Assistant Professor, Electrical and Computer Engineering
-
KAUST
Feb 21 - Feb 28, 2021
Title: Introduction to free boundary problems - Session 1
Aram Karakhanyan, Professor, School of Mathematics, University of Edinburgh, UK
-
KAUST
Look Here! Guiding Attention in Complex Visualizations
Manuela Waldner, Assistant Professor at the Research Unit of Computer Graphics of the Institute of Visual Computing and Human-Centered Technology at TU Wien, Austria
-
KAUST
Feb 14 - Feb 28, 2021
Feb 14 - Feb 21, 2021
Forward-prediction and Backward-design by Machine Learning
Prof. Xiangliang Zhang
-
KAUST
Recent developments for stochastic processes and their applications
Ahmed Kebaier, Associate Professor, Laboratory Analysis, Geometry and Application (LAGA), University Sorbonne Paris Nord (USPN)
-
KAUST
Existence theory for non-separable mean field games - Session 3
David Ambrose, Professor, Department of Mathematics at Drexel University, USA
-
KAUST
Feb 7 - Feb 14, 2021
Visible Light Communications Technology and Machine Learning - 2021-02-12
Dr. Paul Anthony Haigh, Newcastle University, United Kingdom and Dr. Bo Tan, Tampere University, Finland
-
KAUST
High Order Numerical Methods for Acoustic and Elastic Scattering
Prof. Vianey Villamizar, Department of Mathematics, Brigham Young University, USA
-
KAUST
Existence theory for non-separable mean field games - Session 2
David Ambrose, Professor, Department of Mathematics at Drexel University, USA
-
KAUST
Jan 31 - Feb 14, 2021
Leveraging Readily Available Data for Low Resource Natural Language Processing
Derry Wijaya, Assistant Professor, Computer Science, Boston University
-
KAUST
Jan 31 - Feb 7, 2021
Effective Literature Search
Nevena Tomic, Library Subject Specialist, PSE, KAUST
-
KAUST
Existence theory for non-separable mean field games - Session 1
David Ambrose, Professor, Department of Mathematics at Drexel University, USA
-
KAUST
Jan 24 - Feb 7, 2021
Monte Carlo based Inference for State-space Models
Sumeetpal Singh, Reader, Engineering Statistics, Department of Engineering, University of Cambridge
-
KAUST
Jan 24 - Jan 31, 2021
Fractional calculus and partial differential equation - Session 2
Fabio Camilli, Full Professor of Mathematical Analysis, Università di Roma, La Sapienza, Italy
-
KAUST
A personal and historical view of computational mathematics
Tony Chan, President, King Abdullah University of Science and Technology
-
KAUST
Fractional calculus and partial differential equation - Session 1
Fabio Camilli, Full Professor of Mathematical Analysis, Università di Roma, La Sapienza, Italy
-
KAUST
Building Better Datacenters - The Quest for Low Latency
Simon Peter, Assistant professor, Computer Science, University of Texas, Austin
-
KAUST