Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFCS 2010: Las Vegas, Nevada, USA
Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo:
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. FCS 2010: 9-15 - Masao Kumamoto, Eiji Miyano:
Optimal Distortion Embedding of Complete Binary Trees into Lines. FCS 2010: 16-21 - Ka Ming Kwong, Nga Kwok Liu, Pak Wai Chan:
LIDAR and Chaotic Oscillatory-based Neural Network for Wind Shear Forecasting. FCS 2010: 22-28 - Sabine Hummert, Stefan Schuster, Christian Hummert:
Batman - The Dark Knight: A Game Theoretical Approach. FCS 2010: 29-34 - V. Leela Teja Chegondi:
Meeting the Needs of Today's Traffic in Networks by Differentiated Delivery. FCS 2010: 35-40 - Bogdan Ghit, Matei Gruber, Octavian Voicu, Florin Pop:
Antis: Another Tool for Identical or Similar Code Detection. FCS 2010: 41-47 - Farrokh Ghanatir, Hadi Abouhosseini, Amir Masoud Rahmani, Abolfazl Nazari:
Multiprocessor Independent Tasks Scheduling Using Modified Improved Harmony Search Algorithm. FCS 2010: 48-54 - Thomas O'Neil, Scott Kerlin:
A Simple O(2sqrt(x)) Algorithm for Partition and Subset Sum. FCS 2010: 55-58 - Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part I: A Perspective. FCS 2010: 59-65 - Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part II: The Main Problem and a Suggested Solution. FCS 2010: 66-71 - Bhupinder Singh Anand:
Does Resolving PvNP Require a Paradigm Shift? Part III: Consequences of a Sound, Algorithmic Interpretation of PA. FCS 2010: 72-80
Theory + Proof + Verification Methods
- Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki:
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. FCS 2010: 81-86 - Chong-Yi Yuan, Wen Zhao, Yu Huang:
Operation Expression: a Way to Verified Software. FCS 2010: 91-95 - Li Liu, Denghui Zhai:
Study on Typical Load Pattern in Power System and Bad Data Processing. FCS 2010: 96-102
Quantum Computing + Automata + Turing Machines
- Edayathu V. Krishnamurthy:
Swarming - A Classical Analog of Hardy's Quantum Gravity Computational Paradigm. FCS 2010: 103-108 - Hans-Werner Lang:
A Characterization of the Chomsky Hierarchy by String Turing Machines. FCS 2010: 109-114 - Charles Balch:
Understanding Quantum Networking: Where Are We and What Can We Expect?. FCS 2010: 115-118
Graph Based Methods and Related Issues
- Bogdan Munteanu, Richard Borie:
Variations of the Vision-Based Pursuit-Evasion Problem on a Grid. FCS 2010: 139-144
Programming + Languages + Software and Related Issues
- Farahzad Behi, Matthew Del Buono:
Vectorizing Compilers and Manual Code Optimization for Application Domains. FCS 2010: 160-164 - Emanuele Covino, Giovanni Pani:
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes. FCS 2010: 165-176
Pansystems, Ontology Development, Plagiarism Detection, Fibonacci Numbers, Ranking, Machine Learning, and Computational Complexity
- Yun Zhai, Ryszard Janicki:
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking. FCS 2010: 183-186 - DongSheng Liu, Mei Zhong, ShuMin Shi, YanBo Zhao:
An AST Plagiarism Detection Model for Procedural Programming Languages. FCS 2010: 187-191 - Pei Li Zhou, Xu Li:
Attribute Reducts Using Multistep Relational Extension Matrix. FCS 2010: 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. FCS 2010: 199-204 - Pei Li Zhou, Haixia Li, Yongli Li:
Application of Pansystems Theory in Operating Systems. FCS 2010: 205-211 - Thomas Abraham Joseph Velankanni, Sherley Mary Lourdusawmy:
Ontology for Accounting. FCS 2010: 212-218 - Omar AlHeyasat, Vladimier Luzhetski, Abdelwadood Mosleh:
Integer and Complex Fibonacci Data Models. FCS 2010: 219-
maintained by 
, founded at 
, founded at 
last updated on 2019-02-17 19:15 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
