Filter
Conference contribution

Search results

  • 1971

    Application of leaky aquifer theory to testing of aquifer gas storage prospects

    Witherspoon, P. A. & Neuman, S. P., Jan 1 1971, Society of Petroleum Engineers - SPE Midwest Oil and Gas Industry Symposium, MGS 1971. Society of Petroleum Engineers, (Society of Petroleum Engineers - SPE Midwest Oil and Gas Industry Symposium, MGS 1971).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1977

    How hard is compiler code generation?

    Aho, A. V. & Sethi, R., 1977, Automata, Languages and Programming - 4th Colloquium. Salomaa, A. & Steinby, M. (eds.). Springer-Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 52 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Scopus citations
  • 1979

    Constructing call-by-value continuation semantics

    Sethi, R. & Tang, A., 1979, Automata, Languages and Programming - 6th Colloquium. Maurer, H. A. (ed.). Springer-Verlag, p. 556-570 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 71 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 1981

    Circular expressions: Elimination of static environments

    Sethi, R., 1981, Automata, Languages and Programming - 8th Colloquium. Even, S. & Kariv, O. (eds.). Springer-Verlag, p. 378-392 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 115 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • ELECTROCHEMICAL AND SURFACE ANALYSIS OF THE REACTIVE INTERFACES IN THE Li(Si)-FeS//2 PRIMARY BATTERY.

    Quinn, R. K., Zurawski, D. E. & Armstrong, N. R., 1981, Power Sources: Research and Development in Non-Mechanical Electrical Power Sources. Academic Press, p. 305-321 17 p. (Power Sources: Research and Development in Non-Mechanical Electrical Power Sources).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • TEST RESULTS OF SPACELAB 2 INFRARED TELESCOPE FOCAL PLANE.

    Young, E. T., Rieke, G. H., Gautier, T. N., Hoffmann, W. F., Low, F. J., Poteet, W., Fazio, G. G., Koch, D., Traub, W. A., Urban, E. W. & Katz, L., 1981, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 12-19 8 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 280).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 1982

    A semantic model of types for applicative languages

    MacQueen, D. B. & Sethi, R., Aug 15 1982, Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1982. Association for Computing Machinery, Inc, p. 243-252 10 p. (Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1982).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    37 Scopus citations
  • Control flow aspects of semantics directed compiling

    Sethi, R., Jun 23 1982, Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982. Association for Computing Machinery, Inc, p. 245-260 16 p. (Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • EULERIAN-LAGRANGIAN METHODS FOR ADVECTION-DISPERSION.

    Neuman, S. P. & Sorek, S., 1982, Finite Elements in Water Resources, Proceedings of the International Conference. Holz, K. P., Brebbia, C. A., Gray, W., Meissner, U., Pinder, G. & Zielke, W. (eds.). Springer-Verlag, p. 14. 41-14. 68 (Finite Elements in Water Resources, Proceedings of the International Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • FAINT OBJECT SPECTROGRAPH (FOS) CALIBRATION.

    Harms, R. J., Angel, J. R. P., Bartko, F., Beaver, E. A., Bohlin, R., Burbidge, E. M., Davidsen, A. F., Ford, H., Margon, B., McCoy, J. & Ripp, L., 1982, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 268-278 11 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • LARGE ENHANCEMENT OF THE SAGNAC EFFECT IN A NONLINEAR RING RESONATOR AND RELATED EFFECTS.

    Kaplan, A. E. & Meystre, P., 1982, Springer Series in Optical Sciences. Springer-Verlag, p. 375-385 11 p. (Springer Series in Optical Sciences; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Properties of a notation for combining functions

    Raoult, J. C. & Sethi, R., 1982, Automata, Languages and Programming - 9th Colloquium. Nielsen, M. & Schmidt, E. M. (eds.). Springer-Verlag, p. 429-441 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 140 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • SOFTWARE SIMULATIONS OF THE DETECTION OF RAPIDLY MOVING ASTEROIDS BY A CHARGE-COUPLED DEVICE.

    McMillan, R. S. & Stoll, C. P., 1982, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 104-112 9 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 1983

    COSMOGENIC NEON FROM PROCOMPACTION IRRADIATION OF KAPOETA AND MURCHISON.

    Caffee, M. W., Goswami, J. N., Hohenberg, C. M. & Swindle, T. D., 1983, Journal of Geophysical Research. Vol. 88 Suppl. p. 267-273 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    30 Scopus citations
  • FIBER OPTICS FOR ASTRONOMICAL SPECTROSCOPY: THE MEDUSA SPECTROGRAPH.

    Hill, J. M., Angel, J. R. P. & Scott, J. S., 1983, Proceedings of SPIE - The International Society for Optical Engineering. McDowell, R. S. & Stotlar, S. C. (eds.). SPIE, p. 354-363 10 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 380).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • FRAMEWORK FOR HEURISTIC REASONING ABOUT UNCERTAINTY.

    Cohen, P. R. & Grinberg, M. R., 1983, Unknown Host Publication Title. Bundy, A. (ed.). p. 355-357 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • OPTICAL BISTABILITY, REGENERATIVE PULSATIONS, AND TRANSVERSE EFFECTS IN ROOM-TEMPERATURE GaAs-AlGaAs SUPERLATTICE ETALONS.

    Gibbs, H. M., Jewell, J. L., Moloney, J. V., Tai, K., Tarng, S. S., Weinberger, D. A., Gossard, A. C., McCall, S. L., Passner, A. & Weigmann, W., 1983, Journal de Physique (Paris), Colloque. 3 ed. p. 195-204 10 p. (Journal de Physique (Paris), Colloque; vol. 44, no. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • UNSATURATED FLOW IN HETEROGENEOUS SOILS.

    Yeh, T. C. J. & Gelhar, L. W., 1983, Unknown Host Publication Title. p. 71-79 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • UPPER BOUND ON THE RADIUS OF A HIGHLY ELECTRICALLY CONDUCTING LUNAR CORE.

    Hobbs, B. A., Hood, L. L., Herbert, F. & Sonett, C. P., Jan 1 1983, Journal of Geophysical Research. Vol. 88 Suppl. p. 97-102 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • 1984

    ADVANCED WIDE-FIELD BROAD-PASSBAND REFRACTING FIELD CORRECTORS FOR LARGE TELESCOPES.

    Epps, H. W., Angel, J. R. P. & Anderson, E., 1984, Unknown Host Publication Title. European Southern Observatory (IAU Colloquium n 79), Garching, p. 519-548 30 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • EXECUTING DISTRIBUTED PROLOG PROGRAMS ON A BROADCAST NETWORK.

    Warren, D. S., Ahamad, M., Debray, S. K. & Kale, L. V., 1984, Unknown Host Publication Title. IEEE, p. 12-21 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • GLOBAL STORAGE NEEDS OF A SUBCOMPUTATION.

    Raoult, J. C. & Sethi, R., 1984, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, p. 148-157 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • HIGH-SPEED DIGITAL SIGNAL PROCESSING FOR SPECKLE INTERFEROMETRY.

    Hege, E. K., Cocke, W. J., Strittmatter, P. A., Worden, S. P. & Booth, W. C., 1984, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 469-476 8 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 445).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

    MacQueen, D., Plotkin, G. & Sethi, R., 1984, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, p. 165-174 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    69 Scopus citations
  • Monitoring in a software development environment: A relational approach

    Snodgrass, R., Apr 25 1984, Proceedings of the 1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1984. Association for Computing Machinery, Inc, p. 124-131 8 p. (Proceedings of the 1st ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 1984).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • NUMERICAL EVALUATION OF THE VELOCITY PERTURBATION AT THE WALL FOR THE RAYLEIGH PROBLEM WITH SPECULAR AND DIFFUSE REFLECTION.

    Ganapol, B., 1984, Unknown Host Publication Title. Oguchi, H. (ed.). Univ of Tokyo Press, p. 107-116 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the existence and construction of robust communication protocols for unreliable channels

    Debray, S. K., Frank, A. J. & Smolka, S. A., 1984, Foundations of Software Technology and Theoretical Computer Science - 4th Conference, Proceedings. Joseph, M. & Shyamasundar, R. (eds.). Springer-Verlag, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 181 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • OPTIONS FOR A NEW ARIZONA OBSERVATORY: CONFIGURATIONS, COSTS AND SITE.

    Woolf, N. J., Angel, J. R. P. & Williams, J. T., 1984, Unknown Host Publication Title. European Southern Observatory (IAU Colloquium n 79), Garching, p. 831-843 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Scopus citations
  • STEPS TOWARDS 8M HONEYCOMB MIRRORS: V. A METHOD FOR POLISHING ASPHERES AS FAST AS F/1.

    Angel, J. R. P., 1984, Unknown Host Publication Title. European Southern Observatory (IAU Colloquium n 79), Garching, p. 11-21 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Scopus citations
  • The temporal query language tQuel

    Snodgrass, R., Apr 2 1984, Proceedings of the 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1984. Association for Computing Machinery, p. 204-213 10 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    43 Scopus citations
  • 1985

    ELECTRON TRANSPORT CALCULATIONAL METHODS FOR A PLANE SOURCE EMBEDDED IN AN INFINITE MEDIUM.

    Woolf, S., Filippone, W. L., Ganapol, B. D. & Garth, J. C., 1985, Unknown Host Publication Title. ANS, p. 788-799 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • EVOLUTION AND MODIFICATION OF PROBABILITY IN KNOWLEDGE BASES.

    Winter, C. L. & Girse, R. D., 1985, Unknown Host Publication Title. IEEE, p. 27-31 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • METHODOLOGY FOR OPTIMAL NETWORK DESIGN.

    Lansey, K. & May, L., 1985, Unknown Host Publication Title. ASCE, p. 732-738 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • MODEL FOR THE DESIGN OF DISTRIBUTED DATABASES.

    Ram, S. & Belford, G. G., 1985, Unknown Host Publication Title. ACM, p. 428 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Optimizing almost-tail-recursive Prolog programs

    Debray, S. K., 1985, Functional Programming Languages and Computer Architecture. Jouannaud, J.-P. (ed.). Springer-Verlag, p. 204-219 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 201 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • SOLUTION OF THE ONE-GROUP TIME-DEPENDENT NEUTRON TRANSPORT EQUATION IN AN INFINITE MEDIUM BY POLYNOMIAL RECONSTRUCTION.

    Ganapol, B. D., 1985, Unknown Host Publication Title. ANS, p. 696-707 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

    Smolka, S. A., Frank, A. J. & Debray, S. K., 1985, Unknown Host Publication Title. Yemini, Y., Strom, R. & Yemini, S. (eds.). North-Holland, p. 93-109 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 1986

    AUTOMATIC MODE INFERENCE FOR PROLOG PROGRAMS.

    Debray, S. K. & Warren, D. S., 1986, Unknown Host Publication Title. IEEE, p. 78-88 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    33 Scopus citations
  • Detection and optimization of functional computations in Prolog

    Debray, S. K. & Warren, D. S., 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer-Verlag, p. 490-504 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    26 Scopus citations
  • ESTIMATING CLIMATE CHANGE FROM HYDROLOGIC RESPONSE.

    Mifflin, M. & Quade, J., 1986, Unknown Host Publication Title. ASCE, p. 51-58 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MODIFIED PPP APPROACH TO POLYDIACETYLENE EXCITATIONS.

    Soos, Z. G., Kuwajima, S. & Mazumdar, S., 1986, Polymeric Materials Science and Engineering, Proceedings of the ACS Division of Polymeric Material. ACS, p. 497-501 5 p. (Polymeric Materials Science and Engineering, Proceedings of the ACS Division of Polymeric Material; vol. 54).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MOLECULAR DESIGN AND INTERPLAY OF STRUCTURAL, OPTICAL AND ELECTRONIC PROPERTIES IN POLYDIACETYLENES.

    Tripathy, S. K., Chen, Y. J., Rubner, M., Thakur, M. K., Carter, G. M., Mazumdar, S., Sandman, D. J. & Ahuja, R., 1986, Polymeric Materials Science and Engineering, Proceedings of the ACS Division of Polymeric Material. ACS, p. 519-521 3 p. (Polymeric Materials Science and Engineering, Proceedings of the ACS Division of Polymeric Material; vol. 55).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Performance evaluation of a temporal database management system

    Ahn, I. & Snodgrass, R., Jun 15 1986, Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, SIGMOD 1986. Zaniolo, C. (ed.). Association for Computing Machinery, p. 96-107 12 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • REGISTER ALLOCATION IN A PROLOG MACHINE.

    Debray, S. K., 1986, Unknown Host Publication Title. IEEE, p. 267-275 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • STEPS TOWARD 8M HONEYCOMB MIRRORS VIII: DESIGN AND DEMONSTRATION OF A SYSTEM OF THERMAL CONTROL.

    Cheng, A. Y. S. & Angel, J. R. P., 1986, Proceedings of SPIE - The International Society for Optical Engineering. Barr, L. D. (ed.). SPIE, p. 536-544 9 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 628).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • Supporting flexible and efficient tool integration

    Snodgrass, R. T. & Shannon, K., 1986, Advanced Programming Environments - Proceedings of an International Workshop. Wanvik, D. H., Conradi, R. & Didriksen, T. M. (eds.). Springer-Verlag, p. 290-313 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • TOWARDS BANISHING THE CUT FROM PROLOG.

    Debray, S. K., 1986, Unknown Host Publication Title. IEEE, p. 2-12 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • ULTRALIGHTWEIGHT MIRROR SUBSTRATES OF VYCOR GLASS.

    Wangsness, P. A. A., Angel, J. R. P. & Cannon, J., 1986, Proceedings of SPIE - The International Society for Optical Engineering. Barr, L. D. (ed.). SPIE, p. 535 1 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 628).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1987

    CHAOS IN THE MICROMASER.

    Kennedy, T. A. B., Meystre, P., Savage, C. & Wright, E. M., 1987, Unknown Host Publication Title. Optical Soc of America, p. 86 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • CLASSIFICATION BY SEMANTIC MATCHING.

    Cohen, P. R., Stanhope, P. M. & Kjeldsen, R., 1987, Conference Proceedings - Annual Phoenix Conference. IEEE, p. 566-570 5 p. (Conference Proceedings - Annual Phoenix Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution