export record as
dblp key:
journals/corr/abs-1007-0831 Inês Lynce ,
Ralf Treinen (Eds.):
Proceedings First International Workshop on Logics for Component Configuration.
EPTCS 29 2010
Contents
export record as
dblp key:
journals/corr/abs-1007-0859 export record as
dblp key:
journals/corr/abs-1007-0875 export record as
dblp key:
journals/corr/abs-1007-0880 export record as
dblp key:
journals/corr/abs-1007-0904 export record as
dblp key:
journals/corr/abs-1007-0917 export record as
dblp key:
journals/corr/abs-1007-0918 export record as
dblp key:
journals/corr/abs-1007-0920 export record as
dblp key:
journals/corr/abs-1007-0931 export record as
dblp key:
journals/corr/abs-1007-0936 export record as
dblp key:
journals/corr/abs-1007-0940 export record as
dblp key:
journals/corr/abs-1007-0960 export record as
dblp key:
journals/corr/abs-1007-0982 export record as
dblp key:
journals/corr/abs-1007-1016 export record as
dblp key:
journals/corr/abs-1007-1020 export record as
dblp key:
journals/corr/abs-1007-1021 export record as
dblp key:
journals/corr/abs-1007-1022 Paulo Trezentos :
Comparison of PBO solvers in a dependency solving domain.
23-31
export record as
dblp key:
journals/corr/abs-1007-1023 export record as
dblp key:
journals/corr/abs-1007-1024 export record as
dblp key:
journals/corr/abs-1007-1025 Henryk Fuks :
Inflection system of a language as a complex network.
export record as
dblp key:
journals/corr/abs-1007-1033 export record as
dblp key:
journals/corr/abs-1007-1045 export record as
dblp key:
journals/corr/abs-1007-1048 export record as
dblp key:
journals/corr/abs-1007-1049 export record as
dblp key:
journals/corr/abs-1007-1054 export record as
dblp key:
journals/corr/abs-1007-1059 export record as
dblp key:
journals/corr/abs-1007-1069 export record as
dblp key:
journals/corr/abs-1007-1073 export record as
dblp key:
journals/corr/abs-1007-1079 export record as
dblp key:
journals/corr/abs-1007-1086 export record as
dblp key:
journals/corr/abs-1007-1087 export record as
dblp key:
journals/corr/abs-1007-1100 export record as
dblp key:
journals/corr/abs-1007-1146 export record as
dblp key:
journals/corr/abs-1007-1161 export record as
dblp key:
journals/corr/abs-1007-1166 export record as
dblp key:
journals/corr/abs-1007-1174 export record as
dblp key:
journals/corr/abs-1007-1189 export record as
dblp key:
journals/corr/abs-1007-1194 export record as
dblp key:
journals/corr/abs-1007-1209 export record as
dblp key:
journals/corr/abs-1007-1213 export record as
dblp key:
journals/corr/abs-1007-1222 export record as
dblp key:
journals/corr/abs-1007-1229 Vladimir Kolmogorov :
Submodularity on a tree: Unifying $L^\natural$-convex and bisubmodular functions.
export record as
dblp key:
journals/corr/abs-1007-1233 export record as
dblp key:
journals/corr/abs-1007-1243 export record as
dblp key:
journals/corr/abs-1007-1253 Eric Price :
Efficient Sketches for the Set Query Problem.
export record as
dblp key:
journals/corr/abs-1007-1255 export record as
dblp key:
journals/corr/abs-1007-1259 export record as
dblp key:
journals/corr/abs-1007-1260 export record as
dblp key:
journals/corr/abs-1007-1261 export record as
dblp key:
journals/corr/abs-1007-1264 export record as
dblp key:
journals/corr/abs-1007-1265 export record as
dblp key:
journals/corr/abs-1007-1266 export record as
dblp key:
journals/corr/abs-1007-1268 export record as
dblp key:
journals/corr/abs-1007-1269 export record as
dblp key:
journals/corr/abs-1007-1270 export record as
dblp key:
journals/corr/abs-1007-1271 export record as
dblp key:
journals/corr/abs-1007-1272 export record as
dblp key:
journals/corr/abs-1007-1273 export record as
dblp key:
journals/corr/abs-1007-1274 export record as
dblp key:
journals/corr/abs-1007-1282 Vladimir Pestov :
A note on sample complexity of learning binary output neural networks under fixed input distributions.
export record as
dblp key:
journals/corr/abs-1007-1283 export record as
dblp key:
journals/corr/abs-1007-1324 export record as
dblp key:
journals/corr/abs-1007-1333 Sven Schewe :
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata.
export record as
dblp key:
journals/corr/abs-1007-1345 export record as
dblp key:
journals/corr/abs-1007-1361 export record as
dblp key:
journals/corr/abs-1007-1368 export record as
dblp key:
journals/corr/abs-1007-1378 export record as
dblp key:
journals/corr/abs-1007-1388 export record as
dblp key:
journals/corr/abs-1007-1398 export record as
dblp key:
journals/corr/abs-1007-1407 export record as
dblp key:
journals/corr/abs-1007-1432 export record as
dblp key:
journals/corr/abs-1007-1473 export record as
dblp key:
journals/corr/abs-1007-1483 export record as
dblp key:
journals/corr/abs-1007-1484 export record as
dblp key:
journals/corr/abs-1007-1501 export record as
dblp key:
journals/corr/abs-1007-1528 export record as
dblp key:
journals/corr/abs-1007-1535 Marcin Bienkowski :
An Optimal Lower Bound for Buffer Management in Multi-Queue Switches.
export record as
dblp key:
journals/corr/abs-1007-1548 export record as
dblp key:
journals/corr/abs-1007-1559 export record as
dblp key:
journals/corr/abs-1007-1593 Yakov Nekrich :
A Fast Algorithm for Three-Dimensional Layers of Maxima Problem.
export record as
dblp key:
journals/corr/abs-1007-1604 export record as
dblp key:
journals/corr/abs-1007-1611 Thomas Kesselheim :
A Constant-Factor Approximation for Wireless Capacity Maximization with Power Control in the SINR Model.
export record as
dblp key:
journals/corr/abs-1007-1626 export record as
dblp key:
journals/corr/abs-1007-1632 export record as
dblp key:
journals/corr/abs-1007-1669 export record as
dblp key:
journals/corr/abs-1007-1673 export record as
dblp key:
journals/corr/abs-1007-1678 export record as
dblp key:
journals/corr/abs-1007-1697 export record as
dblp key:
journals/corr/abs-1007-1708 export record as
dblp key:
journals/corr/abs-1007-1709 export record as
dblp key:
journals/corr/abs-1007-1710 export record as
dblp key:
journals/corr/abs-1007-1717 export record as
dblp key:
journals/corr/abs-1007-1722 export record as
dblp key:
journals/corr/abs-1007-1726 Stoicho D. Stoichev :
Polynomial time and space exact and heuristic algorithms for determining the generators, orbits and order of the graph automorphism group.
export record as
dblp key:
journals/corr/abs-1007-1733 export record as
dblp key:
journals/corr/abs-1007-1735 export record as
dblp key:
journals/corr/abs-1007-1756 export record as
dblp key:
journals/corr/abs-1007-1766 export record as
dblp key:
journals/corr/abs-1007-1768 export record as
dblp key:
journals/corr/abs-1007-1778 export record as
dblp key:
journals/corr/abs-1007-1785 export record as
dblp key:
journals/corr/abs-1007-1799 export record as
dblp key:
journals/corr/abs-1007-1800 export record as
dblp key:
journals/corr/abs-1007-1802 export record as
dblp key:
journals/corr/abs-1007-1811 export record as
dblp key:
journals/corr/abs-1007-1812 export record as
dblp key:
journals/corr/abs-1007-1819 Brian M. Kurkoski :
Rewritable Codes for Flash Memories Based Upon Lattices, and an Example Using the E8 Lattice.
export record as
dblp key:
journals/corr/abs-1007-1841 export record as
dblp key:
journals/corr/abs-1007-1868 export record as
dblp key:
journals/corr/abs-1007-1938 Thomas W. Cusick :
Affine equivalence of cubic homogeneous rotation symmetric Boolean functions.
export record as
dblp key:
journals/corr/abs-1007-1944 export record as
dblp key:
journals/corr/abs-1007-1946 export record as
dblp key:
journals/corr/abs-1007-1986 export record as
dblp key:
journals/corr/abs-1007-2016 export record as
dblp key:
journals/corr/abs-1007-2021 export record as
dblp key:
journals/corr/abs-1007-2049 export record as
dblp key:
journals/corr/abs-1007-2071 Arie Yeredor :
Independent Component Analysis Over Galois Fields.
export record as
dblp key:
journals/corr/abs-1007-2075 export record as
dblp key:
journals/corr/abs-1007-2088 export record as
dblp key:
journals/corr/abs-1007-2119 export record as
dblp key:
journals/corr/abs-1007-2120 export record as
dblp key:
journals/corr/abs-1007-2123 export record as
dblp key:
journals/corr/abs-1007-2140 export record as
dblp key:
journals/corr/abs-1007-2152 José A. Soto :
Matroid Secretary Problem in the Random Assignment Model.
export record as
dblp key:
journals/corr/abs-1007-2170 export record as
dblp key:
journals/corr/abs-1007-2204 Jörg M. Hahn :
What's wrong with Phong - Designers' appraisal of shading in CAD-systems.
export record as
dblp key:
journals/corr/abs-1007-2212 export record as
dblp key:
journals/corr/abs-1007-2216 export record as
dblp key:
journals/corr/abs-1007-2217 export record as
dblp key:
journals/corr/abs-1007-2280 export record as
dblp key:
journals/corr/abs-1007-2282 export record as
dblp key:
journals/corr/abs-1007-2315 export record as
dblp key:
journals/corr/abs-1007-2327 export record as
dblp key:
journals/corr/abs-1007-2353 export record as
dblp key:
journals/corr/abs-1007-2354 export record as
dblp key:
journals/corr/abs-1007-2364 export record as
dblp key:
journals/corr/abs-1007-2365 export record as
dblp key:
journals/corr/abs-1007-2377 export record as
dblp key:
journals/corr/abs-1007-2381 export record as
dblp key:
journals/corr/abs-1007-2401 export record as
dblp key:
journals/corr/abs-1007-2442 export record as
dblp key:
journals/corr/abs-1007-2449 Kamran Karimi :
A Brief Introduction to Temporality and Causality.
export record as
dblp key:
journals/corr/abs-1007-2452 export record as
dblp key:
journals/corr/abs-1007-2460 export record as
dblp key:
journals/corr/abs-1007-2503 export record as
dblp key:
journals/corr/abs-1007-2534 export record as
dblp key:
journals/corr/abs-1007-2618 export record as
dblp key:
journals/corr/abs-1007-2671 Artem Chebotko ,
Bin Fu :
XML Reconstruction View Selection in XML Databases: Complexity Analysis and Approximation Scheme.
export record as
dblp key:
journals/corr/abs-1007-2673 export record as
dblp key:
journals/corr/abs-1007-2675 export record as
dblp key:
journals/corr/abs-1007-2678 Zhixiang Chen ,
Bin Fu :
Approximating Multilinear Monomial Coefficients and Maximum Multilinear Monomials in Multivariate Polynomials.
export record as
dblp key:
journals/corr/abs-1007-2694 export record as
dblp key:
journals/corr/abs-1007-2783 export record as
dblp key:
journals/corr/abs-1007-2814 export record as
dblp key:
journals/corr/abs-1007-2816 Miroslaw Truszczynski :
Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.
export record as
dblp key:
journals/corr/abs-1007-2827 Neri Merhav :
Data processing theorems and the second law of thermodynamics.
export record as
dblp key:
journals/corr/abs-1007-2855 export record as
dblp key:
journals/corr/abs-1007-2885 Adam Megacz :
Multi-Level Languages are Generalized Arrows.
export record as
dblp key:
journals/corr/abs-1007-2902 export record as
dblp key:
journals/corr/abs-1007-2924 export record as
dblp key:
journals/corr/abs-1007-2928 export record as
dblp key:
journals/corr/abs-1007-2945 export record as
dblp key:
journals/corr/abs-1007-2958 Hoang Trinh :
A Machine Learning Approach to Recovery of Scene Geometry from Images.
export record as
dblp key:
journals/corr/abs-1007-2980 export record as
dblp key:
journals/corr/abs-1007-2981 export record as
dblp key:
journals/corr/abs-1007-2989 export record as
dblp key:
journals/corr/abs-1007-3021 Tomoyuki Yamakami :
The Roles of Advice to One-Tape Linear-Time Turing Machines and Finite Automata.
export record as
dblp key:
journals/corr/abs-1007-3023 export record as
dblp key:
journals/corr/abs-1007-3036 Marek Adamczyk :
Greedy algorithm for stochastic matching is a 2-approximation.
export record as
dblp key:
journals/corr/abs-1007-3046 Hao Chen :
Strongly Resilient Non-Interactive Key Predistribution For Hierarchical Networks.
export record as
dblp key:
journals/corr/abs-1007-3058 export record as
dblp key:
journals/corr/abs-1007-3075 export record as
dblp key:
journals/corr/abs-1007-3105 export record as
dblp key:
journals/corr/abs-1007-3108 export record as
dblp key:
journals/corr/abs-1007-3133 export record as
dblp key:
journals/corr/abs-1007-3157 export record as
dblp key:
journals/corr/abs-1007-3159 export record as
dblp key:
journals/corr/abs-1007-3181 export record as
dblp key:
journals/corr/abs-1007-3183 export record as
dblp key:
journals/corr/abs-1007-3208 export record as
dblp key:
journals/corr/abs-1007-3223 export record as
dblp key:
journals/corr/abs-1007-3229 B. K. Pradeepa ,
Joy Kuri :
Aggregate Download Throughput for TCP-controlled long file transfers in a WLAN with multiple STA-AP association rates.
export record as
dblp key:
journals/corr/abs-1007-3244 export record as
dblp key:
journals/corr/abs-1007-3249 export record as
dblp key:
journals/corr/abs-1007-3250 export record as
dblp key:
journals/corr/abs-1007-3254 export record as
dblp key:
journals/corr/abs-1007-3275 export record as
dblp key:
journals/corr/abs-1007-3292 Yuichi Yoshida :
Lower Bounds on Query Complexity for Testing Bounded-Degree CSPs.
export record as
dblp key:
journals/corr/abs-1007-3296 export record as
dblp key:
journals/corr/abs-1007-3303 Zhaohua Luo :
A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines.
export record as
dblp key:
journals/corr/abs-1007-3310 export record as
dblp key:
journals/corr/abs-1007-3315 export record as
dblp key:
journals/corr/abs-1007-3336 export record as
dblp key:
journals/corr/abs-1007-3341 export record as
dblp key:
journals/corr/abs-1007-3350 export record as
dblp key:
journals/corr/abs-1007-3353 export record as
dblp key:
journals/corr/abs-1007-3384 export record as
dblp key:
journals/corr/abs-1007-3415 export record as
dblp key:
journals/corr/abs-1007-3459 export record as
dblp key:
journals/corr/abs-1007-3476 export record as
dblp key:
journals/corr/abs-1007-3515 export record as
dblp key:
journals/corr/abs-1007-3518 export record as
dblp key:
journals/corr/abs-1007-3539 export record as
dblp key:
journals/corr/abs-1007-3564 export record as
dblp key:
journals/corr/abs-1007-3568 export record as
dblp key:
journals/corr/abs-1007-3569 export record as
dblp key:
journals/corr/abs-1007-3588 export record as
dblp key:
journals/corr/abs-1007-3589 export record as
dblp key:
journals/corr/abs-1007-3604 export record as
dblp key:
journals/corr/abs-1007-3607 export record as
dblp key:
journals/corr/abs-1007-3609 export record as
dblp key:
journals/corr/abs-1007-3611 export record as
dblp key:
journals/corr/abs-1007-3615 Loïc Pottier :
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
export record as
dblp key:
journals/corr/abs-1007-3624 export record as
dblp key:
journals/corr/abs-1007-3629 export record as
dblp key:
journals/corr/abs-1007-3631 export record as
dblp key:
journals/corr/abs-1007-3633 export record as
dblp key:
journals/corr/abs-1007-3640 export record as
dblp key:
journals/corr/abs-1007-3644 export record as
dblp key:
journals/corr/abs-1007-3649 export record as
dblp key:
journals/corr/abs-1007-3661 export record as
dblp key:
journals/corr/abs-1007-3663 export record as
dblp key:
journals/corr/abs-1007-3676 export record as
dblp key:
journals/corr/abs-1007-3700 export record as
dblp key:
journals/corr/abs-1007-3706 export record as
dblp key:
journals/corr/abs-1007-3712 export record as
dblp key:
journals/corr/abs-1007-3747 Benjamin Moseley :
Scheduling to Minimize Energy and Flow Time in Broadcast Scheduling.
export record as
dblp key:
journals/corr/abs-1007-3753 export record as
dblp key:
journals/corr/abs-1007-3760 export record as
dblp key:
journals/corr/abs-1007-3764 export record as
dblp key:
journals/corr/abs-1007-3769 export record as
dblp key:
journals/corr/abs-1007-3772 Stephen O'Hara :
Video Event Recognition for Surveillance Applications (VERSA).
export record as
dblp key:
journals/corr/abs-1007-3781 export record as
dblp key:
journals/corr/abs-1007-3794 export record as
dblp key:
journals/corr/abs-1007-3799 export record as
dblp key:
journals/corr/abs-1007-3801 export record as
dblp key:
journals/corr/abs-1007-3804 export record as
dblp key:
journals/corr/abs-1007-3808 Vitaly Skachek :
Characterization of Graph-cover Pseudocodewords of Codes over $F_3$.
export record as
dblp key:
journals/corr/abs-1007-3819 export record as
dblp key:
journals/corr/abs-1007-3829 export record as
dblp key:
journals/corr/abs-1007-3835 export record as
dblp key:
journals/corr/abs-1007-3836 Oleksiy Kurgansky :
A state of a dynamic computational structure distributed in an environment: a model and its corollaries.
export record as
dblp key:
journals/corr/abs-1007-3858 export record as
dblp key:
journals/corr/abs-1007-3862 export record as
dblp key:
journals/corr/abs-1007-3878 export record as
dblp key:
journals/corr/abs-1007-3881 Vasil Kolev :
Orthogonal multifilters image processing of astronomical images from scanned photographic plates.
export record as
dblp key:
journals/corr/abs-1007-3884 export record as
dblp key:
journals/corr/abs-1007-3886 export record as
dblp key:
journals/corr/abs-1007-3896 export record as
dblp key:
journals/corr/abs-1007-3926 export record as
dblp key:
journals/corr/abs-1007-3934 export record as
dblp key:
journals/corr/abs-1007-3961 export record as
dblp key:
journals/corr/abs-1007-4002 export record as
dblp key:
journals/corr/abs-1007-4011 export record as
dblp key:
journals/corr/abs-1007-4018 export record as
dblp key:
journals/corr/abs-1007-4028 export record as
dblp key:
journals/corr/abs-1007-4040 export record as
dblp key:
journals/corr/abs-1007-4053 Harry Enke ,
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.
export record as
dblp key:
journals/corr/abs-1007-4057 export record as
dblp key:
journals/corr/abs-1007-4063 export record as
dblp key:
journals/corr/abs-1007-4065 export record as
dblp key:
journals/corr/abs-1007-4066 export record as
dblp key:
journals/corr/abs-1007-4068 export record as
dblp key:
journals/corr/abs-1007-4106 export record as
dblp key:
journals/corr/abs-1007-4109 Dhruv Srivastava :
An Application-oriented Model for Wireless Sensor Networks integrated with Telecom Infra.
export record as
dblp key:
journals/corr/abs-1007-4112 export record as
dblp key:
journals/corr/abs-1007-4114 export record as
dblp key:
journals/corr/abs-1007-4134 export record as
dblp key:
journals/corr/abs-1007-4154 Tomás Kulich :
Dynamic monopolies with randomized starting configuration.
export record as
dblp key:
journals/corr/abs-1007-4157 export record as
dblp key:
journals/corr/abs-1007-4172 export record as
dblp key:
journals/corr/abs-1007-4191 export record as
dblp key:
journals/corr/abs-1007-4221 export record as
dblp key:
journals/corr/abs-1007-4230 export record as
dblp key:
journals/corr/abs-1007-4236 export record as
dblp key:
journals/corr/abs-1007-4257 export record as
dblp key:
journals/corr/abs-1007-4266 Makoto Hamana :
Initial Algebra Semantics for Cyclic Sharing Tree Structures.
export record as
dblp key:
journals/corr/abs-1007-4268 export record as
dblp key:
journals/corr/abs-1007-4286 
