We propose a new methodology for post-silicon power validation using the captured thermal infrared emissions from the back-side of operational integrated circuits. We first identify the challenges associated with thermal to power inversion, and then we address these challenges by devising a quadratic optimization formulation that incorporates Tikhonov filtering techniques to find the most accur...

The lateral giant (LG) escape circuit of crayfish mediates a coordinated escape triggered by strong attack to the abdomen. The LG circuit is one of the best understood of small systems, but models of the circuit have mostly been limited to simple ball-and-stick representations, which ignore anatomical details of contacts between circuit elements. Many of the these contacts are electrical; here ...

We have implemented a translator that translates Carneades Argument Graphs as specified in the LKIF files of the Carneades editor to a database specification of the Argument Interchange Format and vice versa. In this paper the algorithms for this translation are presented.

Geographic and mathematic analyses of historical maps require highly accurate adjustments to manuscripts in order to eliminate distortions caused by time and use. Earlier proposals for electronic restoration only offered effective solutions when compensating for tightly bound or straightly creased books. Applying a different solution, we have encountered a way of electronically restoring the ma...

Introduced a new calculation method (K-method) for cognitive maps. K-method consists of two consecutive steps. In the first stage, allocated subgraph composed of all paths from one selected node (concept) to another node (concept) from the cognitive map (directed weighted graph). In the second stage, after the transition to an undirected graph (symmetrization adjacency matrix) the influence of ...

The scale and rotation invariance properties of a recently proposed algorithm, using the fuzzy evidence accumulation principle, for finding lines (ridges) of non-parametric shapes is analysed. The proposed modifications consist in scaling the accumulated value with the inverse of the line width and further fuzzifying the accumulation process – along the line width. Good invariance properties re...

We describe methods for navigating large variable resolution images primarily using eye gaze control. In many professions a user’s task involves inspecting very large image spaces at a level of granularity ranging from an overview mode to study of fine detail. Such images are becoming commonplace, for instance: maps (e.g. Google Maps), earth imaging (Google Earth, NASA World Wind1), surveillanc...

The dynamics of a number of switching circuits can be represented by one-dimensional (1-D) piecewise smooth maps under discrete modeling. In this paper we develop the bifurcation theory of such maps and demonstrate the application of the theory in explaining the observed bifurcations in two power electronic circuits.

Inhibitory synapse is an important component both in physiology and artificial neural network, which has been widely investigated and used. A typical inhibitory synapse in very large scale integrated (VLSI) circuit is simplified from related research and applied in a VLSI chip for spike train reregistration. The spike train reregistration network is derived from a neural network model for senso...

We report measurements and simulations on a fully tunable double quantum dot circuit, integrated with two quantum point contacts that serve as charge detectors. The circuit is defined in a two-dimensional electron gas by means of surface gates on top of a GaAs/AlGaAs heterostructure. Full control over the electron number (down to zero), the dot-lead coupling and the inter-dot tunnel coupling is...