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

The 2014 WorldComp International Conference Proceedings Series

Foundations of Computer Science

Paperback
February 2015
9781601322708
More details
  • Publisher
    CSREA
  • Published
    4th February 2015
  • ISBN 9781601322708
  • Language English
  • Pages 190 pp.
  • Size 8" x 11"
$54.95
E-Book

E-books are now distributed via VitalSource

VitalSource offer a more seamless way to access the ebook, and add some great new features including text-to-voice. You own your ebook for life, it is simply hosted on the vendor website, working much like Kindle and Nook. Click here to see more detailed information on this process.

December 2014
9781601323163
More details
  • Publisher
    CSREA
  • Published
    30th December 2014
  • ISBN 9781601323163
  • Language English
  • Pages 190 pp.
  • Size 8" x 11"
$39.95

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

Selected topics include:

* Graph Based Methods and Applications + Related Issues

* Algorithms + Finite State Machine + Computational Science + Languages and Systems

* Quantum Computing

* Posters

* Late Breaking Papers and Position Papers: Foundations of Computer Science

SESSION: GRAPH BASED METHODS AND APPLICATIONS + RELATED ISSUES
1) Asynchronous P Systems for Uniform Graph Partitioning and Related Graph Problems—Kota Hasuo, Akihiro Fujiwara
2) Math Words and their Dendrograms—Francisco Casanova del Angel
3) Improved Computing Performance for Algorithm Finding the Shortest Path in Extended Graph—Lau Nguyen Dinh, Chien Tran Quoc, Thanh Le Manh

SESSION: ALGORITHMS + FINITE STATE MACHINE + COMPUTATIONAL SCIENCE + LANGUAGES AND SYSTEMS
1) A Tail Recursive Scheme for Exact Real Number Computation Based on LRT, GMP and FC++—J. Raymundo Marcial-Romero, J. A. Hernandez, Vianney Munoz, Guillermo De Ita, Lourdes Rivas
2) Tackling Sequences From Prudent Self-Avoiding Walks—Shanzhen Gao, Keh-Hsun Chen
3) Model-based Automated Testing using a Record-Replay Mechanism—Junwon Kang, Hyunmin Yoon, Jaemoon Seo, Joongwon Roh, Minsoo Ryu
4) Counting Lattice Paths and Walks with Several Step Vectors—Shanzhen Gao, Keh-Hsun Chen
5) Fixed Share Scheduling via Dynamic Weight Adjustment in Proportional Share Scheduling Systems—Hyungwoo Kim, Hyunmin Yoon, Peng Wu, Minsoo Ryu

SESSION: QUANTUM COMPUTING
1) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 1—Jack Horner
2) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 2—Jack Horner
3) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 3—Jack Horner
4) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 4—Jack Horner
5) Quantum-Intersection Equivalents of the Orthomodularity Law in Quantum Logic: Part 5—Jack Horner
6) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 1—Jack Horner
7) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 2—Jack Horner
8) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 3—Jack Horner
9) Quantum-Identity Equivalents of the Orthomodularity Law in Quantum Logic: Part 4—Jack Horner
10) Quantum-Identity Equivalents of the Orhtmodularity Law in Quantum Logic: Part 5—Jack Horner
11) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 1—Jack Horner
12) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 2—Jack Horner
13) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 3—Jack Horner
14) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 4—Jack Horner
15) Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 5—Jack Horner

SESSION: POSTERS
1) A Study on the Public Opinion on the Issue of Cost Sharing in Higher Education in Taiwan—Hsiu-Hsi Liu

SESSION: LATE BREAKING PAPERS AND POSITION PAPERS: FOUNDATIONS OF COMPUTER SCIENCE
1) Evolving Systems—Igor Schagaev, Luc Blaeser, Simon Monkman
2) Control Operators vs. Graph Logic Model—Igor Schagaev
3) Concrete State Machine Language (CSML) —Nelson Rushton

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