FCS 2008:
Las Vegas,
Nevada,
USA
Hamid R. Arabnia, Youngsong Mun, Pei Li Zhou (Eds.):
Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA.
CSREA Press 2008, ISBN 1-60132-066-3 
Graphs and Networks + Automata + Formal Methods + Logic
- Jia Liu, Mansur H. Samadzadeh:
On the Power of Stochastic Automata Networks in Random Environments.
3-9
- Yunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan:
Disjoint Cycles and Chorded Cycles in Graphs.
9-13
- Ken Hawick, Heath James:
Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs.
14-20
- Jonathan Z. Sun, Rui Xu, Jianhua Yin:
Group connectivity of graphs satisfying Ore-condition.
21-24
- Jonathan Z. Sun, Chaoyang Zhang:
Advances on C-Planarity Testing of Extrovert C-Graphs.
25-31
- Liliana Favre:
Formalizing MOF-Metamodels.
32-38
- Guntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina:
A Quantum Algorithm for Real Time Rendering.
39-43
- Andras Farago:
On Disjoint Connecting Paths and Unsplittable Flow.
44-50
- Hongbing Fan, Yu-Liang Wu:
Interconnection Graph Problem.
51-55
- Jinho On, Jungrhan Choi, Moonkun Lee:
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space.
56-62
- Sujeong U, Gihwan Cho, Moonkun Lee:
Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra.
63-69
Algorithms and Applications
- Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré:
Autonomous Scheduling.
73-81
- Arulanandam Srinivasan, Raghuvel S. Bhuvaneswaran:
Face Recognition System using HGPP and Adaptive binning Method.
80-85
- Robert J. McEliece, Mari Cruz Rodríguez-Palánquex:
Computing the number of rational points. Applications to AG Coding Theory.
86-89
- Emanuele Covino, Giovanni Pani, Daniele Scrimieri:
Extending C++ Static Computation of Polynomial-Time Algorithms.
90-96
- Ardashir Dolati, Mehdi Sohrabi Haghighat, Saeed Safaei, Hajar Mozaffar:
Solving Minimum Beta-vertex Separator Problems in the Adleman-Lipton Model.
97-101
- Lelde Lace:
Nondeterministic and postselection quantum query algorithms.
102-105
- Jennifer Tsai, Justie Juan:
Secure and Efficient Multi-Secret Sharing Schemes with General Access Structures.
106-112
- Christian Boulinier:
Fast Unison in Arbitrary Rooted Networks.
113-119
- James Moorer:
The Use of Prime Residues as a Block Erasure Code with Linear Decoding Time.
120-123
- Joe DeMaio, Stephen Touset:
Stirling Numbers of the Second Kind and Primality.
124-130
- Serguei A. Mokhov:
Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game.
131-136
- Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano:
NP-Hardness of the Sorting Buffer Problem on the Uniform Metric.
137-143
Interesting Results,
New Models,
and Methodologies
Late Papers
- Yongli Li, Zhenfang Li, Pei Li Zhou:
A Study of Programming Language Based on Pansystems Theory.
175-181
- He Lin, Xiaoxu Li:
Generalization of Reduction in Rough Sets Based on the Views of Pansystems.
180-184
- Xiaoxu Li, Yongli Li:
Research of Decision Rule in Rough Sets Based on Pansystems View.
185-189
- Pei Li zhou, Jiang Yu, Shahriar Movafaghi:
An Application of Pansystems Methodology to Path's Searching Problem Solving.
190-195
- Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang:
Research of Reduction from the View of Pansystems.
196-200
- Zhenfang Li, Chuan Li, Shiqun Tao:
Dynamic Database in the View of Pansystems.
201-206
- James Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu:
Snack Attack: An Exploration of Collaborative Learning.
207-210
- Wenlong Gao, Lin He, Yongli Le, Xiaoxia Li:
The PanWeighted System And Its Panweight Reduction In Pansystems Theory.
211-217
- Reza Ahangar:
Optimal Control Solution to Nonlinear Causal Operator Systems with Target State.
218-223
- Bhupinder Singh Anand:
A Trivial Solution to the PvNP Problem.
224-227
- Rahebeh Mojtahedi Saffari:
Method Based on Distributed Learning Automata for Computing Node to Node Closeness Score.
228-234
- Bhupinder Singh Anand:
A Finitary Model of Peano Arithmetic.
235-238
- Deborah Whitfield:
Applying the Theory of Optimization Ordering to Devices with Limited Memory.
239-244
- Leszek Kotulski, Adam Sedziwy:
Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs.
245-250
- Saeed Safaei, Hajar Mozaffar, Babak Esmaeili:
Solving Minimum K-Center Problem in the Adleman?Lipton Model.
251-255
- Charlie Obimbo:
Approximating the Vertex Cover Problem by Selection of Nodes of Maximum Degrees for use in Wireless Sensor Networks.
256-259
- Yang Zhang:
Fourier Transforms for Difference Operators.
260-263
- Chih-Sheng Chen, Jan-Yi Liang, Yi-Kun Lee, Min-Hsuan Fan, Chua-Huang Huang:
Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves.
264-269
Copyright © Fri Nov 20 23:53:22 2009
by Michael Ley (ley@uni-trier.de)
