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 BibTeX
Virtual Environments
- Mehdi Setareh, Doug A. Bowman:
Development of an Immersive Virtual Environment as A Tool for Teaching Building Sciences.
3-9 BibTeX
- Hongling Wang, Joseph K. Kearney, James F. Cremer, Peter Willemsen:
Steering Autonomous Driving Agents Through Intersections in Virtual Urban Environments.
10-16 BibTeX
- Armando Astarloa, Jesús Lázaro, Jagoba Arias, Unai Bidarte, Aitzol Zuloaga:
Co-simulation Virtual Platform for Reconfigurable Multiprocessor Hybrid Cores Development.
17-22 BibTeX
- Jaehyub Lee, Beomjin Kim, David Erbach:
A Study on Measurement of the Amount of Incoming Light in a Virtual Green House.
23-30 BibTeX
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 BibTeX
- 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 BibTeX
- Angelo Chianese, Vincenzo Moscato, Antonio Picariello, Antonio Maria Rinaldi:
An Architecture for the Integration of Multimedia Heterogeneous Data Sources.
45-51 BibTeX
- Vasilios Darlagiannis, Andreas Mauthe, Nicolas Liebau, Ralf Steinmetz:
An Adaptable, Role-Based Simulator for P2P Networks.
52-59 BibTeX
- Ashraf M. Ghaly, Michael Losure:
Deployment of Modeling and Simulation Techniques to Facilitate Visualization of Complex Structures.
60-68 BibTeX
3D & Multidimensional Environments
- Christopher A. Brown, Georgios A. Demetriou, Louise Perkins:
Geolocating Marine Buoys in a Fully Immersive Three Dimensional Environment.
69-73 BibTeX
- Hong Li, Ali K. Setoodehnia:
Mathematical Model of Flow of Fluid in 3D Porous Media.
74-80 BibTeX
- Aiwu Zhang, Weidong Sun, Shaoxing Hu, Cheng Qian:
A Ground-Based Urban 3D Data Acquisition and Processing System.
81-87 BibTeX
- 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 BibTeX
Mechanical Simulation
Visualization
Medical Applications
Algorithms
- Mark Tillman, John Stensby:
Computational Performance Analysis for Nonlinear, Nonautonomous Differential Equations with Periodic Coefficients.
183-187 BibTeX
- Yibei Ling, Jie Mi, Xiaola Lin:
An Extended Variational Calculus Approach to Optimal Checkpoint Placement.
188-194 BibTeX
- Vijay Gehlot:
Timed Petri Nets, Linear Logic, and Performance Modeling.
195-200 BibTeX
- Feng-Jen Yang:
The Domino Effect and Linear Recursion.
201-206 BibTeX
- Honjun Jeon, Min-Hyung Choi, Min Hong:
Numerical Stability and Convergence Analysis of Geometric Constraint Enforcement in Dynamic Simulation Systems.
207-213 BibTeX
- László Keviczky, Csilla Bányász:
Combined Modeling and Control Using a GTDOF Scheme.
214-220 BibTeX
- Sherif G. Aly:
Transaction Level Modeling of Network Protocols Using Java.
221-226 BibTeX
- Jianjiang Zeng, Wenliang Chen, Jianjun Zhai:
Finite Element Model Compression.
227-234 BibTeX
Applications
- Leo Pudhota, Elizabeth Chang, John R. Venable:
E-Business Technology Adaptation through Workflow Mining.
235-238 BibTeX
- Fan Wu, Mi-Cheng Lu:
Modeling of Warehouse and Its Analyses.
239-245 BibTeX
- Jason A. Pamplin, Ying Zhu:
Design and Implementation of a Workflow Rendering Engine.
246-251 BibTeX
- Manju G., Sumam Mary Idicula, David Peter S.:
Distributed Interactive Simulation Using Multimodal Interfaces - An Experience.
252-259 BibTeX
- Martin Paradis, Sylvain Delisle:
Modelling the Mathematical Behaviour of a Computerized Hierarchical Questionnaire.
260-266 BibTeX
- Jianjun Zhai, Wenliang Chen, Xiaoping Yan:
The Implementation of Dynamic Engineering Document Based on XML Technology.
267-269 BibTeX
- S. Mukherhjee:
An Efficient Distributed Deadlock Modelling Tool Using High-Level Net.
270-276 BibTeX
- Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.
277-288 BibTeX
AMCS
Applications of Mathematical Computations
Symbolic Computation Systems & Automated Solvers
Computational Mathematics
- Jiang Guo, Vladimir Akis:
dA New Matrix Transpose Method.
329-334 BibTeX
- Fengmei Zou, Mandel Shi:
A Determinant Representation of Degrees 3 and 6 Invariants of a 3-ary Form of Degree 4.
335-339 BibTeX
- S. Srivanasont, A. Surarerks:
Modified Continuous Valued Number System.
340-344 BibTeX
- Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa:
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
345-351 BibTeX
- 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 BibTeX
- 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 BibTeX
- George A. Gravvanis, Konstantinos M. Giannoutakis:
Normalized Isomorphic Preconditioned Methods for Solving Sparse Non-Linear Systems.
362-372 BibTeX
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 BibTeX
- Shahram Rahimi, Namdar Mogharreban, Raheel Ahmad:
The First Stage of a System Verification Strategy for API-Calculus.
380-385 BibTeX
- Ahmad S. Hindawi, Iyad A. Ajwa:
AFKAR: A Logo Turtle Educational Tool.
386-390 BibTeX
On the Termination of Non-Deterministic Programs Based on the
- Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani:
Equivalent Transformation Computation Model.
391-398 BibTeX
Algorithms
Late Papers
- Houshang B. Ebrahimi, Faure J. Malo-Molina:
Multi-Dimensional Analysis of Multi-Tube Pulse Detonation Engines Using Hydrocarbon Fuels.
453-463 BibTeX
- Tomasz Müldner, Elhadi Shakshuki:
On Visualization and Implementation of Algorithms.
464-470 BibTeX
- A. Damoni, D. Mukherjee:
Interactive Device Modelling Using Virtual Modelling Language.
471-474 BibTeX
- Ijeoma Sandra Irobi, Johan Andersson, Anders Wall:
Correctness Criteria for Models' Validation- A Philosophical Perspective.
475-476 BibTeX
- Mohammad Hadi Valavi, Seyed Ghassem Miremadi:
Reliability Evaluation Using Fault Trees Based on Monte Carlo Simulation.
477-480 BibTeX
- Ali K. Setoodehnia, Hong Li, Kamal Shahrabi, Mojtaba Shariat:
Voice Quality of Service in Cable IP Network.
481-487 BibTeX
- Charita Brent, John Trimble:
Applying Knowledge Elicitation Techniques to Construct Membrane Flight Simulation.
488 BibTeX
- Brian J. d'Auriol:
Advanced Relation Model for Program Visualization (ARM 4 PV).
489-493 BibTeX
- Aleksey M. Urmanov, Anton Bougaev, K. Gross, Andrei V. Gribok:
Support Configuration Framework for Analyzing Complex Networks of Entities.
494-500 BibTeX
- G. H. Turner:
On the Asymptotic Stability of Systems of Differential Equations with Piecewise Constant Arguments.
501-506 BibTeX
- Ulisses Ferreira:
A Property for Church-Turing Thesis.
507-513 BibTeX
- Ulisses Ferreira:
On the Busy-Beaver Problem.
514-518 BibTeX
- Ulisses Ferreira:
On Turing's Proof of the Undecidability of the Halting Problem.
519-522 BibTeX
- Ulisses Ferreira:
The Real Set Can Be Seen As Denumerable.
523- BibTeX
Copyright © Sat May 16 23:30:53 2009
by Michael Ley (ley@uni-trier.de)
