Zobrazeno 1 - 10
of 4 349
pro vyhledávání: '"Krook, A"'
Autor:
Nilsen, Eveline, Krook, Adele
På dagens arbetsmarknad står arbetsgivare inför en utmaning att anpassa sina strategier för employer branding för att attrahera unga talanger. Forskning visar på att närmare 40% av generation Z planerar att sluta på sitt jobb inom de två nä
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-227473
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores.
Externí odkaz:
http://arxiv.org/abs/2404.16062
Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data
Externí odkaz:
http://arxiv.org/abs/2307.13172
Autor:
Dimitrius Santiago P. S. F. Guimarães, Ninon M. F. Barrios, André Gustavo deOliveira, David Rizo‐Roca, Maxence Jollet, Jonathon A.B. Smith, Thiago R. Araujo, Marcos Vinicius daCruz, Emilio Marconato Jr., Sandro M. Hirabara, André S. Vieira, Anna Krook, Juleen R. Zierath, Leonardo R. Silveira
Publikováno v:
Journal of Cachexia, Sarcopenia and Muscle, Vol 15, Iss 4, Pp 1335-1347 (2024)
Abstract Background The maintenance of skeletal muscle plasticity upon changes in the environment, nutrient supply, and exercise depends on regulatory mechanisms that couple structural and metabolic adaptations. The mechanisms that interconnect both
Externí odkaz:
https://doaj.org/article/d0a4d88491184486a67364d8ba2b1567
Autor:
Krook, Amanda
When children move and are physically active, their well-being and well-being increases. Work that promotes children's physical activity and can contribute to reducing the risk of welfare diseases and mental illness. Most children under the age of 6
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-525669
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads. This persuasi
Externí odkaz:
http://arxiv.org/abs/2210.07798
Autor:
Kazuhiro Nomura, Shinichi Kinoshita, Nao Mizusaki, Yoko Senga, Tsutomu Sasaki, Tadahiro Kitamura, Hiroshi Sakaue, Aki Emi, Tetsuya Hosooka, Masahiro Matsuo, Hitoshi Okamura, Taku Amo, Alexander M. Wolf, Naomi Kamimura, Shigeo Ohta, Tomoo Itoh, Yoshitake Hayashi, Hiroshi Kiyonari, Anna Krook, Juleen R. Zierath, Masato Kasuga, Wataru Ogawa
Publikováno v:
Molecular Metabolism, Vol 86, Iss , Pp 101968- (2024)
The transcriptional coactivator PGC-1α has been implicated in the regulation of multiple metabolic processes. However, the previously reported metabolic phenotypes of mice deficient in PGC-1α have been inconsistent. PGC-1α exists as multiple isofo
Externí odkaz:
https://doaj.org/article/17003285f15f45a0a37f5fca4575d05c
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness, care must
Externí odkaz:
http://arxiv.org/abs/2207.05854
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. The focus is on systems with disturbance, where future states cannot be
Externí odkaz:
http://arxiv.org/abs/2205.13959
Publikováno v:
In Transportation Research Part D August 2024 133