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