Foundations of Computer Science

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