FCS 2010:
Las Vegas, Nevada, USA
Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo (Eds.):
Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA.
CSREA Press 2010, ISBN 1-60132-142-2
Novel Algorihms and Applications + Methodologies
- Aleksandr Katkow, Agnieszka Ulfik:
Nature Inspired Arithmetic in Speed Independent Circuit.
9-15

- Masao Kumamoto, Eiji Miyano:
Optimal Distortion Embedding of Complete Binary Trees into Lines.
16-21

- Ka Ming Kwong, Nga Kwok Liu, Pak Wai Chan:
LIDAR and Chaotic Oscillatory-based Neural Network for Wind Shear Forecasting.
22-28

- Sabine Hummert, Stefan Schuster, Christian Hummert:
Batman - The Dark Knight: A Game Theoretical Approach.
29-34

- V. Leela Teja Chegondi:
Meeting the Needs of Today's Traffic in Networks by Differentiated Delivery.
35-40

- Bogdan Ghit, Matei Gruber, Octavian Voicu, Florin Pop:
Antis: Another Tool for Identical or Similar Code Detection.
41-47

- Farrokh Ghanatir, Hadi Abouhosseini, Amir Masoud Rahmani, Abolfazl Nazari:
Multiprocessor Independent Tasks Scheduling Using Modified Improved Harmony Search Algorithm.
48-54

- Thomas O'Neil, Scott Kerlin:
A Simple O(2sqrt(x)) Algorithm for Partition and Subset Sum.
55-58

- Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part I: A Perspective.
59-65

- Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part II: The Main Problem and a Suggested Solution.
66-71

- Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part III: Consequences of a Sound, Algorithmic Interpretation of PA.
72-80

Theory + Proof + Verification Methods
Quantum Computing + Automata + Turing Machines
Graph Based Methods and Related Issues
Programming + Languages + Software and Related Issues
Pansystems, Ontology Development, Plagiarism Detection, Fibonacci Numbers, Ranking, Machine Learning, and Computational Complexity
- Leemon Baird, Dino Schweitzer:
Complexity of the Game of Sprouts.
177-182

- Yun Zhai, Ryszard Janicki:
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking.
183-186

- DongSheng Liu, Mei Zhong, ShuMin Shi, YanBo Zhao:
An AST Plagiarism Detection Model for Procedural Programming Languages.
187-191

- Pei Li Zhou, Xu Li:
Attribute Reducts Using Multistep Relational Extension Matrix.
192-198

- Weipeng Guo, Pei Li Zhou, Yongli Li:
The Extended Model of Rough Sets Theory Based on Panweighted Field and Panweighted Networks in the Meaning of Recursive.
199-204

- Pei Li Zhou, Haixia Li, Yongli Li:
Application of Pansystems Theory in Operating Systems.
205-211

- Thomas Abraham Joseph Velankanni, Sherley Mary Lourdusawmy:
Ontology for Accounting.
212-218

- Omar AlHeyasat, Vladimier Luzhetski, Abdelwadood Mosleh:
Integer and Complex Fibonacci Data Models.
219-

Last update Sat May 18 08:31:41 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page