Søk i SINTEF

...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...

Autonomous ships will introduce a new paradigm in automation: Actual cooperation between humans and automation, instead of automation as a tool for teh human. This in turn requires trust in automation and enough time for humans to safely take over control when automation cannot any longer handle the...