Search Results - "Pettersson, Paul"

Handgrip strength reference intervals in Swedish, young, healthy adults: The LBA study by Pettersson-Pablo, Paul, Nilsson, Torbjörn K., Hurtig-Wennlöf, Anita

“…•Handgrip strength may differ strongly between populations•Reference intervals are best established locally•Sex, height, and fat-free mass are the main…”
Get full text

High levels of hemolysis do not affect measurement of PAPP-A, β-HCG and TRAb on BRAHMS KRYPTOR compact plus by Pettersson Pablo, Paul, Aneskans, Cecilia, Vink, Martin

“…To assess the impact of high levels of hemolysis on the laboratory results for free β-hCG, PAPP-A, and TRAb performed on the B·R·A·H·M·S KRYPTOR Compact PLUS…”
Get full text

IGFBP-1 and IGFBP-2 are associated with a decreased pulse-wave velocity in young, healthy adults by Pettersson-Pablo, Paul, Nilsson, Torbjörn K, Breimer, Lars H, Hurtig-Wennlöf, Anita

“…In healthy, young adults we analyzed a panel of cardiovascular disease related proteins in plasma and compared them with the vascular health of the subjects…”
Get full text

Body fat percentage and CRP correlates with a composite score of vascular risk markers in healthy, young adults - The Lifestyle, Biomarkers, and Atherosclerosis (LBA) study by Pettersson-Pablo, Paul, Cao, Yang, Bäckström, Torbjörn, Nilsson, Torbjörn K, Hurtig-Wennlöf, Anita

“…Identification of early signs of atherosclerosis in young adults have the potential to guide early interventions to prevent later cardiovascular disease. We…”
Get full text

Task automata: Schedulability, decidability and undecidability by Fersman, Elena, Krcal, Pavel, Pettersson, Paul, Yi, Wang

“…We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with…”
Get full text

The Quality of the Craft by Paul Eklöv Pettersson

“…In this study the sustainability of crucibles used during the Scandinavian Bronze Age is tested. Due to the crucible’s high or low sustainability the idea of…”
Get full text

Kein Startschuss für Abschiebungen nach Syrien by Valentin Feneberg, Paul Pettersson

“…Laut OVG Nordrhein-Westfalen besteht für Zivilpersonen in Syrien keine ernsthafte, individuelle Lebensgefahr mehr aufgrund des Bürgerkriegs; Rückkehrer:innen…”
Get full text

Länderleitentscheidungen durch das Bundesverwaltungsgericht by Valentin Feneberg, Paul Pettersson

“…Die Entscheidungspraxis in Asylverfahren ist sowohl beim BAMF als auch bei den Gerichten uneinheitlich. Dabei hängt nicht nur die Beurteilung der…”
Get full text

Assisting the implementation of screening for type 1 diabetes by using artificial intelligence on publicly available data by Teixeira, Pedro F., Battelino, Tadej, Carlsson, Anneli, Gudbjörnsdottir, Soffia, Hannelius, Ulf, von Herrath, Matthias, Knip, Mikael, Korsgren, Olle, Elding Larsson, Helena, Lindqvist, Anton, Ludvigsson, Johnny, Lundgren, Markus, Nowak, Christoph, Pettersson, Paul, Pociot, Flemming, Sundberg, Frida, Åkesson, Karin, Lernmark, Åke, Forsander, Gun

“…The type 1 diabetes community is coalescing around the benefits and advantages of early screening for disease risk. To be accepted by healthcare providers,…”
Get full text

Developing U PPAAL over 15 years by Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang

“…U PPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended…”
Get full text

Half of Atlantic reef-building corals at elevated risk of extinction due to climate change and other threats by Gutierrez, Luis, Polidoro, Beth, Obura, David, Cabada-Blanco, Francoise, Linardich, Christi, Pettersson, Emma, Pearce-Kelly, Paul, Kemppinen, Krista, Alvarado, Juan Jose, Alvarez-Filip, Lorenzo, Banaszak, Anastazia, Casado de Amezua, Pilar, Crabbe, James, Croquer, Aldo, Feingold, Joshua, Goergen, Elizabeth, Goffredo, Stefano, Hoeksema, Bert, Huang, Danwei, Kennedy, Emma, Kersting, Diego, Kitahara, Marcelo, Kruzic, Petar, Miller, Margaret, Nunes, Flavia, Quimbayo, Juan Pablo, Rivera-Sosa, Andrea, Rodríguez-Martínez, Rosa, Santodomingo, Nadia, Sweet, Michael, Vermeij, Mark, Villamizar, Estrella, Aeby, Greta, Alliji, Khatija, Bayley, Daniel, Couce, Elena, Cowburn, Benjamin, Nuñez Lendo, C. Isabel, Porter, Sean, Samimi-Namin, Kaveh, Shlesinger, Tom, Wilson, Bryan

“…Atlantic reef-building corals and coral reefs continue to experience extensive decline due to increased stressors related to climate change, disease,…”
Get full text

Using mutation to design tests for aspect-oriented models by Lindström, Birgitta, Offutt, Jeff, Sundmark, Daniel, Andler, Sten F., Pettersson, Paul

“…Context: Testing for properties such as robustness or security is complicated because their concerns are often repeated in many locations and muddled with the…”
Get full text

Foreword by Seceleanu, Cristina, Pettersson, Paul

Get full text

Foreword by Seceleanu, Cristina, Pettersson, Paul

Get full text

Developing UPPAAL over 15 years by Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang

“…UPPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended…”
Get full text

Uppaal in a nutshell by Larsen, Kim G., Pettersson, Paul, Yi, Wang

Get full text

Automated test generation using model checking: an industrial evaluation by Enoiu, Eduard P., Čaušević, Adnan, Ostrand, Thomas J., Weyuker, Elaine J., Sundmark, Daniel, Pettersson, Paul

“…In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software…”
Get full text

LC-MS/MS analysis of 11-nor-9-carboxy-hexahydrocannabinol (HHC-COOH) and 11-hydroxy-hexahydrocannabinol (HHC-OH) for verification of hexahydrocannabinol (HHC) intake by Pettersson-Pablo, Paul, Oxelbark, Joakim

“…Natural and semi-synthetic cannabinoid analogs are getting increasing media attention for their recreative use as an alternative to traditional cannabis, in…”
Get full text

Analyzing a wind turbine system: From simulation to formal verification by Seceleanu, Cristina, Johansson, Morgan, Suryadevara, Jagadish, Sapienza, Gaetana, Seceleanu, Tiberiu, Ellevseth, Stein-Erik, Pettersson, Paul

“…Many industrial systems are hybrid by nature, most often being made of a discrete controller that senses and regulates the execution of a plant characterized…”
Get full text

A methodology for formal analysis and verification of EAST-ADL models by Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul

“…The architectural design of embedded software has a direct impact on the final implementation, with respect to performance and other quality attributes…”
Get full text