- Úvod
- O nás
- Lidé
- Výzkum
- Knihovna
- Vzdělávání
- Kalendář událostí
- Kariéra
- Kontakty
19.4.2016 13:15 @ Computational Methods
V příspěvku představím kompoziční model pro simulaci transportu komponent vícesložkové směsi v porézním prostředí. Tyto modely nacházejí uplatnění při simulaci vtláčení plynu do ropných rezervoárů za účelem zvýšení výtěžnosti ložiska nebo za účelem trvalého uložení skleníkových plynů (CO2) do hlubinných geologických vrstev. Součástí kompozičního modelu je i testování fázové stability a výpočet fázové rovnováhy vícesložkové směsi, což jsou základní úlohy termodynamiky vícesložkových směsí. Cílem bude ukázat na některá omezení formulací známých z literatury a diskutovat alternativní formulace těchto problémů a jejich použití v kompoziční simulaci.
20.4.2016 10:00 @ Applied Mathematical Logic
Driven by concrete applications – helps to investigate right notions – preferential fuzzy sets and some more Motivated by recent talk of Rostislav Horcik ”Why is Fuzzy Logic not Applied in Computer Science, yet?” in this seminar, we give a report on our experiences with fuzziness in komputer science. We consider recommender systems where fuzzy degree is interpreted as a degree of preference of a user. Main task is to make a hit in top-10 and to be able to explain intuitively the decimon. We report on preference learning experiments. We sketch the proof of completeness of our fuzzy logic programming system. We mention the threshold algorithm of R. Fagin.
27.4.2016 10:00 @ Applied Mathematical Logic
This talk is an introduction to paraconsistent logic and inconsistent mathematics. After presenting motivations and background, I will survey some of the main results in the area to date – from foundations of mathematics to formal semantics – and indicate some of the main open problems and challenges going forward.