![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FCS 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 - Xiaolei Gao:
The Z Specification Refinement of Based on Tableau. FCS 2010: 87-90 - 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 - Zoltán Ésik, Andreas Maletti:
Simulation vs. Equivalence. FCS 2010: 119-124
Graph Based Methods and Related Issues
- Yangjun Chen:
Recursive Graph Deduction and Reachability Queries. FCS 2010: 125-131 - Jaime Cerdá Jacobo, David De Roure:
A Graph-based Economical Dispatch Model. FCS 2010: 132-138 - Bogdan Munteanu, Richard Borie:
Variations of the Vision-Based Pursuit-Evasion Problem on a Grid. FCS 2010: 139-144 - Tai-Lung Wu, Justie Su-tzu Juan:
Optimal Edge Ranking of Ladder Graphs. FCS 2010: 145-152
Programming + Languages + Software and Related Issues
- Raihan Al-Ekram, Richard C. Holt:
Optimal Tradeoff. FCS 2010: 153-159 - 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
- Leemon C. Baird III, Dino Schweitzer:
Complexity of the Game of Sprouts. FCS 2010: 177-182 - 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-
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.