SINTEF search

...dimensioning and vehicle routing in maritime and road-based transportation. The paper shows an overview of the literature on this field since the first published papers in the 1950?s. The literature review includes some early papers regarding fleet sizing and focuses particularly on the Fleet Size and Mix Vehicle...

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