FCS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 63 from 63

2010

Optimal TradeoffRaihan Al-Ekram, Richard C. Holt. fcs 2010: 153-159

Integer and Complex Fibonacci Data ModelsOmar AlHeyasat, Vladimier Luzhetski, Abdelwadood Mosleh. fcs 2010: 219

Does Resolving PvNP Require a Paradigm Shift? Part I: A PerspectiveBhupinder Singh Anand. fcs 2010: 59-65

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

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

Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USAHamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo, editors, CSREA Press, 2010.

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof CheckerKenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki. fcs 2010: 81-86

Complexity of the Game of SproutsLeemon Baird, Dino Schweitzer. fcs 2010: 177-182

Vectorizing Compilers and Manual Code Optimization for Application DomainsFarahzad Behi, Matthew Del Buono. fcs 2010: 160-164

Recursive Graph Deduction and Reachability QueriesYangjun Chen. fcs 2010: 125-131

Template Metaprogramming, Partial Evaluation and Computational Complexity ClassesEmanuele Covino, Giovanni Pani. fcs 2010: 165-176

The Z Specification Refinement of Based on TableauXiaolei Gao. fcs 2010: 87-90

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

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

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. fcs 2010: 199-204

Batman - The Dark Knight: A Game Theoretical ApproachSabine Hummert, Stefan Schuster, Christian Hummert. fcs 2010: 29-34

A Graph-based Economical Dispatch ModelJaime Cerda Jacobo, David De Roure. fcs 2010: 132-138

Nature Inspired Arithmetic in Speed Independent CircuitAleksandr Katkow, Agnieszka Ulfik. fcs 2010: 9-15

Swarming - A Classical Analog of Hardy's Quantum Gravity Computational ParadigmEdayathu V. Krishnamurthy. fcs 2010: 103-108

Optimal Distortion Embedding of Complete Binary Trees into LinesMasao Kumamoto, Eiji Miyano. fcs 2010: 16-21

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

A Characterization of the Chomsky Hierarchy by String Turing MachinesHans-Werner Lang. fcs 2010: 109-114

Study on Typical Load Pattern in Power System and Bad Data ProcessingLi Liu, Denghui Zhai. fcs 2010: 96-102

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

Variations of the Vision-Based Pursuit-Evasion Problem on a GridBogdan Munteanu, Richard Borie. fcs 2010: 139-144

A Simple O(2:::sqrt(x):::) Algorithm for Partition and Subset SumThomas O Neil, Scott Kerlin. fcs 2010: 55-58

Optimal Edge Ranking of Ladder GraphsTai-Lung Wu, Justie Su-tzu Juan. fcs 2010: 145-152

Operation Expression: a Way to Verified SoftwareChong-Yi Yuan, Wen Zhao, Yu Huang. fcs 2010: 91-95

On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical RankingYun Zhai, Ryszard Janicki. fcs 2010: 183-186

Application of Pansystems Theory in Operating SystemsPei Li Zhou, Haixia Li, Yongli Li. fcs 2010: 205-211

Attribute Reducts Using Multistep Relational Extension MatrixPei Li Zhou, Xu Li. fcs 2010: 192-198

Simulation vs. EquivalenceZoltán Ésik, Andreas Maletti. fcs 2010: 119-124

2009

The Significance of Aristotle s Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical PropositionsBhupinder Singh Anand. fcs 2009: 95-99

The Significance of Aristotle s Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of ChoiceBhupinder Singh Anand. fcs 2009: 82-86

Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas Nevada, USAHamid R. Arabnia, George A. Gravvanis, editors, CSREA Press, 2009.

A Priori Strategies for the Probabilistic Total Weighted Flowtime on Parallel Identical Machines ProblemZied Bouyahia, Monia Bellalouna, Khaled GhÃ©dira, Patrick Jaillet. fcs 2009: 145-151

A Single Tape Deterministic Turing Machine of Adaptive Deterministic Routing Algorithm Designed for Torus NetworkNitin Chanderwal, Gitanjali Chauhan, Vivek Kumar Sehgal, Rohit Sharma, Abhishek Gupta, Aditya Patel, Amanpreet Singh Arora, Aprajita Gupta, Utkarsh Shrivastava, Rajan Vaish. fcs 2009: 37-40

Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus NetworkNitin Chanderwal, Gitanjali Chauhan, Rohit Sharma, Vivek Kumar Sehgal, Rohit Verma, Gaurav Kumar, Utkarsh Shrivastava, Rajan Vaish. fcs 2009: 47-52

Decomposing a Partially Ordered Set into ChainsYangjun Chen. fcs 2009: 126-132

Compositional Automata Reduction with Non-critical Path SlicingYean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu. fcs 2009: 133-138

Lower Bounds for Accessing Information on Pure Pointer MachinesBrian Cloteaux, Desh Ranjan. fcs 2009: 103-107

Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem on Massively Parallel Bio-ComputingBabak Dalvand, Saeed Safaei, Mojtaba Nazari. fcs 2009: 169-173

Domination and Independence on the Rectangular Torus by Rooks and BishopsJoe DeMaio, William Faust. fcs 2009: 120-125

The Decidability of the Halting ProblemUlisses Ferreira. fcs 2009: 180-183

Pseudo-Random Walks On Graphs And CryptographyWit Forys, Piotr Oprocha. fcs 2009: 16-19

Tight Bound for MatchingYijie Han. fcs 2009: 68-74

Spectral Analysis of Attractors in Random Boolean Network ModelsKenneth A. Hawick. fcs 2009: 61-67

Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted AverageKenneth Hoganson. fcs 2009: 174-179

On Closure Operator for Interval Order StructuresRyszard Janicki, Nadezhda Zubkova. fcs 2009: 108-114

An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular PolygonsVitit Kantabutra. fcs 2009: 92-94

Circuits as a Classifier for Small-World Network ModelsArno Leist, Kenneth A. Hawick. fcs 2009: 75-81

An Analysis of Hierarchical Identity-Based CryptosystemsJyh-Shyan Lin, Fu-Kuo Tseng, Rong-Jaye Chen. fcs 2009: 27-31

An Efficient Method for Finding Square Roots for Elliptic Curves over OEFAdnan Abu Mahfouz, Gerhard Hancke. fcs 2009: 87-91

The Importance of Symmetric RepresentationThomas O Neil. fcs 2009: 115-119

Quantum Pseudo-Fractional Fourier Transform and Its Application to Quantum Phase EstimationSrinivas Vamsi Parasa, Kumar Eswaran. fcs 2009: 9-15

A Quadratic Integer Programming Framework for Dedicated Machine ConstraintHuy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen. fcs 2009: 155-161

Molecular Solutions for the Minimum Edge Dominating Set Problem on DNA-based SupercomputingSaeed Safaei, Babak Dalvand, Babak Esmaeili, Vahid Safaei. fcs 2009: 32-36

Dictionary Operations in Membrane ComputingHirofumi Tagawa, Akihiro Fujiwara. fcs 2009: 20-26

A Methodology for the Construction of Generating Functions and its Application to Bessel FunctionsSandy Stevens Tickodri-Togboa. fcs 2009: 53-58

Procedures for Floating Point Operations with DNA MoleculesYuichiro Tokumaru, Akihiro Fujiwara. fcs 2009: 41-46

Using Model Checking for Decision Making in Computer GamesQuoc-Nam Tran, Giridhar Hariharan. fcs 2009: 3-8

Cartesian Closed Categories of R-PosetsLi Gang Wu, Lei Fan. fcs 2009: 139-144

Optimal Software Testing - A Cooling Down ProcessLinmin Yang, Zhe Dang, Thomas R. Fischer. fcs 2009: 162-168

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FCS (fcs)

Viewing Publication 1 - 63 from 63

2010

2009

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FCS (fcs)

Viewing Publication 1 - 63 from 63

2010

2009

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1