International Conference on Theoretical and Mathematical Foundations of Computer Science
(TMFCS-09)
Orlando, Florida, USA, July 13-16, 2009
Zoran Majkic, R.Radha, Sun-Yuan Hsieh (Editors)
ISBN: 978-1-60651-014-8
Publisher: ISRST
Website: http://www.PromoteResearch.org

 

Contents:

 

Vasos Pavlika
A Numerical Integration Technique to Integrate a Function Known only at a Certain Number of Points not uniformly Separated
1-5

S. Baboolal
Floating-point consistency issues in multi-platform implementations of a code for electromagnetic plasma-fluid nonlinear wave simulations
6-13

Jakrapan Sukontarach, Athasit Surarerks
Parallel Addition and Subtraction for the Flexible Interval Representation System
14-19

George B. Mertzios, Walter Unger
A Parameterized Algorithm for the Preemptive Scheduling of Equal-Length Jobs
20-27

George B. Mertzios
Fast Convergence of Routing Games with Splittable Flows
28-33

Devi Prasad Bhukya, Ramachandram S
Empirical IOPS Analysis of the SAN
34-37

Zoran Majkic
Induction Principle in Relational Database Category
38-48

Ahmet Cevik
A Linear Time Algorithm for the Prediction of Compression during Multimedia Transmission
49-53

Ahmet Cevik
Cryptology in Quantum Computing
54-58

O. Rahmeh, P. Johnson
A Latency Awareness Job Distribution Algorithm for Grid Networks
59-65

Liquan ZHAO, Ling ZHANG
Foundation of Granular Computing
66-69

Bhupinder Singh Anand
The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability II: Godel and formally undecidable arithmetical propositions
70-74

Bhupinder Singh Anand
The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability IV: Turing and a sound, finitary, interpretation of PA
75-81

G. Simonin, R. Giroudeau, J.-C. Konig
Extended matching problem for a coupled-tasks scheduling problem
82-89

David Dobson, Andrew Strelzoff
Stream Processing Techniques for High Performance Optical Flow Approximation
90-95

David Turner
Algebraic Graph Colouring
96-98

Chao Yu, Zhongxuan Luo, Fengshan Liu
G2 Blending of Non-symmetric Corner by generator basis method
99-105

Shugao Xia, Xiquan Shi, Fengshan Liu
Optimal spherical parameterization of 3D closed meshes
106-109

Mark Korenblit, Vadim E. Levit
Square Rhomboids and Their Algebraic Expressions
110-117

Christina Smyre
Applying Graph Theory to Quantitatively Measure the Security of a Software System
118-125