Abstract is missing.
- Coordinating Planning Agents for Moderately and Tightly-Coupled TasksJ. Renze Steenhuisen, Cees Witteveen. 3-9
- A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof CheckerKatsumi Wasaki, Ken-ichi Arai. 10-16
- A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement RatiosJennifer Hui-Chan Tsai, Justie Su-tzu Juan. 17-20
- Mutual information and algorithmic information transfer as ideal undirected and directed independence testsBruno Bauwens, Bart Wyns, Dieter Devlaminck, Georges Otte, Luc Boullart, Patrick Santens. 21-26
- Sampling from Independence SystemsAndras Farago. 27-33
- Data structures for storing binary numbers in DNA computingTakeshi Tateishi, Akihiro Fujiwara. 34-40
- Static Computation of Polynomial-time Functions in C++Emanuele Covino, Giovanni Pani, Daniele Scrimieri. 41-45
- Rule Update Algorithms for Active Rule SchedulingYing Jin. 46-51
- Maximum Flow with a Faster Way of Computing a Blocking FlowYijie Han. 52-56
- High Noisy Cell Image Segmentation Using Regional TemplateJinshuo Liu, Dengyi Zhang, Shubo Liu, Yu Yao. 57-60
- Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and AverageChih-Chiang Yu, Yong-Hsian Hsieh, Biing-Feng Wang. 61-67
- A Mass Formula for Cyclic Self-Orthogonal CodesChekad Sarami. 68-72
- On Classification of Generalized Hadamard MatricesChekad Sarami. 73-78
- The Majority Rule and String-and-Spinner Implementation of Logic GatesKam Kong. 79-81
- A Semantic Preorder Combining ST Notion and Fair Testing SemanticXiaowei Huang, Jie Meng. 82-88
- A Locally Logical Model for Natural SemanticsNicolas Gauvrit. 89-93
- The Probable Decidability of the Halting ProblemJ. Ulisses Ferreira. 94-102
- A Perfect Secret Sharing Scheme for (r-1, r)-Uniform Hypergraph-Based Access StructuresYi-Chun Wang, Justie Su-tzu Juan. 103-109
- Lower bounds on the cardinality of maximum matchings in graphs with bounded degreesWangsen Feng, Wanling Qu, Hanpin Wang. 110-113
- Patterns of ProtocolsDouglas Harris. 114-120
- Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel DigraphsRuzayn Quaddoura. 121-131
- The Complexity of Futile QuestioningAnja Remshagen, Klaus Truemper. 132-138
- An Algebraic Characterization of Wolper s LogicZoltán Ésik, Gabriela Martín. 139-143
- An Efficient Algorithm for Determining the Relationship between Two Nodes on DAGQutaibah M. Malluhi, Sungbum Hong. 144-147
- A Survey and a Taxonomy of Automata-Theoretic Modeling TechniquesJaroslav Lajos, Mansur H. Samadzadeh. 148-156
- Prose as a Model of ComputationJerry Potter, Howard Jay Siegel. 157-163
- On the Verifiable and Detectable Multi-Use General Perfect Secret Sharing SchemesYu-fen Weng, Justie Su-tzu Juan, Yi-Chun Wang. 164-170
- Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length OperandsNaveed Ali, Shoab A. Khan, Naveed Khattak Sarfraz. 171-176
- Parameter Selection for Fast Computation of Pi(x)Hitoshi Yoshida, Hisayasu Kuroda, Yasumasa Kanada. 177-182
- Introduction to Multilevel Mark Coding TheoryShengyuan Wu. 183-192
- Pansystems Relativity: Vitality, Intelligence and ComputerJinghong Pan, Dinghe Guo, Yongli Li, Joe Peili Zhou, Xuemou Wu. 193-198
- Pansystems Extremum Theorems: CyberneticsXuemou Wu, Dinghe Guo, Dejun Chen, Joe Peili Zhou. 199-205
- Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, AestheticsXiaolu Zhou, Joe Peili Zhou, Jinghong Pan, Xuemou Wu. 206-212
- A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality TransformationFang Liu, He Lin. 213-218
- The Sorites Paradox from the View of PansystemsYongli Li, Zhilin Li, Jing Qu, Xiaoyan Wang. 219-223
- Research of Reduction from the View of PansystemsAiping Wu, Yongli Li. 224-228
- The Extending of Panweighted Network in Pansystems and XML-based RealizationZhenfang Li, Yongli Li, Shiqun Tao. 229-234
- Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems TopologyHaixia Li, He Lin, Jiajia Wang. 235-239
- The Insert Taxis Based on Pansystems TopologyHe Lin, Haixia Li. 240-244
- Application of Pansystems Theory in Object-Oriented SystemTao Yang, Yongli Li, Xiaoxia Li. 245-250
- A Rough Set Model of Binary Relation Based on Product and PansystemsHaibo Li, Yongli Li, Xinjian Wei. 251-245
- A Pansystems Approach to Order-relationshipWanjing Cai, Pei Li Zhou. 255-261
- Compare Researches To Rough Sets And Fuzzy Sets from the ViewYing Liu, Wanjing Cai. 262-267
- A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility MatrixYu Jiang, He Lin. 268-272
- Modeling Distributed Virtual Enterprise Based on Pansystems EconomicsDejun Chen, Xiaolu Zhou, Xuemou Wu, Joe Peili Zhou. 273-279
- Pansystems Exploration: A Transfield Internet-like ApproachXuemou Wu, Pei Li Zhou, Jeffrey Yi-Lin Forrest. 280-286
- The Use of Pansystems Relation Operators in Rough SetsP. L. Zhou, Thalerngsak Kijthaweesinpoon. 287-292
- A Pansystems Approach to Sorting Based on Binary RelationsPei Li Zhou, Salahadin Mohammed. 293-299
- Pansystems Extremum: Scales, Approximation, Equivalence and 0**-TheoremsDinghe Guo, Pei Li Zhou, Jinghong Pan. 300-312
- Distributed System Architecture and Specification with TLBNorman R. Howes. 313-320
- A Unifying Model of Concurrent ProcessesMark Burgin, Marc Smith. 321-327
- Interactive HypercomputationMark Burgin. 328-336
- Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the Strategic Form Using Convex HullToshinori Yamada, Hiroyuki Ishii. 337-343
- Application of braid groups for information processingJanusz Jacak, Ireneusz J. Jozwiak, Lucjan Jacak. 344-348
- Hypergraph Algorithms with Network ApplicationsS. Q. Zheng, Shaoyang Liu. 349-355
- Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective FunctionBing Yang, S. Q. Zheng, Enyue Lu. 356-361
- Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched SystemsN. Messaadi, Hajer Bouzaouache, Naceur Benhadj Braiek. 362-368
- Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting ModelMasaki Murakami. 369