Computer Science – Theory and Applications: First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

Front Matter....Pages -
Non-black-box Techniques in Cryptography....Pages 1-1
Complexity of Polynomial Multiplication over Finite Fields....Pages 2-2
Synchronous Elastic Circuits....Pages 3-5
SZK Proofs for Black-Box Group Problems....Pages 6-17
Canonical Decomposition of a Regular Factorial Language....Pages 18-22
Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure....Pages 23-34
Inductive Type Schemas as Functors....Pages 35-45
Unfolding Synthesis of Asynchronous Automata....Pages 46-57
Conjugacy and Equivalence of Weighted Automata and Functional Transducers....Pages 58-69
Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees....Pages 70-79
Tuples of Disjoint NP -Sets....Pages 80-91
Constructive Equivalence Relations on Computable Probability Measures....Pages 92-103
Planar Dimer Tilings....Pages 104-113
The Complexity of Equality Constraint Languages....Pages 114-126
Window Subsequence Problems for Compressed Texts....Pages 127-136
Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties....Pages 137-146
Relativisation Provides Natural Separations for Resolution-Based Proof Systems....Pages 147-158
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems....Pages 159-170
Isolation and Reducibility Properties and the Collapse Result....Pages 171-177
Incremental Branching Programs....Pages 178-190
Logic of Proofs for Bounded Arithmetic....Pages 191-201
On a Maximal NFA Without Mergible States....Pages 202-210
Expressiveness of Metric Modalities for Continuous Time....Pages 211-220
Extending Dijkstra’s Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction....Pages 221-234
Weighted Logics for Traces....Pages 235-246
On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone....Pages 247-258
Unwinding a Non-effective Cut Elimination Proof....Pages 259-269
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover....Pages 270-280
Shannon Entropy vs. Kolmogorov Complexity....Pages 281-291
Language Equations with Symmetric Difference....Pages 292-303
On Primitive Recursive Realizabilities....Pages 304-312
Evidence Reconstruction of Epistemic Modal Logic S5 ....Pages 313-321
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms....Pages 322-333
On the Frequency of Letters in Morphic Sequences....Pages 334-345
Functional Equations in Shostak Theories....Pages 346-351
All Semi-local Longest Common Subsequences in Subquadratic Time....Pages 352-363
Non-approximability of the Randomness Deficiency Function....Pages 364-368
Multi-agent Explicit Knowledge....Pages 369-380
Polarized Subtyping for Sized Types....Pages 381-392
Neural-Network Based Physical Fields Modeling Techniques....Pages 393-402
Approximate Methods for Constrained Total Variation Minimization....Pages 403-414
Dynamic Isoline Extraction for Visualization of Streaming Data....Pages 415-426
Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback....Pages 427-437
Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM....Pages 438-446
Evolutionary Multi-objective Optimisation by Diversity Control....Pages 447-456
3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach....Pages 457-465
A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity....Pages 466-474
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition....Pages 475-486
A Shortest Path Algorithm Based on Limited Search Heuristics....Pages 487-497
A New Hybrid Directory Scheme for Shared Memory Multi-processors....Pages 498-504
Manipulator Path Planning in 3-Dimensional Space....Pages 505-513
Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time....Pages 514-523
Nonlinear Visualization of Incomplete Data Sets....Pages 524-533
A Review of Race Detection Mechanisms....Pages 534-543
Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis....Pages 544-554
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics....Pages 555-566
Analytic Modeling of Channel Traffic in n -Cubes....Pages 567-579
Capturing an Intruder in the Pyramid....Pages 580-590
Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition....Pages 591-599
Extended Resolution Proofs for Conjoining BDDs....Pages 600-611
Optimal Difference Systems of Sets with Multipliers....Pages 612-618
Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN....Pages 619-628
Optimizing Personalized Retrieval System Based on Web Ranking....Pages 629-640
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm....Pages 641-651
A New Flow Control Algorithm for High Speed Computer Network....Pages 652-659
Nonlinear Systems Modeling and Control Using Support Vector Machine Technique....Pages 660-669
Fast Motif Search in Protein Sequence Databases....Pages 670-681
Back Matter....Pages -