FCS'07: June 26, 2007 Schedule

To select a different day CLICK HERE

6:45am - 5:00pm:  Registration (Second Floor, Conference Lobby: 1-5)


SESSION 1-FCS:    ALGORITHMS AND APPLICATIONS
                  Chairs: Dr. Sungbum Hong* and Dr. Norm Howes**
                  *Jackson State University, Jackson, MS, USA
                  **Institute for Defense Analyses, Alexandria, Virginia, USA
                  June 26, 2007 (Tuesday); 08:00am - 10:00am
                  (LOCATION: Ballroom 8)

08:00 - 08:20am:  Coordinating Planning Agents for Moderately and Tightly-Coupled
                  Tasks
                  J. Renze Steenhuisen and Cees Witteveen
                  Delft University of Technology, The Netherlands

08:20 - 08:40am:  A Case Study of Formal Verification for Multi-Level Pipeline
                  Logic Circuit by Using Mizar Proof Checker
                  Katsumi Wasaki and Kenichi Arai
                  Shinshu University, Japan

08:40 - 09:00am:  Mutual Information and Algorithmic Information Transfer as
                  Ideal Undirected and Directed Independence Tests
                  Bruno Bauwens, Bart Wyns, Dieter Devlaminck, Georges Otte,
                  Luc Boullart, and Patrick Santens
                  Ghent University, Belgium

09:00 - 09:20am:  Sampling from Independence Systems
                  Andras Farago
                  The University of Texas at Dallas, Richardson, Texas, USA

09:20 - 09:40am:  Maximum Flow with a Faster Way of Computing a Blocking Flow
                  Yijie Han
                  University of Missouri at Kansas City, Kansas City, MO, USA

09:40 - 10:00am:  Optimal Algorithms for Locating the Longest Segment Satisfying
                  a Range Constraint on Sum or Average
                  Chih-Chiang Yu, Yong-Hsiang Hsieh, and Biing-Feng Wang
                  National Tsing Hua Univesiry, Taiwan

10:00 - 10:20am:  BREAK


10:20a - 02:40p:  During this period, FCS attendees are encouraged to participate
                  in sessions belonging to PDPTA'07, BIOCOMP'07, SERP'07, or
                  FECS'07.  These sessions discuss topics that overlap the
                  scope of FCS.


02:40 - 03:20pm:  DISCUSSION SESSION A-FCS (Refreshments will be available)
                  June 26 (Tuesday)
                  (LOCATION: Hallways - Ballrooms 6-8)

                  O.  Nonlinear Optimization Algorithms for Hybrid Controller
                      Design of Switched Systems
                      Nesrine Messaadi, Hajer Bouzaouache, and Naceur Benhadj Braiek
                      Ecole Polytechnique de Tunisie, Tunisia
                  O.  Compilation of Higher-Order Concurrent Programs into
                      First-Order Programs on Recursive Graph Rewriting Model
                      Masaki Murakami
                      Okayama University, Japan
                  O.  Algorithm for Finding a Nash Equilibrium of a Two-Player Game
                      in the Strategic Form Using Convex Hull
                      Toshinori Yamada and Hiroyuki Ishii
                      Saitama University, Japan


SESSION 2-FCS:    ALGORITHMS AND APPLICATIONS
                  Chairs: Prof. Douglas Harris* and Dr. Norm Howes**
                  *Marquette University, Milwaukee, Wisconsin, USA
                  **Institute for Defense Analyses, Alexandria, Virginia, USA
                  June 26, 2007 (Tuesday); 03:20pm - 06:20pm
                  (LOCATION: Ballroom 8)

03:20 - 03:40pm:  A Mass Formula for Cyclic Self-Orthogonal Codes
                  Chekad Sarami
                  Fayetteville State University, North Carolina, USA

03:40 - 04:00pm:  On Classication of Generalized Hadamard Matrices
                  Chekad Sarami
                  Fayetteville State University, North Carolina, USA

04:00 - 04:20pm:  Application of Braid Groups for Information Processing
                  Janusz Jacak, I. Jozwiak, and L. Jacak
                  Wroclaw University of Technology, Poland

04:20 - 04:40pm:  Patterns of Protocols
                  Douglas Harris
                  Marquette University, Milwaukee, Wisconsin, USA

04:40 - 05:00pm:  The Complexity of Futile Questioning
                  Anja Remshagen and Klaus Truemper
                  University of West Georgia, Carrollton, Georgia, USA;
                  University of Texas at Dallas, Richardson, Texas, USA

05:00 - 05:20pm:  An Algebraic Characterization of Wolper's Logic
                  Z. Esik and G. S. Martin
                  Rovira i Virgili University, Spain;
                  University of Szeged, Hungary

05:20 - 05:40pm:  A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques
                  Jaroslav Lajos and M. H. Samadzadeh
                  Oklahoma State University, Stillwater, Oklahoma, USA

05:40 - 06:00pm:  Finding Two Disjoint Paths in a Network with Minsum-Minmin
                  Objective Function
                  Bing Yang, S. Q. Zheng, and Enyue Lu
                  Cisco Systems, USA;
                  University of Texas at Dallas, Richardson, Texas, USA;
                  Salisbury University, Salisbury, MD, USA

06:00 - 06:20pm:  Hypergraph Algorithms with Network Applications
                  S. Q. Zheng and Shaoyang Liu
                  University of Texas at Dallas, Richardson, Texas, USA


06:00 - 09:00pm:  FIVE TUTORIALS  (planned)

                  Real-Time Image and Video Processing: From Research to Reality
                  Prof. Nasser Kehtarnavaz
                  University of Texas at Dallas, Texas, USA
                  Location: Ballroom 1

                  Moving On, Moving Online That Is: An Introduction to Teaching Online
                  Dr. Michael L. Nelson
                  School of Technology Graduate Program Director, International College,
                  Ft. Myers, Florida, USA
                  Location: Ballroom 2

                  Computational Challenges in RNAi Gene Silencing
                  Amanda Birmingham
                  Dharmacon, Thermo Fisher Scientific, Bioinformatics Manager, USA
                  Location: Ballroom 3

                  Introduction to Game Programming
                  Lakshmi Prayaga
                  University of West Florida, Pensacola, Florida, USA
                  Location: Ballroom 4

                  The Integrated Microbial Genomes system (IMG)
                  Dr. Konstantinos Mavrommatis
                  Genome Biology Program, DOE Joint Genome Institute, California, USA
                  Location: Ballroom 5

To select a different day CLICK HERE