Now showing items 11-20 of 11431
Design of an IDM-based determinant computing unit for a 130nm low power CMOS ASIC acoustic localization processor
(Institute of Electrical and Electronics Engineers Inc., 2015-09)
A determinant computing circuit in floating point format has been designed and tested for use in a CMOS ASIC acoustic localization processor. The Internal Division Method (IDM) was used to implement the operation, employing ...
Camel: collective-aware message logging
(Kluwer Academic Publishers, 2015-03)
The continuous progress in the performance of supercomputers has made possible the understanding of many fundamental problems in science. Simulation, the third scientific pillar, constantly demands more powerful machines ...
Making virtue of necessity: a verb lexicon
(Springer Verlag, 2016)
We describe the verb lexicon of OpenWordNet-PT, a wordnet-like resource for (mostly Brazilian) Portuguese and a series of experiments that we designed to extend its coverage. These experiments include checking online lists ...
DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
(ABM, ABC, ABPol, 2014)
Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' ...
Efficient compression and indexing of trajectories
We present a new compressed representation of free trajectories of moving objects. It combines a partial-sums-based structure that retrieves in constant time the position of the object at any instant, with a hierarchical ...
Fast and compact planar embeddings
There are many representations of planar graphs but few are as elegant as Turán’s (1984): it is simple and practical, uses only four bits per edge, can handle multi-edges and can store any specified embedding. Its main ...