Sciweavers

CORR
2008
Springer
102views Education» more  CORR 2008»
14 years 18 days ago
On some deterministic dictionaries supporting sparsity
We describe a new construction of an incoherent dictionary, referred to as the oscillator dictionary, which is based on considerations in the representation theory of finite groups...
Shamgar Gurevich, Ronny Hadani, Nir A. Sochen
CORR
2008
Springer
97views Education» more  CORR 2008»
14 years 18 days ago
Self-Motions of General 3-RPR Planar Parallel Robots
We study the kinematic geometry of general 3-RPR planar parallel robots with actuated base joints. These robots, while largely overlooked, have simple direct kinematics and large ...
Sébastien Briot, Ilian A. Bonev, Damien Cha...
CORR
2008
Springer
94views Education» more  CORR 2008»
14 years 18 days ago
Minimum Dissatisfaction Personnel Scheduling
: In this paper we consider two problems regarding the scheduling of available personnel in order to perform a given quantity of work, which can be arbitrarily decomposed into a se...
Mugurel Ionut Andreica, Romulus Andreica, Angela A...
CORR
2008
Springer
78views Education» more  CORR 2008»
14 years 18 days ago
Verified Null-Move Pruning
In this article we review standard null-move pruning and introduce our extended version of it, which we call verified null-move pruning. In verified null-move pruning, whenever th...
Omid David-Tabibi, Nathan S. Netanyahu
CORR
2008
Springer
108views Education» more  CORR 2008»
14 years 18 days ago
On Complexity of Minimum Leaf Out-branching Problem
Peter Dankelmann, Gregory Gutin, Eun Jung Kim
CORR
2008
Springer
75views Education» more  CORR 2008»
14 years 18 days ago
Capacity of a Class of Diamond Channels
We study a special class of diamond channels which was introduced by Schein in
Wei Kang, Sennur Ulukus
CORR
2008
Springer
86views Education» more  CORR 2008»
14 years 18 days ago
Capacity Regions and Bounds for a Class of Z-interference Channels
We define a class of Z-interference channels for which we obtain a new upper bound on the capacity region. The bound exploits a technique first introduced by Korner and Marton. A ...
Nan Liu, Andrea J. Goldsmith
CORR
2008
Springer
142views Education» more  CORR 2008»
14 years 18 days ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
CORR
2008
Springer
113views Education» more  CORR 2008»
14 years 18 days ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau