ERASMUS+ | CREATIVE EMOTIONAL JOURNEY – OPERATIONAL APPROACH
DATA: 2022 05 21
DATA: 2022 05 21
Pirmadienį (gegužės 23 d.) 13 val. sistemų analizės seminare (MS Teams aplinkoje) doktorantūros studijų rezultatus pristatys Karolis Noreika „Taikomųjų programų kūrimo proceso įvertinimas naudojant patobulintą Agile projektų valdymo metodą“.
Pradžia: Fudan International Seminar on Analysis, PDEs and Fluid mechanicsThe speaker: Professor Gisella Croce (Laboratoire de Mathematiques Appliquees du Havre) A Crash Course About Formalizing Mathematics In Lean-3The aim of this series of lectures is to give a brief introduction to formalization of mathematics in LEAN-3 , a proof assistant which has recently proven to be particular well-suited for encoding modern mathematics. Sistemų analizės seminarasPirmadienį (gegužės 16 d.) 13 val. sistemų analizės seminare (MS Teams aplinkoje) doktorantūros studijų rezultatus pristatys Aleksas Vaitulevičius „Vėžinių zonų aptikimas iš funkcinių duomenų, sukonstruotų iš MRI-DCE nuotraukų“. Tikimybių teorijos ir statistikos seminaras
|