Sciweavers

CORR
2008
Springer
76views Education» more  CORR 2008»
13 years 8 months ago
Fast unfolding of community hierarchies in large networks
Vincent D. Blondel, Jean-Loup Guillaume, Renaud La...
CORR
2008
Springer
80views Education» more  CORR 2008»
13 years 8 months ago
A Dual Polynomial for OR
We reprove that the approximate degree of the OR function on n bits is ( n). We consider a linear program which is feasible if and only if there is an approximate polynomial for ...
Robert Spalek
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 8 months ago
Intersection Theory for Generic Differential Polynomials and Differential Chow Form
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
Xiao-Shan Gao, Wei Li, Chun-Ming Yuan
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 8 months ago
On generalized Frame-Stewart numbers
For the multi-peg Tower of Hanoi problem with k 4 pegs, so far the best solution is obtained by the Stewart's algorithm [15] based on the the following recurrence relation: ...
Jonathan Chappelon, Akihiro Matsuura
CORR
2010
Springer
196views Education» more  CORR 2010»
13 years 8 months ago
Low Power Reversible Parallel Binary Adder/Subtractor
In recent years, Reversible Logic is becoming more and more prominent technology having its applications in Low Power CMOS, Quantum Computing, Nanotechnology, and Optical Computin...
H. G. Rangaraju, U. Venugopal, K. N. Muralidhara, ...
CORR
2010
Springer
104views Education» more  CORR 2010»
13 years 8 months ago
Heuristic approach to optimize the number of test cases for simple circuits
In this paper a new solution is proposed for testing simple stwo stage electronic circuits. It minimizes the number of tests to be performed to determine the genuinity of the circ...
S. M. Thamarai, K. Kuppusamy, T. Meyyappan
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 8 months ago
Cut Elimination for a Logic with Induction and Co-induction
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
Alwen Tiu, Alberto Momigliano
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 8 months ago
Multi-standard programmable baseband modulator for next generation wireless communication
Considerable research has taken place in recent times in the area of parameterization of software defined radio (SDR) architecture. Parameterization decreases the size of the soft...
Indranil Hatai, Indrajit Chakrabarti
CORR
2010
Springer
69views Education» more  CORR 2010»
13 years 8 months ago
Efficient Knowledge Base Management in DCSP
DCSP (Distributed Constraint Satisfaction Problem) has been a very important research area in AI (Artificial Intelligence). There are many application problems in distributed AI t...
Hong Jiang
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 8 months ago
Evolving Dynamic Change and Exchange of Genotype Encoding in Genetic Algorithms for Difficult Optimization Problems
The application of genetic algorithms (GAs) to many optimization problems in organizations often results in good performance and high quality solutions. For successful and efficien...
Maroun Bercachi, Philippe Collard, Manuel Clergue,...