MSV/AMCS 2004: Las Vegas, Nevada, USA
Hamid R. Arabnia, Rose Joshua, Iyad A. Ajwa, George A. Gravvanis (Eds.): Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV '04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS '04, June 21-24, 2004, Las Vegas, Nevada, USA. CSREA Press 2004 ISBN 1-932415-34-3
Virtual Environments
- Mehdi Setareh, Doug A. Bowman: Development of an Immersive Virtual Environment as A Tool for Teaching Building Sciences. 3-9
- Hongling Wang, Joseph K. Kearney, James F. Cremer, Peter Willemsen: Steering Autonomous Driving Agents Through Intersections in Virtual Urban Environments. 10-16
- Armando Astarloa, Jesús Lázaro, Jagoba Arias, Unai Bidarte, Aitzol Zuloaga: Co-simulation Virtual Platform for Reconfigurable Multiprocessor Hybrid Cores Development. 17-22
- Jaehyub Lee, Beomjin Kim, David Erbach: A Study on Measurement of the Amount of Incoming Light in a Virtual Green House. 23-30
Complex Structures
- Priyadarshini Ramachandran, Charles W. Lewis Jr., James M. Baker Jr.: A Power and Performance Simulator for a Single-Chip Message-Passing Parallel Architecture. 31-37
- Anuj R. Shah, Karl J. Castleton, Bonnie L. Hoopes: Framework for Risk Analysis in Multimedia Environmental Systems: Modeling Individual Steps of a Risk Analysis Process. 38-44
- Angelo Chianese, Vincenzo Moscato, Antonio Picariello, Antonio Maria Rinaldi: An Architecture for the Integration of Multimedia Heterogeneous Data Sources. 45-51
- Vasilios Darlagiannis, Andreas Mauthe, Nicolas Liebau, Ralf Steinmetz: An Adaptable, Role-Based Simulator for P2P Networks. 52-59
- Ashraf M. Ghaly, Michael Losure: Deployment of Modeling and Simulation Techniques to Facilitate Visualization of Complex Structures. 60-68
3D & Multidimensional Environments
- Christopher A. Brown, Georgios A. Demetriou, Louise Perkins: Geolocating Marine Buoys in a Fully Immersive Three Dimensional Environment. 69-73
- Aiwu Zhang, Weidong Sun, Shaoxing Hu, Cheng Qian: A Ground-Based Urban 3D Data Acquisition and Processing System. 81-87
- Helen Boussalis, Charles Liu, Jane Dong, Khosrow Rad, Catherine Alpas, Yulu Chen, Yeva Komandyan, Xiaoqiang Ren, Wie Sun: Integrated 3-D Animation System for Decentralized Controlled Space Telescope Test-bed. 88-96
Mechanical Simulation
- Sriprakash Sarathy, Sarah M. North, Roy George, Max M. North: Preparing for the Soldier for a Technological Battlefield. 97-103
- Kaninda Musumbu: Simulator Design for Security Systems. 104-110
- Mohammad A. K. Alia, Mohammad K. Abu Zalata: Computer Based Dc Motor Speed Control by Using LabVIEW Software. 111-117
- Yonggao Yang, Xusheng Wang, Yukong Zhang: Simulation of Raindrop Behaviors on Vehicle Windshield. 118-124
- Massoud Bazargan: Integration of Small Aircraft Transportation Systems (SATS ) with General Aviation(GA) - An Operational Feasibility Study. 125-130
Visualization
- Ying Zhu: Efficient Asynchronous Terrain Paging for Interactive Visual Simulation. 131-134
- Clifton G. M. Presser: A Database Schema for Constructing Visual Queries. 135-142
Medical Applications
- Lihua Zhou, Wan-Chen Wu, Mandayam A. Srinivasan: Establishment and Validation of a Finite Element Model of Human Fingertip. 143-149
- Gabriel A. Wainer, Norbert Giambiasi: Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS. 150-156
- Robert D. Adams, Nagendra Singh, Reza Adhami: A Finite Difference Solution to the Forward Problem of Electrocardiography. 157-161
- Chaoyang Zhang, Yang Ye: Three-Dimensional Biomedical Optical Image Reconstruction with Referenced Sensitivity Analysis. 162-168
- Oktay Alkin: Speed and Efficiency Considerations in the Calculation of Planning Target Volumes (PTV) in Radiation Therapy Planning. 169-175
- Ahmed E. Barbour: Modeling and Performance Analysis of a Healthcare Admission and Utilization Processes using Visual SLAM and AweSim Simulation Package. 176-182
Algorithms
- Mark Tillman, John Stensby: Computational Performance Analysis for Nonlinear, Nonautonomous Differential Equations with Periodic Coefficients. 183-187
- Yibei Ling, Jie Mi, Xiaola Lin: An Extended Variational Calculus Approach to Optimal Checkpoint Placement. 188-194
- Vijay Gehlot: Timed Petri Nets, Linear Logic, and Performance Modeling. 195-200
- Feng-Jen Yang: The Domino Effect and Linear Recursion. 201-206
- Honjun Jeon, Min-Hyung Choi, Min Hong: Numerical Stability and Convergence Analysis of Geometric Constraint Enforcement in Dynamic Simulation Systems. 207-213
- Sherif G. Aly: Transaction Level Modeling of Network Protocols Using Java. 221-226
Applications
- Leo Pudhota, Elizabeth Chang, John R. Venable: E-Business Technology Adaptation through Workflow Mining. 235-238
- Manju G., Sumam Mary Idicula, S. David Peter: Distributed Interactive Simulation Using Multimodal Interfaces - An Experience. 252-259
- Martin Paradis, Sylvain Delisle: Modelling the Mathematical Behaviour of a Computerized Hierarchical Questionnaire. 260-266
- Jianjun Zhai, Wenliang Chen, Xiaoping Yan: The Implementation of Dynamic Engineering Document Based on XML Technology. 267-269
- S. Mukherhjee: An Efficient Distributed Deadlock Modelling Tool Using High-Level Net. 270-276
- Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo: Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. 277-288
AMCS
Applications of Mathematical Computations
- Zbigniew R. Bogdanowicz, Norman Coleman: Efficient Methodology and Robust Infrastructure for Assigning Weapons to Targets. 289-295
- Dusko D. Dincov: Computational Analysis of Microwave Heating in Single and Multi-Mode Resonant Cavities. 296-301
- Jiazhong Qian, Yong Liu, Xiaoguang Ge, Jiaquan Wang: An Assessment Model on AHP for Water Environmental Health Risk Analysis. 302-310
Symbolic Computation Systems & Automated Solvers
- Charles Otwell, Anja Remshagen, Klaus Truemper: An Effective QBF Solver for Planning Problems. 311-316
- Houssain Kettani: On the Conversion between Number Systems. 317-320
Computational Mathematics
- Fengmei Zou, Mandel Shi: A Determinant Representation of Degrees 3 and 6 Invariants of a 3-ary Form of Degree 4. 335-339
- Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa: A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. 345-351
- Antonio Jimeno-Morenilla, Francisco Maciá Pérez, Juan Manuel García Chamizo: Trajectory-based Morphological Operators: A Morphological Model for Tool Path Computation. 352-357
- Wenguo Wei, Ling Zhang, Shoubin Dong, Bolian Liu: On Two Problems of w-Wide Distance and (w-1)-Fault Distance, w-Wide Diameter ad (w-1)-Fault Diameter. 358-361
- George A. Gravvanis, Konstantinos M. Giannoutakis: Normalized Isomorphic Preconditioned Methods for Solving Sparse Non-Linear Systems. 362-372
Software Design & Implementation
- Andreas Brüning, Frank Drews, Martin Hoefer, Odej Kao, Ulf Rerrer: Towards Quality of Service Based Resource Management for Cluster-Based Image Database. 373-379
- Shahram Rahimi, Namdar Mogharreban, Raheel Ahmad: The First Stage of a System Verification Strategy for API-Calculus. 380-385
- Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani: On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. 391-398
Algorithms
- B. John Oommen, Jack R. Zgierski, Doron Nussbaum: Stochastic Sorting Using Deterministic Consecutive and Leader Filters. 399-405
- Konstantin V. Shvachko: S(b)-Trees: An Optimal Balancing of Variable Length Keys. 406-412
- Yung H. Tsin: An Efficient Distributed Algorithm for Ear Decomposition. 413-418
- Charlie Obimbo, Stephen Doxsee: The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography. 423-426
- Catarina J. M. Delgado, P. Lopes dos Santos: On Subspace System Identification Algorithms Implemented through Sequences of Modified Householder Algorithms. 427-432
- Eric R. Harley: Comparison of Clique-Listing Algorithms. 433-438
- Xiaoping Shen: An Algorithm for Removing Artifacts in Wavelet Expansions. 444-452
Late Papers
- Houshang B. Ebrahimi, Faure J. Malo-Molina: Multi-Dimensional Analysis of Multi-Tube Pulse Detonation Engines Using Hydrocarbon Fuels. 453-463
- Ijeoma Sandra Irobi, Johan Andersson, Anders Wall: Correctness Criteria for Models' Validation- A Philosophical Perspective. 475-476
- Mohammad Hadi Valavi, Seyed Ghassem Miremadi: Reliability Evaluation Using Fault Trees Based on Monte Carlo Simulation. 477-480
- Ali K. Setoodehnia, Hong Li, Kamal Shahrabi, Mojtaba Shariat: Voice Quality of Service in Cable IP Network. 481-487
- Charita Brent, John Trimble: Applying Knowledge Elicitation Techniques to Construct Membrane Flight Simulation. 488
- Brian J. d'Auriol: Advanced Relation Model for Program Visualization (ARM 4 PV). 489-493
- Aleksey M. Urmanov, Anton Bougaev, K. Gross, Andrei V. Gribok: Support Configuration Framework for Analyzing Complex Networks of Entities. 494-500
- G. H. Turner: On the Asymptotic Stability of Systems of Differential Equations with Piecewise Constant Arguments. 501-506
- Ulisses Ferreira: A Property for Church-Turing Thesis. 507-513
- Ulisses Ferreira: On the Busy-Beaver Problem. 514-518
- Ulisses Ferreira: On Turing's Proof of the Undecidability of the Halting Problem. 519-522
- Ulisses Ferreira: The Real Set Can Be Seen As Denumerable. 523-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team