THE WORLD CONGRESS IN COMPUTER SCIENCE, COMPUTER ENGINEERING,
AND APPLIED COMPUTING

The 2013 WorldComp International Conference Proceedings Series

Foundations of Computer Science

Paperback
May 2015
9781601322425
More details
  • Publisher
    CSREA
  • Published
    1st May 2015
  • ISBN 9781601322425
  • Language English
  • Pages 197 pp.
  • Size 8" x 11"
$39.95

Foundations of Computer Science is a compendium of articles and papers that were presented at FCS '13, an international conference that serves researchers, scholars, professionals, students, and academicians.

Selected topics include:

* HPC + Load-Balancing + Approximation Algorithms + N-P Hard Problems
* Formal Verification + Automata
* Encryption + Calculus + Testing Methods And New Methodologies
* Quantum Computing
* Grammar Rules and Text Compression Methods

SESSION: HPC + LOAD-BALANCING + APPROXIMATION ALGORITHMS + N-P HARD PROBLEMS
1) Stencil and Lattice Structures for Field Equation Model Simulations on GPUs—Daniel P. Playne, Ken A. Hawick
2) The Complexity and Algorithm for k-Duplicates Combinatorial Auctions with Submodular and Subadditive Bidders—Wenbin Chen, Lingxi Peng, Jianxiong Wang, Dongqing Xie, Fufang Li, Maobin Tang
3) Optimising Computations for Evaluating Ising and Potts Model Partition Functions by Exact Enumeration—Ken A. Hawick, Daniel P. Playne
4) A Functional Approach to Finding Answer Sets—Bryant Nelson, Josh Archer, Nelson Rushton
5) Lag-based Load Balancing for Linux-based Multicore Systems—Dongwon Ok, Byeonghun Song, Hyunmin Yoon, Peng Wu, Jaesoo Lee, Jungkeun Park, Minsoo Ryu

SESSION: GRAPH BASED METHODS + RELATED ISSUES
1) Generating Edge Covers of Path Graphs—J. Raymundo Marcial-Romero, J. A. Hernandez, Vianney Munoz-Jimenez, Hector A. Montes-Venegas
2) Finding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth—Zhi-Qian Ye, Yi-Ming Li, Hui-Qiang Lu, Xiao Zhou
3) Labeling for Vertices in Strict 2-Threshold Graphs—Wei-Da Hao
4) Weak Convex Restrained Dominating Critical Graphs—Alphonse P.J.A., Janakiraman T.N.

SESSION: FORMAL VERIFICATION + AUTOMATA
1) Formalization Description of Huffman Coding Trees Using Mizar—Takaya Ido, Hiroyuki Okazaki, Yasunari Shidama
2) Extended Timed Alternating Finite Automata: Revisited—Abdelaziz Fellah
3) Formalization of Binary Fields and N-dimensional Binary Vector Spaces Using the Mizar Proof Checker—Kenichi Arai, Hiroyuki Okazaki

SESSION: ENCRYPTION + CALCULUS + TESTING METHODS AND NEW METHODOLOGIES
1) On the Expressiveness of Monadic Higher Order Safe Ambient Calculus—Zining Cao
2) Test Case Generation and Execution based on Record-Replayer Mechanism—Jinyoung Kim, Hyunmin Yoon, Minsoo Ryu
3) Normal Bisimulation for Higher Order pi-Calculus with Passivation Revisited—Zining Cao
4) Bit Level Encryption Standard (BLES) : Version-III—Gaurav Bhadra, Tanya Bala, Samik Banik, Joyshree Nath, Asoke Nath
5) Energy Efficient Multi Level Authentication in Adhoc Sensor Network—Shish Ahmad, Mohd. Rizwan Beg
6) Energy Efficient Encryption Using Counter Mode of Operation in Wireless Sensor Network—Shish Ahmad, Mohd. Rizwan Beg
7) Advanced Symmetric Key Cryptosystem Using Bit and Byte Level Encryption Methods with Feedback—Prabal Banerjee, Asoke Nath
8) Modern Encryption Standard (MES) : Version III—Rahul Deep Sircar, Gunjan Sekhon, Asoke Nath

SESSION: QUANTUM COMPUTING
1) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 1—Jack Horner
2) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 2—Jack Horner
3) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 3—Jack Horner
4) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 4—Jack Horner
5) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 5—Jack Horner
6) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 6—Jack Horner
7) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 7—Jack Horner

SESSION: GRAMMAR RULES AND TEXT COMPRESSION METHODS
1) Improving Compression Performance with a Star Encoding Front End: A Linguistic Comparison—Ebru Celikel Cankaya, Omar Darwish
2) Automated Semantics Treatment of Sequence Diagram Defining Grammar Rules—Fahad Alhumaidan, Nazir Ahmad Zafar

Hamid R. Arabnia

Hamid R. Arabnia is Professor, Computer Science; Editor-in-Chief, The Journal of Supercomputing (Springer); Elected Fellow, Int'l Society of Intelligent Biological Medicine (ISIBM); The University of Georgia, Department of Computer Science.

George A. Gravvanis

No information

George Jandieri

George Jandieri is at Georgian Technical University, Russia.  

Ashu M. G. Solo

Ashu M. G. Solo

Fernando G. Tinetti

No information