Abstract is missing.
- On the Power of Stochastic Automata Networks in Random EnvironmentsJia Liu, Mansur H. Samadzadeh. 3-9
- Disjoint Cycles and Chorded Cycles in GraphsYunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan. 9-13
- Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-ArcsKen Hawick, Heath James. 14-20
- Group connectivity of graphs satisfying Ore-conditionJonathan Z. Sun, Rui Xu, Jianhua Yin. 21-24
- Advances on C-Planarity Testing of Extrovert C-GraphsJonathan Z. Sun, Chaoyang Zhang. 25-31
- Formalizing MOF-MetamodelsLiliana Favre. 32-38
- A Quantum Algorithm for Real Time RenderingGuntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina. 39-43
- On Disjoint Connecting Paths and Unsplittable FlowAndras Farago. 44-50
- Interconnection Graph ProblemHongbing Fan, Yu-Liang Wu. 51-55
- A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked SpaceJinho On, Jungrhan Choi, Moonkun Lee. 56-62
- Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process AlgebraSujeong U, Gihwan Cho, Moonkun Lee. 63-69
- Autonomous SchedulingChetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré. 73-81
- Face Recognition System using HGPP and Adaptive binning MethodArulanandam Srinivasan, Raghuvel S. Bhuvaneswaran. 80-85
- Computing the number of rational points. Applications to AG Coding TheoryRobert J. McEliece, Mari Cruz Rodríguez-Palánquex. 86-89
- Extending C++ Static Computation of Polynomial-Time AlgorithmsEmanuele Covino, Giovanni Pani, Daniele Scrimieri. 90-96
- Solving Minimum Beta-vertex Separator Problems in the Adleman-Lipton ModelArdashir Dolati, Mehdi Sohrabi Haghighat, Saeed Safaei, Hajar Mozaffar. 97-101
- Nondeterministic and postselection quantum query algorithmsLelde Lace. 102-105
- Secure and Efficient Multi-Secret Sharing Schemes with General Access StructuresJennifer Tsai, Justie Juan. 106-112
- Fast Unison in Arbitrary Rooted NetworksChristian Boulinier. 113-119
- The Use of Prime Residues as a Block Erasure Code with Linear Decoding TimeJames Moorer. 120-123
- Stirling Numbers of the Second Kind and PrimalityJoe DeMaio, Stephen Touset. 124-130
- Study of the Alphabetic Indexing in a Scramble-like Word Puzzle GameSerguei A. Mokhov. 131-136
- NP-Hardness of the Sorting Buffer Problem on the Uniform MetricYuichi Asahiro, Kenichi Kawahara, Eiji Miyano. 137-143
- Demonic Semantics: are equalFairouz Tchier. 147-155
- Statistical Characterization of NP-Complete ProblemsJeffrey Duffany. 156-162
- On Cobweb Admissible Sequences - The Production TheoremMaciej Dziemianczuk. 163-165
- Why Brouwer Was Justified in his Objection to Hilbert s Unqualified Interpretation of QuantificationBhupinder Singh Anand. 166-169
- The Size of Integers That a Computer Can tTkeWeihu Hong, Mingshen Wu. 170-172
- A Study of Programming Language Based on Pansystems TheoryYongli Li, Zhenfang Li, Pei Li Zhou. 175-181
- Generalization of Reduction in Rough Sets Based on the Views of PansystemsHe Lin, Xiaoxu Li. 180-184
- Research of Decision Rule in Rough Sets Based on Pansystems ViewXiaoxu Li, Yongli Li. 185-189
- An Application of Pansystems Methodology to Path s Searching Problem SolvingPei Li Zhou, Jiang Yu, Shahriar Movafaghi. 190-195
- Research of Reduction from the View of PansystemsHaixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang. 196-200
- Dynamic Database in the View of PansystemsZhenfang Li, Chuan Li, Shiqun Tao. 201-206
- Snack Attack: An Exploration of Collaborative LearningJames Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu. 207-210
- The PanWeighted System And Its Panweight Reduction In Pansystems TheoryWenlong Gao, Lin He, Yongli Le, Xiaoxia Li. 211-217
- Optimal Control Solution to Nonlinear Causal Operator Systems with Target StateReza Ahangar. 218-223
- A Trivial Solution to the PvNP ProblemBhupinder Singh Anand. 224-227
- Method Based on Distributed Learning Automata for Computing Node to Node Closeness ScoreRahebeh Mojtahedi Saffari. 228-234
- A Finitary Model of Peano ArithmeticBhupinder Singh Anand. 235-238
- Applying the Theory of Optimization Ordering to Devices with Limited MemoryDeborah Whitfield. 239-244
- Agent Framework For Decomposing a Graph Into the Equally Sized SubgraphsLeszek Kotulski, Adam Sedziwy. 245-250
- Solving Minimum K-Center Problem in the Adleman?Lipton ModelSaeed Safaei, Hajar Mozaffar, Babak Esmaeili. 251-255
- Approximating the Vertex Cover Problem by Selection of Nodes of Maximum Degrees for use in Wireless Sensor NetworksCharlie Obimbo. 256-259
- Fourier Transforms for Difference OperatorsYang Zhang. 260-263
- Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling CurvesChih-Sheng Chen, Jan-Yi Liang, Yi-Kun Lee, Min-Hsuan Fan, Chua-Huang Huang. 264-269