Harmonogram DW 2024 - Ścieżka olimpijska OL7

Abstrakt Modelowanie matematyczne w dziedzinie zdrowia i opieki zdrowotnej pomaga nam przewidywać, analizować i zrozumieć zarówno zdrowotny, jak i ekonomiczny wpływ interwencji zdrowotnych. Jest to kluczowe narzędzie do podejmowania świadomych decyzji, które mają wpływ zarówno na jednostki, jak i społeczeństwo. W trakcie wykładu omówimy podstawowe elementy analizy ekonomicznej stosowanej do oceny interwencji medycznych oraz zaprezentujemy kilka przykładów rzeczywistych analiz.

---

Sala 0004

---

Prowadzący - Iwona Żerda
Absolwentka kierunku matematyka z 2009 r. Już w trakcie studiów rozpoczęła staż, a potem pracę w firmie HTA Consulting specjalizującej się w opracowywaniu wniosków refundacyjnych w Polsce. Przez kolejne 15 lat zajmowała się budowaniem modeli, kalkulatorów, aplikacji i przeprowadzaniem wszelkiego rodzaju analiz na zlecenie firm farmaceutycznych i na potrzeby publikacji naukowych dotyczących zdrowia publicznego. Obecnie partner w firmie Assignity wspierającej firmy farmaceutycznych działające na rynku międzynarodowym. Szczególny obszar zainteresowań to modelowanie chorób infekcyjnych i wpływu szczepień na rozwój tych chorób.
- Michał Pochopień
Matematyk z wykształcenia, z doświadczenia ekonomista zdrowia, a z zamiłowania twórca modeli farmako-ekonomicznych. Mając ponad 13 lat doświadczenia w modelowaniu ekonomicznym, był odpowiedzialny za opracowanie od podstaw dziesiątek modeli, w tym modeli efektywności kosztowej i wpływu na budżet, a także prostszych kalkulatorów kosztów. Specjalizuje się w modelach Markowa, DES, drzewach decyzyjnych i mikrosymulacjach. Wspierał wiele zgłoszeń oceny technologii medycznych w kilku krajach i reprezentował firmy farmaceutyczne przed organami decyzyjnymi. Jego kompetencje analityczne obejmują kilka obszarów terapeutycznych i chorób, a obecnie skupia się na ekonomicznej ocenie terapii genowych, która była tematem jego pracy doktorskiej.

Abstrakt Rosnąca moc obliczeniowa współczesnych komputerów oraz nowe narzędzia z pogranicza informatyki i matematyki umożliwiają atakowanie problemów matematycznych będących do tej pory poza zasięgiem klasycznej, "analitycznej" matematyki. Jest prawdą, że symulacje komputerowe, które powalają matematykowi wyrobić intuicje, postawić hipotezy, zazwyczaj nie są dowodami, a nawet mogą wprowadzać w błąd. Na wykładzie zaprezentuję jednak tzw. ścisłe metody numeryczne, które mają pełen matematyczny rygor i dzięki temu mogą być podstawą komputerowo wspieranych dowodów. W dużym skrócie, w takich dowodach odpowiednio napisane oprogramowanie weryfikuje założenia twierdzenia i gwarantuje prawdziwość tezy. Dzięki temu można np. udowodnić istnienie ciekawych orbit w układach planetarnych czy zagwarantować bezpieczne dokowanie podwodnych robotów.

---

Sala 0089

---

Prowadzący - Tomasz Kapela
W swoich badaniach naukowych zajmuje się wykorzystaniem komputerów do badania układów dynamicznych. W szczególności do przeprowadzania komputerowo wspieranych dowodów, w których odpowiednio napisane oprogramowanie dowodzi twierdzeń matematycznych. Za swój doktorat "Choreografie w problemie N-ciał" otrzymał nagrodę Prezesa Rady Ministrów. Jest pasjonatem programowania począwszy od języków wysokiego poziomu takich jak C++ przez niskopoziomowy assembler aż po mikro-kontrolery.

Abstrakt Co łączy drzewo genealogiczne Gucia (kolegi pszczółki Mai) ze słonecznikiem, złotym podziałem, tabliczką czekolady i trójkątem Pascala? O tym dowiecie się z warsztatów poświęconych jednemu z najsławniejszych ciągów liczbowych w historii matematyki, który doczekał się własnego czasopisma.

---

Sala 0106

---

Prowadzący - Paweł Zapałowski
Pracownik Katedry Analizy Matematycznej w Instytucie Matematyki UJ. Zajmuje się analizą zespoloną wielu zmiennych.

Abstrakt Rachunek prawdopodobieństwa i statystyka matematyczna to dwa działy matematyki w istotny sposób powiązane z rzeczywistością. Opisują ją w sposób mniej lub bardziej doskonały. Jednak okazuje się, że nawet na podstawowym poziomie, kiedy mówimy o prawdopodobieństwie klasycznym (czyli opisując prawdopodobieństwo jako iloraz liczby możliwości sprzyjającym danemu zdarzeniu do liczby wszystkich możliwości), okazuje się, że powszechne intuicje nie zgadzają się z prawdziwymi wynikami. Są co najmniej trzy zasadnicze tego powody: • często samo pytanie o prawdopodobieństwo jest źle postawione w tym sensie, że można je różnie interpretować dostając różne wyniki • niekiedy, z różnych przyczyn, rozwiązanie problemu mającego genezę w schemacie klasycznym, nie poddaje się prostemu rozumowaniu zgodnie z tym schematem • intuicja dotycząca pewnych zagadnień bazująca na tzw. zdrowym rozsądku bywa po prostu myląca. W trakcie zajęć przeanalizujemy kilka problemów próbując znaleźć właściwe odpowiedzi, ale też spróbujemy za pomocą arkusza kalkulacyjnego przeprowadzić symulacje, których wyniki powinny przekonać nas o prawdziwości podanych wyników.

---

Sala 0016

---

Prowadzący - Leszek Pieniążek
W ramach prowadzonych zajęć dydaktycznych zajmuje się, między innymi, przedmiotami bliskimi rzeczywistości i starającymi się ją opisywać. Są to, między innymi, równania różniczkowe i rachunek prawdopodobieństwa. Zajmuje się też uczeniem różnych przedmiotów związanych z szeroko pojmowaną informatyką. Te dziedziny często można łączyć, korzystając z tego, że moc obliczeniowa komputerów pozwala łatwo symulować procesy zachodzące w rzeczywistości, często w zagadnieniach, których matematycznych rozwiązań nie da się znaleźć.