A5024956985- Advanced Software Engineering Methodologies
- Software Engineering Research
- COVID-19 and Mental Health
- Model-Driven Software Engineering Techniques
- Long-Term Effects of COVID-19
- Logic, programming, and type systems
- Service-Oriented Architecture and Web Services
- Intensive Care Unit Cognitive Disorders
- COVID-19 epidemiological studies
- Parallel Computing and Optimization Techniques
- COVID-19 Clinical Research Studies
- SARS-CoV-2 and COVID-19 Research
- Natural Language Processing Techniques
- Advanced Malware Detection Techniques
- Health, Environment, Cognitive Aging
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Embedded Systems Design Techniques
- Software Engineering Techniques and Practices
- Infection Control and Ventilation
- Thermal Regulation in Medicine
- Advanced Neuroimaging Techniques and Applications
- Mathematics, Computing, and Information Processing
- Functional Brain Connectivity Studies
- Formal Methods in Verification
Johns Hopkins Hospital
2024
Oslo University Hospital
2021
University of Bergen
2004-2010
Japan External Trade Organization
2007
Utrecht University
2006
<h3>Importance</h3> Mammography screening currently relies on subjective human interpretation. Artificial intelligence (AI) advances could be used to increase mammography accuracy by reducing missed cancers and false positives. <h3>Objective</h3> To evaluate whether AI can overcome interpretation limitations with a rigorous, unbiased evaluation of machine learning algorithms. <h3>Design, Setting, Participants</h3> In this diagnostic study conducted between September 2016 November 2017, an...
Feature modeling has been proposed as an approach for describing variable requirements software product lines. In this paper, we explore the relationship between feature models and ontologies. First, examine how previous extensions to basic move it closer richer formalisms specifying ontologies such MOF OWL. Then, idea of views on Based that idea, propose two approaches combined use ontologies: view derivation integration. Finally, give some ideas about tool support these approaches.
Software released in binary form frequently uses third-party packages without respecting their licensing terms. For instance, many consumer devices have firmware containing the Linux kernel, suppliers following requirements of GNU General Public License. Such license violations are often accidental, e.g., when vendors receive code from with no indication its provenance. To help find such violations, we developed Binary Analysis Tool (BAT), a system for clone detection binaries. Given binary,...
Abstract Objective To determine if daily supplementation with cod liver oil, a low dose vitamin D supplement, in winter, prevents SARS-CoV-2 infection, serious covid-19, or other acute respiratory infections adults Norway. Design Quadruple blinded, randomised placebo controlled trial. Setting Norway, 10 November 2020 to 2 June 2021. Participants 34 601 (aged 18-75 years), not taking supplements. Intervention 5 mL/day of oil (10 µg D, n=17 278) (n=17 323) for up six months. Main outcome...
Long-COVID-19 is a proposed syndrome negatively affecting the health of COVID-19 patients. We present data on self-rated three to eight months after laboratory confirmed disease compared control group SARS-CoV-2 negative followed cohort 8786 non-hospitalized patients who were invited testing between February 1 and April 15, 2020 (794 positive, 7229 negative). Participants answered online surveys at baseline follow-up including questions demographics, symptoms, risk factors for SARS-CoV-2,...
Abstract Although substantial progress has been made in managing COVID-19, it is still difficult to predict a patient’s prognosis. We explored the epigenetic signatures of COVID-19 peripheral blood using data from an ongoing prospective observational study called Norwegian Corona Cohort Study. A series EWASs were performed compare DNA methylation profiles between cases and controls three months post-infection. also investigated differences associated with severity long-COVID. Three...
Stratego/XT is a language and toolset for program transformation. The Stratego provides rewrite rules expressing basic transformations, programmable rewriting strategies controlling the application of rules, concrete syntax patterns in object language, dynamic context-sensitive thus supporting development transformation components at high level abstraction. XT offers collection flexible, reusable components, as well declarative languages deriving new components. Complete systems are composed...
Abstract Ageing is a heterogeneous multisystem process involving different rates of decline in physiological integrity across biological systems. The current study dissects the unique and common variance body brain health indicators parses inter‐individual heterogeneity ageing process. Using machine‐learning regression models on UK Biobank data set ( N = 32,593, age range 44.6–82.3, mean 64.1 years), we first estimated tissue‐specific for white gray matter based diffusion T1‐weighted...
The use of a high-level, abstract coding style can greatly increase developer productivity. For numerical software, this result in drastically reduced run-time performance. High-level, domain-specific optimisations eliminate much the overhead caused by an style, but current compilers have poor support for optimisation. We present CodeBoost, source-to-source transformation tool optimisation C++ programs. CodeBoost performs parsing, semantic analysis and pretty-printing, transformations be...
For many people public transport is the only mode of travel, and it can be challenging to keep necessary distances in such a restricted space. The exact role transportation risk SARS-CoV-2 transmission not known.Participants (n = 121,374) were untested adult Norwegian residents recruited through social media who spring 2020 completed baseline questionnaire on demographics use transport. Incident cases 1069) had positive polymerase chain reaction test registered at Messaging System for...
Software is rapidly moving from the desktop to Web. The Web provides a generic user interface that allows ubiquitous access, instant collaboration, integration with other online services, and avoids installation configuration on computers. For software development, presents shift away developer workstations as silo, has promise of closer collaboration improved feedback through innovations in Web-based interactive development environments (IDEs). Moving IDEs not just matter porting IDEs;...
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms are normally very difficult or even impossible to modularize with traditional modularization mechanisms because they cross-cutting. Recently, aspect-oriented has enjoyed recognition a practical solution for separating these concerns. In this paper we describe an extension the Stratego term rewriting language capturing properties. We show...
Program transformation systems provide powerful analysis and frameworks as well concise languages for language processing, but instantiating them every subject is an arduous task, most often resulting in half-completed frontends. Compilers mature frontends with robust parsers type checkers, solving processing problems general-purpose without libraries tedious. Reusing these existing therefore attractive. However, this reuse to be optimal, the functional logic found frontend should exposed...
Modern IDEs increase developer productivity by incorporating many different kinds of editor services. These can be purely syntactic, such as syntax highlighting, code folding, and an outline for navigation; or they based on the language semantics, in-line type error reporting resolving identifier declarations. Building all these services from scratch requires both extensive knowledge sometimes complicated highly interdependent APIs extension mechanisms IDE framework, in-depth understanding...
Abstract DNA methylation age (MA), brain (BA), and frailty index (FI) are putative aging biomarkers linked to dementia risk. We investigated their relationship combined potential for prediction of cognitive impairment future risk using the ADNI database. Of several MA algorithms, DunedinPACE GrimAge2, associated with memory, were in a composite alongside BA data-driven FI predictive analyses. Pairwise correlations between age- sex-adjusted measures (aMA), aBA, aFI low. outperformed all...
EventScript is a simple but powerful language for programming reactive processes. A stream of incoming events matched against regular expression. Actions embedded within the expression are executed in response to matching patterns events. These actions include assigning computed values variables and emitting output The definition presented number novel interesting language-design choices. has an efficient implementation, been used development environment complex event-based applications. We...
Testing and instrumenting software are among the foremost techniques for ensuring reliability. We present ongoing work on two Eclipse extensions that try to make use of axioms data invariants as convenient a part development process unit tests.
The Second Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition competition participated five systems, namely ASF+SDF, Maude, Stratego/XT, TermWare, Tom. We explain here how organized conducted, present main results conclusions.
Abstract Background The risk factors for SARS-CoV-2 transmission are not well characterised in Western populations. We sought to identify potential and actionable information prevent SARS-CoV-2. Methods Individuals tested at four major laboratories were invited. In addition, participants sampled by convenience after a media campaign. Self-reported test results compared with laboratory results, demographic data behavioural facts collected using digital platform. cross-sectional design...
Dealing with failure and exceptional situations is an important but tricky part of programming, especially when reusing existing components. Traditionally, it has been up to the designer a library decide whether use language's exception mechanism, return values, or other ways indicate circumstances. The user bound by this choice, even though may be inconvenient for particular use. Furthermore, normal program code often cluttered dealing circumstances.This paper introduces alert concept which...