5801. Replication and Nested Transactions in the Eden Distributed System Pu, Calton 1986 Reports Computer science
5802. Report of the meteorological station at St. Peter and St. Paul Rocks (1983-1984) Mele, Philip A; Garzoli, Silvia L; Katz, Eli J 1986 Reports Winds--Measurement
5803. Robust Estimation and Filtering in the Presence of Unknown but Bounded Noise Tempo, Roberto 1986 Reports Computer science
5804. SIMD Tree Algorithms for Image Correlation Ibrahim, Hussein; Kender, John R.; Shaw, David Elliot 1986 Reports Computer science
5805. SMILE/ MARVEL: Two Approaches to Knowledge-Based Programming Environments Kaiser, Gail E.; Feiler, Peter H. 1986 Reports Computer science
5806. Smoothness assumptions in human and machine vision, and their implications for optimal surface interpolation Boult, Terrance E. 1986 Reports Computer science
5807. Superdatabases for Composition of Heterogeneous Databases Pu, Calton 1986 Reports Computer science
5808. The Do-loop Considered Harmful in Production System Programming Biema, Michael van; Miranker, Daniel P.; Stolfo, Salvatore 1986 Reports Computer science
5809. The OPS Family of Production System Languages Pasik, Alexander J. 1986 Reports Computer science
5810. Thesis Proposal: The Expected-Outcome Model of Two-Player Games Abramson, Bruce 1986 Reports Computer science
5811. Translating Between Programming Languages Using A Canonical Representation And Attribute Grammar Inversion Farrow, Rodney; Yellin, Daniel 1986 Reports Computer science
5812. WOHCR Update: Health in Health Care Women's Occupational Health Resource Center 1986 Reports Medical personnel--Health risk assessmentEthylene oxide--Safety measuresEthylene oxide--ToxicologyPublic healthMedicine, Industrial
5813. Women's Occupational Health Resource Center News, Volume 7, Number 4 Women's Occupational Health Resource Center 1986 Reports Women employeesFormaldehyde--ToxicologyBeauty operators--Health and hygieneIndustrial safetyPublic healthMedicine, Industrial
5814. Women's Occupational Health Resource Center News, Volume 7, Number 5-6 Women's Occupational Health Resource Center 1986 Reports Women employeesVideo display terminals--Safety measuresWork environmentIndustrial safetyPublic healthMedicine, Industrial
5815. Women's Occupational Health Resource Center News, Volume 8, Number 1 Women's Occupational Health Resource Center 1986 Reports Women employeesShift systemsMedical personnel--Health and hygieneIndustrial safetyPublic healthMedicine, Industrial
5816. A Comparison of Storage Optimisations in Automatically-Generated Attribute Evaluators Farrow, Rodney; Yellin, Daniel 1985 Reports Computer science
5817. A Cure for Pathological Behavior in Games That Use Minimax Abramson, Bruce 1985 Reports Computer science
5818. A Generic Framework for Expert Data Analysis Systems Burns, Luanne; Pasik, Alexander J. 1985 Reports Computer science
5819. Agulhas Retroflection Cruise, November-December 1983 : hydrographic (CTD) data : preliminary report Huber, Bruce A 1985 Reports Knorr (Ship). Cruise 1983)
5820. Air mass modification in the marginal ice zone Bennett, T. (Theodore); Hunkins, Kenneth L. (Kenneth Leland), 1928- 1985 Reports
5821. A Knowledge-Based Expert Systems Primer and Catalog Hillyer, Bruce K. 1985 Reports Computer scienceArtificial intelligence
5822. A LISP Compiler for the DADO Parallel Computer Lerner, Mark D.; Biema, Michael van; Maguire, Gerald Q. 1985 Reports Computer science
5823. A Methodology tor Specification-Based Performance Analysis of Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
5824. Analyzing User Plans to Produce Informative Responses by a Programmer's Consultant Wolz, Ursula 1985 Reports Computer science
5825. An Automated Performance Analysis of a Two Phase Locking Protocol Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
5826. An Experiment in Intelligent Information Systems: RESEARCHER Lebowitz, Michael 1985 Reports Computer science
5827. An Optimal Complexity Algorithm for Computing Topological Degree in Two Dimensions Boult, Terrance E.; Sikorski, Krzysztof 1985 Reports Computer science
5828. A Private Interactive Test of a Boolean Predicate and Minimum-Knowledge Public-Key Cryptosystems Galil, Zvi; Haber, Stuart; Yung, Moti 1985 Reports Computer science
5829. Arctic cloud cover during the summers of 1977-1979 Robinson, David A; Kukla, G; Serreze, Mark C 1985 Reports
5830. Are maintenance expert systems practical now? Waldes, Peter; Lustgarten, Janet; Stolfo, Salvatore 1985 Reports Computer science
5831. A simple preprocessing scheme to extract and balance implicit parallelism in the concurrent match of production rules Stolfo, Salvatore; Miranker, Daniel P.; Mills, Russell C. 1985 Reports Computer science
5832. A Simple Scheme for a Fault Tolerant DADO Machine Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
5835. Clocking Schemes for High Speed Digital Systems Unger, Stephen; Tan, Chung-Jen 1985 Reports Computer scienceArtificial intelligence
5836. Compiling Path Expressions into VLSI Circuits Anantharaman, T. S.; Clarke, E. M.; Foster, M. J.; Mishra, B. 1985 Reports Computer science
5838. Complexity of Computing Topological Degree of Lipschitz Functions in N Dimensions Boult, Terrance E.; Sikorski, Krzysztof A. 1985 Reports Computer science
5839. Complexity or Differential and Integral Equations Werschulz, Arthur G. 1985 Reports Computer scienceMathematics
5840. Contributions to Information-Based Complexity, Image Understanding,and Logic Circuit Design Lee, David 1985 Reports Computer science
5841. Contributions to information-based complexity, image understanding and logic circuit design. Lee, David 1985 Reports Computer science
5842. DADO: A Parallel Computer for Artificial Intelligence Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
5843. Depth-First Iterative Deepening: An Optimal Admissible Tree Search Korf, Richard E. 1985 Reports Computer science
5844. Description strategies for naive and expert users Paris, Cecile L. 1985 Reports Computer science
5845. Development Tools For Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
5846. Discourse Strategies for Using Natural-Language Text McKeown, Kathleen 1985 Reports Computer scienceArtificial intelligence
5847. Distributed Algorithms in Synchronous Broadcasting Networks Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
5848. Equivalent Descriptions of Generalized Cylinders Roberts, Kenneth S. 1985 Reports Computer science
5849. Explanation and Acquisition in Expert Systems Using Support Knowledge Pasik, Alexander J.; Christensen, Jens; Gordin, Douglas; Stancato, Agata; Stolfo, Salvatore 1985 Reports Computer science
5850. Finding a Maximum-Genus Graph Imbedding Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A. 1985 Reports Computer science
5851. Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness Ellman, Thomas 1985 Reports Computer science
5852. Generating Admissible Heuristics by Criticizing Solutions to Relaxed Models Hansson, Othar; Mayer, Andrew E.; Yung, Moti 1985 Reports Computer science
5853. Genus Distributions for Two Classes of Graphs Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard 1985 Reports Computer science
5854. Growth and External Debt Under Risk of Debt Repudiation Cohen, Daniel; Sachs, Jeffrey D. 1985 Reports Managerial economicsEconomicsFinance
5855. Guide to the Unification Process and Its Implementation: Progress Report on Extending the Grammar Paris, Cecile L.; Liong, Kwee Tjoe 1985 Reports Computer scienceArtificial intelligence
5856. Hierarchy for Imbedding-Distribution Invariants of a Graph Gross, Jonathan L.; Furst, Merrick L. 1985 Reports Computer science
5857. Implementation of the GMR Algorithm for Large Symmetric Eigenproblems Kuczynski, Jacek 1985 Reports Computer science
5858. Information Based Complexity Applied to Optimal Recovery of the 2 1/2-D Sketch Kender, John R.; Lee, David; Boult, Terrance E. 1985 Reports Computer science
5859. Initiatory and Reactive System Roles in Human Computer Discourse Matthews, Kevin 1985 Reports Computer science
5860. Integrating Learning: Controlling Explanation Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
5861. Macroeconomic Interdependence of Japan and the United States: Some Simulation Results Ishii, Naoko; McKibbin, Warwick J.; Sachs, Jeffrey D. 1985 Reports Managerial economicsEconomics
5862. Macroeconomic Policies in the OECD and LDC External Adjustment Sachs, Jeffrey D.; McKibbin, Warwick J. 1985 Reports Managerial economicsEconomics
5864. Marginal Ice Zone Experiment - 1984, physical oceanography report : USNS LYNCH and helicopter-based STD data Manley, Thomas Owen, 1952- 1985 Reports
5865. Miss Manners: A Specialized Silicon Compiler for Synchronizers Balraj, Timothy S.; Foster, Michael J. 1985 Reports Computer science
5866. More Rules May Mean Faster Parallel Execution Stolfo, Salvatore; Miranker, Daniel P.; Mills, Russell C. 1985 Reports Computer science
5867. Natural Language Interfaces to Expert Systems Moerdler, Galina Datskovsky 1985 Reports Computer science
5868. Never Done–Hours of Work Around the World Women's Occupational Health Resource Center 1985 Reports Hours of labor--Law and legislationWomen--EmploymentHours of laborPublic healthMedicine, Industrial
5870. On the Application of Massively Parallel SIMD Tree Machines to Certain Intermediate-Level Vision Tasks Ibrahim, Hussein; Kender, John R.; Shaw, David Elliot 1985 Reports Computer science
5871. On the Complexity of Composition and Generalized Composition of Power Series Brent, R. P.; Traub, Joseph F. 1985 Reports Computer science
5872. On the Optimal Solution of Large Eigenpair Problems Kuczynski, Jacek 1985 Reports Computer science
5873. Optimal Algorithm for Linear Problems with Gaussian Measures Wasilkowski, Grzegorz W. 1985 Reports Computer science
5874. Optimal Algorithms for Image Understanding: Current Status and Future Plans Lee, David 1985 Reports Computer science
5875. Physical Oceanography Report : camp-based and helicopter-based STD data from the drifting ice station FRAM III Manley, Thomas Owen, 1952-; Camp, Dennis B 1985 Reports
5876. Physical oceanography report : helicopter-based STD data from MIZEK 83 Manley, Thomas Owen, 1952-; Camp, Dennis B; Hunkins, Kenneth L. (Kenneth Leland), 1928-; Tiemann, Werner 1985 Reports
5877. Reconstruction of past atmospheric CO2 contents from the chemistry of the comtemporary [i.e. contemporary] ocean : an evaluation Broecker, Wallace S., 1931-2019; Takahashi, Taro; Beng, Zonghong 1985 Reports Atmospheric carbon dioxide--PaleoclimatologyOcean--Analysis
5878. Report of XBT data from four SEQUAL cruises 1983-1984 Mele, Philip A; Katz, Eli J 1985 Reports Ocean temperature--Atlantic OceanJoseph Conrad (Ship). Cruise 1983)Knorr (Ship). Cruise 1983)Knorr (Ship). Cruise 1984)Gyre (Ship). Cruise 1984)
5879. Reproducing Kernels for Visual Surface Interpolation. Boult, Terrance E. 1985 Reports Computer science
5880. SEQUAL AXBT report 1983-1984 Mele, Philip A; Houghton, Robert W 1985 Reports Ocean temperature--C ote d'IvoireOcean temperature--Atlantic Ocean
5881. Specification of Interpreters and Debuggers Using an Extension of Attribute Grammars Kaiser, Gail E. 1985 Reports Computer science
5882. Story Telling as Planning and Learning Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
5883. Surface Orientation and Segmentation from Perspective Views of Parallel-Line Textures Moerdler, Mark L.; Kender, John R. 1985 Reports Computer science
5884. Symmetric Public-Key Encryption Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
5885. Tailoring Explanations for the User McKeown, Kathleen; Wish, Myron; Matthews, Kevin 1985 Reports Computer science
5886. Taking the Initiative for System Goals in Cooperative Dialogue Matthews, Kevin 1985 Reports Computer science
5887. The Dollar and the Policy Mix: 1985 Sachs, Jeffrey D. 1985 Reports Managerial economicsFinanceEconomics
5889. The Use of Memory in Text Processing Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
5890. Towards More Graceful Interaction: A Survey of Question-Answering Programs Paris, Cecile L. 1985 Reports Computer scienceArtificial intelligence
5891. Towards the Parallel Execution of Rules in Production System Programs Ishida, Toru; Stolfo, Salvatore 1985 Reports Computer science
5892. Unifying Representation and Generalization: Understanding Hierarchically Structured Objects Wasserman, Kenneth 1985 Reports Computer science
5893. Visual Surface Interpolation: A Comparison of Two Methods Boult, Terrance E. 1985 Reports Computer science
5894. Women's Occupational Health Resource Center News, Volume 6, Number 6 Women's Occupational Health Resource Center 1985 Reports Women employeesHours of laborFreedom of informationIndustrial safetyPublic healthMedicine, Industrial
5895. Women's Occupational Health Resource Center News, Volume 7, Number 1 Women's Occupational Health Resource Center 1985 Reports Women employeesHours of laborVideo display terminalsIndustrial safetyPublic healthMedicine, Industrial
5896. Women's Occupational Health Resource Center News, Volume 7, Number 2-3 Women's Occupational Health Resource Center 1985 Reports Women employeesPregnant women--EmploymentPregnancy--Complications--Risk factorsIndustrial safetyPublic healthMedicine, Industrial
5897. Algebraic Specification-Based Performance Analysis or Communication Protocols Nounou, Nihal; Yemini, Yechiam 1984 Reports Computer science
5899. An Eight-Processor Chip for a Massively Parallel Machine Shaw, David Elliot; Sabety, Theodore M. 1984 Reports Computer science
5900. An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs Galil, Zvi; Micali, Silvio; Gabow, Harold 1984 Reports Computer science