, Ralf Treinen
Proceedings First International Workshop on Logics for Component Configuration.
: Comparison of PBO solvers in a dependency solving domain.
: Inflection system of a language as a complex network.
: Submodularity on a tree: Unifying $L^\natural$-convex and bisubmodular functions.
: Efficient Sketches for the Set Query Problem.
: A note on sample complexity of learning binary output neural networks under fixed input distributions.
: Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata.
: An Optimal Lower Bound for Buffer Management in Multi-Queue Switches.
: A Fast Algorithm for Three-Dimensional Layers of Maxima Problem.
: A Constant-Factor Approximation for Wireless Capacity Maximization with Power Control in the SINR Model.
Stoicho D. Stoichev
: Polynomial time and space exact and heuristic algorithms for determining the generators, orbits and order of the graph automorphism group.
Brian M. Kurkoski
: Rewritable Codes for Flash Memories Based Upon Lattices, and an Example Using the E8 Lattice.
Thomas W. Cusick
: Affine equivalence of cubic homogeneous rotation symmetric Boolean functions.
: Independent Component Analysis Over Galois Fields.
José A. Soto
: Matroid Secretary Problem in the Random Assignment Model.
Jörg M. Hahn
: What's wrong with Phong - Designers' appraisal of shading in CAD-systems.
: A Brief Introduction to Temporality and Causality.
, Bin Fu
: XML Reconstruction View Selection in XML Databases: Complexity Analysis and Approximation Scheme.
, Bin Fu
: Approximating Multilinear Monomial Coefficients and Maximum Multilinear Monomials in Multivariate Polynomials.
: Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.
: Data processing theorems and the second law of thermodynamics.
: Multi-Level Languages are Generalized Arrows.
: A Machine Learning Approach to Recovery of Scene Geometry from Images.
: The Roles of Advice to One-Tape Linear-Time Turing Machines and Finite Automata.
: Greedy algorithm for stochastic matching is a 2-approximation.
: Strongly Resilient Non-Interactive Key Predistribution For Hierarchical Networks.
B. K. Pradeepa
, Joy Kuri
: Aggregate Download Throughput for TCP-controlled long file transfers in a WLAN with multiple STA-AP association rates.
: Lower Bounds on Query Complexity for Testing Bounded-Degree CSPs.
: A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines.
: Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
: Scheduling to Minimize Energy and Flow Time in Broadcast Scheduling.
: Video Event Recognition for Surveillance Applications (VERSA).
: Characterization of Graph-cover Pseudocodewords of Codes over $F_3$.
: A state of a dynamic computational structure distributed in an environment: a model and its corollaries.
: Orthogonal multifilters image processing of astronomical images from scanned photographic plates.
, Matthias Steinmetz
, Hans-Martin Adorf
, Alexander Beck-Ratzka
, Frank Breitling
, Thomas Bruesemeister
, Arthur Carlson
, Torsten Ensslin
, Mikael Högqvist
, Iliya Nickelt
, Thomas Radke
, Alexander Reinefeld
, Angelika Reiser
, Tobias Scholl
, Rainer Spurzem
, Juergen Steinacker
, Wolfgang Voges
, Joachim Wambsganss
, Steve White
: AstroGrid-D: Grid Technology for Astronomical Science.
: An Application-oriented Model for Wireless Sensor Networks integrated with Telecom Infra.
: Dynamic monopolies with randomized starting configuration.
: Initial Algebra Semantics for Cyclic Sharing Tree Structures.