Sciweavers

GC
2016
Springer
9 years 12 months ago
Rainbow Spanning Subgraphs of Small Diameter in Edge-Colored Complete Graphs
Let s(n, t) be the maximum number of colors in an edge-coloring of the complete graph Kn that has no rainbow spanning subgraph with diameter at most t. We prove s(n, t) = n−2 2 ...
Sogol Jahanbekam, Douglas B. West
GC
2016
Springer
9 years 12 months ago
Z3-Connectivity with Independent Number 2
Fan Yang, Xiangwen Li, Liangchen Li
237
Voted
GC
2016
Springer
9 years 12 months ago
Spectrum of Mixed Bi-uniform Hypergraphs
A mixed hypergraph is a triple H = (V, C, D), where V is a set of vertices, C and D are sets of hyperedges. A vertex-coloring of H is proper if C-edges are not totally multicolored...
Maria Axenovich, Enrica Cherubini, Torsten Ueckerd...
GC
2016
Springer
9 years 12 months ago
Geometric Achromatic and Pseudoachromatic Indices
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. I...
Oswin Aichholzer, Gabriela Araujo-Pardo, Natalia G...
GAMES
2016
52views more  GAMES 2016»
9 years 12 months ago
Revenue Implications of Strategic and External Auction Risk
Two experimental treatments are used to study the e↵ects of auction risk across five mechanisms. The first canonical, baseline treatment features only strategic risk and repli...
Andrea Robbett, Michael K. Graham, Peter Hans Matt...
FUIN
2016
59views more  FUIN 2016»
9 years 12 months ago
Inverted Fuzzy Implications in Approximate Reasoning
Abstract. In this paper, we propose a new method for choosing implications. Our method allows to compare two fuzzy implications. If the truth value of the antecedent and the truth ...
Zbigniew Suraj, Agnieszka Lasek, Piotr Lasek
FUIN
2016
60views more  FUIN 2016»
9 years 12 months ago
Branching-Time Model Checking Gap-Order Constraint Systems
Abstract. We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS...
Richard Mayr, Patrick Totzke
FUIN
2016
47views more  FUIN 2016»
9 years 12 months ago
Pattern-based Rewriting through Abstraction
based Rewriting through Abstraction Paolo Bottoni1, Esther Guerra2, Juan de Lara2 1 Computer Science Department, “Sapienza” Universit`a di Roma (Italy) 2 Computer Science Depar...
Paolo Bottoni, Esther Guerra, Juan de Lara
FUIN
2016
50views more  FUIN 2016»
9 years 12 months ago
Cut Points in PEG
Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. It has been recently noticed that in the situation when the parser is to explore sev...
Roman R. Redziejowski