Publications

M. Beeson, R. Veroff, and L. Wos, "Double-Negation Elimination in Some Propositional Logics," Studia Logica, vol. 80, no. 2, 2002, pp. 195-234. Also Preprint ANL/MCS-P1014-1202, December 2002. [pdf]
[more info]

M. P. Friedlander and M. A. Saunders, "A Globally Convergent Linearly Constrained Lagrangian Method for Nonlinear Optimization," SIAM J. Optimization, vol. 15, no. 3, 2002, pp. 863-897. Also Preprint ANL/MCS-P1015-1202, December 2002. [pdf]
[more info]

R. Thakur and W. Gropp, "Improving the Performance of MPI Collective Communication on Switched Networks," Preprint ANL/MCS-P1007-1102, November 2002. [pdf]
[more info]

K. Amin, S. Nijsure, G. von Laszewski, "Open Collaborative Grid Service Architecture (OCGSA)," Preprint ANL/MCS-P1009-1102, November 2002. [pdf]
[more info]

M. Vilayannur, R. B. Ross, P. H. Carns, R. Thakur, A. Sivasubramaniam, M. Kandemir, "Improving the Performance of the POSIX I/O Interface to PVFS," Preprint ANL/MCS-P1010-1102, November 2002. [pdf]
[more info]

J. N. Lyness and G. Monegato, "Asymptotic Expansions for Two-Dimensional Hypersingular Integrals," Preprint ANL/MCS-P1011-1102, November 2002. [pdf]
[more info]

J. N. Lyness, "Notes on Lattice Rules," Journal of Complexity, vol. 19, 2002, pp. 321-331. Also Preprint ANL/MCS-P1013-1102, November 2002. [pdf]
[more info]

C. Liu, L. Yang, I. Foster, D. Angulo, "Design and Evaluation of a Resource Selection Framework for Grid Applications," Proc. Int'l Symp. on High-Performance Distributed Computing, vol. 11, 2002, . Also Preprint ANL/MCS-P1001-1002,, October 2002.
[more info]

M. Anitescu and G. D. Hart, "A Constraint- Stabilized Time-Stepping Approach for Rigid Multibody Dynamics with Joints, Contact and Friction," Int. J. Numer. Meth. Engng, vol. 60, 2002, pp. 1335-2371. Also Preprint ANL/MCS-P1002-1002, October 2002. [pdf]
[more info]

G. X. Yu and E. Marland, "Establishment of a Knowledge Base for Function Annotations in High-Throughput Sequence Analysis," Preprint ANL/MCS-P1004-1002, October 2002. [pdf]
[more info]

B. Nitzberg and M. M. Schopf, "Current Activities in the Scheduling and Resource Management Area of the Global Grid Forum," Preprint ANL/MCS-P990-0902, September 2002. [pdf]
[more info]

A. Majumder and R. Stevens, "LAM: Luminance Attenuation Map for Photometric Uniformity in Projection Based Displays," Preprint ANL/MCS-P992-0902, September 2002. [pdf]
[more info]

S. Bhowmick, P. Raghavan, L. McInnes, and B. Norris, "Faster PDE-Based Simulations Using Robust Composite Linear Solvers," Future Generation Comput. Syst, vol. 20, 2002, pp. 373-387. Also Preprint ANL/MCS-P993-0902, September 2002. [pdf]
[more info]

I. Foster, F. Siebenlist, S. Tuecke, V. Welch, "Security and Certification Issues in Grid Computing," Preprint ANL/MCS-P994-0902, September 2002. [pdf]
[more info]

M. Anitescu and G. D. Hart, "Solving Nonconvex Problems of Multibody Dynamics with Contact and Small Friction by Successive Convex Relaxation," Mech. Des. Struct. Mach, vol. 31, no. 3, 2002, pp. 335-356. Also Preprint ANL/MCS-P995-0902, September 2002. [pdf]
[more info]

L. Yang, I. Foster, and J. M. Schopf,, "Homeostatic and Tendency-based CPU Load Predictions," Preprint ANL/MCS-P997-0902, September 2002. [pdf]
[more info]

L. McInnes, B. Norris, S. Bhowmick, P. Raghavan, "Adaptive Sparse Linear Solvers for Implicit CFD using Newton-Krylov Algorithms," Preprint ANL/MCS-P998-0902, September 2002. [pdf]
[more info]

J. N. Lyness and S. Joe, "The Number of Lattice Rules of Specified Upper Class and Rank," BIT Numerical Mathematics, vol. 43, 2002, pp. 413-426. Also Preprint ANL/MCS-P979-0802, August 2002. [pdf]
[more info]

S. Krishnan, P. Wagstrom, G. von Laszewski, "GSFL: A Workflow Framework for Grid Services," Preprint ANL/MCS-P980-0802, August 2002. [pdf]
[more info]

S. Vazhkudai and J. M. Schopf, "Using Disk Throughput Data in Predictions of End-to-End Grid Data Transfers," Preprint ANL/MCS-P981-0802, August 2002. [pdf]
[more info]

M. R. Paul, M. C. Cross, P. F. Fischer, "Rayleigh-Benard Convection with a Radial Ramp in Plate Separation," Preprint ANL/MCS-P982-0802, August 2002. [pdf]
[more info]

R. K. Madduri, C. S. Hood, and W. E. Allcock, "Reliable File Transfer in Grid Environments," Preprint ANL/MCS-P983-0802, August 2002. [pdf]
[more info]

M. Anitescu and G. D. Hart, "A Fixed-Point Iteration Approach for Multibody Dynamics with Contact and Small Friction," Math. Program., Ser. B, 2002, . Also Preprint ANL/MCS-P985-0802, August 2002. [pdf]
[more info]

E. D. Dolan, R. Fourer, J.-P. Goux, and T. S. Munson, "Kestrel: A Callable Interface to the NEOS Server," Preprint ANL/MCS-P986-0802, August 2002. [pdf]
[more info]

A. Majumder and R. Stevens,, "Color Non-Uniformity in Projection Based Displays: Analysis and Solutions," Preprint ANL/MCS-P989-0802, August 2002. [pdf]
[more info]

K. Keahey and V. Welch, "Fine-Grain Authorization for Resource Management in the Grid Environment," Preprint ANL/MCS-P991-0802, August 2002. [pdf]
[more info]

P. D. Hovland and B. Norris, "Users' Guide to ADIC 1.1," Technical Memorandum ANL/MCS-TM-225, July 2002. [pdf]
[more info]

A. Ching, A. Choudhary, W.-K. Liao, R. Ross, W. Gropp, "Noncontiguous I/O through PVFS," Preprint ANL/MCS-P970-0702, July 2002. [pdf]
[more info]

L. Wos, D. Ulrich, and B. Fitelson, "Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Axiom for the Equivalential Calculus," Preprint ANL/MCS-P971-0702, July 2002. [pdf]
[more info]

G. von Laszewski, B. Ruscic, P. Wagstrom, S. Krishnan, K. Amin, S. Nijsure, S. Bittner, R. Pinzon, J. C. Hewson, M. L. Morton, M. Minkoff, A. Wagner, "A Grid Service-Based Active Thermochemical Table Framework," Preprint ANL/MCS-P972-0702, July 2002. [pdf]
[more info]

G. von Laszewski, M. Russell, I. Foster, J. Shalf, G. Allen, G. Daues, J. Novotny, E. Seidel, "Community Software Development with the Astrophysics Simulation Collaboratory," Preprint ANL/MCS-P974-0702, July 2002. [pdf]
[more info]

T. Iliescu and P. Fischer, "Backscatter in the Rational LES Model," Preprint ANL/MCS-P977-0702, July 2002. [pdf]
[more info]

J. Annis, Y. Zhao, J. Voeckler, M. Wilde, S. Kent, I. Foster, "Applying Chimera Virtual Data Concepts to Cluster Finding in the Sloan Sky Survey," Preprint ANL/MCS-P978-0702, July 2002. [pdf]
[more info]

J. N. Lyness and T. Sorevik, "Four-Dimensional Lattice Rules Generated by Skew-Circulant Matrices," Math. Comput., vol. 73, no. 245, 2002, pp. 279-295. Also Preprint ANL/MCS-P1012-0702, July 2002. [pdf]
[more info]

M. W. Knop, P. A. Dinda, and J. M. Schopf,, "Windows Performance Monitoring and Data Reduction using WatchTower," Preprint ANL/MCS-P960-0602, June 2002. [pdf]
[more info]

K. Keahey, T. Fredian, Q. Peng, D. P. Schissel, M. Thompson, I. Foster, M. Greenwald, D. McCune, "Computational Grids in Action: The National Fusion Collaboratory," Future Generation Computer Systems, vol. 18, 2002, pp. 1005-1015. Also Preprint ANL/MCS-P961-0602, June 2002. [pdf]
[more info]

L. Wos, D. Ulrich, and B. Fitelson, "XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus," Bull. Section Logic, vol. 32, no. 3, 2002, pp. 120-134. Also Preprint ANL/MCS-P966-0602, June 2002. [pdf]
[more info]

R. Evard, N. Desai, J.-P. Navarro, and D. Nurmi, "Clusters as Large-Scale Development Facilities," Preprint ANL/MCS-P968-0602, June 2002. [pdf]
[more info]

J.-P. Navarro. R. Evard, D. Nurmi, N. Desai, "Scalable Cluster Administration - Chiba City I Approach and Lessons Learned," Preprint ANL/MCS-P969-0602, June 2002. [pdf]
[more info]

P. M. Dickens and W. Gropp, "An Evaluation of a User-Level Data Transfer Mechanism for High-Performance Networks," Preprint ANL/MCS-P976-0602, June 2002. [pdf]
[more info]

W. Allcock, J. Bester, J. Bresnahan, I. Foster, J. Gawor, J. A. Insley, J. M. Link, M. E. Papka, "GridMapper: A Tool for Visualizing the Behavior of Large-Scale Distributed Systems," Preprint ANL/MCS-P951-0502, May 2002. [pdf]
[more info]

G. von Laszewski, I. Foster, J. Gawor, A. Schreiber, C. J. Pena, "InforGram: A Grid Service that Supports Both Infomation Queries and Job Execution," Preprint ANL/MCS-P952-0502, May 2002. [pdf]
[more info]

L. Freitag, P. Knupp, T. Munson, S. Shontz,, "A Comparison of Optimization Software for Mesh Shape-Quality Improvement Problems," Preprint ANL/MCS-P953-0502, May 2002. [pdf]
[more info]

I. Foster, J. V�ckler, M. Wilde, Y. Zhao, "Chimera: A Virtual Data System for Representing, Querying, and Automating Data Derivation," Preprint ANL/MCS-P954-0502, May 2002. [pdf]
[more info]

W. Gropp, "Building Library Components That Can Use Any MPI Implementation," Preprint ANL/MCS-P956-0502, May 2002. [pdf]
[more info]

J. J. More, "Computing Mountain Passes and Transition States," Preprint ANL/MCS-P957-0502, May 2002. [pdf]
[more info]

M. Hereld, I. R. Judson, and R. Stevens, "DottyToto: A Measurement Engine for Aligning Multi-Projector Display Systems," Preprint ANL/MCS-P958-0502, May 2002. [pdf]
[more info]

W. Gropp and E. Lusk, "Goals Guiding Design: PVM and MPI," Preprint ANL/MCS-P962-0502, May 2002. [pdf]
[more info]

L. Pearlman, V. Welch, I. Foster, C. Kesselman, S. Tuecke, "A Community Authorization Service for Group Collaboration," Preprint ANL/MCS-P1042-0502, May 2002. [pdf]
[more info]

C. J. Anderson, R. W. Arritt, E. S. Takle, Z. Pan, W. J. Gutowski, Jr., F. O. Otieno, R. da Silva, D. Caya, S.-C. Chen, J. H. Christensen, D. L�thi, M. A. Gaertner, C. Gallardo, F. Giorgi, S.-Y. Hong, C. Jones, H.-M. H. Juang, J. J. Katzfey, W. M. Lapenta, R. Laprise, J. W. Larson, G. E. Liston, J. L. McGregor, R. A. Pielke, Sr., J. O. Roads, J. A. Taylor,, "Hydrological Processes in Regional Climate Model Simulations of the Central United States Flood of June-July 1993," Hydrometeor, vol. 4, 2002, pp. 584-598. Also Preprint ANL/CGC-012-0402, April 2002. [pdf]
[more info]

I. R. Judson, "Access Grid Node Minimum Requirements," Technical Memorandum ANL/MCS-TM-257, April 2002. [pdf]
[more info]

N. T. Karonis, B. Toonen, I. Foster, "MPICH-G2: A Grid-Enabled Implementation of the Message Passing Interface," Preprint ANL/MCS-P942-0402, April 2002. [pdf]
[more info]

U. Naumann, "Optimal Accumulation of Jacobian Matrices by Elimination Methods on the Dual Computational Graph," Preprint ANL/MCS-P943-0402, April 2002. [pdf]
[more info]

U. Naumann, "On Optimal Jacobian Accumulation for Single Expression use Programs," Preprint ANL/MCS-P944-0402, April 2002. [pdf]
[more info]

N. T. Karonis, B. de Supinski, I. Foster, W. Gropp, E. Lusk, S. Lacour, "A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids," Preprint ANL/MCS-P948-0402, April 2002. [pdf]
[more info]

S. Vazhkudai and J. M. Schopf, "Predicting Sporadic Grid Data Transfers," Preprint ANL/MCS-P949-0402, April 2002. [pdf]
[more info]

P. D. Hovland, U. Naumann, B. Norris, "An XML-Based Platform for Semantic Transformation of Numerical Programs," Preprint ANL/MCS-P950-0402, April 2002. [pdf]
[more info]

W. McCune, R. Padmanabhan, R. Veroff, "Yet Another Single Law for Lattices," Algebra Universalis, vol. 50, no. 2, 2002, pp. 165-169. Also Preprint ANL/MCS-P955-0402, April 2002. [pdf]
[more info]

T. Iliescu and P. Fischer,, "Large Eddy Simulation of Turbulent Channel Flows by the Rational LES Model," Preprint ANL/MCS-P938-0302, March 2002. [pdf]
[more info]

L. Freitag, T. Leurent, P. Knupp, D. Melander, "MESQUITE Design: Issues in the Development of a Mesh Quality Improvement Toolkit," Preprint ANL/MCS-P940-0302, March 2002. [pdf]
[more info]

D. Brown and L. Freitag, "Creating Interoperable Meshing and Discretization Software: Teh Terascale Simulation Tools and Technology Center," Preprint ANL/MCS-P941-0302, March 2002. [pdf]
[more info]

G. von Laszewski, "Grid Computing: Enabling a Vision for Collaborative Research," Preprint ANL/MCS-P945-0302, March 2002. [pdf]
[more info]

B. Norris, S. Balay, S. Benson, L. Freitag, P. Hovland, L. McInnes, B. Smith, "Parallel Components for PDEs and Optimization: Some Issues and Experiences," Preprint ANL/MCS-P932-0202, February 2002. [pdf]
[more info]

U. Naumann, S. Forth. M. Tadjouddine, J. Phyce, "A Standard Interface for Elimination Sequences in Automatic Differentiation," Preprint ANL/MCS-P934-0205, February 2002. [pdf]
[more info]

L. Hascoet, U. Naumann, and V. Pascual, "TBR Analysis in Reverse-Mode Automatic Differentiation," Preprint ANL/MCS-P936-0202, February 2002.
[more info]

I. Foster, "The Grid: A New Infrastructure for 21st Century Science," Preprint ANL/MCS-P937-0202, February 2002. [pdf]
[more info]

E. D. Dolan, R. Fourer, J. J. Mor�, T. S. Munson, "The NEOS Server for Optimization: Version 4 and Beyond," SIAM News, vol. 35, 2002, pp. 5, 8-9. Also Preprint ANL/MCS-P947-0202, February 2002. [pdf]
[more info]

M. Russell, G. Allen, G. Daues, I. Foster, E. Seidel, J. Novotny, J. Shalf, G. von Laszewski, "The Astrophysics Simulation Collaboratory: A Science Portal Enabling Community Software Development," Preprint ANL/MCS-P965-0202, February 2002. [pdf]
[more info]

J. N. Lyness and T. Sorevik, "Four-Dimensional Lattice Rules Generated by Skew-Circulant Matrices," Math. Comput., vol. 73, no. 245, 2002, pp. 2790295. Also Preprint ANL/MCS-P1012-0702, January 2002.
[more info]

S. A. Mickelson, J. A. Taylor, and M. Dvorak, "Simplifying the Task of Generating Climate Simulations and Visualizations," Preprint ANL/CGC-010-0102, January 2002.
[more info]

M. Dvorak, J. Taylor, and S. Mickelson, "Designing a Flexible Grid Enabled Scientific Modeling Interface," Preprint ANL/CGC-011-0102, January 2002.
[more info]

P. Hovland, B. Norris, and B. Smith, "Making Automatic Differentiation Truly Automatic: Coupling PETSc with ADIC," Preprint ANL/MCS-P922-0102, January 2002.
[more info]

L. Wos, "A Spectrum of Applications of Automated Reasoning," Preprint ANL/MCS-P923-0102, January 2002. [pdf]
[more info]

L. Wos, "The Flowering of Automated Reasoning," A Portrait to a Scientist: Logic, AI and Politics, A Festschrift in Honor of J. H. Siekmann, Springer, 2002, . Also Preprint ANL/MCS-P924-0102, January 2002. [pdf]
[more info]

U. Naumann, "Reducing the Memory Requirement in Reverse Mode Automatic Differentiation by Solving TBR Flow Equations," Preprint ANL/MCS-P925-0102, January 2002. [pdf]
[more info]

S. Vazhkudai, J. M. Schopf, I. Foster, "Predicting the Performance of Wide Area Data Transfers," Preprint ANL/MCS-P927-0102, January 2002. [pdf]
[more info]

G. von Laszewski, E. Blau, M. Gletzinger, J. Gawor, P. lane, S. Martin, M. Russell, "Software, Component, and Service Deployment in Computational Grids," Preprint ANL/MCS-P928-0102, January 2002. [pdf]
[more info]

E. T. Ong, J. W. Larson, R. L. Jacob, "A Real Application of the Model Coupling Toolkit," Preprint ANL/MCS-P929-0102, January 2002. [pdf]
[more info]

L. Wos and R. Thiele, "Hilbert's New Problem," Preprint ANL/MCS-P959-0102, January 2002. [pdf]
[more info]

L. Wos, R. Veroff, and G. W. Pieper, "Logical Basis for the Automation of Reasoning: Case Studies," Preprint ANL/MCS-P963-0102, January 2002. [pdf]
[more info]

J. M. Restrepo and G. K. Leaf, "Noise Effects on Wave-Generated Transport Induced by Ideal Waves," J. Physical Oceanography, vol. 32, 2002, pp. 2334-2349. Also Preprint ANL/MCS-P1008-0102,, January 2002. [pdf]
[more info]

Z. Ernst, B. Fitelson, K. Harris, and L. Wos, "Shortest Axiomatizations of Implicational S4 and S5," Notre Dame J. Formal Logic, vol. 43, no. 3, 2001, pp. 169-179. Also Preprint ANL/MCS-P919-0201, February 2001. [pdf]
[more info]