Výsledky vyhľadávania - "Lundqvist, Kristina"

Surgical treatment and survival from colorectal cancer in Denmark, England, Norway, and Sweden: a population-based study Autor Benitez Majano, Sara, Di Girolamo, Chiara, Rachet, Bernard, Maringe, Camille, Guren, Marianne Grønlie, Glimelius, Bengt, Iversen, Lene Hjerrild, Schnell, Edrun Andrea, Lundqvist, Kristina, Christensen, Jane, Morris, Melanie, Coleman, Michel P, Walters, Sarah

“…Survival from colorectal cancer has been shown to be lower in Denmark and England than in comparable high-income countries. We used data from national…”
Získať plný text

Formal Verification of an Autonomous Wheel Loader by Model Checking Autor Gu, Rong, Marinescu, Raluca, Seceleanu, Cristina, Lundqvist, Kristina

“…In an attempt to increase productivity and the workers' safety, the construction industry is moving towards autonomous construction sites, where various…”
Získať plný text

Caffeine fatalities - Do sales restrictions prevent intentional intoxications? Autor Thelander, Gunilla, Jönsson, Anna Kristina, Personne, Mark, Forsberg, Gunilla Sjölin, Lundqvist, Kristina Magnusson, Ahlner, Johan

“…Objective. Caffeine is widely available in beverages and in different over-the-counter products, including tablets containing 100 mg caffeine. Because…”
Získať plný text

Longitudinal change in aphakic refraction after early surgery for congenital cataract Autor Nyström, Alf, Lundqvist, Kristina, Sjöstrand, Johan

“…To characterize the longitudinal changes of refraction in aphakic eyes after early surgery for congenital cataract and to evaluate longitudinally measured…”
Získať plný text

Identifying Underrepresented Driving Scenarios in Training Datasets with SafeML Robustness Monitoring for Autonomous Driving Vehicles Autor Matthias, Bergler, Ramin, Tavakoli-Kolagari, Kristina, Lundqvist

“…This study investigates the evaluation of the representativeness of datasets in autonomous driving systems using statistical distance metrics. Eight different…”
Získať plný text

Impediments for software test automation: A systematic literature review Autor Wiklund, Kristian, Eldh, Sigrid, Sundmark, Daniel, Lundqvist, Kristina

“…Summary Automated software testing is a critical enabler for modern software development, where rapid feedback on the product quality is expected. To make the…”
Získať plný text

Clinical characteristic and outcome of lymphoplasmacytic lymphoma of non‐Waldenstrom macroglobulinemia type: A Swedish lymphoma registry study Autor Brandefors, Lena, Sander, Birgitta, Lundqvist, Kristina, Kimby, Eva

“…Summary Lymphoplasmacytic lymphoma (LPL) not fulfilling the WHO diagnostic criteria (2017) for Waldenstrom’s macroglobulinemia (WM) (named non‐WM LPL) is a…”
Získať plný text

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems Autor Gu, Rong, Jensen, Peter G., Seceleanu, Cristina, Enoiu, Eduard, Lundqvist, Kristina

“…Planning is a critical function of multi-agent autonomous systems, which includes path finding and task scheduling. Exhaustive search-based methods such as…”
Získať plný text

Two countries – Two treatment strategies for rectal cancer Autor Glimelius, Bengt, Myklebust, Tor Åge, Lundqvist, Kristina, Wibe, Arne, Guren, Marianne G.

“…Trials in rectal cancer have shown that radiotherapy (RT) decreases local recurrence rates, whereas the effects on survival are uncertain. Swedish and…”
Získať plný text

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach Autor Gu, Rong, Jensen, Peter G., Poulsen, Danny B., Seceleanu, Cristina, Enoiu, Eduard, Lundqvist, Kristina

“…Path planning and task scheduling are two challenging problems in the design of multiple autonomous agents. Both problems can be solved by the use of…”
Získať plný text

Prognostic factors and primary treatment for Waldenström macroglobulinemia – a Swedish Lymphoma Registry study Autor Brandefors, Lena, Melin, Beatrice, Lindh, Jack, Lundqvist, Kristina, Kimby, Eva

“…We present a nationwide prospective Swedish registry‐based study of Waldenström macroglobulinaemia (WM), that focuses on incidence and survival in relation to…”
Získať plný text

An Ontological Approach to Elicit Safety Requirements Autor Provenzano, Luciana, Hanninen, Kaj, Zhou, Jiale, Lundqvist, Kristina

“…Safety requirements describe risk mitigations against failures that may cause catastrophic consequences on human life, environment and facilities. To be able…”
Získať plný text

Familial Waldenstrom’s macroglobulinemia and relation to immune defects, autoimmune diseases, and haematological malignancies – A population-based study from northern Sweden Autor Brandefors, Lena, Kimby, Eva, Lundqvist, Kristina, Melin, Beatrice, Lindh, Jack

“…Waldenstrom's macroglobulinemia (WM) is a rare lymphoprolipherative disorder with geographic and ethnic disparities in incidence. The cause of WM remains…”
Získať plný text

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems Autor 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…”
Získať plný text

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool Autor Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul, Torelm, Martin

“…The Architecture Quality Assurance Framework (AQAF) is a theory developed to provide a holistic and formal verification process for architectural engineering…”
Získať plný text

Semantic decoupling: reducing the impact of requirement changes Autor Navarro, Israel, Leveson, Nancy, Lunqvist, Kristina

“…The continuous stream of requirements changes that often takes place during software development and can create major problems in the development process. This…”
Získať plný text

Automated Verification of AADL-Specifications Using UPPAAL Autor Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.

“…The Architecture Analysis and Design Language (AADL) is used to represent architecture design decisions of safety-critical and real-time embedded systems. Due…”
Získať plný text

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems Autor Jiale Zhou, Yue Lu, Lundqvist, Kristina

“…Post-requirements trace ability is the ability to relate requirements (e.g., use cases) forward to corresponding design documents, source code and test cases…”
Získať plný text

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 Autor Dardar, R., Gallina, B., Johnsen, A., Lundqvist, K., Nyberg, M.

“…The ISO 26262 functional safety standard provides appropriate development processes, requirements and safety integrity levels specific for the automotive…”
Získať plný text

A Combined Security Ontology based on the Unified Foundational Ontology Autor Adach, Malina, Hanninen, Kaj, Lundqvist, Kristina

“…While ontology comparison and alignment have been extensively researched in the last decade, there are still some challenges to these disciplines, such as…”
Získať plný text