FCS 2006: Las Vegas, Nevada, USA
Hamid R. Arabnia, Mark Murgin (Eds.): Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006. CSREA Press 2006 ISBN 1-60132-015-9
Theoretical Foundations for Distributed and Concurrent Computations
Maurice Margenstern: An Algorithm for Buiding Inrinsically Universal Automata in Hyperbolic Spaces. 3-9
Mark Burgin: Algorithmic Control in Concurrent Computations. 17-23
Eugene Eberbach: Expresiveness of the pi-Calculus and the $-Calculus. 24-30
Graphs and Networks
Peter Che Bor Lam, Guohua Gu, Wensong Lin, Ping-Tsai Chung: Bounds On The Labelling Numbers Of Chordal Graphs. 41-47
Sun-Yuan Hsieh, Che-Nan Kuo: Hamiltonian-Connectivity and Related Property on Folded Hypercubes. 48-50
Rashid Muhammad: A Theoretical Study of Parallel Voronoi Diagram. 51-56
Paul Manuel, Indra Rajasingh, Bharati Rajan, Albert Muthumalai: On Induced Matching Partitions of Certain Interconnection Networks. 57-63
Bichitra Kalita: Sub-Graphs of Complete Graph. 71-80
Algorithms and Applications
Yongsheng Bai, Bob P. Weems: Another Algorithm for Computing Longest Common Increasing Subsequence for Two Random Input Sequences. 81-87
Dan He, Abdullah N. Arslan: FastPCMSA: An Improved Parallel Algorithm for the Constrained Multiple Sequence Alignment Problem. 88-94
Hiroki Fukagawa, Akihiro Fujiwara: Procedures for multiplication and division in DNA computing. 95-101
Andras Farago: Speeeding Up Markov Chain Monte Carlo Algorithms. 102-108
Xiuzhen Huang: Negative-Weight Cycle Algorithms. 109-115
Laura Mancinska, Maris Ozols, Ilze Dzelme-Berzina, Rubens Agadzanjans, Ansis Rosmanis: Principles of Optimal Probabilistic Decision Tree Construction. 116-122

Z. Chen: New Approach To A Class Of Matrices. 135-140
P. Prashant: The Church-Turing-Deutsch Principle in Quantum Computation. 141-148
Wei Yang, Liusheng Huang, Yonglong Luo, Mingjun Xiao: Quantum Oblivious Transfer Based on POVM Measurements. 154-162
Interesting Results and Methodologies

Feng-Jen Yang: The Potential Disotrtion of Bayesian Reasoning. 169-174
Li Yang, Naphtali Rishe: Formal Representation and Transformation of DTDs to Sem-ODM Semantic Schemas. 182-188
Vahan Margaryan: Some Existence and Preservation Results for Optimal Fixpoints. 189-194
Late Papers
Song Y. Yan, Glyn James, Gongyi Wu: Polynomially Uncomputable Number-Theoretic Problems in Cryptography and Network Security. 195-199
Song Y. Yan, Glyn James, Gongyi Wu: Cryptographic and Computational Challenges in Grid Computing. 200-204
Norman Howes: A Theory of Distributed Systems. 205-213
Justie Su-tzu Juan, Yu-Lin Chuang: A Verifiable and Detectable Secret Sharing Scheme by Using a New Geometric Approach. 219-225
Lelde Lace, Oksana Scegulnaja-Dubrovska, Ramuns Usovs, Agnese Zalcmane: Quantum Cryptographic Key Distribution Protocols. 226-



