Suchergebnisse - "Pettersson, Paul"

Kollektive Gefährdungslagen im Asylrecht : Dogmatik der Gefahrenprognose und Vereinheitlichung der Entscheidungspraxis durch Länderleitentscheidungen von Pettersson, Paul

“… Im Asylrecht werden gleiche Tatsachenfragen von den Gerichten häufig unterschiedlich beantwortet. Die Uneinheitlichkeit betrifft ‚kollektive Gefährdungslagen‘ …”
Volltext

Handgrip strength reference intervals in Swedish, young, healthy adults: The LBA study von 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 …”
Volltext

Measurement of bilirubin in cerebrospinal fluid using the oxidase method on automated chemistry system advia XPT von Branzell, Ida, Lillsunde Larsson, Gabriella, Samyn, Dieter, Pettersson-Pablo, Paul

“… Evaluate the diagnostic performance of automated, quantitative bilirubin measurement, modified to extend its lower measurement ranges, in cerebrospinal fluid …”
Volltext

High levels of hemolysis do not affect measurement of PAPP-A, β-HCG and TRAb on BRAHMS KRYPTOR compact plus von 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 …”
Volltext

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

“… Background and aims In healthy, young adults we analyzed a panel of cardiovascular disease related proteins in plasma and compared them with the vascular …”
Volltext

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 von Pettersson-Pablo, Paul, Cao, Yang, Bäckström, Torbjörn, Nilsson, Torbjörn K., Hurtig-Wennlöf, Anita

“… Background Identification of early signs of atherosclerosis in young adults have the potential to guide early interventions to prevent later cardiovascular …”
Volltext

Task automata: Schedulability, decidability and undecidability von 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 …”
Volltext

The Quality of the Craft von 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 …”
Volltext

Assisting the implementation of screening for type 1 diabetes by using artificial intelligence on publicly available data von 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, …”
Volltext

Half of Atlantic reef-building corals at elevated risk of extinction due to climate change and other threats von 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, Kružić, 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, …”
Volltext

Developing U PPAAL over 15 years von 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 …”
Volltext

Using mutation to design tests for aspect-oriented models von 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 …”
Volltext

Foreword von Seceleanu, Cristina, Pettersson, Paul

Volltext

Foreword von Seceleanu, Cristina, Pettersson, Paul

Volltext

Automated test generation using model checking: an industrial evaluation von 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 …”
Volltext

LC-MS/MS analysis of 11-nor-9-carboxy-hexahydrocannabinol (HHC-COOH) and 11-hydroxy-hexahydrocannabinol (HHC-OH) for verification of hexahydrocannabinol (HHC) intake von 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 …”
Volltext

Developing UPPAAL over 15 years von 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 …”
Volltext

Analyzing a wind turbine system: From simulation to formal verification von 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 …”
Volltext

A methodology for formal analysis and verification of EAST-ADL models von 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 …”
Volltext

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems von Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul

“… Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of …”
Volltext