Browsing by Keywords "Computation theory"
Now showing items 119 of 19

Block SOR for Kronecker structured representations
(Elsevier, 2004)The Kronecker structure of a hierarchical Markovian model (HMM) induces nested block partitionings in the transition matrix of its underlying Markov chain. This paper shows how sparse real Schur factors of certain diagonal ... 
Coherent energetic interfaces accounting for inplane degradation
(Springer Netherlands, 2016)Interfaces can play a dominant role in the overall response of a body. The importance of interfaces is particularly appreciated at small length scales due to large area to volume ratios. From the mechanical point of view, ... 
Consensus as a Nash equilibrium of a dynamic game
(IEEE, 2016)Consensus formation in a social network is modeled by a dynamic game of a prescribed duration played by members of the network. Each member independently minimizes a cost function that represents his/her motive. An integral ... 
Design and fabrication of CSWAP gate based on nanoelectromechanical systems
(Springer, Cham, 2016)In order to reduce undesired heat dissipation, reversible logic offers a promising solution where the erasure of information can be avoided to overcome the Landauer limit. Among the reversible logic gates, Fredkin (CSWAP) ... 
Effective early termination techniques for text similarity join operator
(Springer, Berlin, Heidelberg, 2005)Text similarity join operator joins two relations if their join attributes are textually similar to each other, and it has a variety of application domains including integration and querying of data from heterogeneous ... 
Electromagnetically induced lefthandedness in a dense gas of threelevel atoms
(The American Physical Society, 2004)Ways in which a threelevel system can be used to change the frequencydependent magnetic permeability of an atomic gas were discussed. The resulting macroscopic electrodynamics was also discussed. The two levels were ... 
Fastdissolving, prolonged release, and antibacterial cyclodextrin/limoneneinclusion complex nanofibrous webs via polymerfree electrospinning
(American Chemical Society, 2016)We have proposed a new strategy for preparing freestanding nanofibrous webs from an inclusion complex (IC) of a wellknown flavor/fragrance compound (limonene) with three modified cyclodextrins (HPβCD, MβCD, and HPγCD) ... 
Generalised logic program transformation schemas
(Springer, 199807)Schemabased logic program transformation has proven to be an eective technique for the optimisation of programs. This paper results from the research that began by investigating the suggestions in [11] to construct a more ... 
Heuristics for scheduling filesharing tasks on heterogeneous systems with distributed repositories
(Academic Press, 2007)We consider the problem of scheduling an application on a computing system consisting of heterogeneous processors and data repositories. The application consists of a large number of filesharing otherwise independent ... 
Hypersolver: a graphical tool for commonsense set theory
(Elsevier, 1995)This paper investigates an alternative set theory (due to Aczel) called the Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of nonwellfounded sets. A program, called ... 
Joint mixability of some integer matrices
(Elsevier B.V.Elsevier BV, 2016)We study the problem of permuting each column of a given matrix to achieve minimum maximal row sum or maximum minimal row sum, a problem of interest in probability theory and quantitative finance where quantiles of a random ... 
Local current distribution at large quantum dots (QDs): A selfconsistent screening model
(Elsevier B.V., 2008)We report the implementation of the selfconsistent ThomasFermi screening theory, together with the local Ohm's law to a quantum dot system in order to obtain local current distribution within the dot and at the leads. ... 
On LempelZiv complexity of sequences
(Springer, Berlin, Heidelberg, 2006)We derive recurrences for counting the number a(n, r) of sequences of length n with LempelZiv complexity r, which has important applications, for instance testing randomness of binary sequences. We also give algorithms ... 
Polyhedral analysis for concentrator location problems
(Springer, 2006)The concentrator location problem is to choose a subset of a given terminal set to install concentrators and to assign each remaining terminal node to a concentrator to minimize the cost of installation and assignment. The ... 
Some asymptotics for extremal polynomials
(Springer, 2016)We review some asymptotics for Chebyshev polynomials and orthogonal polynomials. Our main interest is in the behaviour of Widom factors for the Chebyshev and the Hilbert norms on small sets such as generalized Julia sets. 
A unified approach to universal prediction: Generalized upper and lower bounds
(Institute of Electrical and Electronics Engineers Inc., 2015)We study sequential prediction of realvalued, arbitrary, and unknown sequences under the squared error loss as well as the best parametric predictor out of a large, continuous class of predictors. Inspired by recent results ... 
V. Lifschitz, ed., formalizing common sense: papers by John McCarthy
(Elsevier BV, 1995)A review is presented of Lifschitz's collection of seventeen papers written by McCarthy on the subject of common sense. The book opens with a fine overview of McCarthy's research in artificial intelligence (AI). Lifschitz ... 
Watermarking based on discrete wavelet transform and qdeformed chaotic map
(Elsevier Ltd, 2017)Hierarchy of onedimensional ergodic chaotic maps with Tsallis type of qdeformation are studied. We find that in the chaotic region, these maps with qdeformation are ergodic as the Birkhoff ergodic theorem predicts. ... 
A websitebased partitioning technique for reducing preprocessing overhead of parallel PageRank computation
(Springer, Berlin, Heidelberg, 2007)A power method formulation, which efficiently handles the problem of dangling pages, is investigated for parallelization of PageRank computation. Hypergraphpartitioningbased sparse matrix partitioning methods can be ...