...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...
...evolution of CPU frequency and consequently performance of single kernel CPUs followed a similar evolution. Consequently programs implemented according to a sequential paradigm could directly benefit from Moore’s law. However, in 2004 the growth of CPU frequency almost stopped, and multi-kernel commodity...
...evolution of CPU frequency and consequently performance of single kernel CPUs followed a similar evolution. Consequently programs implemented according to a sequential paradigm could directly benefit from Moore’s law. However, in 2004 the growth of CPU frequency almost stopped, and multi-kernel commodity...