Sciweavers

6740 search results - page 42 / 1348
» An s -Hamiltonian Line Graph Problem
Sort
View
FC
2010
Springer
169views Cryptology» more  FC 2010»
13 years 11 months ago
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
Bogdan Groza, Marius Minea
EJC
2008
13 years 7 months ago
A classification of finite partial linear spaces with a primitive rank 3 automorphism group of grid type
A partial linear space is a non-empty set of points, provided with a collection of subsets called lines such that any pair of points is contained in at most one line and every lin...
Alice Devillers
PRIB
2010
Springer
192views Bioinformatics» more  PRIB 2010»
13 years 6 months ago
Structured Output Prediction of Anti-cancer Drug Activity
We present a structured output prediction approach for classifying potential anti-cancer drugs. Our QSAR model takes as input a description of a molecule and predicts the activity...
Hongyu Su, Markus Heinonen, Juho Rousu
SODA
2010
ACM
278views Algorithms» more  SODA 2010»
14 years 5 months ago
The edge disjoint paths problem in Eulerian graphs and $4$-edge-connected graphs
We consider the following well-known problem, which is called the edge-disjoint paths problem. Input: A graph G with n vertices and m edges, k pairs of vertices (s1, t1), (s2, t2)...
Ken-ichi Kawarabayashi, Yusuke Kobayashi
ORL
2007
82views more  ORL 2007»
13 years 7 months ago
The path partition problem and related problems in bipartite graphs
We prove that it is NP-complete to decide whether a bipartite graph of maximum degree three on nk vertices can be partitioned into n paths of length k. Finally, we propose some ap...
Jérôme Monnot, Sophie Toulouse