This paper presents the thermal characterization of an LTCC module dedicated for the packaging of a miniature atomic clock. An LTCC device of dimensions of 15 × 22 mm has been designed for the packaging of the elements of a miniature atomic clock. This module acts as a carrier for the components of the clock as well as temperature controller; this is particularly attractive since each component...

We use single-protein atomic force microscopy techniques to detect length phenotypes in an Ig module. To gain amino acid resolution, we amplify the mechanical features of a single module by engineering polyproteins composed of up to 12 identical repeats. We show that on mechanical unfolding, mutant polyproteins containing five extra glycine residues added to the folded core of the module extend...

Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of program statements. This approach prevents data races but may fail to provide all necessary correctness properties.The composition of correlated atomic operations without further synchronization may cause atomicity vi...

Implementation results of the exchange-correlation module are presented in this paper. The authors have ported a computationally intensive part of quantum chemistry code to FPGA, which involved a substantial modification of its structure so that it matches the platform’s profile. Additionally, a set of the authors’ customized modules for floating operations has been created along with software ...

let $r$ be a right artinian ring or a perfect commutative‎‎ring‎. ‎let $m$ be a noncosingular self-generator $sum$-lifting‎‎module‎. ‎then $m$ has a direct decomposition $m=oplus_{iin i} m_i$‎,‎where each $m_i$ is noetherian quasi-projective and each‎‎endomorphism ring $end(m_i)$ is local‎.

In recent years modules have frequently been used for ontology development and understanding. This happens because a module captures all the knowledge an ontology contains in a given area, and often is much smaller than the whole ontology. One useful modularisation technique for expressive ontology languages is locality-based modularisation, which allows for fast (polynomial) extraction of modu...