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