Abstract is missing.
- Nature Inspired Arithmetic in Speed Independent CircuitAleksandr Katkow, Agnieszka Ulfik. 9-15
- Optimal Distortion Embedding of Complete Binary Trees into LinesMasao Kumamoto, Eiji Miyano. 16-21
- LIDAR and Chaotic Oscillatory-based Neural Network for Wind Shear ForecastingKa Ming Kwong, Nga Kwok Liu, Pak Wai Chan. 22-28
- Batman - The Dark Knight: A Game Theoretical ApproachSabine Hummert, Stefan Schuster, Christian Hummert. 29-34
- Antis: Another Tool for Identical or Similar Code DetectionBogdan Ghit, Matei Gruber, Octavian Voicu, Florin Pop. 41-47
- Multiprocessor Independent Tasks Scheduling Using Modified Improved Harmony Search AlgorithmFarrokh Ghanatir, Hadi Abouhosseini, Amir Masoud Rahmani, Abolfazl Nazari. 48-54
- A Simple O(2:::sqrt(x):::) Algorithm for Partition and Subset SumThomas O Neil, Scott Kerlin. 55-58
- Does Resolving PvNP Require a Paradigm Shift? Part I: A PerspectiveBhupinder Singh Anand. 59-65
- Does Resolving PvNP Require a Paradigm Shift? Part II: The Main Problem and a Suggested SolutionBhupinder Singh Anand. 66-71
- Does Resolving PvNP Require a Paradigm Shift? Part III: Consequences of a Sound, Algorithmic Interpretation of PABhupinder Singh Anand. 72-80
- Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof CheckerKenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki. 81-86
- The Z Specification Refinement of Based on TableauXiaolei Gao. 87-90
- Operation Expression: a Way to Verified SoftwareChong-Yi Yuan, Wen Zhao, Yu Huang. 91-95
- Study on Typical Load Pattern in Power System and Bad Data ProcessingLi Liu, Denghui Zhai. 96-102
- Swarming - A Classical Analog of Hardy's Quantum Gravity Computational ParadigmEdayathu V. Krishnamurthy. 103-108
- A Characterization of the Chomsky Hierarchy by String Turing MachinesHans-Werner Lang. 109-114
- Simulation vs. EquivalenceZoltán Ésik, Andreas Maletti. 119-124
- Recursive Graph Deduction and Reachability QueriesYangjun Chen. 125-131
- A Graph-based Economical Dispatch ModelJaime Cerda Jacobo, David De Roure. 132-138
- Variations of the Vision-Based Pursuit-Evasion Problem on a GridBogdan Munteanu, Richard Borie. 139-144
- Optimal Edge Ranking of Ladder GraphsTai-Lung Wu, Justie Su-tzu Juan. 145-152
- Optimal TradeoffRaihan Al-Ekram, Richard C. Holt. 153-159
- Vectorizing Compilers and Manual Code Optimization for Application DomainsFarahzad Behi, Matthew Del Buono. 160-164
- Template Metaprogramming, Partial Evaluation and Computational Complexity ClassesEmanuele Covino, Giovanni Pani. 165-176
- Complexity of the Game of SproutsLeemon Baird, Dino Schweitzer. 177-182
- On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical RankingYun Zhai, Ryszard Janicki. 183-186
- An AST Plagiarism Detection Model for Procedural Programming LanguagesDongsheng Liu, Mei Zhong, ShuMin Shi, YanBo Zhao. 187-191
- Attribute Reducts Using Multistep Relational Extension MatrixPei Li Zhou, Xu Li. 192-198
- The Extended Model of Rough Sets Theory Based on Panweighted Field and Panweighted Networks in the Meaning of RecursiveWeipeng Guo, Pei Li Zhou, Yongli Li. 199-204
- Application of Pansystems Theory in Operating SystemsPei Li Zhou, Haixia Li, Yongli Li. 205-211
- Ontology for AccountingThomas Abraham Joseph Velankanni, Sherley Mary Lourdusawmy. 212-218
- Integer and Complex Fibonacci Data ModelsOmar AlHeyasat, Vladimier Luzhetski, Abdelwadood Mosleh. 219