We describe a heuristic scheduling approach for optimizing floating-point pipelines subject to input port constraints.The objective of our technique is to maximize functional unit reuse while minimizing the following performancemetrics in the generated circuit: (1) maximum multiplexer fanin, (2) datapath fanout, (3) number of multiplexers, and (4) number of registers. For a set of systems biolo...

We construct interpolation operators for functions taking values in a symmetric space—a smooth manifold with an inversion symmetry about every point. Key to our construction is the observation that every symmetric space can be realized as a homogeneous space whose cosets have canonical representatives by virtue of the generalized polar decomposition—a generalization of the well-known factorizat...

The viability of the human probiotic strains Lactobacillus paracasei NFBC 338 and Bifidobacterium sp. strain UCC 35612 in reconstituted skim milk was assessed by confocal scanning laser microscopy using the LIVE/DEAD BacLight viability stain. The technique was rapid (<30 min) and clearly differentiated live from heat-killed bacteria. The microscopic enumeration of various proportions of viable ...

As evidenced by the recent botnet turf war between SpyEye and Zeus, the cyber space has been witnessing an increasing number of battles or wars involving botnets among different groups, organizations, or even countries. One important aspect of a cyber war is accurately estimating the attack capacity of the enemy. Particularly, each party in a botnet war would be interested in knowing how many c...

a new medium, termed ecol was developed for the detection and enumeration of e. coli. the selective properties of ecol medium for the detection of e.coli from mixed culture in wastewater was tested and compared with conventional coliform media at 37°c and 44°c. results clearly showed that ecol medium was enable to direct confirmation of e.coli to be carried out by the indole reaction. the resul...

We discuss an enumerative technique called generating frees which was introduced in the study of Baxter permutations. We apply the technique to some other classes of permutations with forbidden subsequences. We rederive some known results, e.g. ]S,(132,231)[ = 2” and l&,(123,132,213)1 = F,, and add several new ones: &(123,3241), S,(123,3214),8,(123,2143). Finally, we argue for the broader use o...

This text gives an overview about my current research in timing analysis at the Vienna University of Technology. After a short introduction to the topic follows the description of an approach relying on CLP, the implicit path enumeration technique (IPET). This technique is also used in a tool developed at the institute of Computer Languages (TuBound). Current timing analysis tools suffer from a...

Nanoparticle tracking analysis (NTA) is a light-scattering technique that is useful for the rapid sizing and enumeration of extracellular vesicles (EVs). As a relatively new method, NTA has been criticised for a lack of standardisation. We propose the use of silica microspheres for the calibration of NTA measurements and describe in detail a protocol for the analysis of EVs by NTA which should ...