Search results for "elite"
showing 10 items of 370 documents
Regularity properties of tug-of-war games and normalized equations
2017
Energetic demands and nutritional strategies of elite cross-country skiers during Tour de Ski : A narrative review
2021
The Tour de Ski (TDS: 6–9 sprint and distance races across 9–11 days) represents the most intense competition series of the cross-country (XC) ski season and is characterized by accumulated stress from consecutive days of high-intensity (~ 85%–160% VO2max) racing, travel, cold temperatures and low to moderate altitude (500–1500 m above sea level). Here, nutritional strategies play a key supportive role for optimized health, recovery and performance. This narrative review aims to provide an evidence-based discussion on the energetic demands of the TDS and recommendations for nutritional strategies to optimize health and performance of XC skiers during and following the TDS. We highlight seve…
Trifolium – nieformalne porozumienie senatorów koronnych z lat trzydziestych XVII w
2020
Część historyków kwestionuje polityczne znaczenie trifolium — trójlistnej koniczyny, nieformalnego porozumienia senatorów koronnych, w którego skład wchodzili: kanclerz Jakub Zadzik, biskup chełmiński, hetman Stanisław Koniecpolski i Stanisław Lubomirski, wojewoda ruski. W latach 1631–1632 trifolium z powodzeniem popierało uposażenie członków rodziny królewskiej w Rzeczypospolitej, ale z powodu opozycji przedstawicieli Wielkiego Księstwa Litewskiego nie udało się przeprowadzić reformy elekcji. Podczas bezkrólewia w 1632 r. trifolium skutecznie sprzeciwiało się osłabieniu pozycji króla i senatu na rzecz izby poselskiej. W 1632 r. trifolium poparło wybór królewicza Władysława Wazy na tron pol…
Partial-order reduction for parity games and parameterised Boolean equation systems
2022
AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…
Johdatus peliteoriaan : kahden pelaajan nollasummapelien ratkaiseminen ja Nashin tasapainojen olemassaolo usean pelaajan yleisessä summapelissä
2013
Tämän tutkielman tarkoituksena on osoittaa, että jokaisella usean pelaajan yleisellä summapelillä on olemassa vähintään yksi Nashin tasapaino. Lisäksi osoitetaan, että kahden pelaajan nollasummapeleissä Nashin tasapainojen mukaiset pelaajien voittojen odotusarvojen suuruudet ovat yksikäsitteiset, ja näytetään kuinka kyseiset odotusarvot voidaan ratkaista lineaarisen optimoinnin avulla. Tutkielmassa määritellään yleiset summapelit kolmikkoina, jotka muodostuvat äärellisestä määrästä pelaajia, joista jokaiseen on liitetty äärellinen joukko. Näiden joukkojen alkioita kutsutaan pelaajien puhtaiksi strategioiksi. Kolmikon viimeisen jäsenen muodostaa jokaiselle pelaajalle erikseen määritelty kuva…
Pelitutkimuksen vuosikirja 2018
2018
Pelitutkimuksen vuosikirja 2017
2017
GAMEHIGHED Initial Report : Output 1: Initial Research & Analysis Report. Higher-ed Programmes for Careers in Game Design & Development (2019–2022)
2020
Transsendentaalista peliä : tutkielma Jaakko Hintikan Kant-tulkinnasta
2002
Peliteoria ja huutokauppamekanismit
2015
Tämän tutkielman tarkoituksena on analysoida huutokauppoja peliteorian näkökulmasta. Työn alkupuolella käsitellään kahden pelaajan strategisia pelejä. Strategista peliä sanotaan nollasummapeliksi, jos pelaajien tulosten summa on nolla. Von Neumannin minimax-lauseen mukaan jokaisella kahden pelaajan nollasummapelillä on arvo, joka saavutetaan optimaalisia strategioita käyttämällä. Vastaavasti strateginen peli on yleinen summapeli, jos pelaajien tulosten summa on erisuuri kuin nolla joillakin strategioilla. Osoittautuu, että jokaisessa kahden pelaajan yleisessä summapelissä on ainakin yksi Nashin tasapaino. Tässä työssä näytetään, että englantilainen ja suljettu toiseksi korkeimman tarjouksen…