SINTEF search

...targets both for understanding the global gene expression and developing genetic tools for heterologous expression of proteins and complex biosynthetic pathways. Previously, we have developed and used combinatorial mutagenesis methods to analyse and improve bacterial expression systems. Here, we present...

Self-consistent quasiparticle GW (sc-QPGW) calculations are used to calculate the electronic properties of α-Si3N4 and β-Si3N4, as well as α-SiO2 (quartz). The optical properties are evaluated by solving the Bethe-Salpeter equation in the Tamm-Dancoff approximation. For quartz, the predicted dielectric...

...general, and within methods for action-refinement in particular. In this paper we focus on Event-B, a more recent method for action refinement. The STAIRS method belongs to another tradition. It originates from the UML community and is designed to provide an understanding of refinement and fulfillment...

...ambient assisted living (AAL), and provides elderly safety, autonomy, independence and mobility. The aim is to generate knowledge on usage, usability and technical requirements to harvest the potential benefits of using wearable and mobile technologies in care for safe and active living. The study is based...

This chapter defines and discusses important concepts like risk, uncertainty, vulnerability and interdependency. In the literature, these concepts are used in various ways and there exists no common accepted terminology. Therefore, these terms are defined to provide a basis for consistent use throughout...