Abstract is missing.
- Development of an Immersive Virtual Environment as A Tool for Teaching Building SciencesMehdi Setareh, Doug A. Bowman. 3-9
- Steering Autonomous Driving Agents Through Intersections in Virtual Urban EnvironmentsHongling Wang, Joseph K. Kearney, James F. Cremer, Peter Willemsen. 10-16
- Co-simulation Virtual Platform for Reconfigurable Multiprocessor Hybrid Cores DevelopmentArmando Astarloa, Jesús Lázaro, Jagoba Arias, Unai Bidarte, Aitzol Zuloaga. 17-22
- A Study on Measurement of the Amount of Incoming Light in a Virtual Green HouseJaehyub Lee, Beomjin Kim, David Erbach. 23-30
- A Power and Performance Simulator for a Single-Chip Message-Passing Parallel ArchitecturePriyadarshini Ramachandran, Charles W. Lewis Jr., James M. Baker Jr.. 31-37
- Framework for Risk Analysis in Multimedia Environmental Systems: Modeling Individual Steps of a Risk Analysis ProcessAnuj R. Shah, Karl J. Castleton, Bonnie L. Hoopes. 38-44
- An Architecture for the Integration of Multimedia Heterogeneous Data SourcesAngelo Chianese, Vincenzo Moscato, Antonio Picariello, Antonio Maria Rinaldi. 45-51
- An Adaptable, Role-Based Simulator for P2P NetworksVasilios Darlagiannis, Andreas Mauthe, Nicolas Liebau, Ralf Steinmetz. 52-59
- Deployment of Modeling and Simulation Techniques to Facilitate Visualization of Complex StructuresAshraf M. Ghaly, Michael Losure. 60-68
- Geolocating Marine Buoys in a Fully Immersive Three Dimensional EnvironmentChristopher A. Brown, Georgios A. Demetriou, Louise Perkins. 69-73
- Mathematical Model of Flow of Fluid in 3D Porous MediaHong Li, Ali K. Setoodehnia. 74-80
- A Ground-Based Urban 3D Data Acquisition and Processing SystemAiwu Zhang, Weidong Sun, Shaoxing Hu, Cheng Qian. 81-87
- Integrated 3-D Animation System for Decentralized Controlled Space Telescope Test-bedHelen Boussalis, Charles Liu, Jane Dong, Khosrow Rad, Catherine Alpas, Yulu Chen, Yeva Komandyan, Xiaoqiang Ren, Wie Sun. 88-96
- Preparing for the Soldier for a Technological BattlefieldSriprakash Sarathy, Sarah M. North, Roy George, Max M. North. 97-103
- Simulator Design for Security SystemsKaninda Musumbu. 104-110
- Computer Based Dc Motor Speed Control by Using LabVIEW SoftwareMohammad A. K. Alia, Mohammad K. Abu Zalata. 111-117
- Simulation of Raindrop Behaviors on Vehicle WindshieldYonggao Yang, Xusheng Wang, Yukong Zhang. 118-124
- Integration of Small Aircraft Transportation Systems (SATS ) with General Aviation(GA) - An Operational Feasibility StudyMassoud Bazargan. 125-130
- Efficient Asynchronous Terrain Paging for Interactive Visual SimulationYing Zhu. 131-134
- A Database Schema for Constructing Visual QueriesClifton G. M. Presser. 135-142
- Establishment and Validation of a Finite Element Model of Human FingertipLihua Zhou, Wan-Chen Wu, Mandayam A. Srinivasan. 143-149
- Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVSGabriel Andrés Wainer, Norbert Giambiasi. 150-156
- A Finite Difference Solution to the Forward Problem of ElectrocardiographyRobert D. Adams, Nagendra Singh, Reza Adhami. 157-161
- Three-Dimensional Biomedical Optical Image Reconstruction with Referenced Sensitivity AnalysisChaoyang Zhang, Yang Ye. 162-168
- Speed and Efficiency Considerations in the Calculation of Planning Target Volumes (PTV) in Radiation Therapy PlanningOktay Alkin. 169-175
- Modeling and Performance Analysis of a Healthcare Admission and Utilization Processes using Visual SLAM and AweSim Simulation PackageAhmed E. Barbour. 176-182
- Computational Performance Analysis for Nonlinear, Nonautonomous Differential Equations with Periodic CoefficientsMark Tillman, John Stensby. 183-187
- An Extended Variational Calculus Approach to Optimal Checkpoint PlacementYibei Ling, Jie Mi, Xiaola Lin. 188-194
- Timed Petri Nets, Linear Logic, and Performance ModelingVijay Gehlot. 195-200
- The Domino Effect and Linear RecursionFeng-Jen Yang. 201-206
- Numerical Stability and Convergence Analysis of Geometric Constraint Enforcement in Dynamic Simulation SystemsHonjun Jeon, Min-Hyung Choi, Min Hong. 207-213
- Combined Modeling and Control Using a GTDOF SchemeLászló Keviczky, Csilla Bányász. 214-220
- Transaction Level Modeling of Network Protocols Using JavaSherif G. Aly. 221-226
- Finite Element Model CompressionJianjiang Zeng, Wenliang Chen, Jianjun Zhai. 227-234
- E-Business Technology Adaptation through Workflow MiningLeo Pudhota, Elizabeth Chang, John R. Venable. 235-238
- Modeling of Warehouse and Its AnalysesFan Wu, Mi-Cheng Lu. 239-245
- Design and Implementation of a Workflow Rendering EngineJason A. Pamplin, Ying Zhu. 246-251
- Distributed Interactive Simulation Using Multimodal Interfaces - An ExperienceManju G., Sumam Mary Idicula, David Peter S.. 252-259
- Modelling the Mathematical Behaviour of a Computerized Hierarchical QuestionnaireMartin Paradis, Sylvain Delisle. 260-266
- The Implementation of Dynamic Engineering Document Based on XML TechnologyJianjun Zhai, Wenliang Chen, Xiaoping Yan. 267-269
- An Efficient Distributed Deadlock Modelling Tool Using High-Level NetS. Mukherhjee. 270-276
- Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production CellFranco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo. 277-288
- Efficient Methodology and Robust Infrastructure for Assigning Weapons to TargetsZbigniew Bogdanowicz, Norman Coleman. 289-295
- Computational Analysis of Microwave Heating in Single and Multi-Mode Resonant CavitiesDusko D. Dincov. 296-301
- An Assessment Model on AHP for Water Environmental Health Risk AnalysisJiazhong Qian, Yong Liu, Xiaoguang Ge, Jiaquan Wang. 302-310
- An Effective QBF Solver for Planning ProblemsCharles Otwell, Anja Remshagen, Klaus Truemper. 311-316
- On the Conversion between Number SystemsHoussain Kettani. 317-320
- Symbolic Stochastic SystemsKumar Jeev, Jean-Louis Lassez. 321-328
- dA New Matrix Transpose MethodJiang Guo, Vladimir Akis. 329-334
- A Determinant Representation of Degrees 3 and 6 Invariants of a 3-ary Form of Degree 4Fengmei Zou, Mandel Shi. 335-339
- Modified Continuous Valued Number SystemS. Srivanasont, A. Surarerks. 340-344
- A Comparison of Constraint Handling Rules with Equivalent Transformation RulesYoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa. 345-351
- Trajectory-based Morphological Operators: A Morphological Model for Tool Path ComputationAntonio Jimeno-Morenilla, Francisco Maciá Pérez, Juan Manuel García Chamizo. 352-357
- On Two Problems of w-Wide Distance and (w-1)-Fault Distance, w-Wide Diameter ad (w-1)-Fault DiameterWenguo Wei, Ling Zhang, Shoubin Dong, Bolian Liu. 358-361
- Normalized Isomorphic Preconditioned Methods for Solving Sparse Non-Linear SystemsGeorge A. Gravvanis, Konstantinos M. Giannoutakis. 362-372
- Towards Quality of Service Based Resource Management for Cluster-Based Image DatabaseAndreas Brüning, Frank Drews, Martin Hoefer, Odej Kao, Ulf Rerrer. 373-379
- The First Stage of a System Verification Strategy for API-CalculusShahram Rahimi, Namdar Mogharreban, Raheel Ahmad. 380-385
- AFKAR: A Logo Turtle Educational ToolAhmad S. Hindawi, Iyad A. Ajwa. 386-390
- Equivalent Transformation Computation ModelItaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani. 391-398
- Stochastic Sorting Using Deterministic Consecutive and Leader FiltersB. John Oommen, Jack R. Zgierski, Doron Nussbaum. 399-405
- S(b)-Trees: An Optimal Balancing of Variable Length KeysKonstantin V. Shvachko. 406-412
- An Efficient Distributed Algorithm for Ear DecompositionYung H. Tsin. 413-418
- Fast Computation of Factorials of NumbersHenry Thompson, Ahmet Ugur. 419-422
- The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied CryptographyCharlie Obimbo, Stephen Doxsee. 423-426
- On Subspace System Identification Algorithms Implemented through Sequences of Modified Householder AlgorithmsCatarina J. M. Delgado, P. Lopes dos Santos. 427-432
- Comparison of Clique-Listing AlgorithmsEric R. Harley. 433-438
- MABAC - Matrix Based Clustering AlgorithmYonghui Chen, Alan P. Sprague, Kevin D. Reilly. 439-443
- An Algorithm for Removing Artifacts in Wavelet ExpansionsXiaoping Shen. 444-452
- Multi-Dimensional Analysis of Multi-Tube Pulse Detonation Engines Using Hydrocarbon FuelsHoushang B. Ebrahimi, Faure J. Malo-Molina. 453-463
- On Visualization and Implementation of AlgorithmsTomasz Müldner, Elhadi Shakshuki. 464-470
- Interactive Device Modelling Using Virtual Modelling LanguageA. Damoni, D. Mukherjee. 471-474
- Correctness Criteria for Models Validation- A Philosophical PerspectiveIjeoma Sandra Irobi, Johan Andersson, Anders Wall. 475-476
- Reliability Evaluation Using Fault Trees Based on Monte Carlo SimulationMohammad Hadi Valavi, Seyed Ghassem Miremadi. 477-480
- Voice Quality of Service in Cable IP NetworkAli K. Setoodehnia, Hong Li, Kamal Shahrabi, Mojtaba Shariat. 481-487
- Applying Knowledge Elicitation Techniques to Construct Membrane Flight SimulationCharita Brent, John Trimble. 488
- Advanced Relation Model for Program Visualization (ARM 4 PV)Brian J. d Auriol. 489-493
- Support Configuration Framework for Analyzing Complex Networks of EntitiesAleksey M. Urmanov, Anton Bougaev, K. Gross, Andrei V. Gribok. 494-500
- On the Asymptotic Stability of Systems of Differential Equations with Piecewise Constant ArgumentsG. H. Turner. 501-506
- A Property for Church-Turing ThesisUlisses Ferreira. 507-513
- On the Busy-Beaver ProblemUlisses Ferreira. 514-518
- On Turing s Proof of the Undecidability of the Halting ProblemUlisses Ferreira. 519-522
- The Real Set Can Be Seen As DenumerableUlisses Ferreira. 523