Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140223054> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2140223054 endingPage "127" @default.
- W2140223054 startingPage "95" @default.
- W2140223054 abstract "In this paper we use HI-Maude to model and analyze the human thermoregulatory system and the effect of extreme heat exposure to the human body. The case study is motivated by the 2010 Sauna World Championships, which ended in a tragedy when the last two finalists were severely burnt in surprisingly short time (one of them died the next day). HI-Maude is a rewriting-logic-based formal modeling language and analysis tool for complex hybrid systems whose components influence each others' continuous dynamics. One distinguishing feature of HI-Maude is that the user only needs to describe the continuous dynamics of single components and interactions, instead of having to explicitly define the continuous dynamics of the entire system. HI-Maude analyses are based on numerical approximations of the system's continuous behaviors. We use HI-Maude to analyze how long the human body can survive when experiencing extreme conditions such as those encountered in the Sauna World Championships." @default.
- W2140223054 created "2016-06-24" @default.
- W2140223054 creator A5052423329 @default.
- W2140223054 creator A5068015318 @default.
- W2140223054 creator A5078403066 @default.
- W2140223054 date "2015-03-01" @default.
- W2140223054 modified "2023-09-30" @default.
- W2140223054 title "Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?" @default.
- W2140223054 cites W1595871524 @default.
- W2140223054 cites W1976195354 @default.
- W2140223054 cites W1998480516 @default.
- W2140223054 cites W2004463571 @default.
- W2140223054 cites W2005074233 @default.
- W2140223054 cites W2006340882 @default.
- W2140223054 cites W2029227380 @default.
- W2140223054 cites W2032196609 @default.
- W2140223054 cites W2047406870 @default.
- W2140223054 cites W2483792378 @default.
- W2140223054 doi "https://doi.org/10.1016/j.scico.2014.06.010" @default.
- W2140223054 hasPublicationYear "2015" @default.
- W2140223054 type Work @default.
- W2140223054 sameAs 2140223054 @default.
- W2140223054 citedByCount "3" @default.
- W2140223054 countsByYear W21402230542014 @default.
- W2140223054 countsByYear W21402230542015 @default.
- W2140223054 crossrefType "journal-article" @default.
- W2140223054 hasAuthorship W2140223054A5052423329 @default.
- W2140223054 hasAuthorship W2140223054A5068015318 @default.
- W2140223054 hasAuthorship W2140223054A5078403066 @default.
- W2140223054 hasBestOaLocation W21402230541 @default.
- W2140223054 hasConcept C110251889 @default.
- W2140223054 hasConcept C121332964 @default.
- W2140223054 hasConcept C138885662 @default.
- W2140223054 hasConcept C144024400 @default.
- W2140223054 hasConcept C145912823 @default.
- W2140223054 hasConcept C154690210 @default.
- W2140223054 hasConcept C154945302 @default.
- W2140223054 hasConcept C199360897 @default.
- W2140223054 hasConcept C24890656 @default.
- W2140223054 hasConcept C2776401178 @default.
- W2140223054 hasConcept C2780027720 @default.
- W2140223054 hasConcept C36289849 @default.
- W2140223054 hasConcept C41008148 @default.
- W2140223054 hasConcept C41895202 @default.
- W2140223054 hasConcept C44154836 @default.
- W2140223054 hasConcept C77405623 @default.
- W2140223054 hasConceptScore W2140223054C110251889 @default.
- W2140223054 hasConceptScore W2140223054C121332964 @default.
- W2140223054 hasConceptScore W2140223054C138885662 @default.
- W2140223054 hasConceptScore W2140223054C144024400 @default.
- W2140223054 hasConceptScore W2140223054C145912823 @default.
- W2140223054 hasConceptScore W2140223054C154690210 @default.
- W2140223054 hasConceptScore W2140223054C154945302 @default.
- W2140223054 hasConceptScore W2140223054C199360897 @default.
- W2140223054 hasConceptScore W2140223054C24890656 @default.
- W2140223054 hasConceptScore W2140223054C2776401178 @default.
- W2140223054 hasConceptScore W2140223054C2780027720 @default.
- W2140223054 hasConceptScore W2140223054C36289849 @default.
- W2140223054 hasConceptScore W2140223054C41008148 @default.
- W2140223054 hasConceptScore W2140223054C41895202 @default.
- W2140223054 hasConceptScore W2140223054C44154836 @default.
- W2140223054 hasConceptScore W2140223054C77405623 @default.
- W2140223054 hasFunder F4320320875 @default.
- W2140223054 hasLocation W21402230541 @default.
- W2140223054 hasOpenAccess W2140223054 @default.
- W2140223054 hasPrimaryLocation W21402230541 @default.
- W2140223054 hasRelatedWork W1557832504 @default.
- W2140223054 hasRelatedWork W1981849281 @default.
- W2140223054 hasRelatedWork W1986424898 @default.
- W2140223054 hasRelatedWork W2134424614 @default.
- W2140223054 hasRelatedWork W2281881264 @default.
- W2140223054 hasRelatedWork W2360572573 @default.
- W2140223054 hasRelatedWork W2364866360 @default.
- W2140223054 hasRelatedWork W2551596431 @default.
- W2140223054 hasRelatedWork W2800656874 @default.
- W2140223054 hasRelatedWork W79067279 @default.
- W2140223054 hasVolume "99" @default.
- W2140223054 isParatext "false" @default.
- W2140223054 isRetracted "false" @default.
- W2140223054 magId "2140223054" @default.
- W2140223054 workType "article" @default.