FCS 2007:
Las Vegas,
Nevada,
USA
Hamid R. Arabnia, Pei Li Zhou (Eds.):
Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA.
CSREA Press 2007, ISBN 1-60132-049-3 
Algorithms and Applications
- J. Renze Steenhuisen, Cees Witteveen:
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks.
3-9
- Katsumi Wasaki, Ken-ichi Arai:
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
10-16
- Jennifer Hui-Chan Tsai, Justie Su-tzu Juan:
A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement Ratios.
17-20
- Bruno Bauwens, Bart Wyns, Dieter Devlaminck, Georges Otte, Luc Boullart, Patrick Santens:
Mutual information and algorithmic information transfer as ideal undirected and directed independence tests.
21-26
- Andras Farago:
Sampling from Independence Systems.
27-33
- Takeshi Tateishi, Akihiro Fujiwara:
Data structures for storing binary numbers in DNA computing.
34-40
- Emanuele Covino, Giovanni Pani, Daniele Scrimieri:
Static Computation of Polynomial-time Functions in C++.
41-45
- Ying Jin:
Rule Update Algorithms for Active Rule Scheduling.
46-51
- Yijie Han:
Maximum Flow with a Faster Way of Computing a Blocking Flow.
52-56
- Jinshuo Liu, Dengyi Zhang, Shubo Liu, Yu Yao:
High Noisy Cell Image Segmentation Using Regional Template.
57-60
- Chih-Chiang Yu, Yong-Hsian Hsieh, Biing-Feng Wang:
Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and Average.
61-67
- Chekad Sarami:
A Mass Formula for Cyclic Self-Orthogonal Codes.
68-72
- Chekad Sarami:
On Classification of Generalized Hadamard Matrices.
73-78
- Kam Kong:
The Majority Rule and String-and-Spinner Implementation of Logic Gates.
79-81
- Xiaowei Huang, Jie Meng:
A Semantic Preorder Combining ST Notion and Fair Testing Semantic.
82-88
- Nicolas Gauvrit:
A Locally Logical Model for Natural Semantics.
89-93
- J. Ulisses Ferreira:
The Probable Decidability of the Halting Problem.
94-102
Graphs and Networks + Automata + Logic
Interesting Results,
New Models,
and Methodologies
Workshop on Pansystems and Computer Science
- Jinghong Pan, Dinghe Guo, Yongli Li, Joe Peili Zhou, Xuemou Wu:
Pansystems Relativity: Vitality, Intelligence and Computer.
193-198
- Xuemou Wu, Dinghe Guo, Dejun Chen, Joe Peili Zhou:
Pansystems Extremum Theorems: Cybernetics.
199-205
- Xiaolu Zhou, Joe Peili Zhou, Jinghong Pan, Xuemou Wu:
Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, Aesthetics.
206-212
- Fang Liu, He Lin:
A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation.
213-218
- Yongli Li, Zhilin Li, Jing Qu, Xiaoyan Wang:
The Sorites Paradox from the View of Pansystems.
219-223
- Aiping Wu, Yongli Li:
Research of Reduction from the View of Pansystems.
224-228
- Zhenfang Li, Yongli Li, Shiqun Tao:
The Extending of Panweighted Network in Pansystems and XML-based Realization.
229-234
- Haixia Li, He Lin, Jiajia Wang:
Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology.
235-239
- He Lin, Haixia Li:
The Insert Taxis Based on Pansystems Topology.
240-244
- Tao Yang, Yongli Li, Xiaoxia Li:
Application of Pansystems Theory in Object-Oriented System.
245-250
- Haibo Li, Yongli Li, Xinjian Wei:
A Rough Set Model of Binary Relation Based on Product and Pansystems.
251-245
- Wanjing Cai, Pei Li Zhou:
A Pansystems Approach to Order-relationship.
255-261
- Ying Liu, Wanjing Cai:
Compare Researches To Rough Sets And Fuzzy Sets from the View.
262-267
- Yu Jiang, He Lin:
A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix.
268-272
- Dejun Chen, Xiaolu Zhou, Xuemou Wu, Joe Peili Zhou:
Modeling Distributed Virtual Enterprise Based on Pansystems Economics.
273-279
- Xuemou Wu, Pei Li Zhou, Jeffrey Yi-Lin Forrest:
Pansystems Exploration: A Transfield Internet-like Approach.
280-286
- P. L. Zhou, Thalerngsak Kijthaweesinpoon:
The Use of Pansystems Relation Operators in Rough Sets.
287-292
- Pei Li Zhou, Salahadin Mohammed:
A Pansystems Approach to Sorting Based on Binary Relations.
293-299
- Dinghe Guo, Pei Li Zhou, Jinghong Pan:
Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems.
300-312
Theoretical Foundations for Distributed and Concurrent Systems and Computations
Late Papers
Copyright © Mon Nov 23 22:38:14 2009
by Michael Ley (ley@uni-trier.de)
