We apply linear relation analysis [CH78, HPR97] to the verification of declarative synchronous programs [Hal98]. In this approach, state partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the partitioning; on the other hand, a too much detailed partitioning may result in an exponential explosion of the analysis. In this paper we prop...

The main purpose of this paper is to describe and analyse techniques for the numerical solution of highily oscillatory ordinary differential equations by exploying a Neumann expansion. Once the variables in the differential system are changed with respect to a rapidly rotating frame of reference, the Neumann method becomes very effective indeed. However, this effectiveness rests upon suitable q...

A mixed-signal paradigm is presented for high-resolution parallel innerproduct computation in very high dimensions, suitable for efficient implementation of kernels in image processing. At the core of the externally digital architecture is a high-density, low-power analog array performing binary-binary partial matrix-vector multiplication. Full digital resolution is maintained even with low-res...

An approach to the automatic generation of efficient Field Programmable Gate Arrays (FPGAs) circuits for the Regular Expression-based (RegEx) Pattern Matching problems is presented. Using a novel design strategy, as proposed, circuits that are highly area-and-time-efficient can be automatically generated for arbitrary sets of regular expressions. This makes the technique suitable for applicatio...

A new method for the capping of colloidal CdS nanocrystals with ZnS shells is presented. A combination of the monomolecular precursor zinc ethylxanthate (Zn(ex)2) and zinc stearate was used to replace hazardous organometallic reagents usually applied in this procedure, i.e. bis(trimethylsilyl) sulfide and diethylzinc. Its simple preparation, air-stability and low decomposition temperature of 15...

A Cryogenic Current Comparator is a highly sensitive tool for the non-destructive online monitoring of continuous as well as bunched beams of very low intensities. The noise-limited current resolution of such a device depends on the ferromagnetic material embedded in the pickup coil of the CCC. Therefore, the main focus of research was on the low temperature properties of ferromagnetic core mat...

Low permeation measurements through polymer substrates is very critical and there is no definite commercial method for measuring a water vapor transmission rate of 10 gym yday at 39 8C and 95% RH at atmospheric pressure. A novel moisture y6 2 permeation measurement method and model was developed qualitatively and quantitatively with the ‘calcium degradation test’ method. It is well known that o...

Current Multicore Systems-On-Chip (MCSoC) execute applications that need highly parallel processing. Networks-On-Chip (NoC) largely alleviate the limitations of bus-based solutions. NoCs can have regular or ad hoc topologies, and functional validation is essential to estimate their correctness and performance. In this paper, we present a flexible emulation environment implemented on an FPGA tha...

The aim of this study (N = 24,012) was to explore sex and age differences in a Taiwanese national sample. We found that women, married, middle-aged, belowaveragely and very-highly educated people reported higher happiness. In addition, sex interacted with marital status and education, while age interacted with marital status. Specifically, (1) men were worse off than women when widowed or divor...

Functional RNA molecules typically have structural patterns that are highly conserved in evolution. Here we present an algorithmic method for multiple alignment of RNAs, taking into consideration both structural similarity and sequence identity. Furthermore, our window-sized comparative analysis corrects the misaligned structure within a distance threshold and identifies the conserved substruct...