This paper studies the performance of sparsematrix-based data structures to represent clock zones (convex sets of clock values) in an on-the-fly predicate equation system model checker for timed automata. We analyze the impact of replacing the dense difference bound matrix (DBM) with both the linked-list CRDZone and array-list CRDArray data structure. From analysis on the pairedexample-by-examp...

  　 Objective(s): Ex vivo expansion of hematopoitic stem cells is an alternative way to increase umbilical cord blood (UCB)-CD34+ cells for bone marrow transplantation. For this purpose demineralized bone matrix (DBM) and mineralized bone allograft (MBA) as two scaffolds based on bone matrix and stem cell niche, were simultaneously used to enhance the effect of human mesenchymal pro...

A 65-nm CMOS receiver tailored for breast cancer diagnostic imaging is demonstrated for the first time. The receiver shows 31-dB conversion gain, NF dB, 28 dBm, IIP dBm and IIP dBm over a band from 1.75 to 15 GHz. A programmable injection-locked divider generates quadrature LO signals with a I/Q phase error over three octaves without requiring any calibration or tuning. The receiver shows a fli...

Relational numeric abstract domains are very important in program analysis. Common domains, such as Zones and Octagons, are usually conceptualised with weighted digraphs and implemented using difference-bound matrices (DBMs). Unfortunately, though conceptually simple, direct implementations of graph-based domains tend to perform poorly in practice, and are impractical for analyzing large code-b...

In this paper, different representations of WiFi access point signal information are tested on a hierarchical indoors localization system to identify the one that yields the least amount of localization error. Four representations were considered: Received Signal Strength (RSS) in dBm, RSS in mW , Visibility and both RSS in dBm and Visibility. The localization system was tested in two different...

UNIX support of disk oriented hashing was originally provided by dbm [ATT79] and subsequently improved upon in ndbm [BSD86]. In AT&T System V, in-memory hashed storage and access support was added in the hsearch library routines [ATT85]. The result is a system with two incompatible hashing schemes, each with its own set of shortcomings. This paper presents the design and performance characteris...

This work presents the design of a low power upconversion mixer adapted in medical remote sensing such as wireless endoscopy application. The proposed upconversion mixer operates in ISM band of 433 MHz. With the carrier power of -5 dBm, the proposed mixer has an output inferred 1 dB compression point of -0.5 dBm with a corresponding output third-order intercept point (OIP3) of 7.1 dBm. The desi...

OBJECTIVE Offspring of diabetic mothers (ODM) are at increased risk of developing overweight and impaired glucose tolerance (IGT). Recently, we observed that early neonatal ingestion of breast milk from diabetic mothers (DBM) may dose-dependently increase the risk of overweight in childhood. Here, we investigate whether DBM intake during the late neonatal period and early infancy also influence...