Sciweavers

88 search results - page 10 / 18
» cp 2008
Sort
View
COMBINATORICA
2007
119views more  COMBINATORICA 2007»
13 years 8 months ago
Complete partitions of graphs
A complete partition of a graph G is a partition of its vertex set in which any two distinct classes are connected by an edge. Let cp(G) denote the maximum number of classes in a ...
Magnús M. Halldórsson, Guy Kortsarz,...
CP
2008
Springer
13 years 9 months ago
Search Strategies for Rectangle Packing
Rectangle (square) packing problems involve packing all squares with sizes 1 × 1 to n × n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a...
Helmut Simonis, Barry O'Sullivan
DM
1998
73views more  DM 1998»
13 years 8 months ago
On constructing snakes in powers of complete graphs
We prove the conjecture of Abbott and Katchalski that for every m ≥ 2 there is a positive constant λm such that S(Kd mn) ≥ λmnd−1 S(Kd−1 m ) where S(Kd m) is the length o...
Jerzy Wojciechowski
BMCBI
2008
107views more  BMCBI 2008»
13 years 8 months ago
RIPCAL: a tool for alignment-based analysis of repeat-induced point mutations in fungal genomic sequences
Background: Repeat-induced point mutation (RIP) is a fungal-specific genome defence mechanism that alters the sequences of repetitive DNA, thereby inactivating coding genes. Repea...
James K. Hane, Richard P. Oliver
ENTCS
2008
132views more  ENTCS 2008»
13 years 8 months ago
A Meta Linear Logical Framework
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
Andrew McCreight, Carsten Schürmann