Foundations of Computer Science

Hamid R. Arabnia (Redaktør) ; George A. Gravvanis (Redaktør) ; George Jandieri (Redaktør) ; Ashu M. G. Solo (Redaktør) ; Fernando G. Tinetti (Redaktør)

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. Les mer
Vår pris
505,-

(Paperback) Fri frakt!
Leveringstid: Sendes innen 21 dager

Paperback
Legg i
Paperback
Legg i
Vår pris: 505,-

(Paperback) Fri frakt!
Leveringstid: Sendes innen 21 dager

Om boka

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

Fakta

Innholdsfortegnelse

Session: HPC + Load-Balancing + Approximation Algorithms + N-P Hard Problems
1) Stencil and Lattice Structures for Field Equation Model Simulations on GPUs
2) The Complexity and Algorithm for k-Duplicates Combinatorial Auctions with Submodular and Subadditive Bidders
3) Optimising Computations for Evaluating Ising and Potts Model Partition Functions by Exact Enumeration
4) A Functional Approach to Finding Answer Sets
5) Lag-based Load Balancing for Linux-based Multicore Systems
Session: Graph Based Methods + Related Issues
1) Generating Edge Covers of Path Graphs
2) Finding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth
3) Labeling for Vertices in Strict 2-Threshold Graphs
4) Weak Convex Restrained Dominating Critical Graphs
Session: Formal Verification + Automata
1) Formalization Description of Huffman Coding Trees Using Mizar
2) Extended Timed Alternating Finite Automata: Revisited
3) Formalization of Binary Fields and N-dimensional Binary Vector Spaces Using the Mizar Proof Checker
Session: Encryption + Calculus + Testing Methods and New Methodologies
1) On the Expressiveness of Monadic Higher Order Safe Ambient Calculus
2) Test Case Generation and Execution based on Record-Replayer Mechanism
3) Normal Bisimulation for Higher Order pi-Calculus with Passivation Revisited
4) Bit Level Encryption Standard (BLES) : Version-III
5) Energy Efficient Multi Level Authentication in Adhoc Sensor Network
6) Energy Efficient Encryption Using Counter Mode of Operation in Wireless Sensor Network
7) Advanced Symmetric Key Cryptosystem Using Bit and Byte Level Encryption Methods with Feedback
8) Modern Encryption Standard (MES) : Version III
Session: Quantum Computing
1) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 1
2) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 2
3) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 3
4) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 4
5) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 5
6) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 6
7) Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 7
Session: Grammar Rules And Text Compression Methods
1) Improving Compression Performance with a Star Encoding Front End: A Linguistic Comparison
2) Automated Semantics Treatment of Sequence Diagram Defining Grammar Rules

Om forfatteren

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.