-
2
-
-
0034427506
-
Exploratory Analysis Model with High Resolution Simulation: The Interdiction Problem as a Case History.
-
In Proceedings of the 32nd Conference on Winter Simulation
-
Davis, P. K., J. H. Bigelow, and J. McEver. “Model Abstraction Techniques and Applications: Informing and Calibrating a Multiresolution Exploratory Analysis Model with High Resolution Simulation: The Interdiction Problem as a Case History.” In Proceedings of the 32nd Conference on Winter Simulation, 316–325. 2000.
-
(2000)
Model Abstraction Techniques and Applications: Informing and Calibrating a Multiresolution
, pp. 316-325
-
-
Davis, P.K.1
Bigelow, J.H.2
McEver, J.3
-
3
-
-
0027812507
-
Families of Models that Cross Levels of Resolution: Issues for Design
-
In Proceedings of the 25th Conference on Winter Simulation
-
Davis, P. K., and R. Hillestad. “Families of Models that Cross Levels of Resolution: Issues for Design, Calibration and Management.” In Proceedings of the 25th Conference on Winter Simulation, 1003–1012. 1993.
-
(1993)
Calibration and Management
, pp. 1003-1012
-
-
Davis, P.K.1
Hillestad, R.2
-
4
-
-
84993779495
-
Modeling Methodology: Dealing with Complexity: Exploratory Analysis Enabled by Multiresolultion, Multiperspective Modeling.
-
Davis, P. K. “Modeling Methodology: Dealing with Complexity: Exploratory Analysis Enabled by Multiresolultion, Multiperspective Modeling.” In Proceedings of the 32nd Conference on Winter Simulation, 293–302. 2000.
-
(2000)
, pp. 293-302
-
-
-
6
-
-
0242598559
-
-
RAND,.
-
Davis, P. K., and J. H. Bigelow. “Motivated Metamodels.” RAND, 2003.
-
(2003)
“Motivated Metamodels.”
-
-
-
7
-
-
0018999461
-
Concepts and Criteria to Assess Acceptability of Simulation Studies: A Frame of Reference.
-
Ören, T. I. “Concepts and Criteria to Assess Acceptability of Simulation Studies: A Frame of Reference.” CACM 24, no. 4 (1981):180–189.
-
(1981)
CACM
, vol.24
, pp. 180-189
-
-
-
8
-
-
0015345871
-
-
Wigan, M. R. “The Fitting, Calibration, and Validation of Simulation Models.” Simulation 18, no. 5 (1972):188–192.
-
(1972)
Simulation
, vol.18
, pp. 188-192
-
-
Wigan, C.1
-
9
-
-
0018699422
-
Comparison of Models of Individual Choice in a Complex Setting.
-
Goldberg, A., and E. E. Kaczka. “Comparison of Models of Individual Choice in a Complex Setting.” In Proceedings of the 11th Conference on Winter Simulation, Vol. 1, 181–185. 1979.
-
(1979)
, vol.1
, pp. 181-185
-
-
Goldberg, A.1
Kaczka, E.E.2
-
10
-
-
84882736101
-
The Myth of Science-Based Predictive Modeling.
-
Hemez, F. M. “The Myth of Science-Based Predictive Modeling.” In Foundations 2004 Workshop for Verification, Validation, and Accreditation in the 21st Century, Arizona State University, Tempe, AZ. 2004.
-
(2004)
-
-
Hemez, F.1
-
11
-
-
12144289283
-
A Framework for Validation of Computer Models.
-
Bayarri, M. J., J. O. Berger, D. Higdon, M. C. Kennedy, A. Kottas, R. Paulo, J. Sacks, J. A. Cafeo, J. Cavendish, C. H. Lin, and J. Tu. “A Framework for Validation of Computer Models.” In Foundations 2002 Workshop for Verification, Validation, and Accreditation in the 21st Century, Johns Hopkins University Applied Physics Laboratory, Laurel, MD. 2002.
-
(2002)
-
-
Bayarri, M.J.1
Berger, J.O.2
Higdon, D.3
-
15
-
-
0003653219
-
-
Cambridge, U.K.: Cambridge University Press,.
-
Kleine Büning, H., T. Lettmann, and C. J. van Rijsbergen. Propositional Logic: Deduction and Algorithms. Cambridge, U.K.: Cambridge University Press, 1999.
-
(1999)
Propositional Logic: Deduction and Algorithms
-
-
Kleine Büning, H.1
Lettmann, T.2
van Rijsbergen, C.J.3
-
16
-
-
85059770931
-
-
In Proceedings of the 3rd ACM Symposium on the Theory of Computing
-
Cook, S. “The Complexity of Theorem Proving Procedures.” In Proceedings of the 3rd ACM Symposium on the Theory of Computing, 151–158, 1971.
-
(1971)
The Complexity of Theorem Proving Procedures.
, pp. 151-158
-
-
Cook, S.1
-
17
-
-
0003037529
-
Reducibility Among Combinatorial Problems.
-
Karp, R. “Reducibility Among Combinatorial Problems.” In Complexity of Computer Computations, 85–103. New York: Plenum Press, 1972.
-
(1972)
Complexity of Computer Computations
, pp. 85-103
-
-
Karp, R.1
-
24
-
-
0015604699
-
An Effective Heuristic for the Traveling Salesman Problem.
-
Lin, S., and B. W. Kernighan. “An Effective Heuristic for the Traveling Salesman Problem.” Operations Research 21, no. 2 (1973): 498–516.
-
(1973)
Operations Research
, vol.21
, pp. 498-516
-
-
Lin, S.1
Kernighan, B.W.2
-
25
-
-
0000428343
-
Six (or so Things You Can Do with a Bad Model.
-
Hodges, J. S. “Six (or so) Things You Can Do with a Bad Model.” Operations Research 39, no. 3 (1991):355–365.
-
(1991)
Operations Research
, vol.39
, pp. 355-365
-
-
-
26
-
-
0003442373
-
Numerical Methods for Scientists and Engineers
-
Hamming, R. W. Numerical Methods for Scientists and Engineers. 2d ed. Dover Publications, 1987. (1st ed. 1962)
-
(1962)
-
-
Hamming, R.W.1
-
27
-
-
84993696837
-
The Purpose of Mathematical Models is Insight, Not Numbers.
-
Vazsonyi, A. “The Purpose of Mathematical Models is Insight, Not Numbers.” Decision Line (December/January 1998).
-
(1998)
Decision Line
-
-
-
28
-
-
0020381028
-
Modeling for Insights, Not Numbers: The Experiene of the Energy Modeling Forum.
-
Huntington, G., J. Weyant, and J. Sweeney. “Modeling for Insights, Not Numbers: The Experiene of the Energy Modeling Forum.” Omega 10 (1982): 449–462.
-
(1982)
Omega
, vol.10
, pp. 449-462
-
-
Huntington, G.1
Weyant, J.2
-
29
-
-
77957178867
-
Insight, Not Numbers.
-
Samet, P. A. “Insight, Not Numbers.” The Computer Journal 15, no. 1 (1972): 88–92.
-
(1972)
The Computer Journal
, vol.15
, pp. 88-92
-
-
-
30
-
-
17744362031
-
-
ITIS/ University of the Federal Armed Forces of Germany, Neubiberg,.
-
Hofmann, H. W., M. Hofmann, and V. Poetzsch. Standardisierung der Automatischen Führungssimulation Heer. ITIS/ University of the Federal Armed Forces of Germany, Neubiberg, 2003.
-
(2003)
Standardisierung der Automatischen Führungssimulation Heer
-
-
Hofmann, H.W.1
Hofmann, M.2
Poetzsch, V.3
-
31
-
-
84993695318
-
PAPST and KORA only available with permission
-
Information about HORUS, PAPST and KORA only available with permission: http://www.iabg.de/.
-
-
-
-
32
-
-
84993809018
-
Information about SIRA only available with permission
-
Information about SIRA only available with permission: http://www.cae.com/ or http://offizierschule.de/hptzh/sira/.
-
-
-
-
33
-
-
84993791665
-
Development of Command & Control Modules for Combat Simulation Models on Batallion down to Single Item Level.
-
In New, RTO Meeting Proceeding MP-049, Neuilly-sur-Seine, Cedex, France.
-
Hofmann, H. W., and M. Hofmann. “On the Development of Command & Control Modules for Combat Simulation Models on Batallion down to Single Item Level.” In New Information Processing Techniques for Military Systems, RTO Meeting Proceeding MP-049, Neuilly-sur-Seine, Cedex, France. 2001.
-
(2001)
Information Processing Techniques for Military Systems
-
-
Hofmann, H.W.1
Hofmann, M.2
-
34
-
-
10244248757
-
Zur Abbildung von Führungsprozessen in hochauflösenden Gefechtssimulationssystemen
-
Hofmann, M. Zur Abbildung von Führungsprozessen in hochauflösenden Gefechtssimulationssystemen. NG Dissertationsverlag, 2000.
-
(2000)
-
-
Hofmann, M.1
-
35
-
-
0003898483
-
-
National Research Council. National Academic Press,.
-
National Research Council. Modeling and Simulation. Vol. 9 of Technology for the United States Navy and Marine Corps: 2000–2035. National Academic Press, 1997.
-
(1997)
Modeling and Simulation
-
-
-
36
-
-
84993829801
-
Multifacetted Modelling and Discrete Event Simulation
-
Zeigler, B. P. Multifacetted Modelling and Discrete Event Simulation. Ontario, Canada: Academic Press, 1984.
-
(1984)
-
-
Zeigler, B.P.1
-
37
-
-
84993691017
-
Essential Preconditions for Coupling Model-Based Information Systems.
-
RTO-MP-123, Antalya, Turkey.
-
Hofmann, M. “Essential Preconditions for Coupling Model-Based Information Systems.” In NATO Modeling and Simulation Group (NMSG) Conference on C3I and Modeling and Simulation Interoperability, RTO-MP-123, Antalya, Turkey. 2003.
-
(2003)
Conference on C3I and Modeling and Simulation Interoperability
-
-
-
39
-
-
84993746047
-
Component Based Military Simulation: Lessons Learned with Ground Combat Simulation Systems.
-
Hofmann, M. In Proceedings of the 15th European Simulation Symposium, Delft, NL.
-
Hofmann, M. “Component Based Military Simulation: Lessons Learned with Ground Combat Simulation Systems.” In Proceedings of the 15th European Simulation Symposium, Delft, NL. 2003.
-
(2003)
-
-
-
40
-
-
17744375388
-
Challenges of Model Interoperability in Military Simulations.
-
Hofmann, M. “Challenges of Model Interoperability in Military Simulations.” Simulation 80, no. 12 (December 2004): 659–667.
-
(2004)
Simulation
, vol.80
, pp. 659-667
-
-
-
41
-
-
84993809039
-
Model Composability: Experiences with Military Simulation Systems.
-
In, Genoa, Conference on Conceptual Modeling and Simulation.
-
Hofmann, M. “Model Composability: Experiences with Military Simulation Systems.” In Proceedings of the 1st Mediterranean Multiconference on Modeling and Simulation, Genoa, Conference on Conceptual Modeling and Simulation. 2004.
-
(2004)
Proceedings of the 1st Mediterranean Multiconference on Modeling and Simulation
-
-
Hofmann, M.1
-
42
-
-
0033307013
-
Observations on the Complexity of Composable Simulation.
-
In, Phoenix, AZ
-
Page, E. H., and J. M. Opper. “Observations on the Complexity of Composable Simulation.” In Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ, 553–560. 1999.
-
(1999)
, pp. 553-560
-
-
Page, E.H.1
-
43
-
-
84993711180
-
Introducing Pragmatics into Verification, Validation and Accreditation
-
SISO, Harrows, GB.
-
Hofmann, M. “Introducing Pragmatics into Verification, Validation and Accreditation.” In Proceedings of the 2nd European Simulation Interoperability Workshop (EURO-SIW), SISO, Harrows, GB. 2002.
-
(2002)
-
-
Hofmann, M.1
-
45
-
-
0003964291
-
Generalizing Concepts and Methods of Verification, Validation, and Accreditation for Military Simulations
-
Davis, P. K. “Generalizing Concepts and Methods of Verification, Validation, and Accreditation for Military Simulations.” Technical Report R-4249-ACQ, RAND, 1992.
-
(1992)
-
-
Davis, P.K.1
|