export record as
dblp key:
journals/corr/abs-0801-0061 export record as
dblp key:
journals/corr/abs-0801-0092 export record as
dblp key:
journals/corr/abs-0801-0102 export record as
dblp key:
journals/corr/abs-0801-0131 export record as
dblp key:
journals/corr/abs-0801-0133 export record as
dblp key:
journals/corr/abs-0801-0135 Alexandr A. Savinov :
Concepts and their Use for Modelling Objects and References in Programming Languages.
export record as
dblp key:
journals/corr/abs-0801-0136 export record as
dblp key:
journals/corr/abs-0801-0139 export record as
dblp key:
journals/corr/abs-0801-0159 export record as
dblp key:
journals/corr/abs-0801-0232 export record as
dblp key:
journals/corr/abs-0801-0249 export record as
dblp key:
journals/corr/abs-0801-0258 export record as
dblp key:
journals/corr/abs-0801-0337 export record as
dblp key:
journals/corr/abs-0801-0340 export record as
dblp key:
journals/corr/abs-0801-0352 export record as
dblp key:
journals/corr/abs-0801-0386 export record as
dblp key:
journals/corr/abs-0801-0390 export record as
dblp key:
journals/corr/abs-0801-0398 export record as
dblp key:
journals/corr/abs-0801-0426 export record as
dblp key:
journals/corr/abs-0801-0452 export record as
dblp key:
journals/corr/abs-0801-0455 export record as
dblp key:
journals/corr/abs-0801-0474 export record as
dblp key:
journals/corr/abs-0801-0514 export record as
dblp key:
journals/corr/abs-0801-0523 export record as
dblp key:
journals/corr/abs-0801-0533 export record as
dblp key:
journals/corr/abs-0801-0534 Olivier Finkel :
On the Length of the Wadge Hierarchy of Omega Context Free Languages.
export record as
dblp key:
journals/corr/abs-0801-0535 Olivier Finkel :
An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank.
export record as
dblp key:
journals/corr/abs-0801-0537 export record as
dblp key:
journals/corr/abs-0801-0540 Lóránt Farkas :
Blind decoding of Linear Gaussian channels with ISI, capacity, error exponent, universality.
export record as
dblp key:
journals/corr/abs-0801-0575 Manik Lal Das :
A Flexible and Secure Remote Systems Authentication Scheme Using Smart Cards.
export record as
dblp key:
journals/corr/abs-0801-0581 export record as
dblp key:
journals/corr/abs-0801-0590 Omar Kettani :
An algorithm for finding the Independence Number of a graph.
export record as
dblp key:
journals/corr/abs-0801-0597 export record as
dblp key:
journals/corr/abs-0801-0609 export record as
dblp key:
journals/corr/abs-0801-0625 Shiguo Lian :
On the Robustness of the Delay-Based Fingerprint Embedding Scheme.
export record as
dblp key:
journals/corr/abs-0801-0649 export record as
dblp key:
journals/corr/abs-0801-0672 export record as
dblp key:
journals/corr/abs-0801-0677 Paul C. Attie :
Finite-state concurrent programs can be expressed pairwise.
export record as
dblp key:
journals/corr/abs-0801-0678 export record as
dblp key:
journals/corr/abs-0801-0701 export record as
dblp key:
journals/corr/abs-0801-0714 James Cheney :
Regular Expression Subtyping for XML Query and Update Languages.
export record as
dblp key:
journals/corr/abs-0801-0715 export record as
dblp key:
journals/corr/abs-0801-0756 Nan Ma ,
Prakash Ishwar :
Two-terminal Distributed Source Coding with Alternating Messages for Function Computation.
export record as
dblp key:
journals/corr/abs-0801-0813 export record as
dblp key:
journals/corr/abs-0801-0815 export record as
dblp key:
journals/corr/abs-0801-0830 Atilim Günes Baydin :
Evolution of central pattern generators for the control of a five-link planar bipedal walking mechanism.
export record as
dblp key:
journals/corr/abs-0801-0857 export record as
dblp key:
journals/corr/abs-0801-0882 export record as
dblp key:
journals/corr/abs-0801-0931 export record as
dblp key:
journals/corr/abs-0801-0938 export record as
dblp key:
journals/corr/abs-0801-0949 Paul C. Attie :
On the Refinement of Liveness Properties of Distributed Systems.
export record as
dblp key:
journals/corr/abs-0801-1002 export record as
dblp key:
journals/corr/abs-0801-1033 export record as
dblp key:
journals/corr/abs-0801-1060 export record as
dblp key:
journals/corr/abs-0801-1063 export record as
dblp key:
journals/corr/abs-0801-1067 export record as
dblp key:
journals/corr/abs-0801-1126 Ido Tal ,
Ron M. Roth :
Concave Programming Upper Bounds on the Capacity of 2-D Constraints.
export record as
dblp key:
journals/corr/abs-0801-1136 export record as
dblp key:
journals/corr/abs-0801-1138 Wenyi Zhang :
An Addendum to "How Good is PSK for Peak-Limited Fading Channels in the Low-SNR Regime?".
export record as
dblp key:
journals/corr/abs-0801-1141 export record as
dblp key:
journals/corr/abs-0801-1179 export record as
dblp key:
journals/corr/abs-0801-1185 export record as
dblp key:
journals/corr/abs-0801-1208 export record as
dblp key:
journals/corr/abs-0801-1210 export record as
dblp key:
journals/corr/abs-0801-1219 Andrey Breslav :
DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework.
export record as
dblp key:
journals/corr/abs-0801-1245 export record as
dblp key:
journals/corr/abs-0801-1251 export record as
dblp key:
journals/corr/abs-0801-1253 export record as
dblp key:
journals/corr/abs-0801-1275 export record as
dblp key:
journals/corr/abs-0801-1276 export record as
dblp key:
journals/corr/abs-0801-1282 export record as
dblp key:
journals/corr/abs-0801-1300 export record as
dblp key:
journals/corr/abs-0801-1306 export record as
dblp key:
journals/corr/abs-0801-1307 export record as
dblp key:
journals/corr/abs-0801-1336 export record as
dblp key:
journals/corr/abs-0801-1341 S. P. Tsarev :
Factorization in categories of systems of linear partial differential equations.
export record as
dblp key:
journals/corr/abs-0801-1362 export record as
dblp key:
journals/corr/abs-0801-1364 export record as
dblp key:
journals/corr/abs-0801-1410 export record as
dblp key:
journals/corr/abs-0801-1415 export record as
dblp key:
journals/corr/abs-0801-1416 export record as
dblp key:
journals/corr/abs-0801-1419 export record as
dblp key:
journals/corr/abs-0801-1500 export record as
dblp key:
journals/corr/abs-0801-1514 export record as
dblp key:
journals/corr/abs-0801-1516 export record as
dblp key:
journals/corr/abs-0801-1630 export record as
dblp key:
journals/corr/abs-0801-1676 Juan Gerardo Alcázar :
Analyzing the Topology Types arising in a Family of Algebraic Curves Depending On Two Parameters.
export record as
dblp key:
journals/corr/abs-0801-1687 Paul C. Attie :
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications.
export record as
dblp key:
journals/corr/abs-0801-1703 export record as
dblp key:
journals/corr/abs-0801-1715 export record as
dblp key:
journals/corr/abs-0801-1718 export record as
dblp key:
journals/corr/abs-0801-1736 export record as
dblp key:
journals/corr/abs-0801-1737 Rico Zenklusen :
Extensions to Network Flow Interdiction on Planar Graphs.
export record as
dblp key:
journals/corr/abs-0801-1766 export record as
dblp key:
journals/corr/abs-0801-1772 export record as
dblp key:
journals/corr/abs-0801-1783 export record as
dblp key:
journals/corr/abs-0801-1784 export record as
dblp key:
journals/corr/abs-0801-1856 export record as
dblp key:
journals/corr/abs-0801-1883 export record as
dblp key:
journals/corr/abs-0801-1925 export record as
dblp key:
journals/corr/abs-0801-1927 export record as
dblp key:
journals/corr/abs-0801-1979 export record as
dblp key:
journals/corr/abs-0801-1987 export record as
dblp key:
journals/corr/abs-0801-1988 export record as
dblp key:
journals/corr/abs-0801-2034 export record as
dblp key:
journals/corr/abs-0801-2069 export record as
dblp key:
journals/corr/abs-0801-2092 export record as
dblp key:
journals/corr/abs-0801-2175 export record as
dblp key:
journals/corr/abs-0801-2185 export record as
dblp key:
journals/corr/abs-0801-2187 export record as
dblp key:
journals/corr/abs-0801-2201 export record as
dblp key:
journals/corr/abs-0801-2226 export record as
dblp key:
journals/corr/abs-0801-2233 export record as
dblp key:
journals/corr/abs-0801-2242 export record as
dblp key:
journals/corr/abs-0801-2284 Omar Kettani :
Le probleme de l'isomorphisme de graphes est dans P.
export record as
dblp key:
journals/corr/abs-0801-2323 export record as
dblp key:
journals/corr/abs-0801-2345 Marko A. Rodriguez ,
Alberto Pepe :
On the relationship between the structural and socioacademic communities of an interdisciplinary coauthorship network.
export record as
dblp key:
journals/corr/abs-0801-2347 export record as
dblp key:
journals/corr/abs-0801-2378 export record as
dblp key:
journals/corr/abs-0801-2398 Thomas Y. Hou ,
Zuoqiang Shi :
Removing the Stiffness of Elastic Force from the Immersed Boundary Method for the 2D Stokes Equations.
export record as
dblp key:
journals/corr/abs-0801-2423 export record as
dblp key:
journals/corr/abs-0801-2480 export record as
dblp key:
journals/corr/abs-0801-2498 Alexis Bès :
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet.
export record as
dblp key:
journals/corr/abs-0801-2510 J. Gillet ,
M. Ausloos :
A Comparison of natural (english) and artificial (esperanto) languages. A Multifractal method based analysis.
export record as
dblp key:
journals/corr/abs-0801-2588 export record as
dblp key:
journals/corr/abs-0801-2618 export record as
dblp key:
journals/corr/abs-0801-2666 export record as
dblp key:
journals/corr/abs-0801-2793 export record as
dblp key:
journals/corr/abs-0801-2823 export record as
dblp key:
journals/corr/abs-0801-2838 export record as
dblp key:
journals/corr/abs-0801-2931 export record as
dblp key:
journals/corr/abs-0801-3024 export record as
dblp key:
journals/corr/abs-0801-3042 export record as
dblp key:
journals/corr/abs-0801-3046 export record as
dblp key:
journals/corr/abs-0801-3048 export record as
dblp key:
journals/corr/abs-0801-3049 export record as
dblp key:
journals/corr/abs-0801-3065 Alwen Tiu :
Cut Elimination for a Logic with Generic Judgments and Induction.
export record as
dblp key:
journals/corr/abs-0801-3073 export record as
dblp key:
journals/corr/abs-0801-3097 export record as
dblp key:
journals/corr/abs-0801-3102 export record as
dblp key:
journals/corr/abs-0801-3111 Martin Pelikan :
Analysis of Estimation of Distribution Algorithms and Genetic Algorithms on NK Landscapes.
export record as
dblp key:
journals/corr/abs-0801-3112 export record as
dblp key:
journals/corr/abs-0801-3113 export record as
dblp key:
journals/corr/abs-0801-3114 Raymond R. Panko :
Thinking is Bad: Implications of Human Error Research for Spreadsheet Research and Practice.
export record as
dblp key:
journals/corr/abs-0801-3116 Ralph Baxter :
Enterprise Spreadsheet Management: A Necessary Good.
export record as
dblp key:
journals/corr/abs-0801-3117 Yongzhi Cao :
A hierarchy of behavioral equivalences in the π-calculus with noisy channels.
export record as
dblp key:
journals/corr/abs-0801-3118 export record as
dblp key:
journals/corr/abs-0801-3119 export record as
dblp key:
journals/corr/abs-0801-3147 export record as
dblp key:
journals/corr/abs-0801-3199 export record as
dblp key:
journals/corr/abs-0801-3209 Uwe Aickelin :
A Pyramidal Evolutionary Algorithm with Different Inter-Agent Partnering Strategies for Scheduling Problems.
export record as
dblp key:
journals/corr/abs-0801-3239 export record as
dblp key:
journals/corr/abs-0801-3249 export record as
dblp key:
journals/corr/abs-0801-3272 export record as
dblp key:
journals/corr/abs-0801-3289 export record as
dblp key:
journals/corr/abs-0801-3408 Uffe Flarup ,
Laurent Lyaudet :
On the expressive power of permanents and perfect matchings of matrices of bounded pathwidth/cliquewidth.
export record as
dblp key:
journals/corr/abs-0801-3511 export record as
dblp key:
journals/corr/abs-0801-3521 export record as
dblp key:
journals/corr/abs-0801-3526 export record as
dblp key:
journals/corr/abs-0801-3539 Steve Cayzer ,
Uwe Aickelin :
On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems.
export record as
dblp key:
journals/corr/abs-0801-3547 export record as
dblp key:
journals/corr/abs-0801-3549 export record as
dblp key:
journals/corr/abs-0801-3550 export record as
dblp key:
journals/corr/abs-0801-3581 export record as
dblp key:
journals/corr/abs-0801-3624 export record as
dblp key:
journals/corr/abs-0801-3640 export record as
dblp key:
journals/corr/abs-0801-3642 export record as
dblp key:
journals/corr/abs-0801-3654 export record as
dblp key:
journals/corr/abs-0801-3669 export record as
dblp key:
journals/corr/abs-0801-3678 Ralph Baxter :
Regulation and the Integrity of Spreadsheets in the Information Supply Chain.
export record as
dblp key:
journals/corr/abs-0801-3680 export record as
dblp key:
journals/corr/abs-0801-3690 export record as
dblp key:
journals/corr/abs-0801-3702 export record as
dblp key:
journals/corr/abs-0801-3703 export record as
dblp key:
journals/corr/abs-0801-3710 export record as
dblp key:
journals/corr/abs-0801-3711 export record as
dblp key:
journals/corr/abs-0801-3714 export record as
dblp key:
journals/corr/abs-0801-3715 export record as
dblp key:
journals/corr/abs-0801-3773 export record as
dblp key:
journals/corr/abs-0801-3790 export record as
dblp key:
journals/corr/abs-0801-3802 Sven Kosub :
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems.
export record as
dblp key:
journals/corr/abs-0801-3817 Tuomo Kakkonen :
Robustness Evaluation of Two CCG, a PCFG and a Link Grammar Parsers.
export record as
dblp key:
journals/corr/abs-0801-3837 Pierre Moulin :
Universal Fingerprinting: Capacity and Random-Coding Exponents.
export record as
dblp key:
journals/corr/abs-0801-3841 export record as
dblp key:
journals/corr/abs-0801-3853 Simon Murphy :
Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives).
export record as
dblp key:
journals/corr/abs-0801-3864 export record as
dblp key:
journals/corr/abs-0801-3871 export record as
dblp key:
journals/corr/abs-0801-3878 export record as
dblp key:
journals/corr/abs-0801-3880 Yi Sun :
Spectral efficiency and optimal medium access control of random access systems over large random spreading CDMA.
export record as
dblp key:
journals/corr/abs-0801-3908 Jakob Voss :
Encoding changing country codes for the Semantic Web with ISO 3166 and SKOS.
export record as
dblp key:
journals/corr/abs-0801-3912 export record as
dblp key:
journals/corr/abs-0801-3924 export record as
dblp key:
journals/corr/abs-0801-3926 export record as
dblp key:
journals/corr/abs-0801-3930 export record as
dblp key:
journals/corr/abs-0801-3965 export record as
dblp key:
journals/corr/abs-0801-3971 export record as
dblp key:
journals/corr/abs-0801-3983 export record as
dblp key:
journals/corr/abs-0801-3986 export record as
dblp key:
journals/corr/abs-0801-3987 export record as
dblp key:
journals/corr/abs-0801-4013 export record as
dblp key:
journals/corr/abs-0801-4019 export record as
dblp key:
journals/corr/abs-0801-4024 export record as
dblp key:
journals/corr/abs-0801-4048 export record as
dblp key:
journals/corr/abs-0801-4054 export record as
dblp key:
journals/corr/abs-0801-4061 export record as
dblp key:
journals/corr/abs-0801-4079 Elena Dubrova :
An equivalence preserving transformation from the Fibonacci to the Galois NLFSRs.
export record as
dblp key:
journals/corr/abs-0801-4082 export record as
dblp key:
journals/corr/abs-0801-4105 export record as
dblp key:
journals/corr/abs-0801-4119 export record as
dblp key:
journals/corr/abs-0801-4129 export record as
dblp key:
journals/corr/abs-0801-4130 export record as
dblp key:
journals/corr/abs-0801-4150 export record as
dblp key:
journals/corr/abs-0801-4194 Kohtaro Tadaki :
A statistical mechanical interpretation of algorithmic information theory.
export record as
dblp key:
journals/corr/abs-0801-4198 export record as
dblp key:
journals/corr/abs-0801-4230 Simon Perdrix :
Quantum entanglement analysis based on abstract interpretation.
export record as
dblp key:
journals/corr/abs-0801-4238 export record as
dblp key:
journals/corr/abs-0801-4268 export record as
dblp key:
journals/corr/abs-0801-4274 export record as
dblp key:
journals/corr/abs-0801-4280 export record as
dblp key:
journals/corr/abs-0801-4287 export record as
dblp key:
journals/corr/abs-0801-4292 Liliana Cucu ,
Joël Goossens :
Exact Feasibility Tests for Real-Time Scheduling of Periodic Tasks upon Multiprocessor Platforms.
export record as
dblp key:
journals/corr/abs-0801-4307 export record as
dblp key:
journals/corr/abs-0801-4312 export record as
dblp key:
journals/corr/abs-0801-4314 Uwe Aickelin :
Artificial Immune Systems (AIS) - A New Paradigm for Heuristic Decision Making.
export record as
dblp key:
journals/corr/abs-0801-4355 Jean-Jacques Banihachemi ,
Eric Boidard ,
Jean-Luc Bosson ,
Luc Bressollette ,
Ivan Bricault ,
Philippe Cinquin ,
Gilbert Ferretti ,
Maud Marchal ,
Thomas Martinelli ,
Alexandre Moreau-Gaudry ,
Franck Pellissier ,
Christian Roux ,
Dominique Saragaglia ,
Pierre Thorel ,
Jocelyne Troccaz ,
Adriana Vilchis Gonzales :
TER: A Robot for Remote Ultrasonic Examination: Experimental Evaluations.
export record as
dblp key:
journals/corr/abs-0801-4405 export record as
dblp key:
journals/corr/abs-0801-4423 export record as
dblp key:
journals/corr/abs-0801-4480 export record as
dblp key:
journals/corr/abs-0801-4483 export record as
dblp key:
journals/corr/abs-0801-4544 Pierre Moulin :
A Neyman-Pearson Approach to Universal Erasure and List Decoding.
export record as
dblp key:
journals/corr/abs-0801-4571 export record as
dblp key:
journals/corr/abs-0801-4585 export record as
dblp key:
journals/corr/abs-0801-4592 export record as
dblp key:
journals/corr/abs-0801-4664 export record as
dblp key:
journals/corr/abs-0801-4706 export record as
dblp key:
journals/corr/abs-0801-4709 export record as
dblp key:
journals/corr/abs-0801-4714 Miroslava Sotáková :
Breaking One-Round Key-Agreement Protocols in the Random Oracle Model.
export record as
dblp key:
journals/corr/abs-0801-4716 export record as
dblp key:
journals/corr/abs-0801-4746 Walid S. Saba :
Concerning Olga, the Beautiful Little Street Dancer (Adjectives as Higher-Order Polymorphic Functions).
export record as
dblp key:
journals/corr/abs-0801-4750 export record as
dblp key:
journals/corr/abs-0801-4774 Thomas A. Grossman :
Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet.
export record as
dblp key:
journals/corr/abs-0801-4775 export record as
dblp key:
journals/corr/abs-0801-4777 Anil Ada :
Non-Deterministic Communication Complexity of Regular Languages.
export record as
dblp key:
journals/corr/abs-0801-4790 export record as
dblp key:
journals/corr/abs-0801-4794 export record as
dblp key:
journals/corr/abs-0801-4802 export record as
dblp key:
journals/corr/abs-0801-4807 export record as
dblp key:
journals/corr/abs-0801-4817 export record as
dblp key:
journals/corr/abs-0801-4845 export record as
dblp key:
journals/corr/abs-0801-4851 export record as
dblp key:
journals/corr/abs-0801-4911 Oleg Verbitsky :
On the Double Coset Membership Problem for Permutation Groups.
export record as
dblp key:
journals/corr/abs-0801-4917 Oleg Verbitsky :
Zero-Knowledge Proofs of the Conjugacy for Permutation Groups.
export record as
dblp key:
journals/corr/abs-0801-0184 export record as
dblp key:
journals/corr/abs-0801-0209 export record as
dblp key:
journals/corr/abs-0801-0253 export record as
dblp key:
journals/corr/abs-0801-0275 export record as
dblp key:
journals/corr/abs-0801-0289 export record as
dblp key:
journals/corr/abs-0801-0341 Michael Chertkov :
Exactness of Belief Propagation for some Graphical Models with Loops.
export record as
dblp key:
journals/corr/abs-0801-0349 export record as
dblp key:
journals/corr/abs-0801-0350 Marie Ferbus-Zanda ,
Serge Grigorieff :
Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities.
export record as
dblp key:
journals/corr/abs-0801-0351 export record as
dblp key:
journals/corr/abs-0801-0353 export record as
dblp key:
journals/corr/abs-0801-0354 export record as
dblp key:
journals/corr/abs-0801-0558 export record as
dblp key:
journals/corr/abs-0801-0586 export record as
dblp key:
journals/corr/abs-0801-0665 Fabien Durand :
A theorem of Cobham for non-primitive substitutions.
export record as
dblp key:
journals/corr/abs-0801-0821 export record as
dblp key:
journals/corr/abs-0801-0969 export record as
dblp key:
journals/corr/abs-0801-1600 export record as
dblp key:
journals/corr/abs-0801-1658 export record as
dblp key:
journals/corr/abs-0801-2088 export record as
dblp key:
journals/corr/abs-0801-2144 export record as
dblp key:
journals/corr/abs-0801-2150 export record as
dblp key:
journals/corr/abs-0801-2858 Fabrizio Altarelli :
Theoretical analysis of optimization problems - Some properties of random k-SAT and k-XORSAT.
export record as
dblp key:
journals/corr/abs-0801-2890 export record as
dblp key:
journals/corr/abs-0801-3331 export record as
dblp key:
journals/corr/abs-0801-3697 export record as
dblp key:
journals/corr/abs-0801-3875 export record as
dblp key:
journals/corr/abs-0801-3982 export record as
dblp key:
journals/corr/abs-0801-4158
data released under the ODC-BY 1.0 license
