#### Content Posted in 2012

1971 Outlook, Allan H. Meltzer

1987 year end report for road following at Carnegie Mellon, Charles E. Thorpe and Takeo Kanade

1988 year end report : autonomous planetary rover at Carnegie Mellon, Takeo Kanade, Tom M.(Tom Michael) Mitchell, and William L. Whittaker

1988 year end report for road following at Carnegie Mellon, Charles E. Thorpe and Takeo Kanade

1989 year end report : autonomous planetary rover at Carnegie Mellon, William L. Whittaker, Tom M.(Tom Michael) Mitchell, and Takeo Kanade

1/f-type noise in a biased current perpendicular to the plane spin valve: A numerical study, A. Rebei, Luc Berger, R. Chantrell, and M. Covington

*1 : internal specifications, Earley

*1 manual, Earley, Earley, and Frederick M. Haney

3-D Scene Analysis via Sequenced Predictions over Points and Regions, Xuehan Xiong, Daniel Munoz, J. Andrew Bagnell, and Martial Hebert

3-D vision techniques for autonomous vehicles, Martial Hebert, Takeo Kanade, and Inso Kweon

802.11 power management extensions to Monarch ns, John Dorsey and Daniel P. Siewiorek

A2 : an architectural agent in a collaborative engineering environment, Ulrich Flemming

A 4-kbit four-transistor dynamic RAM, Hank Walker

A Bayesian based method for global optimization, Groch, Luis M. Vidigal, and Stephen W. Director

A Benefit-Cost Analysis of Air Pollution Abatement, Lester B. Lave

A Benefit-Cost Analysis of Auto Safety Features, Lester B. Lave and Warren E. Weber

A Bezier-based approach to unstructured moving meshes, David Cardoze

A Bibliography on Knowledge-Based Expert Systems in Engineering, Duvvuru Sriram

A blend of different tastes : the language of coffee makers, Manish Agarwal and Jonathan Cagan

Abolish It, Allan H. Meltzer

A Boolean approach to unbounded, fully symbolic model checking of timed automata, Sanjit A. Seshia and Randal Bryant

Abort and Retry in Grasping, Alberto Rodriguez, Matthew T. Mason, Siddhartha Srinivasa, Matthew Bernstein, and Alex Zirbel

A bound on the multiplication efficiency of iteration, H. T. Kung

Absolute continuity on tracks and mappings of Sobolev spaces, M Marcus and Victor J. Mizel

Abstraction and verification in Alphard : a symbol table example, Ralph L. London, Mary Shaw, and William Allan. Wulf

Abstraction and verification in Alphard : design and verification of a tree handler, Mary Shaw

Abstraction and verification in Alphard : iteration and generators, Mary Shaw, William Allan. Wulf, and Ralph L. London

Abstraction-based satisfiability solving of Presburger arithmetic, Daniel Kroening

A calculus and a system architecture for extensional higher-order resolution, Christoph Benzmu╠êller

A calculus for inheritance in monotonic semantic nets, Richmond H. Thomason, John F. Horty, and David S. Touretzky

A cartesian closed category of parallel algorithms between Scott domains, S. D.(Stephen D.) Brookes and Shai Geva

A case study for reactor network synthesis : the vinyl chloride process, Ajay Lakshmanan and Lorenz T. Biegler

A case study in robot exploration, Long-Ji Lin

A case study in writing efficient programs, Jon Louis. Bentley

A categorical characterization of CH, Stanley P. Franklin and Barbara Smith. Thomas

A Cautionary Tale: US Electricity Sector Reform, Seth A. Blumsack, Jay Apt, and Lester B. Lave

Accelerated iterative methods for the solution of tridiagonal systems on parallel computers, D. E. Heller, D. K. Stevenson, and J. F.(Joseph Frederick) Traub

Acceleration of cyclic steady state convergence for pressure swing adsorption models, Oliver J. Smith, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Acceleration of cyclic steady state convergence for pressure swing adsorption models, Oliver J. Smith, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Acceleration of reduced Hessian methods for large-scale nonlinear programming, Claudia Schmid, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Acceleration properties of planar manipulators from a dynamic standpoint, Yong-yil Kim and Subhas Desa

Acceleration sets of planar manipulators, Yong-yil Kim and Subhas Desa

Acceleration sets of planar manipulators, Yong-yil Kim and Subhas Desa

Accent, a communication oriented network operating system kernel, Richard F. Rashid and George G. Robertson

Accounting Conservatism and Debt Contracts: Efficient Liquidation and Covenant Renegotiation, Jing Li

Accounting for Past and Future Actions, Wei Li, Pierre Jinghong Liang, and Xiaoyan Wen

Accurate determination of optimal reflux policies for the maximum distillate problem in batch distillation, Jeffery Scott. Logsdon, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Accurate trajectory control of robotic manipulators, J Van Winssen and Clarence W. De Silva

ACE, a circuit extractor, Anoop Gupta

A change of variables formula for mappings in BV, Rustum Choksi and Irene Fonseca

Achieving and Sustaining Price Stability, Allan H. Meltzer

Achieving Both Valid and Secure Logistic Regression Analysis on Aggregated Data from Different Private Sources, Yuval Nardi, Stephen E. Fienberg, and Robert J. Hall

A class of location, distribution and scheduling problems : modeling and solution methods, Egon Balas and Carnegie Mellon University.Design Research Center.

A closed-form solution to non-rigid shape and motion recovery, Jing Xiao

A coercive bilinear form for Maxwell's equations, Costabel

A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL, Stephen J.H. Yang, Jia Zhang, Addison Su, and Jeffrey J.P. Tsai

A collection of papers on Cm* : a multi-microprocessor computer system, Samuel H. Fuller

A combined penalty function and outer-approximation method for MINLP optimization, J Viswanathan, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A combined penalty function and outer-approximation method for MINLP optimization : applications to distillation column design, J Viswanathan, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A Comment on Hester's Paper, Allan H. Meltzer

A Comment on Market Structure and Stabilization Policy, Allan H. Meltzer

A Comparative Study of Location-sharing Privacy Preferences in the U.S. and China (CMU-CyLab-12-003), Jialiu Lin, Norman Sadeh, Michael Benisch, Jianwei Niu, Jason Hong, Banghui Lu, and Shaohui Guo

A comparison of overlay routing and multihoming route control, Aditya Akella

A comparison of register transfer languages for describing computers and digital systems, Mario R. Barbacci

A comparison of two microprogrammable processors : PDP-11 40E and MLP-900, John D. Oakley

A comparison study of four texture synthesis algorithms on regular and near-regular textures, Wen-Chieh Lin

A comparison theorem for crystalline evolution in the plane, Yoshikazu Giga and Morton E. Gurtin

A computational model for conceptual design based on function logic, Robert H. Sturges and Carnegie Mellon University.Engineering Design Research Center.

A computational model of driving for autonomous vehicles, Douglas A. Reece and Steven A. Shafer

A computational paradigm for three dimensional scene analysis, James L. Crowley

A computer-aided function logic sketchpad, Robert H. Sturges, Mohammad I. Kilani, and Carnegie Mellon University.Engineering Design Research Center.

A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation, Preston K. Covey

A Conceptual Framework for Problems in Elastostatics, Walter Noll

A connectionist approach to word sense disambiguation, Garrison Weeks Cottrell

A connectionist architecture for sequential symbolic domains, Ajay N. Jain

A connectionist control architecture for working memory, Walter Schneider, Mark Detweiler, and Artificial Intelligence and Psychology Project.

A connectionist control architecture for working memory and workload : why working memory is not 7 + - 2, Mark Detweiler, Walter Schneider, and Artificial Intelligence and Psychology Project.

A connectionist implementation of cognitive phonology, Deirdre Wheeler and David S. Touretzky

A constrained pseudo-Newton control strategy for nonlinear systems, Wei-chong Li and Carnegie Mellon University.Engineering Design Research Center.

A Context-driven Content Adaptation Planner for Improving Mobile Internet Accessibility, Stephen J.H. Yang, Jia Zhang, Angus F.M. Huang, Jeffrey J.P. Tsai, and Philip S. Yu

A convolution product for the solutions of partial difference equations, Richard James Duffin and Joan Helene. Rohrer

A cost operator approach to multistage location-allocation, Robert V. Nagelhout, Gerald Luther Thompson, and Carnegie Mellon UniversityDesign Research Center

Acquiring domain-specific planners by example, Elly Winner and Manuela M. Veloso

A Credit Market Theory of the Money Supply and an Explanation of Two Puzzles in U.S. Monetary Policy, Karl Brunner and Allan H. Meltzer

Activity Forecasting, Kris Kitani, Brian D. Ziebart, J. Andrew Bagnell, and Martial Hebert

Acute Relationships Among Daily Mortality, Air Pollution, and Climate, Lester B. Lave and Eugene P. Seskin

Ada as a hardware description language : an initial report, Mario R. Barbacci, Steve Grout, Gary Lindstrom, and Michael Patrick. Maloney

Adapting optical-flow to measure object motion in reflectance and x-ray image sequences, Nancy Cornelius and Takeo Kanade

Adaptive finite element mesh generation using the Delaunay algorithm, Z.J.(Zoltan J.) Cendes, D Shenton, and H Shahnasser

Adaptive memoization, Umut A. Acar, Guy E. Blelloch, and Robert Harper

A Data-Driven Framework for Ultrasonic Structural Health Monitoring of Pipes, Yujie Ying

A Data-Driven Statistical Framework for Post-Grasp Manipulation, Robert Paolini, Alberto Rodriguez, Siddhartha Srinivasa, and Matthew T. Mason

Addendum to CAD tools which accomodate an evolutionary strategy in chemical engineering design, Michael Harvey Locke

Adding a zero-crossing count to spectral information in template-based speech recognition, Alexander I. Rudnicky, Alexander H. Waibel, and Neeraja Krishnan

Adding Dimension: Ideas for building meaningful & broader social network within academic departments, Juliana Diaz Delgado

Adding faster with application specific early termination, David Koes

Adding Significance to the Implicit Association Test, Peter Stuttgen, Joachim Vosgerau, Claude Messner, and Peter Boatwright

Adding threads to Standard ML, Eric C. Cooper and J. Gregory. Morrisett

Additive functionals on spaces with non-absolutely-continuous norm, Victor J. Mizel and Kondagunta, -1931 Sundaresan

Addressing the tradeoff between standard and custom ICs in system level design, Jay K. Adams, D. E.(Donald E.) Thomas, and Carnegie Mellon University.Engineering Design Research Center.

A decision procedure for the subtype relation on intersection types with bounded variables, Benjamin C. Pierce

A decomposition strategy for designing flexible chemical plants, Ignacio E. Grossmann and Keshava Prasad. Halemane

A definition of formula ALGOL, Alan J. Perlis, Renato Iturriaga, and Thomas A. Standish

A delay insensitive regular expression recognizer, T. S. Anantharaman

A derivation of the Poincare group, Vogt

A design space and design rules for user interface software architecture, Thomas G. Lane

A determinant theorem with applications to parallel algorithms, Don Eric. Heller

A difference scheme for the Vlasov-Poisson-Fokker-Planck system, Jack Schaeffer

A disconjugacy criterion for self-adjoint linear differential equations, Nehari

A discrete scale-space representation, Z Aviad

A distributed connectionist production system, David S. Touretzky and Geoffrey E. Hinton

A distributed connectionist representation for concept structures, David S. Touretzky, Shai Geva, and Artificial Intelligence and Psychology Project.

A distributed problem-solving approach to inductive learning, Michael J. Shaw and Riyaz Sikora

A distributed problem-solving approach to rule induction : learning in distributed artificial intelligence systems, Michael J. Shaw and Riyaz Sikora

Adjacency structures as mappings between function and structure in discrete static systems, Steven Meyer, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

Adjusting to Greenhouse Effects: The Demise of Traditional Cultures and the Cost to the USA, Lester B. Lave and Kathleen D. Heffernan Vickland

Admissible state semantics for representational systems, Jon Doyle

Adolescent Suicide in Japan: The Fatal Effects of Ijime, Erica Peaslee

A duality method for optimal consumption and investment under short-selling prohibition, Gan-Lin Xu and Steven E. Shreve

Advanced Amine and Ammonia Systems for Greenhouse Gas Control at Fossil Fuel Power Plants, Peter L. Versteeg

Advanced Computer Applications for The New Liberal Arts, Preston K. Covey

Advanced Exergy Analysis for a Solar Double Stage Absorption Chiller, Yang Hu

Advances in computer aided design, Lorenz T. Biegler and Carnegie Mellon University.Engineering Design Research Center.

Advances in counterexample-guided abstraction refinement, E. M. Clarke and Ofer Strichman

A dynamic programming approach to nonlinear boundary control problems of parabolic type, Piermarco Cannarsa, Fausto Gozzi, and H. Mete. Soner

A dynamic space-time network flow model for city traffic congestion, Daniel J. Zawack, Gerald Luther Thompson, and Carnegie Mellon University.Design Research Center.

A fast and robust variable metric method for optimum power flow, Talukdar and Theo C. Giras

A fast multi-resolution method for detection of significant spatial overdensities, Daniel B. Neill and Andrew W. Moore

A fast parallel algorithm to determine edit distance, Thomas R. Mathies

A Follow-the-Leader Approach to Serpentine Robot Motion Planning, Howie Choset and Wade Henning

A formal basis for design process planning and management, Margarida F. Jacome, Stephen W. Director, and Carnegie Mellon University.Engineering Design Research Center.

A formal specification of a visual language editor, Jeannette Marie. Wing and Amy Moormann. Zaremski

A formal system for specifying and verifying program performance, Mary Shaw

A forward simplex method, Jay E. Aronson, Thomas E. Morton, Gerald Luther Thompson, and Carnegie Mellon University.Design Research Center.

A Frame-Free Formulation of Elasticity, Walter Noll

A framework for automatic security maintenance procedures, Talukdar, Navin Tyle, and Ravi Mehrotra

A framework for building unobtrusive disk maintenance applications, Eno Thereska

A framework for modeling and communicating abstractions of constructed facilities, M. Kiumarse. Zamanian, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

A free boundary problem related to singular stochastic control, Steven E. Shreve and H. Mete. Soner

A free lunch at higher CAFE? A review of economic, environmental and social benefits, Hadi Dowlatabadi, Lester B. Lave, and Armistead G. Russell

A fully abstract semantics and a proof system for an ALGOL-like language with sharing, S. D(Stephen D.) Brookes

A functional vehicle for autonomous mobile robot research, Gregg Podnar, Kevin Dowling, and Mike Blackwell

A future computer environment for preliminary design, Arthur W. Westerberg and Carnegie Mellon University.Engineering Design Research Center.

A game-playing program that learns by analyzing examples, Steven Minton

A generalized Euler-Poincare Equation, Jeff A. Heisserman and Carnegie Mellon University.Engineering Design Research Center.

A generalized Weyl equidistribution theorem for operators with applications, Julius R. Blum and Victor J. Mizel

A general synthesis engine : making MICON domain-independent, William P. Birmingham, Anurag P. Gupta, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

A general theory quantifying the root sensitivity function, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

A generative expert system for the design of building layouts : version 2, Ulrich Flemming and Carnegie Mellon University.Engineering Design Research Center.

A geometric paradigm exposing high gain root sensitivity of single-input single-output systems, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

Aggregate Economic Variables and Votes for Congress: A Rejoinder, Francisco Arcelus and Allan H. Meltzer

Aggregative Consequences of Removing Restrictions, Allan H. Meltzer

Agile assembly architecture : an agent based approach to modular precision assembly systems, Alfred A. Rizzi, Jay Gowdy, and R. L. Hollis

A global approach for using kinematic redundancy to minimize base reactions of manipulators, C. L. Chung and Subhas Desa

A global method for relaxation, Guy Bouchitte╠ü, Irene Fonseca, and Luisa Mascarenhas

A global optimization algorithm for heat exchanger networks, Ignacio Quesada, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A global optimization algorithm for linear fractional and bilinear programs, Ignacio Quesada, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A Granular Concurrency Control for Collaborative Scientific Workflow Composition, Xubo Fei, Shiyong Lu, and Jia Zhang

A graph-based knowledge representation to support design abstraction in CAD systems, Simon Szykman, Jonathan Cagan, and Carnegie Mellon University.Engineering Design Research Center.

A greedy switch-box router, W. K. Luk

A Gronwall inequality for weakly Lipschitzian mappings, David R. Owen, Jack Schaeffer, and Keming Wang

A guide to 15-100, Robert Noyes. Chanon

AHA! : a connectionist perspective on problem solving, Craig A. Kaplan and Artificial Intelligence and Psychology Project.

A Heuristic Logic-Based Benders Method for the Home Health Care Problem, Andre A. Cire and John N. Hooker

A hole in goal trees : some guidance from resolution theory, Donald W. Loveland and M. E.(Mark E.) Stickel

A house of cards : a history of inorganic evolution of the CMU Bboard system software, Nathaniel S. Borenstein

A human organization analogy for self-* systems, John D. Strunk and Gregory R. Ganger

A hyperbolic theory for the evolution of plane curves, Morton E. Gurtin and Paolo Podio-Guidugli

Air Pollution and Human Health, Lester B. Lave and Eugene P. Seskin

Air pollution, climate, and home heating: their effects on U.S. mortality rates, Lester B. Lave and Eugene P. Seskin

A JESS Enabled Context Elicitation System for Providing Context-Aware Web Services, Stephen J.H. Yang, Jia Zhang, and Irene Y.L. Chen

A knowledge acquisition study of structural engineers performing preliminary design, Nelson C. Baker, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

A knowledge-based approach to preliminary design synthesis, Mary Lou. Maher and Carnegie Mellon University.Engineering Design Research Center.

A Knowledge Based System Approach to Predict, J. Suni and H. Henein

A language for compositional specification and verification of finite state hardware controllers, E. M. Clarke, D. E. Long, and K. L. McMillan

A Larch specification of the library problem, Jeannette Marie Wing

A Larch specification of the Miro editor, Amy Moormann. Zaremski

A Large US Retailer Selects Transportation Carriers Under Diesel Price Uncertainty, John Turner, Ben Peterson, Soo-Haeng Cho, Sunder Kekre, and Alan Scheller-Wolf

A layout for the shuffle-exchange network, Dan Hoey and Charles L. Leiserson

ALE : the attribute logic engine user's guide, version 2.0.1, Bob Carpenter and Gerald Penn

ALE : the attribute logic engine user's guide, version j3, Bob Carpenter

ALGOL-20 : a language manual, Janet W. Fierst and David M. Blocher

Algorithmic approaches to process synthesis : logic and global optimization, Christodoulos A. Floudas, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Algorithms for classical stability problems, Richard James Duffin

Algorithms for computing motion by mean curvature, Noel Walkington

Algorithms for correcting carries in a carrying adder, with an example from array software, Nicholas Zvegintzov

Algorithms for multivariate nonparametrics, Jon Louis. Bentley

Algorithms for solvents of matrix polynomials, J. E.(John E.) Dennis, J. F.(Joseph Frederick) Traub, and R. P. Weber

A library of concurrent objects and their proofs of correctness, Jeannette Marie. Wing and Chun Gong

A Life-Cycle Comparison of Alternative Automobile Fuels, Heather Maclean, Lester B. Lave, Rebecca Lankey, and Satish Joshi

A Life Cycle Comparison of Alternative Transportation Fuels, Satish Joshi, Lester B. Lave, Heather Maclean, and Rebecca Lankey

A Life-Cycle Model of an Automobile, Heather Maclean and Lester B. Lave

Alignment and connection of fragmented linear features in aerial imagery, David M. McKeown and John F. Pane

A linear format for resolution, Donald W. Loveland

A linear programming model for design of communications networks with probabilistic demand, K. O. Kortanek, Dah-Nain Lee, G Polak, and Carnegie Mellon UniversityDesign Research Center

A linear-programming reformulation of chemical stoichiometry and catalysis, Rau╠ül E. Valde╠üs-Pe╠ürez

A Little More Evidence from the Time Series, Allan H. Meltzer

All algebraic functions can be computed fast, H. T. Kung and J. F.(Joseph Frederick) Traub

“All Bets Were Off”: Changes in Scientific Causation and Tort Law through the Lens of Agent Orange from 1984 to 2005, Kendra Albert

All Trust Is Local: Empowering Users’ Authentication Decisions on the Internet, Tiffany Hyun-Jin Kim

Almost Markov processes in Monte Carlo simulation of biological molecules, Robert H. Swendsen, Djamal Bouzida, and Shankar Kumar

A local translation of untyped [lambda] calculus into simply typed [lambda] calculus, Richard Statman

Alternative bounding approximations for the global optimization of various engineering design problems, Ignacio Quesada, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Alternative control structures for speech understanding systems, Gary Goodman and Raj Reddy

Alternative transport fuels for the future, Heather Maclean, Lester B. Lave, and W. Michael Griffin

Alternative Vehicle Power Sources: Towards a Life Cycle Inventory, Rebecca Lankey, Francis McMichael, Heather Maclean, and Lester B. Lave

ALVINN, an autonomous land vehicle in a neural network, Dean A. Pomerleau

A machine learning approach to student modeling, Patrick W. Langley, Stellan Ohlsson, and Stephanie Sage

A machine learning decision support system for collaborative design, Nenad Ivezic, James Henry. Garrett, and Carnegie Mellon University.Engineering Design Research Center.

A Markov model for the acquisition of morphological structure, Leonid Kontorovich, Dana Ron, and Yoram Singer

A mathematical theory of lateral sensory inhibition, Bernard D.(Bernard David) Coleman

A mechanical theory for crystallization of a rigid solid in a liquid melt : melting-freezing waves, Morton E. Gurtin

A mechanizable theory for existence proofs of inclusive predicates, Mulmuley

A Method and Case Study of Designing Presentation Module in an SOA-based Solution Using Configurable Architectural Building Blocks (ABBs), Liang-Jie Zhang, Jia Zhang, and Abdul Allam

A Method for a Comparison of Bulk Energy Transport Systems, Alexandre Oudalov, Lester B. Lave, Muhamad Reza, and Michael P. Bahrman

A method for improving the producibility of precision planar stamped products, Jim Schmitz, Subhas Desa, and Carnegie Mellon University.Engineering Design Research Center.

A method for maximizing communications network reliability, Sharad Singhal, Gerald Luther Thompson, and Carnegie Mellon UniversityDesign Research Center.

A methodology for evaluating time-shared computer system usage, Michael M.(Michael Maker) Gold

A methodology for hardware verification based on logic simulation, Randal Bryant

A methodology for hardware verification based on logic simulation, Randal Bryant

A methodology for the evaluation of designs for Standards conformance, Steven J.(Steven Joseph) Fenves

A methodology to assess the strategic benefits of new production technologies, Aydan Kutay and Susan Finger

A Mexican Tragedy, Allan H. Meltzer

A minimal-length problem in Rn, Nehari

A minimization problem involving variation of the domain, Dacorogna and Irene Fonseca

A minimum-maximum principle for a class of non-linear integral equations, C. V.(Charles Vernon) Coffman

A mixed integer programming model for stochastic scheduling in new product development, Craig W. Schmidt, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A mixed integer programming model for transmission system planning in telecommunications networks with general circuit requirements, Ilker Baybars, K. O. Kortanek, N Mizuno, and Carnegie Mellon University.Design Research Center.

A Mobile Agent-Based Tool Supporting Web Services Testing, Jia Zhang

A Mobile Agents-based Approach to Test the Reliability of Web Services, Jia Zhang

A modal calculus for effect handling, Aleksandar Nanevski

A modal language for the safety of mobile values, Sungwoo Park

A modeless convex hull algorithm for simple polygons, M. A. Peshkin and A. C. Sanderson

A model for functional reasoning in design, P Freeman and Allen Newell

A Model for Selecting Short-Term Tests of Carcinogenicity, Lester B. Lave, Gilbert S. Omenn, Kathleen D. Heffernan, and Glen Dranoff

A modelling and decomposition strategy for the MINLP optimization of process flowsheets, Gary R. Kocis, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A model of computation for VLSI with related complexity results, Chazelle and Louis Monier

A modified least squares algorithm for solving sparse n x n sets of non-linear equations, Arthur W. Westerberg and Stephen W. Director

A monadic analysis of information flow security with mutable state, Karl Crary, Aleksey Kliger, and Frank Pfenning

A Monetarist Framework for Aggretative Analysis, Karl Brunner and Allan H. Meltzer

AMPL: design, implementation, and evaluation of a multiprocessing language, Roger B. Dannenberg

A multi-agent technique for contingency constrained optimal power flows, Sarosh Talukdar, V. C. Ramesh, and Carnegie Mellon University.Engineering Design Research Center.

A Multi-Hypothesis Topological SLAM Approach for Loop Closing on Edge-Ordered Graphs, Stephen Tully, George Kantor, Howie Choset, and Felix Werner

A multi-level organization for problem solving using many, diverse, cooperating sources of knowledge, Lee D. Erman and Victor Lesser

A multiple-baseline stereo, Masatoshi Okutomi and Takeo Kanade

A multiplier-free, reduced Hessian method for process optimization, Lorenz T. Biegler, Claudia Schmid, David J. Ternet, and Carnegie Mellon University.Engineering Design Research Center.

ANA : an assimilating and accommodating production system, McDermott

An abstract model for parallel computations : Gandy's thesis, Sieg and John Byrnes

An accounting of the materials flows for lithium, Matt Stone and Carnegie Mellon University.Engineering Design Research Center.

An actuator with mechanically adjustable series compliance, Jonathan Hurst

An adaptive threshold-based policy for sharing servers with affinities, Takayuki Osogami

An agenda for research in large-scale distributed data repositories, M Satyanarayanan

An Aggregative Theory for a Closed Economy, Karl Brunner and Allan H. Meltzer

An algebra for VLSI algorithm design, H Kung and Wen-shyoung Thomas Lin

An algorithm for fast recovery of sparse causal graphs, Peter Spirtes and Clark N. Glymour

An algorithm for replicated directories, Dean Daniels and Alfred Z. Spector

An algorithm for seam tracking applications, P. K. Khosla, Charles P. Neuman, and F. B. Prinz

An algorithmic method for reactor network synthesis, Luke Achenie, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

An algorithmic procedure for the synthesis of distillation sequences with bypass, Richard R. Wehe, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

An algorithm to estimate manipulator dynamics parameters, Pradeep K. Khosla and Takeo Kanade

Analysis of a family of algorithms for the evaluation of a polynomial and some of its derivatives, Mary Shaw and J. F.(Joseph Frederick) Traub

Analysis of a QBD process that depends on background QBD processes, Takayuki Osogami

Analysis of a reversed Coleman-Conn reduced SQP method, Lorenz T. Biegler

Analysis of asynchronous multiprocessor algorithms with applications to sorting, John T. Robinson

Analysis of concentration and oscillation effects generated by gradients, Irene Fonseca, Stefan Mu╠êller, and Pedregal

Analysis of human communication during assembly tasks, K. Suzanne. Barber and Gerald J.(Gerald Jacob) Agin

Analysis of integrated voice and data communication network, Lih-Hsing Chang

Analysis of measured transport properties of domain walls in magnetic nanowires and films, Luc Berger

Analysis of the alpha-beta pruning algorithm, Samuel H. Fuller, John G. Gaschnig, and Gillogly

Analysis of two simple heuristics on a random instance of k-SAT, Frieze and Stephen Suen

Analytical models for predicting performance in human-computer interaction, Akin and Carnegie Mellon University.Engineering Design Research Center.

ANALYTICS I: A Conceptual Framework for The SYMBOL, TRUTH, and ARGUE Programs, Apple II Plus Versions, Preston K. Covey

ANALYTICS User Manual, Preston K. Covey

Analyzing the effect of prioritized background tasks in multiserver systems, Adam Wierman

An analysis of interest operators for FIDO, Charles E. Thorpe

An analysis of interest operators for FIDO, Charles E. Thorpe

An analysis of mixed finite element approximations for periodic acoustic wave propagation, George J. Fix, R. A. Nicolaides, and Carnegie Mellon UniversityDesign Research Center

An analysis of space shuttle countdown activities :preliminaries to a computational model of the NASA Test Director Bonnie E. John, Roger W. Remington, David M. Steier., Bonnie Elizabeth. John, Roger W. Remington, and D. M. Steier

An analysis of the demand for emergency ambulance service in an urban area., Carole A. Aldrich, John C. Hisserich, and Lester B. Lave

An Analysis of the Three Signal Sir Phillip Sidney Game, Patrick Kane

An Analysis of the Validity and Costs of Using Interviews and Questionnaires in the Study of Pay Satisfaction, Paul S. Goodman

An Analysis of Towboat Delays, Joseph S. DeSalvo and Lester B. Lave

An anatomy of graceful interaction in spoken and written man-machine communication, Philip J. Hayes and Dabbala Rajagopal Reddy

An annotated bibliography of natural language and speech understanding systems, John R. Kender

An approach to natural language understanding in rule-based systems, Robert, E. Frederking

An approximation result for strongly positive kernels, Stig-Olof Londen

An aquarium made from fish soup, Caroline Kessler

An architecture for sensor fusion in a mobile robot, Steven A. Shafer, Anthony Stentz, and Charles E. Thorpe

An arithmetic logic unit for an ISP simulator, Mark Hirsch

An ASCEND based column design tool, Robert S. Huss and Carnegie Mellon University.Engineering Design Research Center.

A National Renewable Portfolio Standard? Not Practical, Jay Apt, Lester B. Lave, and Sompop Pattanariyankool

An automatic algorithm designer : an initial implementation, Kant and Allen Newell

An axiomatic foundation for continuum thermodynamics, Morton E. Gurtin and William O. Williams

An Axiomatic View of Statistical Privacy and Utility, Daniel Kifer and Bing-Rong Lin

And or graph representation of assembly plans, Luiz S. Homem de Mello and A. C.(Arthur C.) Sanderson

Andrés Caicedo: Historia debida –un reporte clínico–, Felipe Gomez

A necessary and sufficient condition that a non-degenerate linear constraint set be empty or contain a redundant constraint, Roger N. Pederson

A necessary condition for hyperbolicity of a polynomial with constant coefficients, Roger N. Pederson

An Economic Approach to Protecting Worker Health and Safety, Lester B. Lave

An effective one-step Church-Rosser strategy for combinators, Richard Statman

An effective one-step hyperperpetual reduction strategy for combinators, Richard Statman

An efficient algorithm for finding the union, intersection and differences of spatial domains, Charles M. Eastman and Christos I. Yessios

An efficient all-paths parsing algorithm for natural languages, Masaru Tomita

An efficient program for many-body simulations (or, Cray performance from a VAX), Andrew W. Appel

An electronic workbench for geotechnical site characterization, Daniel R. Rehak

An elementary proof of the fundamental property of a perfect gas, David R. Owen and Pedregal

An embedding formulation for the optimal scheduling and design of multi-purpose batch plants, Jane A. Vaselenak, Ignacio E. Grossmann, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

An Empirical Approach to the Prisoners' Dilemma Game, Lester B. Lave

An empirical study of insertion and deletion in binary search trees, Jeffrey L. Eppinger

An empirical study of learning speed in back-propagation networks, Scott E. Fahlman

An Engineering-Economic Analysis of Syngas Storage, Jay Apt, Adam Newcomer, Lester B. Lave, Stratford Douglas, and Leslie Morris Dunn

An environmental-economic evaluation of hybrid electric vehicles: Toyota's Prius vs. its conventional internal combustion engine Corolla, Lester B. Lave and Heather Maclean

An Equivalence Relation for Local Path Sets, Ross A. Knepper, Siddhartha Srinivasa, and Matthew T. Mason

An equivalence theorem for string solutions of the Einstein-matter-gauge equations, Yisong Yang

A network optimization approach for improving organizational design, Kathleen M. Carley and Natalia Y. Kamneva

A network representation and algorithm for task planning, Zozaya-Gorostiza, Chris Hendrickson, and Carnegie Mellon University.Engineering Design Research Center.

A Neumann problem with critical Sobolev exponent, Myriam Comte and Gabriella Tarantello

An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule, Mariko Yasugi

An event driven approach for mixed gate and circuit level simulation, Karem A. Sakallah and Stephen W. Director

An evolutionary resolution to the finitely repeated prisoner's dilemma paradox, Daniel B. Neill

A new algorithm for the reconstruction of near-perfect binary phylogenetic trees, Kedar Dhamdhere

A new approach to control design : variable gain plots, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

A new approach to control single-link flexible arms., Vicente Feliu, Kuldip S. Rattan, and H. Benjamin. Brown

A new approach to control single-link flexible arms., Vicente Feliu, Kuldip S. Rattan, and H. Benjamin. Brown

A new approach to control single-link flexible arms., Vicente Feliu, Kuldip S. Rattan, and H. Benjamin. Brown

A new approach to optimization of chemical processes, Thomas J. Berna, Arthur W. Westerberg, and Michael Harvey. Locke

A new approach to Young measure theory relaxation and convergence in energy, M. A. Sychev

A new global optimization method for electronic circuit design, A Groch, Luis M. Vidigal, and Stephen W. Director

A new mini-max, constrained optimization method for solving worst case problems, Stephen W. Director and Carnegie Mellon UniversityDesign Research Center

A new perspective on tolerance analysis based on tolerance zones, Prakash Padmanabhan, Thomas R. Kurfess, and Carnegie Mellon University.Engineering Design Research Center.

A Newton-Raphson based strategy for exploiting latency in dynamic simulation, Selahattin Kuru and Arthur W. Westerberg

A new upper bound on the complexity of derivative evaluation, H. T. Kung

A new variational method for crystals with defects, Rustum Choksi and Irene Fonseca

An exact algorithm for the general quadratic assignment problem, Bharat K. Kaku, Gerald Luther Thompson, and Carnegie Mellon UniversityDesign Research Center.

An exact parallel algorithm for scheduling when production costs depend on consecutive system states, J. F. Pekny, D. L. Miller, Gregory J. McRae, and Carnegie Mellon University.Engineering Design Research Center.

An Examination of Adams' Theory of Inequity, Paul S. Goodman and Abraham Friedman

An examination of remote access help desk cases, Aaron Steinfeld

An Examination of Time Extension, Delayed Gratification, and Correlates, Paul S. Goodman and Lawrence K. Williams

An example of information and computation resource trade-off, R. P. Daley

An existence theorem for a class of nonlinear integral equations, C. V.(Charles Vernon) Coffman

An existence theorem for a class of non-linear integral equations with applications to a non-linear elliptic boundary value problem, C. V.(Charles Vernon) Coffman

An experimental analysis of the B* tree search algorithm, Andrew J. Palay

An experimental comparison of alternative proof construction environments, Richard Scheines and Sieg

An experiment in supporting geographically distributed engineering design, Bill Chan and Carnegie Mellon University.Engineering Design Research Center.

An expert system architecture for construction planning, Chris Hendrickson and Carnegie Mellon University.Engineering Design Research Center.

An expert system for construction planning, Chris Hendrickson and Carnegie Mellon University.Engineering Design Research Center.

An expressive verification framework for state event systems, Sagar Chaki

An extended account of 'modal flip' and partial verb phrase fronting in German, Kathryn L. Baker

An extended variational principle, Richard Jordan

An extensible file system for HYDRA, Guy T. Almes and George Robertson

An extension of design for assembly methods for large and heavy parts, John H. Wong, Robert H. Sturges, and Carnegie Mellon University.Engineering Design Research Center.

An extension of the nucleolus to non-atomic scalar measure games, Charles G. Bird

An implementation of Ada generics, Thomas D. Newton

An implementation of Ada tasking, Thomas D. Newton

An improved algorithm for the automatic verification of finite state systems using temporal logic, Michael C. Browne

An improved failures model for communicating processes, S. D(Stephen D.) Brookes and A. W. Roscoe

An improved shape annealing algorithm for truss topology generation, Giridhar Reddy, Jonathan Cagan, and Carnegie Mellon University.Engineering Design Research Center.

An improved successive quadratic programming optimization algorithm for engineering design problems, Michael Harvey. Locke, Richard H. Edahl, and Arthur W. Westerberg

An index for operational flexibility in chemical process design. Part I,, Ross Edward. Swaney and Ignacio E. Grossmann

An index of controllability for linear deterministic processes, Federico D. Carvallo, Arthur W. Westerberg, Manfred Morari, and Carnegie Mellon University.Engineering Design Research Center.

An induction measure on λ-terms and its applications, Hongwei Xi

An informal definition of Alphard (Preliminary), Paul N. Hilfinger, Gary Feldman, Robert Fitzgerald, and Izumi Kimura

An information exchange protocol for constructed facilities, M. Kiumarse. Zamanian, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

An information model for the preliminary design of buildings, Hugues Rivard, Steven J.(Steven Joseph) Fenves, Nestor Gomez, and Carnegie Mellon University.Engineering Design Research Center.

An instructable production system : basic design issues, Michael D. Rychener and Michael D. Rychener

An integral-interpolatory iterative method for the solution of non-linear scalar equations, Boleslaw Kacewicz

An integrated approach for the optimal design of a dynamic system and its controller, Mark L. Nagurka, V Yen, and Carnegie Mellon University.Engineering Design Research Center.

An integrated contextual information service for pervasive computing applications, Glenn Judd and Peter Alfons. Steenkiste

An Integrated Service Model Approach for Enabling SOA, Liang-Jie Zhang and Jia Zhang

An integrated software environment for building design and construction, Steven J.(Steven Joseph) Fenves and Carnegie Mellon University.Engineering Design Research Center.

An integrated speech and natural language dialog system : using dialog knowledge in speech recognition, Sheryl R. Young, Alexander G. Hauptmann, and Wayne H. Ward

An intelligent, computer-based tutor for bottlenecks in engineering and science : final report, Eswaran Subrahmanian and Carnegie Mellon University.Engineering Design Research Center.

An intelligent modelling interface for design optimization, Regis J. Amarger, Lorenz T. Biegler, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

An inter-process communication facility for UNIX, Richard F. Rashid

An introduction to algorithm design, Jon Louis. Bentley

An introduction to ASCEND : its language and interactive environment, Peter C. Piela, Roy McKelvey, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

An introduction to circuit complexity and a guide to Ha╠èstad's proof, Allan Heydon

An introduction to object oriented programming, inheritance and method combination, Bruce L. Horn

An introduction to some current research in numerical computational complexity, J. F.(Joseph Frederick) Traub

An introduction to structure and structure grammars, Christopher Carlson, Roy McKelvey, Robert F. Woodbury, and Carnegie Mellon University.Engineering Design Research Center.

An introductory course in computer programming : course material developed for the Discrete System Concepts Project, Robert T. Braden and Alan J. Perlis

Anisotropic motion of a phase interface, Sigurd B. Angenent and Morton E. Gurtin

Anisotropic singular perturbations : the vectorial case, Ana Cristina. Barroso and Irene Fonseca

An Issue-Oriented Review of the Research on Absenteeism, Robert S. Atkin and Paul S. Goodman

An LP NLP based branch and bound algorithm for MINLP optimization, Ignacio Quesada, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

An MINLP process synthesizer for a sequential modular simulator, U. M. Diwekar, Ignacio E. Grossmann, Edward S. Rubin, and Carnegie Mellon University.Engineering Design Research Center.

An N²-recognizer for context free grammars, Earley

An object-oriented command language, Richard Snodgrass

Anomalous swelling of lipid bilayer stacks is caused by softening of the bending modulus, Nanjun Chu, Norbert Kucerka, Yufeng Liu, Stephanie Tristram-Nagle, and John F. Nagle

A nonlinear elliptic equation arising from gauge field theory and cosmology, X Chen

A nonlinear oscillation problem, Nehari

A nonlinear spectral theorem for abstract Nemitsky operators, Hermann Flaschka

An Open Framework Supporting Multimedia Web Services, Jia Zhang and Jen-Yao Chung

An optical proximity sensor for measuring surface position and orientation for robot manipulation, Takeo Kanade and Thomas M. Sommer

An Optimization Approach to Rough Terrain Locomotion, Matt Zucker, J. Andrew Bagnell, Christopher G. Atkeson, and James Kuffner

A note on approximation techniques used for process optimization, Lorenz T. Biegler, Ignacio E. Grossmann, and Arthur W. Westerberg

A note on Cauchy's theorem, Morton E. Gurtin, Victor J. Mizel, and William O. Williams

A Note on CLARIT 'similarity' performance, David A.(David Andreoff) Evans

A note on compactifications and semi normal spaces, Richard A. Alo and Harvey L. Shapiro

A note on fast cyclic convolution, Y Zalcstein

A note on flow networks and structures, Steven J.(Steven Joseph) Fenves

A note on infinite systems of linear inequalities in Rn, Charles E. Blair

A note on powerdomains and modality, Glynn Winskel

A note on smooth Banach spaces, E Leonard and Sundaresan

A note on star-free events, Albert R. Meyer

A Note on Star-Free Events, Albert R. Meyer

A note on the budgeted maximization of submodular functions, Andreas Krause and Carlos Guestrin

A note on the local coefficient problem, Roger N. Pederson

A note on the minimum number of units for heat exchanger network synthesis, R Wood, R Wilcox, and Ignacio E. Grossmann

A note on useful work, William Alan. Day

Another look at the simplex method in linear programming, Roger N. Pederson

An outer-approximation method for multiperiod design optimization, Dimitrios K. Varvarezos, Ignacio E. Grossmann, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A novel method for measuring the bending rigidity of model lipid membranes by simulating tethers, Vagelis A. Harmandaris and Markus Deserno

A novel pattern learning and recognition procedure applied to the learning of vowels, John Burge and Frederick Hayes-Roth

An Overview of NLP in ALICE-chan, David A.(David Andreoff) Evans

An overview of parse completion, Steven J. Nowlan and Carnegie Mellon University.Dept. of Psychology.

An overview of parse completion, Steven J. Nowlan and Artificial Intelligence and Psychology Project.

An overview of process integration methodologies, Arthur W. Westerberg and Carnegie Mellon University.Engineering Design Research Center.

An Overview of the n-dim environment, Sean Levy and Carnegie Mellon University.Engineering Design Research Center.

Antecedent Factors Affecting Valences, Instrumentalities and Expectancies, Paul S. Goodman

Anticipated Inflation and Unanticipated Price Change: A Test of the Price-Specie Flow Theory and the Phillips Curve, Allan H. Meltzer

Antideuteron production in Υ(nS) decays and the nearby continuum, Roy A. Briere, J. Chen, Thomas A. Ferguson, G. Tatishvili, Helmut Vogel, M. E. Watkins, and CLEO Collaboration

Antiplane shear flows in visco-plastic solids exhibiting isotropic and kinematic hardening, James M. Greenberg and David R. Owen

A numberless, tensed language for action oriented tasks, David Alan. Bourne

A numerical approach to the sixth coefficient problem, Roger N. Pederson

An Uncertain Outcome, Allan H. Meltzer

An uniqueness proof for the Wulff theorem, Irene Fonseca and Stefan Mu╠êller

An updated Rosen partitioning algorithm for nonlinear programming, Richard H. Edahl and Carnegie Mellon University.Engineering Design Research Center.

A one dimensional nearest neighbor model of coarsening, W. W. Mullins

A one-sided Fubini theorem for Gowurin measures, Richard A. Alo and Andre De Korvin

A paradigm for software module specification with examples, David Lorge. Parnas

A parallel algorithm for colouring graphs, Inderpal S. Bhandari, C. M. Krishna, and Daniel P. Siewiorek

A parallel algorithm for constructing binary decision diagrams, S Kimura and E. M. Clarke

A parser for HPSG, Alex Franz

A Partial Analysis of the High Speed Autonomous Navigation Problem, Alonzo Kelly

A pattern classification approach to evaluation function learning, Kai-Fu Lee

A pattern recognition based method for IC failure analysis, Andrzej J. Strojwas and Stephen W. Director

A performance comparison of on-demand multicast routing protocols for ad hoc networks, Jorjeta G. Jetcheva and David B. Johnson

A perturbation approach to robot calibration, H. O. K. Kirchner, B Gurumoorthy, and F. B. Prinz

A Petri Net-based Specification Model towards Verifiable Services Computing, Jia Zhang, Carl K. Chang, and Seong W. Kim

A phase-field theory for solidification based on a general anisotropic sharp-interface theory with interfacial energy and entropy, Eliot Fried and Morton E. Gurtin

A Plan for Subduing Inflation, Allan H. Meltzer

A Political Theory of Government Debt, Alex Cukierman and Allan H. Meltzer

A Political Theory of Government Debt and Deficits in a Neo-Ricardian Framework, Alex Cukierman and Allan H. Meltzer

A Political Theory of Progressive Income Taxation, Alex Cukierman and Allan H. Meltzer

A polynomial algorithm for deciding equivalence in directed cyclic graphical models, Thomas Richardson

A Positive Theory of Discretionary Policy, the Cost of Democratic Government and the Benefits of a Constitution, Alex Cukierman and Allan H. Meltzer

A Positive Theory of Discretionary Policy, the Cost of Democratic Government and the Benefits of a Constitution - Errata, Alex Cukierman and Allan H. Meltzer

A Positive Theory of In-Kind Transfers and the Negative Income Tax, Allan H. Meltzer and Scott F. Richard

A post-processing algorithm for time domain pitch trackers, Philippe Specker

Application of a parallel traveling salesman problem algorithm to no-wait flowshop scheduling, J. F. Pekny, D. L. Miller, Gregory J. McRae, and Carnegie Mellon University.Engineering Design Research Center.

Application of a reduced quadratic programming technique to optimal structure design, Steven J.(Steven Joseph) Fenves, Chao, and Arthur W. Westerberg

Application of average eigenvectors, Roger N. Pederson

Applications of AI in design research at Carnegie Mellon University's EDRC, Arthur W. Westerberg and Carnegie Mellon University.Engineering Design Research Center.

Applications of Environmental Valuation for Determining Externality Costs, H. Scott Matthews and Lester B. Lave

Applications of forcing to definability problems in the arithmetical hierarchy, Alan L. Selman

Applying Semantic Segment Detection to Enhance Web Page Presentation on the Mobile Internet, Stephen J.H. Yang, Jia Zhang, Stella T.C. Tsai, and Jeff J.S. Huang

Applying Web Page Adaptation Technique to the Augmentation of Mobile Learning, Stephen J.H. Yang, Jia Zhang, and Angus F.M. Huang

Approaches to knowledge acquisition : the Instructable Production System Project, Michael D. Rychener

Approaches to machine learning, Patrick W. Langley and Jaime G.(Jaime Guillermo) Carbonell

Approaches to Risk Management: A Critique, Lester B. Lave

Approach of electromagnetic fields to steady state, Richard C. MacCamy

Appropriate Indicators of Monetary Policy, Allan H. Meltzer

Appropriate lengths between phalanges of multijointed fingers for stable grasping, Tokuji Okada and Takeo Kanade

Approximate boundary controllability of the heat equation., Richard C. MacCamy, Victor J. Mizel, and Thomas I. Seidman

Approximately counting Hamilton paths and cycles in dense graphs, Martin Dyer, Frieze, and Jerrum

Approximate Representation of Unknown Objects with a Single-line Scanning Lidar and a Video Camera, Ki Ho Kwak

Approximating displacement with the body velocity integral, Ross L. Hatton and Howie Choset

Approximation of analytic functions : a method of enhanced convergence, Oscar P. Bruno and Fernando Reitich

Approximation of dissipative hereditary systems, Richard C. MacCamy

Approximation of H-measures, Luc Tartar

Approximation of liquid crystal flows, Chun Liu and Noel Walkington

Approximation of operator semi-groups, Thomas I. Seidman

Approximations for a class of functional differential equations, Richard C. McCamy

Approximation theorems on some classes of automata, Andre De Korvin

A precedence-constraint-posting procedure to generate schedules maximizing quality with anytime property, Xiaofang Wang

A prediction and planning framework for road safety analysis, obstacle avoidance and driver information, Adrian Broadhurst, Simon Baker, and Takeo Kanade

A preliminary sketch of Formula ALGOL, Alan J. Perlis, Renato Iturriaga, and Thomas A. Standish

A presentation of the free group on finitely many generators in the variety generated by Dm, Michael H. Albert and David Patrick

A primal-dual variant of the Iri-Imai algorithm for linear programming, Reha H. Tu╠êtu╠êncu╠ê

A primer of simple theories, Rami Grossberg, Jose╠ü Iovino, and Olivier Lessmann

A priori bounds for solutions of quasi-linear elliptic differential equations, Martin H. Schultz

A probabilistic computational framework for neural network models, Richard M. Golden and Artificial Intelligence and Psychology Project.

A probabilistic language based upon sampling functions, Sungwoo Park, Frank Pfenning, and Thrun

A probabilistic polynomial algorithm for solving a directed Hamiltonian Path problem, Gerald Luther Thompson, Sharad Singhal, and Carnegie Mellon UniversityDesign Research Center.

A problem in multivariate statistics : algorithm, data structure and applications, Jon Louis. Bentley and Michael Ian. Shamos

A production system monitor for parallel computers, Charles L.(Charles Lanny) Forgy

A program holder module, L Robinson and David Lorge. Parnas

A proof of Shelah's theorem, Menachem Kojman

A proof of the Bieberbach conjecture for the sixth coefficient, Roger N. Pederson

A Proposal for Incentive Reimbursement for Hospitals, Judith R. Lave, Lester B. Lave, and Lester P. Silverman

A Proposal to Solve the Trade Problem Without Lowering Our Standard of Living, Allan H. Meltzer

A Propositional Inventory On Time As A Function Of Social Scale, Paul S. Goodman

A Prospective: Quantitative Scanning Tunneling Spectroscopy of Semiconductor Surfaces, Randall M. Feenstra

A prototype tactile sensor array, James P. Christ and Arthur C. Sanderson

A prototype user interface for coarse-grained desktop access control, A. Chris. Long, Courtney Moskowitz, and Gregory R. Ganger

A quantified study of facial asymmetry in 3D faces, Yanxi Liu and Jeff Palmer

A Quantitative Analysis of the Relationship Between Congestion and Reliability in Electric Power Networks, Seth A. Blumsack, Lester B. Lave, and Marija D. Ilic

A quantitative study of search methods and the effect of constraint satisfaction, Berliner and Gordon Goetsch

A quorum-consensus replication method for abstract data types, Maurice Herlihy

ARA : formal analysis, Maxim Likhachev, Geoffrey J. Gordon, and Thrun

A randomized algorithm for learning Mahalanobis metrics : application to classification and regression of biological data, Christopher James. Langmead

A random polynomial time algorithm for approximating the volume of convex bodies, Martin Dyer, Frieze, and Ravi Kannan

A Rational Theory of the Size of Government, Allan H. Meltzer and Scott F. Richard

Arc consistency for factorable relations, Mark W. Perlin

Architects' reasoning with structures and functions, Omer Akin and Carnegie Mellon University.Engineering Design Research Center.

Architecture-Driven Variation Analysis for Designing Cloud Applications, Liang-Jie Zhang and Jia Zhang

Architecture of an integrated knowledge based environment for structural engineering applications, Daniel R. Rehak, H. C. Howard, and Duvvuru Sriram

Architecture validation system using assertion descriptions : users manual, Charles P. Kollar

ARCHPLAN : an architectural planning front end to engineering design expert systems, Schmitt and Carnegie Mellon University.Engineering Design Research Center.

A record calculus based on symmetric concatenation, Robert Harper and Benjamin C. Pierce

A recursive segmentation procedure for continuous speech, G Gill, H Goldberg, Raj Reddy, and B Yegnanarayana

A reduced Hessian method for large scale constrained optimization, Lorenz T. Biegler, Jorge Nocedal, Claudia Schmid, and Carnegie Mellon University.Engineering Design Research Center.

A reduced Hessian strategy for sensitivity analysis of optimal flowsheets, Natarajan Ganesh, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning, Stephane Ross, Geoffrey J. Gordon, and J. Andrew Bagnell

A regularized equation for anisotropic motion-by-curvature, Antonio Di Carlo, Morton E. Gurtin, and Paolo Podio-Guidugli

A regularized equation for anisotropic motion-by-curvature, Antonio Di Carlo, Morton E. Gurtin, and Paolo Podio-Guidugli

A regular layout for parallel adders, R. P(Richard P.) Brent and H. T. Kung

Are hybrid vehicles worth it?, Lester B. Lave and Heather Maclean

A relation between Shannon-Weaver entropy and "theoretical dimension" for classes of smooth functions, Aurelija Trgo and Mladen Victor. Wickerhauser

A relaxed reduced space SQP strategy for dynamic optimization problems, Jeffery Scott. Logsdon, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A reliability model for various switch designs in hybrid redundancy, Ashok D. Ingle╠ü and Daniel P. Siewiorek

A remark on the regularity of solutions of Maxwell's equations on Lipshitz domains, Costabel

A Reply to Craig Swan, Francisco Arcelus and Allan H. Meltzer

A report on the NSF-EDRC study of product design processes in selected Japanese companies, Eswaran Subrahmanian, Susan Finger, Tom M.(Tom Michael) Mitchell, and National Science Foundation (U.S.)

A representation and some mechanisms for a problem solving chess problem, Hans J. Berliner

A representation for algorithmic expansion of engineering designs, Vital Aelion, Jonathan Cagan, Gary J. Powers, and Carnegie Mellon University.Engineering Design Research Center.

A representation for shape based on peaks and ridges in the difference of low-pass transform, James L. Crowley and Alice Cline Parker

A representation for visual information, James L. Crowley

A representation of completely distributive algebraic lattices, Glynn Winskel

Are Renewables Portfolio Standards Cost-Effective Emission Abatement Policy?, Katerina Dobesova, Jay Apt, and Lester B. Lave

A restricted Lagrangean approach to the traveling salesman problem, Egon Balas, Nicos Christofides, and Carnegie Mellon UniversityDesign Research Center

A review of research literature on bilateral negotiations, Cuihong Li, Joseph Giampapa, and Katia Sycara-Cyranski

A review of the synthesis of distillation based separation systems, Arthur W. Westerberg

Argentina 2002, Allan H. Meltzer

ARGUE: A Manual and Concise Text to Accompany the ARGUE Program for Formal Deduction and Analytic Inquiry, Preston K. Covey

A Right to Die? Integrating Emotion into Moral Reasoning and Learning, Preston K. Covey

A Right to Die? The Case of Dax Cowart, Preston K. Covey

Arithmetical reducibilities., Alan L. Selman

Arithmetical reducibilities., Alan L. Selman

Arium: Beyond the Desktop Metaphor: A new way of navigating, searching, and organizing personal digital data, Jungwon Roy Shim

Arm dynamics simulation, Neil M. Swartz

A robotically-augmented walker for older adults, Jared Glover

A robust sorting network, Larry Rudolph

A robust technique for process flowsheet optimization using simplified model approximations, Natarajan Ganesh, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Arrangement of nitrogen atoms in GaAsN alloys determined by scanning tunneling microscopy, H. A. McKay, Randall M. Feenstra, T. Schmidtling, and U. W. Pohl

Artificial intelligence and rational self-government, Jon Doyle

Art or Forgery? The Strange Case of Han Van Meegeren, Preston K. Covey

A rule-based blackboard kernel system : some principles in design, Michael D. Rychener, Rene Banares-Alcantara, and Eswaran Subrahmanian

A sampled-grating model of moire patterns from digital imaging, John Krumm and Steven A. Shafer

A SAT-based algorithm for reparameterization in symbolic simulation, Pankaj Chauhan, Daniel Kroening, and E. M. Clarke

ASCEND : an object-oriented computer environment for modeling and analysis., Peter C. Piela and Carnegie Mellon University.Engineering Design Research Center.

A screening and optimization approach for the retrofit of heat exchanger networks, Terrence F. Yee, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A screening model for long range planning at the pool level, Richard H. Edahl, Navin Tyle, Sarosh Talukdar, and Carnegie Mellon UniversityDesign Research Center.

A secure human-computer authentication scheme, Nicholas J. Hopper and Manuel Blum

A security study of the Internet : an analysis of firewall behavior and anonymous DNS, Hal Burch and Dawn Song

A semantic characterization of full abstraction, Ketan Mulmuley

A semantic network of production rules in a system for describing computer structures, Michael D. Rychener

A semantic network of production rules in a system for describing computer structures, Michael D. Rychener

A semantics and proof system for communicating processes, S. D(Stephen D.) Brookes

A sensitivity based approach for flexibility analysis and design of linear process system, Dimitrios K. Varvarezos, Ignacio E. Grossmann, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A Service-Oriented Multimedia Componentization Model, Jia Zhang, Liang-Jie Zhang, Francis Quek, and Jen-Yao Chung

A “Shape Aware” Model for semi-supervised Learning of Objects and its Context, Abhinav Gupta, Jianbo Shi, and Larry S. Davis

A short note : the optimal design of pressure swing adsorption systems., Oliver J. Smith, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

A short proof of Alexandroff's theorem, Steven H. Fesmire and Paul Pengell. Hlavac

Asian Problems, the IMF, and the World Economy, Allan H. Meltzer

A simple synthesis method based on utility bounding for heat integrated distillation sequences, Mark J. Andrecovich and Arthur W. Westerberg

A simplified format for the model elimination theorem-proving procedure, Donald W. Loveland

A simulator for concurrent objects, Jeannette Marie. Wing and Chun Gong

A simultaneous optimization approach for heat exchanger network synthesis, Terrence F. Yee, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

A single source transportation algorithm, Robert V. Nagelhout, Gerald Luther Thompson, and Carnegie Mellon UniversityDesign Research Center

A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM, Stephen Tully, George Kantor, and Howie Choset

A society of mind : multiple perspectives, reasoned assumptions, and virtual copies, Jon Doyle

A software laboratory preliminary report, K Corbin

A sorting system using very low resolution optical sensor array in robot fingertips, R. Q. Yang and M. W. Siegel

ASP : an interactive APL circuit simulation package, Gregory D. Jordan

A sparse approach to simultaneous analysis and design of geometrically nonlinear structures, Omar Ghattas, Carlos E. Orozco, and Carnegie Mellon University.Engineering Design Research Center.

A spatial branch-and-bound algorithm for some unconstrained single-facility location problems, Richard H. Edahl and Carnegie Mellon University.Engineering Design Research Center.

A specification of manufacturing processes for planning, Yolanda Gil

A spectral sequence structure for homotopy theory of several subspaces, Richard N. Cain

A spectral sequence that relates the homology of a polyhedron to the homology presheaf, Richard N. Cain

Aspects of mathematical experience, Sieg

Aspectual composition using weak type coercion, Alex Franz

Assessment and support of the idea co-construction process that influences collaboration, Gahgene Gweon

Asset Pricing Tests with Long Run Risks in Consumption Growth, Anisha Ghosh and George M. Constantinides

A stable variant of the secant method for solving nonlinear equations, W. B. Gragg and G. W.(Gilbert W.) Stewart

A statistical approach to algorithmic analysis of high-dimensional nearest-neighbor search, Alexander Gray

A Statistical-Engineering Approach to Estimating Railway Cost Functions, Joseph S. DeSalvo and Lester B. Lave

A statistical equilibrium model of coherent structures in magnetohydrodynamics, Richard Jordan

A Statistical-Thermodynamic Model of Viral Budding, Shelly Tzlil, Markus Deserno, William M. Gelbart, and Avinoam Ben-Shaul

A Stepped Frequency Continuous Wave Ranging Sensor for Aiding Pedestrian Inertial Navigation, James M. Downey

A stereo matching algorithm with an adaptive window : theory and experiment, Takeo Kanade and Masatoshi Okutomi

A stochastic model for PLC systems, J. Carlos Dangelo and Talukdar

A strongly competitive randomized paging algorithm, Lyle A. McGeoch and Daniel D.(Daniel Dominic) Sleator

A strong separation between k and k-1 round communication complexity for a constructive language, Lyle A. McGeoch

A structural optimization approach in process synthesis., Soterios A. Papoulias and Soterios A. Grossman

A structural optimization approach in process synthesis., Soterios A. Papoulias and Ignacio E. Grossmann

A structural optimization approach in process synthesis., Soterios A. Papoulias and Ignacio E. Grossmann

A study in parallel computation : the traveling salesman problem, Joseph Mohan

A study of file sizes and lifetimes, M Satyanarayanan

A Study of Participation in Dynamic Auctions, Joachim Groeger

A study of the bottleneck single source transportation problem, Robert V. Nagelhout, Gerald Luther Thompson, and Carnegie Mellon University.Design Research Center.

A study of the linguistic features of medical abstracts for automated information retrieval : report on task 3 of the CMU UMLS project, Thomas N. Huckin and David A.(David Andreoff) Evans

A study of twelve specifications of the library problem, Jeannette Marie. Wing

A subspace approach to layer extraction, patch-based SFM, and video compression, Qifa Ke and Takeo Kanade

A successful algorithm for the undirected Hamiltonian path problem, Gerald Luther Thompson, Sharad Singhal, and Carnegie Mellon UniversityDesign Research Center.

A successive linear programming approach for initialization and reinitialization after discontinuities of differential algebraic equations, Vipin Gopal and Lorenz T. Biegler

A sufficient condition for finite decidability, Michael H. Albert

A Summary of the CLARIT project, David A.(David Andreoff) Evans

A survey and critique of some models of code generation, R. G. G.(Roderic Geoffrey Galton) Cattell

A survey of analysis techniques for combinatorial algorithms, Bruce Weide

A survey of hardware architectures designed for speech recognition, Hsiao-Wuen Hon

A survey of language support for programming in the large, Thomas D. Newton

A survey of parallel algorithms in numerical linear algebra, Don E. Heller

A survey of protection systems, Charles B. Weinstock

A survey of register allocation, Richard K. Johnsson

A survey of some issues concerning abstract data types, Lawrence Flon

A survey of techniques for analyzing memory interference in multiprocessor computer systems, Dileep P. Bhandarkar and Samuel H. Fuller

A survey of top categories, Oswald Wyler

A symmetric modal lambda calculus for distributed computing, Tom Murphy

Asymptotic behavior of multivariable and optimal system designs, Ssu-Kei Wang, Mark L. Nagurka, Thomas R. Kurfess, and Carnegie Mellon University.Engineering Design Research Center.

Asymptotic behavior of solutions to a class of time-dependent Volterra equations, Aizicovici, Stig-Olof Londen, and Simeon Reich

Asymptotic stability for a class of functional differential equations, Richard C. MacCamy

Asynchronous teams, Sarosh Talukdar, Carnegie Mellon University.Engineering Design Research Center., and International Symposium on Expert Systems Application to Power System(4th :1993 :La Trobe University)

Asynchronous-teams based collision avoidance in PAWS, Ju-Hsien Kao, James Simpson. Hemmerle, F. B. Prinz, and Carnegie Mellon University.Engineering Design Research Center.

Asynchronous teams : cooperation schemes for autonomous, computer-based agents, Sarosh Talukdar

Asynchronous teams : near-scale-effective organizations for distributed, computer-based agents, Sarosh Talukdar, Andrew Gove, Pedro Sergio. De Souza, and Carnegie Mellon University.Engineering Design Research Center.

A systematic approach to conceptual engineering design, Kathleen O'Shaughnessy, Robert H. Sturges, and Carnegie Mellon University.Engineering Design Research Center.

A Systematic Approach to MDD-Based Constraint Programming, Samid Hoda, Willem-Jan van Hoeve, and John N. Hooker

A tableau approach to power system analysis and design, Stephen W. Director and R Sullivan

A taste of category theory for computer scientists, Benjamin C. Pierce

A-teams for real-time operations, Sarosh Talukdar, V. C. Ramesh, and Carnegie Mellon University.Engineering Design Research Center.

A-teams : multi-agent organizations for distributed iteration, Sarosh Talukdar and Carnegie Mellon University.Engineering Design Research Center.

A temporal language for hardware simulation, specification and verification, Tong Gao. Tang

A theoretical exploration of mechanisms for coding the stimulus, Allen Newell

A Theory of Ambiguity, Credibility, and Inflation under Discretion and Asymmetric Information, Alex Cukierman and Allan H. Meltzer

A theory of language acquisition based on general learning principles, John R. Anderson

A theory of origami world, Takeo Kanade

A Theory of Political and Economic Cycles, Laurence Ales, Pricila Maziero, and Pierre Yared

Atomicity vs. availability : concurrency control for replicated data, Maurice Herlihy

A tool for the correct application of geometric tolerances, Kurt A. Laughlin, Thomas R. Kurfess, and Carnegie Mellon University.Engineering Design Research Center.

A transformational approach to mechanical design synthesis, J Rinderle, Susan Finger, Carnegie Mellon University.Engineering Design Research Center., and International Conference on Design Theory and Methodology(1st :1989 :Montreal

A transformational approach to mechanical design using a bond graph grammer, Susan Finger, J Rinderle, and Carnegie Mellon University.Engineering Design Research Center.

A transformation package for the behavioral level of the CMU-DA system, Robert A. Walker and Carnegie Mellon UniversityDesign Research Center

A transport theorem for moving interfaces, Morton E. Gurtin, A.(Allan A.) Struthers, and William O. Williams

At risk: The framework for regulating toxic substances, Lester B. Lave and Eric Males

Attribute Learning using Joint Human and Machine Computation, Edith L.M. Law

A tutorial on relational databases using structural engineering examples, Michael Joseph. Schaefer, Daniel R. Rehak, and Steven J(Steven Joseph) Fenves

A tutorial on techniques and applications for natural language processing, Philip J. Hayes and Jaime G.(Jaime Guillermo) Carbonell

A two-tiered software architecture for automated tuning of disk layouts, Brandon Salmon

A type system for well-founded recursion, Derek R. Dreyer, Robert Harper, and Karl Crary

Auction-Based Pricing Model for Web Service Providers, Jia Zhang, Ning Zhang, and Liang-Jie Zhang

Auctioning Discounts, Allan H. Meltzer, Edy Kogut, and Elcio Giestas

Auctions and market games, Gerald Luther Thompson and Carnegie Mellon UniversityDesign Research Center

Auction versus Negotiated Sale: Evidence from Real Estate Sales, Yuen Leng Chow, Isa E. Hafalir, and Abdullah Yavas

Auditing Rational Adversaries to Provably Manage Risks (CMU-CyLab-12-011), Jeremiah Blocki, Nicolas Christin, Anupam Datta, and Arunesh Sinha

Audit Mechanisms for Provable Risk Management and Accountable Data Governance (CMU-CyLab-12-020), Jeremiah Blocki, Nicolas Christin, Anupam Datta, and Arunesh Sinha

Auerbach's Defense of Defensive Operations, Karl Brunner and Allan H. Meltzer

Augmented Lagrangian line searches for successive quadratic programming, Lorenz T. Biegler

Augmented Lagrangian line searches for successive quadratic programming, J Cuthrell and Lorenz T. Biegler

A unified algorithm for flowsheet optimization, Y-D Lang, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A unified approach for showing language containment and equivalence between various types of [omega]-automata, E. M. Clarke, I. A. Draghicescu, and R. P. Kurshan

A unified approach for the simultaneous synthesis of reaction, energy and separation systems, Subash Balakrishna, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

A unified framework for modeling TCP-Vegas, TCP-SACK, and TCP-Reno, Adam Wierman, Takayuki Osogami, and Jo╠êrgen Olse╠ün

A unified view of solid shape modeling based on consistency verification, Charles M. Eastman

A unifying notation and analysis of modular register transfer (RT) control, Wing-Hing Huen

A unifying principle for extensional higher-order logic, Kohlhase

A Unit of Information-Based Content Adaptation Method for Improving Web Content Accessibility in the Mobile Internet, Stephen J.H. Yang, Jia Zhang, Rick C.S. Chen, and Norman W.Y. Shao

A universal domain technique for profinite posets, Carl A. Gunter

A universal weak method, Laird and Allen Newell

A universal weak method, John Laird and Allen Newell

A University-Oriented Web 2.0 Services Portal, Jia Zhang, Karthik Akula, Momtazul Momtazul Karim, and Raghu Kumar Reddy Raghu Kumar Reddy Ariga

A utility model for acid rain policy analysis, Navin Tyle and Talukdar

Autobiographical Notes, Walter Noll

AutoMap 1.2 : extract, analyze, represent, and compare mental models from texts, Jana Diesner and Kathleen M. Carley

Automated bond graph modeling and simplification to support design, J Rinderle, L Balasubramaniam, and Carnegie Mellon University.Engineering Design Research Center.

Automated discovery of linear feedback models, Thomas Richardson and Peter Spirtes

Automated ejectability analysis and parting surface generation for mold tool design, Rahul Bhargava, Lee Elliot. Weiss, Friedrich B. Prinz, and Carnegie Mellon University.Engineering Design Research Center.

Automated knowledge acquisition for a computer hardware synthesis system, William P. Birmingham, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

Automated modeling to support conceptual design, L Balasubramaniam, Juan Pedro. Paz-Solda╠ün, J Rinderle, and Carnegie Mellon University.Engineering Design Research Center.

Automated modeling to support design, J Rinderle, L Balasubramaniam, Carnegie Mellon University.Engineering Design Research Center., and Ill International Conference on Design Theory and Methodology(2nd :1990 :Chicago

Automated performance of task-level symbolic computations in engineering design, Dhiraj K. Pathak, D. M. Steier, and Carnegie Mellon University.Engineering Design Research Center.

Automated setup assembly mechanisms for the Intelligent Machining Workstation, F. Brack. Hazen

Automated synthesis of digital hardware, Alice C. Parker and Louis Hafer

Automated task allocation and processor specification strategies for multi-computer systems, Jim Beck, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

Automatic and hierarchical verification of asynchronous circuits using temporal logic, B Mishra and E. M. Clarke

Automatic construction of explanation networks for a cooperative user interface, Ingrid D. Glasner and Philip J. Hayes

Automatic generation of mechanical assembly sequences, Luiz S. Homem de Mello and Arthur C. Sanderson

Automatic identification of critical design relationships, J Rinderle, John D. Watton, and Carnegie Mellon University.Engineering Design Research Center.

Automatic inspection for printed wiring, Robert Thibadeau, Mark Friedman, and John Seto

Automatic planning of fine motions : correctness and completeness, Matthew T. Mason

Automatic planning of fine motions : correctness and completeness, Matthew T. Mason

Automatic robot initialization using a planar target scanned by an optical reflection sensor, R. Q. Yang and M. W. Siegel

Automatic selection of examples for training a learning design system, Yoram Reich and Carnegie Mellon University.Engineering Design Research Center.

Automatic verification of asynchronous circuits using temporal logic, David L. Dill and E. M. Clarke

Automatic verification of sequential circuits using temporal logic, M Browne, E. M. Clarke, D Dill, and B Mishra

Automatic Weight Learning for Multiple Data Sources when Learning from Demonstration, Brenna Argall, Brett Browning, and Manuela M. Veloso

Automating knowledge acquisition for aerial image interpretation, David M. McKeown and Wilson A. Harvey

Automation and calibration for robot vision systems, Steven A. Shafer

Automobile Pricing, Allan H. Meltzer

Autonomous critics, Sarosh Talukdar and Carnegie Mellon University.Engineering Design Research Center.

Autonomous Manipulation with a General-Purpose Simple Hand, Matthew T. Mason, Alberto Rodriguez, Siddhartha Srinivasa, and Andres S. Vasquez

Autonomous mobile robots annual report 1985, Mobile Robot Laboratory.

AutoPart : automating schema design for large scientific databases using data partitioning, Efstratios Papadomanolakis and Anastassia Ailamaki

Avalon : language support for reliable distributed systems, Maurice Herlihy and Jeannette Marie. Wing

A variable order algorithm for unconstrained minimization, Alberto Jose Jimenez and Stephen W. Director

A variant of the Kolmogorov concept of complexity, Donald W. Loveland

A variational finite element method for stationary nonlinear fluid-solid interaction, Omar Ghattas, Xiaogang Li, and Carnegie Mellon University.Engineering Design Research Center.

A variational principle for quasistatic mechanics, M. A. Peshkin and A. C.(Arthur C.) Sanderson

A variational problem arising from a model in thermodynamics, M Marcus

A variational problem for nematic liquid crystals with variable degree of orientation, Victor J. Mizel, Diego Roccato, and Epifanio G. Virga

Averaging operators on normed function spaces, Richard A. Alo and Andre De Korvin

A view of next generation tools for design, Sarosh Talukdar, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

A viscosity solution approach to the asymptotic analysis of queueing systems, Paul Dupuis, Hitoshi Ishii, and H. Mete. Soner

A visual display system suitable for time shared use, Jesse T. Quatse

A visual display system suitable for time shared use, Jesse T. Quatse, Richard Shoup, and Kay Altmann

A visual programming language for novices, Jeffrey Bonar, Blaise W. Liffick, and Artificial Intelligence and Psychology Project.

A Wake Up Call for the Region, Allan H. Meltzer

A Way to Defuse the World Debt Bomb, Allan H. Meltzer

A Web 2.0-Based Collaborative Annotation System for Enhancing Knowledge Sharing in Collaborative Learning Environments, Addison Y.S. Su, Stephen J.H. Yang, Jia Zhang, and W.Y. Hwang

A Weekly New Issue Yield Curve for Municipal Bonds, Allan H. Meltzer

A weighted voting algorithm for replicated directories, Joshua J. Bloch, Dean S. Daniels, and Alfred Z. Spector

A world-championship-level Othello program, Paul S. Rosenbloom

Axioms for concurrent objects, Maurice Herlihy and Jeannette Marie. Wing

A Year in the Life: Business Librarians Report on 2008–09, Roye Werner

A ZFC Dowker space in Nω+ 1 : an application of pcf theory to topology, Menachem Kojman and Saharon Shelah

Azumaya algebras and derivations, H. J. Stolberg

Backwards forward induction, Gian Aldo. Antonelli and Cristina Bicchieri

Bad analogies as the source of systematic errors in problem solving skills, John R.(John Robert) Anderson and Artificial Intelligence and Psychology Project.

Balance refinement of massive linear octree datasets, Tiankai Tu and David Richard. O'Hallaron

Balancing Economics and Health in Setting Environmental Standards, Lester B. Lave

Balancing locality and randomness in DHTs, Shuheng Zhou, Gregory R. Ganger, and Peter Alfons. Steenkiste

Balancing torques in membrane-mediated interactions: Exact results and numerical illustrations, Martin Michael Muller and Markus Deserno

Banach sequence spaces, Victor J. Mizel and Sundaresan

Band gap of the Ge(111)c(2×8) surface by scanning tunneling spectroscopy, Randall M. Feenstra, J. Y. Lee, M. H. Kang, G. Meyer, and K. H. Rieder

Band offsets of InGaP/GaAs heterojunctions by scanning tunneling spectroscopy, Y. Dong, Randall M. Feenstra, M. P. Semtsiv, and W. T. Masselink

Bank Lending and Monetary Policy: A Comment, Allan H. Meltzer

Ban the Bank? Close it Down, Allan H. Meltzer

Barrier functions for design centering and security enhancement, Talukdar, Theo C. Giras, and Vibhu Kalyan

Baseload Coal Investment Decisions under Uncertain Carbon Legislation, Joule A. Bergerson and Lester B. Lave

Base reaction optimization of redundant manipulators for space applications, C. L. Chung, Subhas Desa, and Clarence W. De Silva

Basic Concepts of Thermomechanics, Walter Noll and Brian Seguin

Battery Innovation and E-cars, Lester B. Lave, Chris Hendrickson, and Francis McMichael

Bayesian estimation and testing of structural equation models, Richard Scheines, Herbert Hoijtink, and Anne Boomsma

BEAM : an accelerator for speech recognition, Roberto Bisiani, T Anantharaman, and L Butcher

BEE : a basis for distributed event environments : reference manual, Bernd Bruegge

Behavioral consistency of C and Verilog programs using bounded model checking, Edmund Clarke, Daniel Kroening, and Karen Yorav

Behavioral equivalence relations induced by programming logics, S. D(Stephen D.) Brookes and William C. Rounds

Behavior at a corner for solutions of the one dimensional heat equation, Roger N. Pederson

Behavior modeling in design system development, Robert F. Coyne and Carnegie Mellon University.Engineering Design Research Center.

Being There: Exploring the Role of 'Presence' in Designing Engaging Product/System Experiences, Bryan Cheung

Benchmarking an interdisciplinary concurrent design methodology for electronic mechanical systems, Smailagic and Carnegie Mellon University.Engineering Design Research Center.

Benefit-Cost Analysis: Do the Benefits Exceed the Costs?, Lester B. Lave

Benefit-Cost Analysis in Public Health, Lester B. Lave and Satish Joshi

Benefits of Talking about the College Transition: Exploring Growth through Cognitive Processing, Ashley McMakin

Between-word coarticulation modeling for continuous speech recognition, Mei-Yuh Hwang, Hsiao-Wuen Hon, and Kai-Fu Lee

Beyond Active Noun Tagging: Modeling Contextual Interactions for Multi-Class Active Learning, Behjat Siddiquie and Abhinav Gupta

Beyond associative memory : connectionists must search for other cognitive primitives, David S. Touretzky and Artificial Intelligence and Psychology Project.

Beyond Categories: The Visual Memex Model for Reasoning About Object Relationships, Tomasz Malisiewicz and Alexei Efros

Beyond desktop management : scaling task management in space and time, Joa╠âo Pedro. Sousa and David Garlan

Beyond Nouns: Exploiting Prepositions and Comparative Adjectives for Learning Visual Classifiers, Abhinav Gupta and Larry S. Davis

Beyond Young measures, Luc Tartar

Big Government: Democracy’s Deadly Creation, Allan H. Meltzer

BILL : a table-based, knowledge-intensive othello program, Kai-Fu Lee and Sanjoy Mahajan

Bimeasurable maps, John G. Michaels

BioWar : a city-scale multi-agent network model of weaponized biological attacks, Kathleen M. Carley

BKG : a program that plays backgammon, Hans,b. 1929 Berliner

Black-box probabilistic verification, Ha╠èkan L. S. Younes

Blacks, Golf, and the Emerging Civil Rights Movement, 1947-1954, Sanjeev Baidyaroy

Bliss 11 reference manual : a basic language for the implementation of system software for the PDP-11, William Allan. Wulf

Bliss reference manual : a basic language for implementation of system software for the PDP-10, William Allan. Wulf

Blocks World Revisited: Image Understanding Using Qualitative Geometry and Mechanics, Abhinav Gupta, Alexei Efros, and Martial Hebert

Bolstering the Security of the Electric Power System, Alexander Farrell, Lester B. Lave, and M. Granger Morgan

BoltzCONS : dynamic symbol structures in a connectionist network, David S. Touretzky

Book Review: Curing Chronic Inflation and Microeconomic Effects of Monetary Policy, Allan H. Meltzer

Book Review: Documentary History of Banking and Currency by Herman E. Krooss, Allan H. Meltzer

Book Review: Economics of Environmental Policy - A. Myrick Freeman,III, Robert Haveman, and Allen V. Kneese, Lester B. Lave

Book Review: Environmental Economics and Economics and the Environment,, Lester B. Lave and Eugene P. Seskin

Book Review: Industrial Research and Technological Innovation; An Econometric Analysis by Edwin Mansfield, Lester B. Lave

Book Review: In search of safety: Chemicals and cancer risk, by John D. Graham, Laura C. Green, and Marc J. Roberts, Lester B. Lave

Book Review: Materials Matter: Toward a Sustainable Materials Policy by Kenneth Geiser, Lester B. Lave

Book Review: Technology and politics, edited by Michael E. Kraft and Norman J. Vig., Lester B. Lave

Book Review: The Economics of Environmental Policy. by A. Myrick Freeman; Robert Haveman; Allen V. Kneese, Lester B. Lave

Book Review: The risk professionals, by Thomas M. Dietz and Robert W. Rycroft, Lester B. Lave

Boundary localized symmetry breaking and topological defects, Richard Holman and Matthew R. Martin

Boundary value approach for dynamic optimization, Purt Tanartkit, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Bounded generators of linear spaces, T Ito and Thomas I. Seidman

Bounded quantification is undecidable, Benjamin C. Pierce

Bounds and extremal microstructures for two-component composites : a unified treatment based on the translation method, Yury Grabovsky

Bounds for the girth of spheres, Juan Jorge. Scha╠êffer

Bounds on a fair policy with near optimal performance, Adam Wierman and Mor Harchol-Balter

Bounds on the speed-up of parallel evaluation of recurrences, L Hyafil and H. T. Kung

Box skeletons of discrete objects, Atul Sudhalkar, Esat Levent. Gu╠êrso╠êz, Fritz Prinz, and Carnegie Mellon University.Engineering Design Research Center.

Broadband in Schools: Effects on Student Performance and Spillovers for Household Internet Adoption, Rodrigo Belo

Broken Promises: The French Expulsion of Emir Feisal and the Failed Struggle for Syrian Independence, Anthony J. Kuhn

Buckling and band gap of the Ge(111)2×1 surface studied by low-temperature scanning tunneling microscopy, Randall M. Feenstra, G. Meyer, F. Moresco, and K. H. Rieder

Buckling of Si and Ge (111)2×1 Surfaces, Shu Nie, Randall M. Feenstra, J. Y. Lee, and M. H. Kang

Building causal graphs from statistical data in the presence of latent variables, Peter Spirtes

Building firewalls with intelligent network interface cards, David Friedman and David Nagle

Building large-scale software organizations, Sarosh Talukdar, Eleri Cardozo, and Carnegie Mellon University.Engineering Design Research Center.

Building latent variable models, Richard Scheines, Peter Spirtes, and Clark N. Glymour

Bulk and contact energies : nucleation and relaxation, Irene Fonseca and Giovanni Leoni

Buried Treasure: A Business Librarian’s Insights on Finding the Evidence, Roye Werner

Burning Caracas, Ruben Quintero

CABAL : environmental design of a compiler-compiler, Richard K. Dove

C.ai : a LISP processor for C.ai, Mario R. Barbacci, H Goldberg, and Michael Jeremy. Knudsen

C.ai(P.L*) : an L* processor for C.ai, D McCracken and G Robertson

Calculating Tetrad constraints implied by directed acyclic graphs, Peter Spirtes

Calibration and use of a light stripe range sensor mounted on the hand of a robot, Gerald J. Agin

Call Auctions with Contingent Orders, Isa E. Hafalir and Serkan Imisiker

Camelot : a distributed transaction facility for mach and the internet - an interim report, Alfred Z. Spector

Can any stationary iteration using linear information be globally convergent?, G. W. Wasilkowski

Can Different Incentives Influence Participants’ Choice?, Elizabeth Mullen

Caníbales por Cali van: Andrés Caicedo y el gótico tropical, Felipe Gomez

Can Monetary Disequilibrium be Eliminated?, Allan H. Meltzer

Can Mrs. Thatcher Do It?, Allan H. Meltzer

Can Rare Events Explain the Equity Premium Puzzle?, Anisha Ghosh and Christian Julliard

Capturing designer expertise : the CGEN system, William P. Birmingham, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

Cascading Failures: Survival versus Prevention, Sarosh Talukdar, Jay Apt, Marija D. Ilic, Lester B. Lave, and M. Granger Morgan

Casual [i.e., causal] nets for diagnosis, Chung-Lung Chen, Sarosh Talukdar, and Carnegie Mellon University.Engineering Design Research Center.

Categories of relations and functional relations, Romaine D. Jayewardene and Oswald Wyler

Cauchy spaces., James F. Ramaley and Oswald Wyler

Cauchy spaces., James F. Ramaley

Cauchy triples, Oswald Wyler

Causal analysis and inductive learning, John R.(John Robert) Anderson and Artificial Intelligence and Psychology Project.

Causality from probability, Peter Spirtes, Clark N. Glymour, and Richard Scheines

Causality in device behavior, Yumi Iwasaki and Herbert A. Simon

Causal structure among measured variables preserved with unmeasured variables, Peter Spirtes and Clark N. Glymour

Causes of Absenteeism, Robert S. Atkin and Paul S. Goodman

CDEC Assay: How to Assess the Costs & Benefits?, Preston K. Covey

CDEC Productivity Brief, Preston K. Covey

CDEC Productivity Report, Preston K. Covey

Ceci n’est pas une Mouse‐Trap Car: Physical Versus Virtual Materials in the Classroom, Emily Adair

Cellulosic Ethanol in an Oil and Carbon Constrained World, W. Michael Griffin and Lester B. Lave

Central Bank Policy: Some First Principles, Allan H. Meltzer

CEPHDA : chemical engineering process hierarchical design with Ascend, Kay C. Dee, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

C.Fast : A fault tolerant and self-testing microprocessor, Michael M. Tsao, Andrew W. Wilson, Ralph C. Mcgarity, and Chia Jeng. Tseng

Changes in Transferable Knowledge Resulting from Study in a Graduate Software Engineering Curriculum, Ray Bareiss, Todd Sedano, and Ed Katz

Characteristics of Individuals Who Identify A Regular Source of Medical Care, Judith R. Lave, Lester B. Lave, Samuel Leinhardt, and Daniel Nagin

Characteristic values associated with a class of non-linear boundary value problems, C. V.(Charles Vernon) Coffman

Characterization of homogeneous gradient Young measures in the case of arbitrary integrands, M. A. Sychev

Characterization of homogeneous scalar variational problems solvable for all boundary data, M. A. Sychev

Characterizations of the finite cover property and stability, John T. Baldwin, Rami Grossberg, and Saharon Shelah

Characterizations of Young measures, David Kinderlehrer and Pedregal

Characterizing stability and superstability by unions of chains and saturated models, Michael H. Albert and Rami Grossberg

Charge Transfer between Isomer Domains on n^{+}-Doped Si(111)-2x1: Energetic Stabilization, Randall M. Feenstra, G. Bussetti, B. Bonanni, A. Violante, P. Chiaradia, M. G. Betti, and C. Mariani

Checking consistency of C and Verilog using predicate abstraction and induction, Edmund Clarke and Daniel Kroening

CHIMERA II : a real-time UNIX-compatible multiprocessor operating system for sensor-based control applications, David B. Stewart, Donald Schmitz, and Pradeep K. Khosla

Cholesterol Perturbs Lipid Bilayers Nonuniversally, Jianjun Pan, Thalia T. Mills, Stephanie Tristram-Nagle, and John F. Nagle

Choosing a Liquid Fuel Supply Mix, Lester B. Lave

Choosing Freely: The Friedmans' Influence On Economic and Social Policy, Allan H. Meltzer

Choosing sampling rates for robot control, Pradeep K. Khosla

Chunking in soar : the anatomy of a general learning mechanism, John E. Laird, Paul S. Rosenbloom, and Allen Newell

Church's thesis, "consistency", "formalization", "proof theory" : dictionary entries, Sieg

Circumscription and implicit definability, Jon Doyle

Clarification of the ripple phase of lecithin bilayers using fully hydrated, aligned samples, John Katsaras, Stephanie Tristram-Nagle, Yufeng Liu, R. L. Headrick, E. Fontes, P. C. Mason, and John F. Nagle

Classification of balanced sets and critical points of even functions on spheres, C. V.(Charles Vernon) Coffman

Classification using multi-layered perceptrons, Selwyn Piramuthu, Michael J. Shaw, and James A. Gentry

Classifier Ensemble Recommendation, Pyry Matikainen, Rahul Sukthankar, and Martial Hebert

Classifying convex extremum problems over linear topologies having separation properties, K. O. Kortanek

Clean and Dirty Floating, Allan H. Meltzer

Clean Recycling of Lead-Acid Batteries for Electric Vehicles: A Reply to Socolow and Thomas, Lester B. Lave, Chris Hendrickson, and Francis McMichael

Climate change: the effects of personal beliefs and scientific uncertainty, Lester B. Lave and Hadi Dowlatabadi

CLL : a concurrent language built from logical principles, Deepak Garg

Closer Look at Structure of Fully Hydrated Fluid Phase DPPC Bilayers, Norbert Kucerka, Stephanie Tristram-Nagle, and John F. Nagle

Closing the Deficit, Allan H. Meltzer

C.mmp : the CMU multiminiprocessor computer, requirements and overview of the initial design, C. Gordon. Bell

CMU-11 engineering documentation, Samuel H. Fuller, T. M. McWilliams, and W. H. Sherwood

CMU Common Lisp user's manual, Rob MacLachlan

CMU Common Lisp user's manual, Rob MacLachlan

CMU Common Lisp user's manual Mach IBM RT edition, David B. McDonald

CMU common lisp user's manual : Masch IBM RT PC editon, David B. McDonald

CMU computer science systems introductory users manual, Jack Dills

CMU PDP-10 introductory users manual, Jack Dills, Arthur M. Farley, and Mary Shaw

CMU Ray Tracer : version 6.0, brief instruction manual, Robert Thibadeau

CMU strategic computing vision project report : 1984 to 1985, Takeo Kanade and Charles E. Thorpe

Coal as an Energy Resource/Summary of Forum, Lester B. Lave

Coal or Nuclear: The Unintended Consequences of Electricity Generation, Lester B. Lave

Coarse-grained modeling of interactions of lipid bilayers with supports, Matthew I. Hoopes, Markus Deserno, Margie L. Longo, and Roland Faller

Coarse-Grained Simulation Studies of Peptide-Induced Pore Formation, Gregoria Illya and Markus Deserno

Co-existence of negatively and positively buckled isomers on n^{+} doped Si(111)-2x1, G. Bussetti, B. Bonanni, S. Cirilli, A. Violante, M. Russo, C. Goletti, P. Chiaradia, O Pulci, M. Palummo, R. Del Sole, P. Gargiani, M. G. Betti, C. Mariani, Randall M. Feenstra, G. Meyer, and K. H. Rieder

Coexistent phases in nonlinear thermoelasticity : radially symmetric equilibrium states of aelotropic bodies, Mikhail M. Shvartsman and S. S.(Stuart S.) Antman

Coherent shared memory on a message passing machine, Roberto Bisiani, Andreas Nowatzyk, and Mosur Ravishankar

Co-inference for Multi-modal Scene Analysis, Daniel Munoz, J. Andrew Bagnell, and Martial Hebert

Collaborative Scientific Workflows, Shiyong Lu and Jia Zhang

Collaborative Scientific Workflows Supporting Collaborative Science, Shiyong Lu and Jia Zhang

Collected papers on the learning and recognition of structured patterns, Frederick Hayes-Roth and David J. Mostow

Collection-oriented languages, Jay M. Sipelstein and Guy E. Blelloch

Collectionwise normality and the extension of functions on product spaces, Richard A. Alo and Linn I. Sennott

Collocation methods for distillation design., Robert S. Huss and Carnegie Mellon University.Engineering Design Research Center.

Collocation methods for distillation design., Robert S. Huss and Carnegie Mellon University.Engineering Design Research Center.

Collocation methods for distillation design., Robert S. Huss and Carnegie Mellon University.Engineering Design Research Center.

Collusion in Oligopoly: An Experiment on the Effect of Numbers and Information, F. T. Dolbear, Lester B. Lave, G. Bowman, A. Lieberman, E. Prescott, F. Rueter, and R. Sherman

Color image processing for navigation : two road trackers, D Aubert and Charles E. Thorpe

Combinatorial solutions of multidimensional divide-and-conquer recurrences, Louis Monier

Combinators and the theory of partitions, Richard Statman

Combinators hereditarily of order one, Richard Statman

Combinators hereditarily of order two, Richard Statman

Combined MOCVD and MBE growth of GaN on porous SiC, Ashutosh Sagar, Randall M. Feenstra, C. K. Inoki, T. S. Kuan, and D. D. Koleske

Combining artificial intelligence and optimization in engineering design, Jonathan Cagan, Ignacio E. Grossmann, John N. Hooker, and Carnegie Mellon University.Engineering Design Research Center.

Combining decision diagrams and SAT procedures for efficient symbolic model checking, P. F. Williams

Combining Equity and Utilitarianism in a Mathematical Programming Model, John N. Hooker and H P. Williams

Combining nominal and continuous properties in an incremental learning system for design, Yoram Reich and Carnegie Mellon University.Engineering Design Research Center.

Commentary: Benefit-Cost Analysis, George C. Eads, Lester B. Lave, Scott Farrow, and Michael Toman

Commentary: Macroeconomic Policy and Long-Run Growth, Allan H. Meltzer

Commentary: Monetary Policy and the Control of Inflation, Allan H. Meltzer

Commentary on 4'Increasing Indebtedness and Financial Stability in the United States", Allan H. Meltzer

Commentary: The Financial System and Economic Performance, Allan H. Meltzer

Commentary: The Role of Judgment and Discretion in the Conduct of Monetary Policy, Allan H. Meltzer

Commentary: What Do Budget Deficits Do?, Allan H. Meltzer

Comment: Low-Cost Strategies for Coping with CO₂ Emission Limits, Lester B. Lave

Comment on Barry Friedman's Demand for Money, Allan H. Meltzer

Comment on "Blend of Fiscal and Monetary Policies" by Richard Musgrave, Allan H. Meltzer

Comment on Debt Deflation: Theory and Evidence, Allan H. Meltzer

Comment on Donald Gordon, Allan H. Meltzer

Comment on Goodhart and Huang, Allan H. Meltzer

Comment on Money, Credit and Interest Rates in the Business Cycle, Allan H. Meltzer

Comment on Real and Pseudo-Financial Crises, Allan H. Meltzer

Comment on: Restoring Full Employment in Japan, Allan H. Meltzer

Comment (on Robert J. Gordon), Allan H. Meltzer

Comment on the Consensus, Allan H. Meltzer

Comment on the Long-Run and Short-Run Demand for Money, Karl Brunner and Allan H. Meltzer

Comments on Bonomo and Schotta: The Effect of Federal Open Market Operations on Variations in Member Bank Reserves, Allan H. Meltzer

Comments on Buchanan, Allan H. Meltzer

Comments on Chitre and Gramlich, Allan H. Meltzer

Comments on External Pressures and the Operations of the Fed, Allan H. Meltzer

Comments on the Economy, Allan H. Meltzer

Comments on "The Effects of Social Task and Situational Factors on Motivation, Performance and Appraisal", Paul S. Goodman and Mark Fichman

Comments on the Federal Reserve - MIT Economic Model, Allan H. Meltzer

Comments on the Paper by Chick and Thomas, Allan H. Meltzer

Comments on the Report: The United States and the MDBs, Allan H. Meltzer

Common knowledge : analysis and applications, Peter Vanderschraaf

Common reasoning about admissibility, Cristina Bicchieri and Oliver Schulte

Communicating Risk to the Public, M. Granger Morgan, Baruch Fischhoff, Ann Bostrom, Lester B. Lave, and Cynthia J. Atman

Communicating with high-level plans, Jeffrey Bonar, Blaise W. Liffick, and Artificial Intelligence and Psychology Project.

Communication complexity for parallel divide-and-conquer, I-Chen Wu and H. T. Kung

Communication in automated engineering design, David V. Morse, Chris Hendrickson, and Carnegie Mellon University.Engineering Design Research Center.

Communication support in operating systems for distributed transactions, Alfred Z. Spector

Compactness in algebraic structures, Gu╠ênter H. Wenzel

Comparative study of nonlinear time warping techniques in isolated word speech recognition systems, Alexander Waibel and B Yegnanarayana

Comparing categories of domains, Carl A. Gunter

Comparing how atomicity mechanisms support replication, Maurice Herlihy

Comparing two life cycle assessment approaches: a process model vs. economic input-output-based assessment, Chris Hendrickson, Arpad Horvath, Satish Joshi, Markus Klausner, Lester B. Lave, and Francis McMichael

Comparison and superlatives : what's the best?, Deryle W. Lonsdale

Comparison of electronic and mechanical contrast in scanning tunneling microscopy images of semiconductor heterojunctions, Randall M. Feenstra

Comparison of Graphene Formation on C-face and Si-face SiC {0001} Surfaces, Luxmi, Nishtha Srivastava, Guowei He, and Randall M. Feenstra

Comparison of speech spectra for additive type of spectral distortion, B Yegnanarayana and Raj Reddy

Comparison of two methods for design centering, Luis M. Vidigal and Stephen W. Director

Competitive algorithms for replication and migration problems, David L. Black and Daniel D.(Daniel Dominic) Sleator

Competitive Energy Options for Pennsylvania, Jay Apt, Seth A. Blumsack, and Lester B. Lave

Competitive methods for finish-form machining of lugs and tenons in turbine blade manufacturing, Paul K. Wright

Compilation for a processor containing pipelined register files, Alan Sussman

Compiling cp (↓,|,&) on top of Prolog, Vijay A. Saraswat

Compiling path expressions into VLSI circuits, T. S. Anantharaman, E. M. Clarke, M. J. Foster, and B Mishra

Complete isothermal Riemannian metrics on R² having compactly supported Gaussian curvature, Sandra Samelson

Completeness of calculii for axiomatically defined classes of algebras, Alan L. Selman

Complete orientation rules for patterns, Chris Meek

Complete sets of expectations on Von Neumann algebras, Andre De Korvin

Componentization of Business Process Layer in The SOA Reference Architecture, Liang-Jie Zhang and Jia Zhang

Compositional model checking, E. M. Clarke, D. E. Long, and K. L. McMillan

Compositions for balanced hypergraphs, Olivia M. Carducci

Computability theory, Mundici and Sieg

Computational complexity of iterative processes, J. F.(Joseph Frederick) Traub

Computational complexity of one-point and multipoint iteration, H. T. Kung and J. F.(Joseph Frederick) Traub

Computational complexity of one-step methods for a scalar autonomous differential equation, Arthur G. Werschulz

Computational complexity of one-step methods for systems of differential equations, Arthur G. Werschulz

Computational considerations for moving finite element methods, Andrew N. Hrymak, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Computational experience with DICOPT solving MINLP problems in process systems engineering, Gary R. Kocis, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Computational geometry on a systolic chip, Chazelle

Computational hysteresis in modeling magnetic systems, David Kinderlehrer and Ling Ma

Computational models for form-function synthesis in engineering design, Ulrich Flemming and Carnegie Mellon University.Engineering Design Research Center.

Computational models for parallel computers, H. T. Kung

Computational Rationalization: The Inverse Equilibrium Problem, Kevin Waugh, Brian D. Ziebart, and J. Andrew Bagnell

Computation of magnetostrictive materials, Ling Ma

Computation of microstructure utilizing Young measure representations, Roy A. Nicolaides and Noel Walkington

Computation of the zeros of the Riemann zeta function in the critical strip, R. P(Richard P.) Brent

Computer-aided design tools in chemical engineering process design, Arthur W. Westerberg

Computer aided facilities management and design, O╠êmer Akin, John Eberhard, Zeynep Anadol, and James Roche

Computer-Aided Systems and Communities: Mechanisms for Organizational Learning in Distributed Environments, Paul S. Goodman and Eric D. Darr

Computer analysis of neuronal structure, Raj Reddy

Computer-Assisted Instruction in Logic and Argument Analysis, Preston K. Covey

Computer-based advisors for environmentally coscious [i.e. conscious], "green" product design, Antonio Diaz-Calderon and Carnegie Mellon University.Engineering Design Research Center.

Computer-Based Logic and Argument Analysis: Analytics, Preston K. Covey

Computer environments for proof construction, Richard Scheines and Sieg

Computer models of human personality traits, Jaime G.(Jaime Guillermo) Carbonell

Computer programs and graph transformations by David C.Cooper., David C. Cooper

Computer supported creative design : a pragmatic approach, Robert F. Coyne, Eswaran Subrahmanian, and Carnegie Mellon University.Engineering Design Research Center.

Computing differential invariants of hybrid systems as fixedpoints, Andre Platzer and E. M. Clarke

Computing the volume element of a family of metrics on the multinomial simplex, Guy Lebanon

Computing the volume of convex bodies : a case where randomness provably helps, Martin Dyer and Frieze

Concept maps, David M. McKeown

Concurrency and availability as dual properties of replicated atomic data, Herlihy

Concurrency vs. availability : atomicity mechanisms for replicated data, Maurice Herlihy

Concurrent design, Susan Finger and Carnegie Mellon University.Engineering Design Research Center.

Concurrent design, Susan Finger and Carnegie Mellon University.Engineering Design Research Center.

Concurrent design and analysis of the Navigator wearable computer system : the thermal perspective, Smailagic and Carnegie Mellon University.Engineering Design Research Center.

Concurrent garbage collection for C++, David L. Detlefs

Concurrent planning and execution for a walking robot, Reid Simmons

Concurrent thermal designs of PCB's : balancing accuracy with time constraints, Jay S. Nigen, Cristina H. Amon, and Carnegie Mellon University.Engineering Design Research Center.

Conditional independence in directed cyclic graphical models for feedback, Peter Spirtes

Conditional independence in directed cyclic graphical models representing feedback or mixtures, Peter Spirtes

Conditions for mechanical self-annealing in motions of elastic-plastic oscillators, David R. Owen and John P. Thomas

Confidentialising Survival Analysis Output in a Remote Data Access System, Christine M. O'Keefe, Ross Stewart Sparks, Damien McAullay, and Bronwyn Loong

Configurational forces and a constitutive theory for crack propagation that allows for kinking and curving, Morton E. Gurtin and Paolo Podio-Guidugli

Configurational forces and the basic laws for crack propagation, Morton E. Gurtin and Paolo Podio-Guidugli

Conflicting Objectives in Regulating the Automobile, Lester B. Lave

Conflict Resolution within Economic Organizations, Charles H. Kriebel and Lester B. Lave

Confronting hardness using a hybrid approach, Virginia Vassilevska, Ryan Williams, and Shan Leung Maverick. Woo

Confucius: A Scientific Collaboration System Using Collaborative Scientific Workflows, Jia Zhang, Daniel Kuc, and Shiyong Lu

Congestion and Urban Location, Lester B. Lave

Congestion, Tolls, and the Economic Capacity of a Waterway, Lester B. Lave and Joseph S. DeSalvo

Conjugate direction methods for solving systems of linear equations, G. W.(Gilbert W.) Stewart

Conjugate direction methods for solving systems of linear equations, G. W.(Gilbert W.) Stewart

Conjugate points, triangular matrices, and Riccati equations, Nehari

Connecting Missing Links: Object Discovery from Sparse Observations Using 5 Million Product Images, Hongwen Kang, Martial Hebert, Alexei Efros, and Takeo Kanade

Connectionism and compositional semantics, David S. Touretzky

Connectionism : is it a paradigm shift for psychology?, Walter Schneider and Artificial Intelligence and Psychology Project.

CONSENSUS : a statistical learning procedure in a connectionist network, Gordon J. Goetsch

Consequences of Absenteeism, Paul S. Goodman and Robert S. Atkin

Consequences of the Federal Reserve's Re-attachment to Free Reserves, Allan H. Meltzer

Consistent Estimation of the Risk-Return Tradeoff in the Presence of Measurement Error, Anisha Ghosh and Oliver Linton

Constitutive laws for pseudo-elastic materials, Deborah Brandon and Robert C. Rogers

Constrained Filtering with Contact Detection Data for the Localization and Registration of Continuum Robots in Flexible Environments, Stephen Tully, Andrea Bajo, George Kantor, Howie Choset, and Nabil Simaan

Constraining pictures with pictures, Allan Heydon

Constraint-directed negotiation of resource reallocations, Arvind Sathi and Fox

Constraint-directed search : a case study of job-shop scheduling, Mark S. Fox

Constraint-directed search : a case study of job-shop scheduling, Mark S. Fox

Constraint handling and stability properties of model predictive control, Nuno M. C. de. Oliveira, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Constraint Integration for Efficient Multiview Pose Estimation with Self-Occlusions, Abhinav Gupta, Anurag Mittal, and Larry S. Davis

Constraint processing alternatives in an engineering design database, Michael Joseph Schaefer

Constraint reasoning and planning in concurrent design, V Krishnan

Constraint reasoning and planning in concurrent design, V Krishnan and Carnegie Mellon University.Engineering Design Research Center.

Construction and automated deployment of local potential functions for global robot control and navigation, David C. Conner, Alfred A. Rizzi, and Howie M. Choset

Construction of a class of integral models for heat flow in materials with memory, Deborah Brandon and W Hrusa

Construction of a peephole optimiser, David Alex Lamb

Contact lines for fluid surface adhesion, Markus Deserno, Martin Michael Muller, and Jemal Guven

Context and Observation Driven Latent Variable Model for Human Pose Estimation, Abhinav Gupta, Trista Chen, Francine Chen, Don Kimber, and Larry S. Davis

Context effects in letter perception : a comparison of two theories, Howard B. Richman, Herbert Alexander Simon, and Artificial Intelligence and Psychology Project.

Contextualized Mobile Support for Learning by Doing in the Real World, Ray Bareiss, Natalie Linnell, and Martin Griss

Contextual Sequence Prediction with Application to Control Library Optimization, Debadeepta Dey, Tian Yu Liu, Martial Hebert, and J. Andrew Bagnell

Contingency constrained operations, Sarosh Talukdar, V. C. Ramesh, and Carnegie Mellon University.Engineering Design Research Center.

Continuations : unifying thread management and communication in operating systems, Richard P. Draves

Continuous distribution model for the investigation of complex molecular architectures near interfaces with scattering techniques, Prabhanshu Shekhar, Hirsh Nanda, Mathias Losche, and Frank Heinrich

Continuous functions and parallel algorithms on concrete data structures, S. D.(Stephen D.) Brookes and Shai Geva

Continuous skeletons from discrete objects, Esat Levent. Gu╠êrso╠êz, Fritz Prinz, Atul Sudhalkar, and Carnegie Mellon University.Engineering Design Research Center.

Continuous uniformities, Richard A. Alo and Harvey L. Shapiro

Contracting proofs to programs, Daniel Leivant

Control allocation : the automated design of Digital Controllers, Richard J. Cloutier

Controlling asynchronous team design environments with simulated annealing, Richard W. Quadrel and Carnegie Mellon University.Engineering Design Research Center.

Controlling Contradictions Among Regulations, Lester B. Lave

Controlling emissions from motor vehicles, Lester B. Lave, William E. Wecker, Winthrop S. Reis, and Duncan A. Ross

Controlling Money, Allan H. Meltzer

Controlling search dynamics by manipulating energy landscapes, David S. Touretzky

Control of a direct-drive arm, Haruhiko Asada, Takeo Kanade, and Ichiro Takeyama

Control of the receding meniscus in immersion lithography, T. Burnett, T. Shedd, G. Nellis, M. El-Morsi, R. Engelstad, Stephen Garoff, and K. Varanasi

Control requirements for the design of production system architectures, Michael D. Rychener

Convergence analysis for a multiplier-free reduced Hessian method, Lorenz T. Biegler and Carnegie Mellon University.Engineering Design Research Center.

Convergence of a multigrid method for elliptic equations with highly oscillatory coefficients, Engquist and Erding Luo

Convergence of the phase field equations to the Mullins-Sekerka problem with kinetic undercooling, H. Mete. Soner

Convergence of the two-phase Stefan problem to the one-phase problem, Barbara Stoth

Convergence properties of generalized Benders decompositions, N. V. Sahinidis, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Convergence testing in term-level bounded model checking, Randal Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia

Convergence to the truth and nothing but the truth, Kevin T. Kelly and Clark N. Glymour

Conversational interaction with speech systems, Alexander I. Rudnicky and Alexander G. Hauptmann

Conversational programming : APL, an implementation in bliss, Alan J. Perlis

Conversational programming -- LCC : a reference manual for a language for conversational computing, James G. Mitchell

Convex analysis treated by linear programming, Richard James Duffin

Cooperation schemes for autonomous agents, Sarosh Talukdar and Carnegie Mellon University.Engineering Design Research Center.

Cooperative algorithms for solving random-dot stereograms, Szeliski

Cooperative methods for security planning, Sarosh Talukdar, V. C. Ramesh, and Carnegie Mellon University.Engineering Design Research Center.

Copyright Law and Your Academic Work, Kenneth Crews

Core Deviation Minimizing Auctions, Isa E. Hafalir and Hadi Yektas

Corporate Taxes, Leverage, and Business Cycles, Brent Glover, Joao F. Gomes, and Amir Yaron

Corrective and reinforcement learning for speaker-independent continuous speech recognition, Kai-Fu Lee and Sanjoy Mahajan

Cosmic string solutions of the Einstein-matter-gauge equations, Joel Spruck and Yisong Yang

COST: An Approach for Camera Selection and Multi-Object Inference Ordering in Dynamic Scenes, Abhinav Gupta, Anurag Mittal, and Larry S. Davis

Cost-benefit concepts in health: Examination of some prevention efforts, Judith R. Lave and Lester B. Lave

Cost-effectiveness of short-term tests for carcinogenicity, Lester B. Lave and Gilbert S. Omenn

Cost Functions for Inland Waterways Transport in the United States, Leland S. Case and Lester B. Lave

Cost-minimization in register assignment for retargetable compilers, Andrew H. Reiner

Cotopological completions and hulls of concrete categories, Oswald Wyler

Counterfactuals, belief changes, and equilibrium refinements, Cristina Bicchieri

Counter-forensic privacy tools : a forensic evaluation, Matthew Geiger and Lorrie Faith. Cranor

Counting the number of Hamilton cycles in random digraphs, Frieze and Stephen Suen

Coupling between Lipid Shape and Membrane Curvature, Ira R. Cooke and Markus Deserno

Coupling symbolic and numeric programs in large-scale software organizations, Sarosh Talukdar, Eleri Cardozo, Gregg Podnar, and Carnegie Mellon University.Engineering Design Research Center.

Covering the edges of a random graph by cliques, Frieze and Bruce A. Reed

Co-volume methods for degenerate parabolic problems, Lisa A. Baughman and Noel Walkington

Creating an advanced collaborative open resource network, Susan Finger and Carnegie Mellon University.Engineering Design Research Center.

Creating a scientific community at the interface between engineering design and AI : a workshop report, D. M. Steier and Carnegie Mellon University.Engineering Design Research Center.

Creating Meaning out of Difference: The Discourse of Alternative Relationships, Julian Imbrescia

Credit Availability and Economic Decisions: Some Evidence from the Mortgage and Housing Markets, Allan H. Meltzer

Criteria Analysis and Validation of the Reliability of Web Services-oriented Systems,, Jia Zhang and Liang-Jie Zhang

Critical comments on the programming language PASCAL, A. Nico Habermann

Critical Issues in Assessing Organizational Effectiveness, Paul S. Goodman and Johannes M. Pennings

Critical Issues in Doing Research that Contributes to Theory and Practice, Paul S. Goodman

Cross-sectional scanning tunneling microscopy and spectroscopy of InGaP/GaAs heterojunctions, Y. Dong, Randall M. Feenstra, M. P. Semstiv, and W. T. Masselink

Cross-sectional scanning tunneling microscopy studies of lattice-matched InGaAs/InP quantum wells: variations in growth switching sequence, H. A. McKay, Randall M. Feenstra, P. J. Poole, and G. C. Aers

C threads, Eric C. Cooper and Richard P. Draves

Cultural Differences in Business Communication, John N. Hooker

Cultural Influences and New Programs Affecting Women in Technology, Pooja Shah

Currency Boards: A Comment, Allan H. Meltzer

Current Analysis of Economic Costs, Lester B. Lave

Current and Recent Monetary Policy, Allan H. Meltzer

Current International Monetary Arrangements, Allan H. Meltzer

Current Policy and the Future Capital Stock, Allan H. Meltzer

Cut elimination theorem for the second order arithmetic with the π1 1-comprehension axiom and the ω-rule, Mariko Yasugi

Cutting Planes for Mixed Integer Programming, Andrea Qualizza

Cutting planes from conditional bounds : a new approach to set covering, Egon Balas and Carnegie Mellon UniversityDesign Research Center

C.vmp : the analysis, architecture and implementation of a fault tolerant multiprocessor, Daniel P. Siewiorek, Mark Canepa, and Steve Clark

Danger of moral hazard, Allan H. Meltzer

Data and Network Optimization Effect on Web Performance, Steven Rosenberg, Surbhi Dangi, and Isuru Warnakulasooriya

Database facilities for engineering design, Charles M. Eastman

Data-Driven Scene Understanding from 3D Models, Scott Satkin, Jason Lin, and Martial Hebert

Data-driven Visual Similarity for Cross-domain Image Matching, Abhinav Shrivastava, Tomasz Malisiewicz, Abhinav Gupta, and Alexei Efros

Data-flow analysis and type recovery in Scheme, Olin Shivers

Data Mining Meets HCI: Making Sense of Large Graphs, Dueng Horng Chau

Data persistence in programming languages : a survey, Stewart M. Clamen

Dating Historical Color Images, Frank Palermo, James Hays, and Alexei Efros

Deadlock analysis in networks of communicating processes, S. D(Stephen D.) Brookes and A. W. Roscoe

Deadlock analysis in networks of communicating processes, S. D.(Stephen D.) Brookes and A. W. Roscoe

Deadlock avoidance for systolic communication, H. T. Kung

Deadlock resolution in pipelined query graphs, Vladislav Shkapenyuk

De Andrés Caicedo a León Valencia: ¿el suicidio como clausura o como apertura?, Felipe Gomez

Debt and Deficits: Some Measurement, Economic and Political Issues, Allan H. Meltzer

Debt-Equity Swaps, Allan H. Meltzer

Debt Problems, Allan H. Meltzer

Debugging Ada, Bernd Bruegge

DECADE : a hybrid expert system for catalyst selection., Rene Banares-Alcantara and Carnegie Mellon University.Engineering Design Research Center.

Decay of solutions of the two-dimensional wave equation in exterior domains, Richard C. MacCamy

Decidable discriminator varieties from unary classes, Ross Willard

Decidable discriminator varieties with lattice stalks, Ross Willard

Deciding quantifier-free Presburger formulas using finite instantiation based on parameterized solution bounds, Sanjit A. Seshia and Randal Bryant

Decision making in design for quality, Hubert Vasseur, Thomas R. Kurfess, Jonathan Cagan, and Carnegie Mellon University.Engineering Design Research Center.

Decomposable searching problems., Jon Louis. Bentley and James B. Saxe

Decomposing European CDS Returns, Antje Berndt and Iulian Obreja

Decomposition for optimal power flows, Talukdar, Theo C. Giras, and Vibhu K. Kalyan

Deducing strings from sub-string counts : a problem in computational biology, Martin Dyer, Frieze, and Stephen Suen

Deductive assistance for elucidation of chemical reaction pathways, Raull E. Valdes-Perez

Deepening the Automated Search for Gödel's Proofs, Adam Conkey

Defending Electric Cars - Reply, Lester B. Lave

Deficit Finance, Inflation and Growth, Allan H. Meltzer

Deficits and Inflation, Allan H. Meltzer

Defining and implementing a multilevel design representation with simulation applications, John A. Nestor and Donald E. Thomas

Definition, determination and characterization of acceleration sets for spatial manipulators, Yong-yil Kim and Subhas Desa

Deformable texture : the irregular-regular-irregular cycle, Yanxi Liu and Wen-Chieh Lin

Deformations and stresses with and without microslip, David R. Owen

Deformations and stresses with and without microslip, David R. Owen

Defying hardness with a hybrid approach, Ryan Williams

Delayed binding in PQCC generated compilers, William Allan. Wulf and K. V. Nori

Delineating classes of computational complexity via second order theories with weak set existence principles., Aleksandar Ignjatovic╠î

Delineating classes of computational complexity via second order theories with weak set existence principles., Ignjatovic╠î

Democracy in Action, Every Day: An examination of how to reinvigorate communication between people and their government, Jessica Schafer

Demonstrational interfaces : A step beyond direct manipulation, Brad A. Myers

Deregulation/Restructuring Part II: Where Do We Go From Here?, Lester B. Lave, Jay Apt, and Seth A. Blumsack

Deregulation/Restructuring Part I: Reregulation Will Not Fix the Problems, Lester B. Lave, Jay Apt, and Seth A. Blumsack

Derivational analogy : a theory of reconstructive problem solving and expertise acquisition, Jaime G(Jaime Guillermo) Carbonell

Deriving efficient graph algorithms, John H. Reif and William Louis. Scherlis

Describe : an explanation facility for an object-based expert system, Robert L. Joseph

Description of acoustic variations by hidden Markov models with tree structure, Satoru Hayamizu, Kai-Fu Lee, and Hsiao-Wuen Hon

Descriptive models of design projects, Sarosh Talukdar, Jim Rehg, Alberto Elfes, and Carnegie Mellon University.Engineering Design Research Center.

Design and Architecture of the Unified Modular Snake Robot, Cornell Wright, Austin Buchan, Ben Brown, Jason Geist, Michael Schwerin, David Rollinson, Matthew Tesch, and Howie Choset

Design and control of a two-degree-of-freedom lightweight flexible arm, Vicente Feliu, H. Benjamin. Brown, and Kuldip S. Rattan

Design and Development of A University-Oriented Personalizable Web 2.0 Mashup Portal, Jia Zhang, Momtazul Karim, Karthik Akula, and Raghu Kumar Reddy Ariga

Design and implementation of a self-securing storage device, John D. Strunk

Design and implementation of a single-chip 1-d median filter, Kemal Oflazer

Design and use of dynamic modeling in ASCEND IV, Jennifer L. Perry and Benjamin A. Allan

Design Curricula Study: Hands-On Design and the Distributed Studio, Preston K. Covey

Design Curricula Study & Hands-On Distributed Design Studio, Preston K. Covey and Joe Ballay

Design, Development and Automated Verification of an Integrity-Protected Hypervisor (CMU-CyLab-12-017), Sagar Chaki, Amit Vasudevan, Limin Jia, Jonathan M. McCune, and Anupam Datta

Design for assembly evaluation of orientation difficulty features, Jui-Te Yang, Robert H. Sturges, and Carnegie Mellon University.Engineering Design Research Center.

Design for Chronic Illness: Exploring Service Systems & New Technologies for Patients with Type 2 Diabetes, Lauren Chapman

Design for Organizational Intelligence in Non-Profits, Barbara Batokova

Design Fusion : a product life-cycle view for engineering designs, Susan Finger and Carnegie Mellon University.Engineering Design Research Center.

Design genes, Robert F. Woodbury and Carnegie Mellon University.Engineering Design Research Center.

Design, implementation, and performance evaluation of a distributed shared memory server for Mach, Alessandro Forin

Designing a rule system that searches for scientific discoveries, Douglas B. Lenat and Gregory Harris

Designing computer systems with MEMS-based storage, Steven W. Schlosser

Designing Efficient, Equitable Policies to Abate Acid Rain, Lester B. Lave

Designing for Behavior Change: Identifying design components that encourage and empower individuals to act in environmentally responsible ways, Jennifer Shirey

Designing for the Grocery Store: A Service that Facilitates Community Building as a Means to Ecologic Improvement, Sarah Calandro

Designing near optimal trajectories of structural systems by Fourier-based methods, V Yen, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

Designing note-taking for meaningful learning, Jesse Hsia

Designing programming languages for manufacturing cells, David Alan. Bourne and Paul Fussell

Design of an optical proximity sensor using multiple cones of light for measuring surface shape, Michael Fuhrman and Takeo Kanade

Design of a pedagogical aid for civil engineering education, Daniel R. Rehak and Thomas V. Schields

Design of control systems for performance : a constraint mapping approach, Robert Beyers, Subhas Desa, and Carnegie Mellon University.Engineering Design Research Center.

Design of digital filters by pole-zero decomposition, B Yegnanarayana and T. V. Ananthapadmanabha

Design of direct-drive mechanical arms, H Asada and Takeo Kanade

Design of linear quadratic regulators : the low error weighting case, Ssu-Kei Wang, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

Design of Service Component Layer in SOA Reference Architecture, Liang-Jie Zhang and Jia Zhang

Design of the G-21 multi-processor system, Jesse T. Quatse

Design optimization of stochastic flexibility, David A. Straub, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Design process management for CAD frameworks, Margarida F. Jacome, Stephen W. Director, and Carnegie Mellon University.Engineering Design Research Center.

Design relations, Eric R. Colburn, J Rinderle, Carnegie Mellon University.Engineering Design Research Center., and International Conference on Design Theory and Methodology(2nd :1990 ;Chicago

Design research : both theory and strategy, Arthur W. Westerberg

Design space navigation : an annotated bibliography, Sheng-Fen Chien, Ulrich Flemming, and Carnegie Mellon University.Engineering Design Research Center.

Design study of RIP 1 : an image processor for robotics, Rafael Bracho and Arthur C. Sanderson

Design theory and practice., Yoram Reich and Carnegie Mellon University.Engineering Design Research Center.

Design theory and practice., Yoram Reich and Carnegie Mellon University.Engineering Design Research Center.

Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic, Hiromi Hiraishi

Detailed comparison of America's Army game and Unit of Action experiments, Mike Schneider, Kathleen M. Carley, and Il-Chul Moon

DET = DET : a remark on the distributional determinant, Stefan Mu╠êller

Detecting Ground Shadows in Outdoor Consumer Photographs, Jean-Francois Lalonde, Alexei Efros, and Srinivasa G. Narasimhan

Detecting Interesting Events using Unsupervised Density Ratio Estimation, Yuichi Ito, Kris M. Kitani, J. Andrew Bagnell, and Martial Hebert

Detecting space-time clusters : prior work and new directions, Daniel B. Neill and Andrew W. Moore

Detection and evaluation of orientation features for CAD part models, Mohammad I. Kilani, Robert H. Sturges, and Carnegie Mellon University.Engineering Design Research Center.

Detection of Parking Spots Using 2D Range Data, Jifu Zhou, Luis Navarro-Serment, and Martial Hebert

Determining object orientation from a single image using multiple information sources, Nigel J. Foster and Arthur C. Sanderson

Determining the Phase of a Strong Scattering Amplitude from Its Momentum Dependence to Better Than 1°: The Example of Kaon Regeneration, Roy A. Briere and Bruce Winstein

Developing reusable model libraries in the ASCEND environment, Joseph J. Zaher and Carnegie Mellon University.Engineering Design Research Center.

Developing targets for the performance index of a chemical reactor network, Luke Achenie, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Developmental differences in scientific discovery processes, Kevin Dunbar and Artificial Intelligence and Psychology Project.

Development of an expert system for physical property predictions, Rene Banares-Alcantara and Arthur W. Westerberg

Development of an expert system shell for engineering design, Mary Lou. Maher, Panayiotis Longinos, and Carnegie Mellon University.Engineering Design Research Center.

Development of an integrated mobile robot system at Carnegie Mellon University : December 1989 final report, Steven A. Shafer and William L. Whittaker

Development of an integrated mobile robot system at Carnegie Mellon University : June 1988 annual report, Steven A. Shafer and William L. Whittaker

Development of CMU Direct-Drive Arm II, Takeo Kanade and Donald Schmitz

Development of CMU Direct-Drive Arm II, Takeo Kanade and Donald Schmitz

Development of software for solving systems of linear equations, Karl Westerberg and Carnegie Mellon University.Engineering Design Research Center.

Development of software for solving systems of nonlinear equations, Karl Westerberg and Carnegie Mellon University.Engineering Design Research Center.

Developments in the Curriculum and Teaching of Finance: Discussion, Charles F. Walker, Allan H. Meltzer, Edgar Piske, Bion B. Howard, John P. Shelton, and Ragnar D. Naess

Diagnosis procedures from fault trees, Thomas L. Teague and Gary J. Powers

Dialogue Patterns of an Arabic Robot Receptionist, Maxim Makatchev, Imran Fanaswala, Ameer Abdulsalam, Brett Browning, Wael Ghazzawi, Majd Sakr, and Reid Simmons

Dichotomies for linear differential equations with delays : the Caratheodory case, Juan Jorge. Scha╠êffer

Dichotomies for linear differential equations with delays : the Caratheodory case, C. V.(Charles Vernon) Coffman and Juan Jorge. Scha╠êffer

Differential Privacy for Protecting Multi-dimensional Contingency Table Data: Extensions and Applications, Xiaolin Yang, Stephen E. Fienberg, and Alessandro Rinaldo

Diffusion kernels on statistical manifolds, John Lafferty and Guy Lebanon

Diggin’ Independence: Women Working Toward Self-Sufficiency, Stephanie Meier and Kelly Nash

Digital hardware for a hybrid optical digital computer interface, David Paul. Casasent and Warren Sterling

Directed cyclic graphs, conditional independence, and non-recursive linear structural equation models, Peter Spirtes

Diritti di voto e Redistribuzione: Implicazioni per le Democrazie," (Voting Rights and Redistribution: Implications for Liberal, Democratic Governments), Allan H. Meltzer

Disarrangements in continua and the geometry of microstructure, David R. Owen

Disconjugacy criteria for linear differential equations, Nehari

Disconjugacy of linear differential equations in the complex domain, Meira Lavie

Discovering causal relations among latent variables in directed acyclic graphical models, Peter Spirtes

Discovering causal structure : artificial intelligence, philosophy of science and statistical modeling, Clark N. Glymour

Discovering cyclic causal structure, Thomas Richardson

Discovering Object Instances from Scenes of Daily Living, Hongwen Kang, Martial Hebert, and Takeo Kanade

Discriminating varieties, Matthew Valeriote and Ross Willard

Discussion of Duesenberry's Paper, Allan H. Meltzer

DISEMINER : a distributional-semantics inference maker, Sheldon Klein, Stephen L. Lieman, and Gary Lindstrom

Disjunctive programming and a hierarchy of relaxations for discrete optimization problems, Egon Balas and Carnegie Mellon UniversityDesign Research Center

Dislocation density reduction in GaN using porous SiN interlayers, Ashutosh Sagar, Randall M. Feenstra, C. K. Inoki, T. S. Kuan, Y. Fu, Y. T. Moon, F. Yun, and H. Morkoc

Dissipative boundary conditions for one-dimensional wave propagation, Jacobo Bielak and Richard C. MacCamy

Distinguishing between Software Oriented Architecture and Software as a Service: What's in a Name?, Phillip A. Laplante, Jia Zhang, and Jeffrey Voas

Distractor-Period Unconscious Cognitive Processing in Associative Learning, James K. Bursley

Distributed construction of a fault-tolerant network from a tree, Michael(Michael K.) Reiter, Asad Samar, and Chenxi Wang

Distributed control flow with classical modal logic, Tom Murphy, Karl Crary, and Robert Harper

Distributed Hartstone real-time benchmark suite, Clifford W. Mercer, Yutaka Ishikawa, and Hideyuki Tokuda

Distributed, replicated computer bulletin board service, Judy L. Edighoffer and Stanford University.Computer Science Dept.

Distributed representations, Geoffrey E. Hinton

Distributed systems of control specialists for power system operations, Sarosh Talukdar, V. C. Ramesh, James C. Nixon, and Carnegie Mellon University.Engineering Design Research Center.

Distribution of nitrogen atoms in dilute GaAsN and InGaAsN alloys studied by scanning tunneling microscopy, H. A. McKay, Randall M. Feenstra, T. Schmidtling, U. W. Pohl, and J. F. Geisz

Divide and conquer for linear expected time, Jon Louis. Bentley and Michael Ian. Shamos

Documenting the current pollution patterns on the Cathedral of Learning, Eric Dieckman and Carnegie Mellon University.Engineering Design Research Center.

Does Air Pollution Cause Mortality?, Lester B. Lave and Eugene P. Seskin

Does Air Pollution Shorten Lives?, Lester B. Lave and Eugene P. Seskin

Does Security Choice Matter in Venture Capital? The Case of Venture Debt, Indraneel Chakraborty and Michael Ewens

Does Tropical Cyclone Modification Make Sense? A Decision Analytic Perspective, Kelly Klima

DP, command set, Dario Giuse

DP-format of the drawing files, Dario Giuse

DPL-82, a language for distributed processing, Lars Warren. Ericson

DRCIPC 2.10 user's manual, Luiz A. V. Lea╠âo and Carnegie Mellon University.Engineering Design Research Center.

Dreaming in Isolation: Magical Realism in Modern Japanese Literature, Ida Mayer

Dreams Deferred: Capital Punishment and Injustice in Texas, Janet Jay

Droplet-level thermo-mechanical analysis of the microcasting process, R. K. Chin, Jack L. Beuth, Cristina H. Amon, and Carnegie Mellon University.Engineering Design Research Center.

Dr. Thevenin : an intelligent tutoring system for electrical circuits, Eswaran Subrahmanian, Sarosh Talukdar, William Mullen, and Carnegie Mellon University.Engineering Design Research Center.

D-SPTF : decentralized request distribution in brick-based storage systems, Christopher R. Lumb, Gregory R. Ganger, and Richard Golding

Dual extremum principles relating to cooling fins, S Bhargava and Richard James Duffin

Dual extremum principles relating to optimum beam design, S Bhargava and Richard James Duffin

Dual space search during scientific reasoning, David Klahr, Kevin Dunbar, and Artificial Intelligence and Psychology Project.

Duncker on thinking : an inquiry into progress in cognition, Allen Newell

Durra : a task-level description language : preliminary reference manual, Mario R. Barbacci and Jeannette Marie. Wing

Dyad : a system for using physically secure coprocessors, J. D. Tygar and Bennet S. Yee

Dyadic Information Transfer: A Network Study of Organizational Information Spread, Brandy Aven

Dynamically stable legged locomotion : progress report : October 1982 - October 1983, Marc H. Raibert

Dynamically stable legged locomotion research : December 1, 1980-September 30, 1981, Marc Harold. Raibert, H. Benjamin. Brown, Michael Chepponis, and Eugene Hastings

Dynamically stable legged locomotion : second report to DARPA, October 1, 1981 - December 31, 1982, Marc Harold. Raibert, H. Benjamin. Brown, Michael Chepponis, and Eugene Hastings

Dynamical modeling of phase transitions by means of viscoelasticity in many dimensions, Piotr Rybka

Dynamical theories of electromagnetism and superconductivity based on gauge invariance and energy, Morton E. Gurtin

Dynamic aspects of air quality control costs, Walter Dolde, Dennis Epple, Milton Harris, Lester B. Lave, and Samuel Leinhardt

Dynamic decentralized cache schemes for MIMD parallel processors, Larry Rudolph and Zary Segall

Dynamic equilibrium in a multi-agent economy : construction and uniqueness, Ioannis Karatzas

Dynamic operations in the planning and scheduling of multi-products batch plants, Tarun Bhatia, Lorenz T. Biegler, and Carnegie Mellon University.Engineering Design Research Center.

Dynamic optimality and multi-splay trees, Daniel D.(Daniel Dominic) Sleator and Chengwen Chris. Wang

Dynamic optimization in planning under process model uncertainty, Tarun Bhatia and Lorenz T. Biegler

Dynamic programming in computer science, Kevin Q. Brown

Dynamic recurrent neural networks, Barak Pearlmutter

Dynamics and oscillatory microstructure in a model of displacive phase transformations, Irene Fonseca, Deborah Brandon, and Pieter J. Swart

Dynamics as a mechanism preventing the formation of finer and finer microstructure, G Friesecke and J. B. McLeod

Dynamics of Ginzburg-Landau vortices, Robert L. Jerrard and H. Mete. Soner

Dynamics of labyrinthine pattern formation in magnetic fluids : a mean-field theory, Felix Otto

Dynamic solid-solid transitions with phase characterized by an order parameter, Eliot Fried and Morton E. Gurtin

Dynamic visual servo control of robots : an adaptive image-based approach, Lee Elliot. Weiss

Dynamic world modeling for an intelligent mobile robot using a rotating ultra-sonic ranging device, James L. Crowley

DyNetML : interchange format for rich social network data, Maksim Tsvetovat, Jeff Reminga, and Kathleen M. Carley

Early experience with an internet broadcast system based on overlay multicast, Yang-hua Chu

Eastman Kodak Case: Implementation of TQEM at Kodak Park's Utilities Division, Lester B. Lave, Noelette Conway-Schempf, and Arpad Horvath

Economic Analysis for Health Service Efficiency: A Review Article, Judith R. Lave and Lester B. Lave

Economic and Financial Outlook, Allan H. Meltzer

Economic Aspects of the Agenda for the Nation, Allan H. Meltzer

Economic Evaluation of Public Health Programs, Lester B. Lave

Economic impact of automation : the case of robotic thermal spraying, Aydan Kutay and Lee Elliot. Weiss

Economic Impact of Preventive Medicine, Judith R. Lave, Lester B. Lave, Jan Acton, Robert L. Berg, Herbert E. Klarman, Dorothy P. Rice, and Michael Rothschild

Economic Implications of Trace Contaminants in the Air, Lester B. Lave

Economic Input/Output Analysis to Aid Life Cycle Assessment of Electronics Products, Elisa Cobas, Chris Hendrickson, Lester B. Lave, and Francis McMichael

Economic Input–Output Models for Environmental Life-Cycle Assessment, Chris Hendrickson, Arpad Horvath, Satish Joshi, and Lester B. Lave

Economic policies and actions in the Reagan administration, Allan H. Meltzer

Economic Policy After the 1979 Oil Shock, Allan H. Meltzer

Economic Policy in the Carter Administration, Allan H. Meltzer

Economic Valuation of Air Pollution Abatement: Benefits from Health Effects, Luis A. Cifuentes and Lester B. Lave

Economies of Scale in Cash Balances Reconsidered, Karl Brunner and Allan H. Meltzer

Economist’s Comments on H.R. 8333 and S. 1860 (The Kemp-Roth Bills), Allan H. Meltzer

Economists Oppose Wage and Price Freeze, Allan H. Meltzer

EDESYN : an engineering design synthesis environment, Mary Lou. Maher and Carnegie Mellon University.Engineering Design Research Center.

Edge disjoint spanning trees in random graphs, Frieze and Thomasz ┼üuczak

Effective Affirmative Action in School Choice, Isa E. Hafalir, M. Bumin Yenmez, and Muhammed A. Yildirim

Effective field theory approach to fluctuation-induced forces between colloids at an interface, Cem Yolcu, Ira Z. Rothstein, and Markus Deserno

Effective Hamiltonian for ΔS=1 weak nonleptonic decays in the six-quark model, Frederick J. Gilman and Mark B. Wise

Effectiveness and provability, Sieg

Effective reduction and conversion strategies for combinators, Richard Statman

Effect of cholesterol on structural and mechanical properties of membranes depends on lipid chain saturation, Jianjun Pan, Stephanie Tristram-Nagle, and John F. Nagle

Effect of reference set selection on speaker dependent speech recognition, Zongge Li, Fil Alleva, and Dabbala Rajagopal Reddy

Effect of the Fine Fraction of Particulate Matter versus the Coarse Mass and Other Pollutants on Daily Mortality in Santiago, Chile, Luis A. Cifuentes, Jeanette Vega, Katherine Kopfer, and Lester B. Lave

Effect of the HIV-1 fusion peptide on the mechanical properties and leaflet coupling of lipid bilayers, P. Shchelokovskyy, Stephanie Tristram-Nagle, and R. Dimova

Effects of hydrogen during molecular beam epitaxy of GaN, Y. Dong and Randall M. Feenstra

Effects of hydrogen on the morphology and electrical properties of GaN grown by plasma-assisted molecular-beam epitaxy, Y. Dong, Randall M. Feenstra, David W. Greve, J. C. Moore, M. D. Sievert, and A. A. Baski

Effects of Multiple Inputs with an Accent Cue in Speech Segmentation Facilitated by Language Experiences, Haesung Kim

Effects of pretests on children's numerical magnitude representations, Lauren Gumbel

Efficiency and Stability in World Finance, Allan H. Meltzer

Efficient 3-D Scene Analysis from Streaming Data, Hanzhang Hu, Daniel Munoz, J. Andrew Bagnell, and Martial Hebert

Efficient consistency for erasure-coded data via versioning servers, Garth R. Goodson

Efficient constructions for one-way hash chains, Yih-Chun Hu, Markus Jakobsson, and Adrian Perrig

Efficient Craig interpolation for linear diophantine (dis)equations and linear modular equations, Himanshu Jain, E. M. Clarke, and Orna Grumberg

Efficient optimization algorithms for zero wait scheduling of multiproduct batch plants, Deepak B. Birewar, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Efficient Reductions for Imitation Learning, Stephane Ross and J. Andrew Bagnell

Efficient support for range queries in DHT-based systems, Gao and Peter Alfons. Steenkiste

Efficient Temporal Consistency for Streaming Video Scene Analysis, Ondrej Miksik, Daniel Munoz, J. Andrew Bagnell, and Martial Hebert

Efficient user interface in electronic mail systems, Akin and Carnegie Mellon UniversityDesign Research Center.

Efficient user-level file cache management on the Sun Vnode interface, David C. Steere, James J. Kistler, and M Satyanarayanan

Elastic deformation of a fluid membrane upon colloid binding, Markus Deserno

Elastic phase transitions : a new model, James M. Greenberg

Electrical Blackouts: A Systemic Problem, Jay Apt, Lester B. Lave, Sarosh Talukdar, M. Granger Morgan, and Marija D. Ilic

Electric Cars and Lead, Lester B. Lave, Chris Hendrickson, and Francis McMichael

Electric Cars May Not Be Ready To Roll, Francis McMichael, Lester B. Lave, and Chris Hendrickson

Electric energy brokerages : some concepts and models, Talukdar, Vaidyanathan Udayabhanu, Thomas E. Morton, and M. Granger. Morgan

Electronic states of chemically treated SiC surfaces, Shu Nie, Randall M. Feenstra, Y. Ke, R. P. Devaty, and W. J. Choyke

Electronic States of InAs/GaAs Quantum Dots by Scanning Tunneling Spectroscopy, S. Gaan, Guowei He, Randall M. Feenstra, J. Walker, and Elias Towe

Electronic states of oxidized GaN(0001) surfaces, Y. Dong, Randall M. Feenstra, and J. E. Northrup

Electrostatic Interactions and Binding Orientation of HIV-1 Matrix Studied by Neutron Reflectivity, Hirsh Nanda, Siddhartha A.K. Datta, Frank Heinrich, Mathias Losche, Alan Rein, Susan Krueger, and Joseph E. Curtis

Electrostatic Potential for a Hyperbolic Probe Tip near a Semiconductor, Randall M. Feenstra

Elementary order varieties, Michael H. Albert

Eliminating machine duplicity in traceroute-based Internet topology measurements, Hal Burch

Eliminating Monetary Disturbances, Allan H. Meltzer

Emission constrained dispatching of electric power, Navin Tyle, Talukdar, and Ram Mohan V. Rachamadugu

Emission Trading and Public Health, Alexander E. Farrell and Lester B. Lave

Emodis : an end-based network monitoring and diagnosis system, Ningning Hu and Peter Alfons. Steenkiste

Empirical Estimates of Technological Change in United States Agriculture, 1850–1958, Lester B. Lave

Enabling dynamic security management of networked systems via device-embedded security, Gregory R. Ganger and David Nagle

Ending Inflation: The Next Steps, Allan H. Meltzer

Ending the Worldwide Inflation, Allan H. Meltzer

End of year report for parallel vision algorithm design and implementation : January 15, 1986-January 14, 1987, Takeo Kanade and Jon A. Webb

End of year report for parallel vision algorithm design and implementation : January 15, 1987-January 14, 1988, Takeo Kanade and Jon A. Webb

Endogenous Precision of Performance Measures and Limited Managerial Attention, Pierre Jinghong Liang and Lin Nan

Endophthalmitis Vitrectomy Study (EVS) -- Safety and Data Monitoring Committee, Kathryn Davis, Stanley Azen, Preston K. Covey, Brooks McCuen, and Andrew Packer

Energy Efficiency and Rebound Effects in the United States: Implications for Renewables Investment and Emissions Abatement, Brinda Ann Thomas

Energy functionals depending on elastic strain and chemical composition, Irene Fonseca, David Kinderlehrer, and Pedregal

Energy minimization and the formation of microstructure in dynamic anti-plane shear, Pieter J. Swart and Holmes

Energy Storage on the Grid and the Short-term Variability of Wind, Eric Stephen Hittinger

Enforcing More with Less: Formalizing Target-aware Run-time Monitors (CMU-CyLab-12-009), Yannis Mallios, Lujo Bauer, Dilsun Kaynar, and Jay Ligatti

Engineering Production Functions and Capital-Labor Substitutions in Metal Machining, Lester B. Lave

Enhanced negotiation and opportunistic optimization for market-based multirobot coordination, M. Bernardine. Dias and Anthony Stentz

Enhancing Environmental Quality through Green Design, Noelette Conway-Schempf and Lester B. Lave

Enhancing the Precision of Content Analysis in Content Adaptation using Entropy-Based Fuzzy Reasoning, Rick C.S. Chen, Stephen J.H. Yang, and Jia Zhang

Enlightenment Suite: Poems, Zachary Harris

Ensemble of Exemplar-SVMs for Object Detection and Beyond, Tomasz Malisiewicz, Abhinav Gupta, and Alexei Efros

Enterprise Management Network architecture : distributed knowledge base support, Michel Roboam, Mark S. Fox, and Katia Sycara-Cyranski

Enterprise Management Network architecture : the organization layer, Michel Roboam, Mark S. Fox, and Katia Sycara-Cyranski

Entity-oriented parsing, Philip J. Hayes

Environmental Decision Support Integrating Scientific Input, Models, Economic Valuation, and Stakeholder Participation, Amanda P. Rehr

Environmental Implications of Alternative-Fueled Automobiles: Air Quality and Greenhouse Gas Tradeoffs, Heather Maclean and Lester B. Lave

Environmental Implications of Electric Cars, Lester B. Lave, Chris Hendrickson, and Francis McMichael

Environmental Pollution and Energy: An Economic Evaluation, Lester B. Lave and Lester P. Silverman

Epidemiology, Causality, and Public Policy, Lester B. Lave and Eugene P. Seskin

Epidemiology, Causality, and Public Policy- Reply, Lester B. Lave and Eugene P. Seskin

Epidemiology of Insulin-Using Commercial Motor Vehicle Drivers: Major variability of state licensing requirements in the U.S., Idamae F. Gower, Thomas J. Songer, Harold Hylton, Neill L. Thomas, Jean-Marie Ekoe, Lester B. Lave, and Ronald E. LaPorte

Epistle to the Gold Commissioners, Allan H. Meltzer

Equation-based dynamic simulator for the cryogenic system of the Superconducting Super Collider, J Viswanathan, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Equations aren't enough : informal modeling in design, Eswaran Subrahmanian and Carnegie Mellon University.Engineering Design Research Center.

Equations aren't enough : information modeling in design, Eswaran Subrahmanian and Carnegie Mellon University.Engineering Design Research Center.

Equilibrium configurations of defective crystals, Irene Fonseca and Gareth Parry

Equilibrium in a simplified dynamic, stochastic economy with heterogeneous agents, Ioannis Karatzas

Equilibrium models with singular asset prices, Ioannis Karatzas, John P. Lehoczky, and Steven E. Shreve

Equipartition of energy in wave motion, Richard James Duffin

Equivalence of causal models with latent variables, Peter Spirtes and Thomas Verma

Equivalent martingale measures and optimal market completions, Ioannis Karatzas, John P. Lehoczky, and Steven E. Shreve

ERIS : engineering resource information system, Timothy Roth and Jerome Kraitchman

EROS : a program for quick evluation of energy recovery systems, Jigar V. Shah and Arthur Wjt. auth. Westerberg

Error bounds for bivariate piecewise hermite interpolation, Martin H. Schultz

Error modelling in stereo navigation, Larry Matthies and Steven A. Shafer

Escher--a geometrical layout system for recursively defined circuits, E. M. Clarke and Yulin Feng

Estimated Cost Functions for Pennsylvania Hospitals, Judith R. Lave and Lester B. Lave

Estimating Dirichlet's integral and electrical conductance for systems which are not self-adjoint, Richard James Duffin

Estimating Economic Consequences in Organizational Effectiveness Experiments, Dennis Epple, Eduard Fidler, and Paul S. Goodman

Estimating fractal dimension from range images of natural terrain, Kenichi Arakawa and Eric Paul. Krotkov

Estimating Natural Illumination from a Single Outdoor Image, Jean-Francois Lalonde, Alexei Efros, and Srinivasa G. Narasimhan

Estimating Spatial Layout of Rooms using Volumetric Reasoning about Objects and Surfaces, David C. Lee, Abhinav Gupta, Martial Hebert, and Takeo Kanade

Estimating the Hidden Costs of Environmental Regulation, Satish Joshi, Ranjani Krishnan, and Lester B. Lave

Estimating the Survival Distribution of Aluminum Processing Pots, Emily L. Butler

Estimation and Management of Health and Safety, Lester B. Lave

Estimation of robot dynamics parameters : theory and application, Pradeep K. Khosla

Ethical Considerations in Risk Communication Practice and Research†, M. Granger Morgan and Lester B. Lave

European Monetary Union, Allan H. Meltzer

Europe Enters the Eighties, Allan H. Meltzer

Evaluating automobile fuel/propulsion system technologies, Heather Maclean and Lester B. Lave

Evaluating Biomass Energy Policy in the Face of Emissions Reductions Uncertainty and Feedstock Supply Risk, Kimberley A. Mullins

Evaluating Dam Safety Retrofits With Uncertain Benefits: The Case of Mohawk Dam (Walhonding River, Ohio), Daniel Resendiz-Carrillo and Lester B. Lave

Evaluating Interventions in the U.S. Electricity System: Assessments of Energy Efficiency, Renewable Energy, and Small-‐Scale Cogeneration, Kyle Siler-Evans

Evaluating Occupational Safety Costs and Policy in an Input-Output Framework, Deanna Matthews and Lester B. Lave

Evaluating Pose Estimation Methods for Stereo Visual Odometry on Robots, Hatem Alismail, Brett Browning, and M. Bernardine Dias

Evaluation and redesign for improving flexibility in linear systems with infeasible nominal conditions, Efstratios N. Pistikopoulos, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Evaluation criteria for the MORSE simulation environment, Joseph A. Giampapa

Evaluation of alternative computer architectures, Mario R. Barbacci

Evaluation of design flexibility in distillation columns using rigorous models, Patricia M. Hoch, Ana M. Eliceche, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Evaluation of finite element system architectures, Daniel R. Rehak, Walid T. Keirouz, Z.J.(Zoltan J.) Cendes, and Hendrickson

Evaluation of Fiscal Adjustment in IMF-Supported Programs: Some Comments, Allan H. Meltzer

Evaluation of stationary state stability for the synthesis of operating procedures, Vital Aelion, Jayant Kalagnanam, Gary J. Powers, and Carnegie Mellon University.Engineering Design Research Center.

Evaluation of the Bitstring algorithm, Peter H. Feiler

Evaluation of the haplotype motif model using the principle of minimum description, Srinath Sridhar

Even this Shadow has Weight: Collected Poetry, Dominique Davis

Evolution and Regularity Results for Epitaxially Strained Thin Films and Material Voids, Paulo Piovano

Evolution and revolution : the dynamics of corruption, Cristina Bicchieri and Carlo Rovelli

Evolutionary dynamics with large aggregate shocks, Daniel B. Neill

Evolving phase boundaries in deformable continua, Morton E. Gurtin

Exact upper bounds and their uses in set theory, Menachem Kojman

Examining DCSP coordination tradeoffs, Michael Benisch and Norman Sadeh

Examining the Generality of Self-Explanation, Ruth Wylie

Exchange Rates, Interest Rates and the Mobility of Capital: A Comment, Allan H. Meltzer

Exclusive tear sets for flowsheets, Rudolphe L. Motard and Arthur, W. Westerberg

Executable interface definitions using form-based interface abstractions, Philip J. Hayes

Existence and construction of edge disjoint paths on expander graphs, Andrei Zary. Broder, Frieze, and Eli Upfal

Existence and nonexistence in the large of solutions to quasilinear wave equations, Richard C. MacCamy and Victor J. Mizel

Existence and uniqueness of multi-agent equilibrium in a stochastic, dynamic consumption investment model, Ioannis Karatzas, John P. Lehoczky, and Steven E. Shreve

Existence and uniqueness of positive eigenfunctions for a class of quasilinear elliptic boundary value problems of sublinear type, C. V.(Charles Vernon) Coffman

Existence and uniqueness results for semi-linear Dirichlet problems in annuli, C. V.(Charles Vernon) Coffman and M Marcus

Existence, uniqueness and stability of solutions of the equation utt = ∂/∂x (σ(ux) + λ(ux)u xt), Richard C. MacCamy

Experience-dependent plasticity of layer 2/3 circuits in developing somatosensory neocortex, Jing Wen

Experience in combining AI and optimization in different engineering domains, Steven J.(Steven Joseph) Fenves, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Experiences with SRL: an analysis of a frame-based knowledge representation, Mark S. Fox, J. Mark. Wright, and David Adam

Experience with a task control architecture for mobile robots, Long-Ji Lin, Reid Simmons, and Christopher Fedor

Experience with the CMU programmable systolic chip, Allan L. Fisher, H. T. Kung, and Kenneth Sarocky

Experience with the ZOG human-computer interface system, Donald L. McCracken and Robert M. Akscyn

Experimental determination of the complete spin structure for p̅ p→Λ̅ Λ at p_{p̅ }=1.637 GeV/c, K. D. Paschke, Brian Quinn, A. Berdoz, Gregg Franklin, P. Khaustov, Curtis A. Meyer, and PS185 Collaboration

Experimental evaluation of nonlinear feedback and feedforward control schemes for manipulators, Pradeep K. Khosla and Takeo Kanade

Experimental evaluation of tools for teaching the ZOG frame editor, Charlene Kamila. Robertson and Robert Akscyn

Experiments, Institutional Arrangements, and Organizational Design, Paul S. Goodman

Expertise of the architect, Omer Akin and Carnegie Mellon University.Engineering Design Research Center.

Expert systems for engineering design : problem components, techniques, and prototypes, Michael D. Rychener

Expert systems for structural design, Mary Lou. Maher and Carnegie Mellon University.Engineering Design Research Center.

Expert systems in civil engineering, construction and construction robotics, Daniel R. Rehak and Steven J(Steven Joseph) Fenves

Expert systems without computers or theory and trust in artificial intelligence, Jon Doyle

Explicit expressions for the Lyapunov exponents of certain Markov processes, A Leizarowitz

Explicit solution of an optimal design problem with non-affine displacement boundary conditions, Yury Grabovsky

Exploiting correlations among models with application to large vocabulary speech recognition, Ronald Rosenfeld, Xuedong Huang, and Merrick Lee Furst

Exploiting hierarchical identity-based encryption for access control to pervasive computing information, Hengartner and Peter Alfons. Steenkiste

Exploiting local flexibility during execution of pre-computed schedules, Stephen F. Smith, Naiping Keng, and K. G. Kempf

Exploiting Privacy Policy Conflicts in Online Social Networks (CMU-CyLab-12-005), Akira Yamada, Tiffany Hyun-Jin Kim, and Adrian Perrig

Exploiting temporal knowledge to organize constraints, Stephen F. Smith

Exploration of Imputation Methods for Missingness in Image Segmentation, Christopher Makris

Explorations of the cognitive processes in design, Charles M. Eastman

Exponential stability for a class of functional differential equations, Richard C. MacCamy

Exponential stability for a nonlinear functional differential equation, Richard C. MacCamy and James S. W. Wong

Exposing and exploiting internal parallelism in MEMS-based storage, Steven W. Schlosser

Extended parallelism in the Groebner basis algorithm, Stephen A. Schwab

Extending a capability based system into a network environment, Robert D. Sansom, Daniel P. Julian, and Richard F. Rashid

Extending linear space-valued functions, Richard A. Alo and Linn I. Sennott

Extending multiversion timestamping protocols to exploit type information, Maurice Herlihy

Extending the error correction capability of linear codes, Ashok D. Ingle╠ü and Daniel P. Siewiorek

Extending the Valiant framework to detect incorrect bias, Lonnie Chrisman

Extensible records without subsumption, Robert William Harper and Benjamin C. Pierce

Extensions of an inequality by Po╠ülya and Schiffer for vibrating membranes, Bandle

Extensions of totally bounded pseudometrics, Richard A. Alo and Harvey L. Shapiro

Extensions of uniformities, Richard A. Alo and Harvey L. Shapiro

Extensions to an integrated circuit manufacturing process simulator, Sani R. Nassif

Extracting conditional confidentiality policies, Michael Carl. Tschantz and Jeannette Marie. Wing

Extracting shape and reflectance of Lambertian, specular, and hybrid surfaces, Shree K. Nayar, Katsushi Ikeuchi, and Takeo Kanade

Extraction of pragmatic information in a CALL system, Keiko Horiguchi

Extrapolating time series by discounted least squares, Richard James Duffin

Extremal problems for a class of functionals defined on convex sets, Nehari

Extreme points of the unit cell in Lebesgue-Bochner functions spaces., Sundaresan

Extreme points of the unit cell Lebesgue-Bochner function spaces., Sundaresan

Eyes and ears for computers, Raj Reddy

Fabrication based statistical design of monolithic IC's, W Maly, Andrzej J. Strojwas, and Stephen W. Director

FABRICS II : a statistical simulator of the IC Fabrica process, Sani R. Nassif, Andrzej J. Strojwas, and Stephen W. Director

Fact and Fiction: Portrayals of the Meiji Restoration in Anime, Stephanie Guerdan

Factors Affecting Co-Operation in the Prisoner's Dilemma, Lester B. Lave

Factors Affecting the Impact of a Company-Wide Incentive Program on Productivity, Brian E. Moore and Paul S. Goodman

Factors Affecting the Perceptions of Organizational Pay Systems, Paul S. Goodman

Factory Crane Scheduling by Dynamic Programming, Ionuţ D. Aron, Latife Genç-Kaya, Iiro Harjunkoski, Samid Hoda, and John N. Hooker

Factory model and test data descriptions : OPIS experiments, Whay-Yu Chiang, Mark S. Fox, and Peng Si. Ow

Faculty Roles in the Evolving Scholarly Communications System, Mark S. Kamlet

Fairytales, Allen Newell

Fallacies About Current Inflation, Allan H. Meltzer

"Family Focus: Photography Service Design with Sojourner House MOMS", Scott Sykora

FANFARE for the common flow, Elaine Shi

Fast algorithms for manipulating formal power series, R. P.(Richard P.) Brent and H. T. Kung

Fast Algorithms for Mining Co-evolving Time Series, Lei Li

Fast algorithms for partial fraction decomposition, H. T. Kung and D. M. Tong

FastCARS : fast, correlation-aware sampling for network data mining, Jia-Yu Pan, Srinivasan Seshan, and Christos Faloutsos

Fast computation of the difference of low-pass transform, James L. Crowley and Richard M. Stern

Fast evaluation and interpolation, H. T. Kung

Fast intersection of half spaces, Kevin Q. Brown

Fast kernel matrix-vector multiplication with application to Gaussian process learning, Alexander Gray

Fast randomized consensus using shared memory, James Aspnes and Maurice Herlihy

Fast re-calculation of the covariance matrix implied by a recursive structural equation model, Thomas Richardson

Fault free performance validation of a fault-tolerant multiprocessor : baseline and synthetic workload measurements, Edward W. Czeck, Daniel P. Siewiorek, and Zary Segall

Fault-tolerance and two-level pipelining in VLSI systolic arrays, H. T. Kung and Monica S. Lam

Feasibility study of personal interactive machine translation systems, Masaru Tomita

Feasible path optimization with sequential modular simulators, Lorenz T. Biegler and R Hughes

Feature extraction from solid model for manufacturability assessment, Friedrich B. Prinz, Young Choi, Jyh-Huei Chern, and Carnegie Mellon University.Engineering Design Research Center.

Feature Seeding for Action Recognition, Pyry Matikainen, Rahul Sukthankar, and Martial Hebert

Feature selection for extracting semantically rich words, Young-Woo Seo, Anupriya Ankolekar, and Katia Sycara

Federal Reserve Control of the Money Stock: Comment, Allan H. Meltzer

Field effect in epitaxial graphene on a silicon carbide substrate, Gong Gu, Shu Nie, Randall M. Feenstra, R. P. Devaty, W. J. Choyke, Winston K. Chan, and Michael G. Kane

Fight or Flight? Dispute Resolution Videodiscs, Martha Harty and Preston K. Covey

Filter space monads, regularity, completions, Oswald Wyler

Final report on information processing research, Rachel T. Levine and Research Documents Group.

Final report on supercomputer research : 15 November 1983 to 31 May 1988, Ellen Douglas, Alan R. Houser, and C. Roy. Taylor

Final report on the automated classification and retrieval project : MedSORT-1, Jaime G.(Jaime Guillermo) Carbonell, David A. (David Andreoff) Evans, Dana S. Scott, and Richmond H. Thomason

Final report on the MedSORT-II project : developing and managing medical thesauri, David A.(David Andreoff) Evans

Financial Collapse, 1933, Allan H. Meltzer

Financial Failures and Financial Policies, Allan H. Meltzer

Financial news analysis for intelligent portfolio management, Young-Woo Seo, Joseph A. Giampapa, and Katia Sycara

Financial Structure, Saving and Growth: Government in the Development Process, Allan H. Meltzer

Finding and containing enemies within the walls with self-securing network interfaces, Gregory R. Ganger, Gregg Economou, and Stanley M. Bielski

Finding lists of people on the Web, Latanya Sweeney

Finding lists of people on the Web, Latanya Sweeney

Finding optimal Bayesian networks by dynamic programming, Ajit P. Singh and Andrew W. Moore

Finding (recently) frequent items in distributed data streams, Amit Manjhi

Finite-Dimensional Spaces: Algebra, Geometry, and Analysis Volume I, Walter Noll

Finite-Domain Cuts for Graph Coloring, David Bergman and John N. Hooker

Finite element methods for the time-dependent Ginzburg-Landau model of superconductivity, Qiang Du

Finite element methods of the least squares type for regions with corners, George J. Fix, Ernst Stephan, and Carnegie Mellon UniversityDesign Research Center

Finitely stratified polymorphism, Daniel Leivant

Finite models, stability and Ramsey's theorem, Douglas E. Ensley and Rami Grossberg

First steps towards inferential programming, William Louis. Scherlis and Dana S. Scott

First year end report for perception for outdoor navigation, Charles E. Thorpe and Takeo Kanade

Fiscal and Monetary Policies, Allan H. Meltzer

Fiscal and Monetary Policies in Moderate Inflation: Case Studies of Three Countries, Karl Brunner, Michele Fratianni, Jerry L. Jordan, Allan H. Meltzer, and Manfred J.M. Neumann

Fitting ellipses and general second-order curves, Gerald Jacob Agin

Fitwits: Designed to help physicians start conversations with families about obesity, Kristin Hughes, Susan K. Fidler, Ann McGaffey, and Caryn Audenried

Five Contributions to Natural Philosophy, Walter Noll

Five Reasons for Opposing the IMF Quota Increase, Allan H. Meltzer

Fixed point theorems for sums of operators, James S. W. Wong

Flamingo : object-oriented window management for distributed, heterogeneous systems, Edward T. Smith and David B. Anderson

Flat spaces of continuous functions, Peter Nyikos and Juan Jorge. Scha╠êffer

Flexible parsing, Philip J. Hayes and George Mouradian

Flexible unparsing in a structure editing environment, David Garlan

Flexpack : a computer package for optimal multiperiod design, H. I. Avidan and Ignacio E. Grossmann

Floating and Interdependence: Comment on Jacob Dreyer's Summary of Current Issues, Allan H. Meltzer

Flowsheet optimization and optimal sensitivity analysis using exact derivatives, D Wolbert and Carnegie Mellon University.Engineering Design Research Center.

Fluorescence Platform Development for Detection of Cystic Fibrosis Transmembrane Conductance Regulator Trafficking, John Holleran

Focus of attention in a distributed-logic speech understanding system, Frederick Hayes-Roth and Victor Lesser

Focussed dynamic programming : extensive comparative results, Dave Ferguson and Anthony Stentz

FOOBAR : an artificial intelligence based finite element system, John W. Baugh, Daniel R. Rehak, and Carnegie Mellon University.Engineering Design Research Center.

For Balance & Accuracy in the Great Gun-Control Broohaha: A Press Kit, Preston K. Covey

Forced convective cooling enhancement of electronic package configurations through self-sustained oscillatory flows, Jay S. Nigen, Cristina H. Amon, and Carnegie Mellon University.Engineering Design Research Center.

Forecasting Session, Allan H. Meltzer

Forking in pregeometries., Rami Grossberg and Olivier Lessmann

Forking in pregeometries., Olivier Lessmann

Formalizing and Enforcing Purpose Restrictions, Michael Carl Tschantz

Formal Logic and Philosophic Analysis, Preston K. Covey

Formation of Epitaxial Graphene on SiC(0001) using Vacuum or Argon Environments, Luxmi, Nishtha Srivastava, Randall M. Feenstra, and P. J. Fisher

Formation of Graphene on SiC( 0001 ) Surfaces in Disilane and Neon Environments, Guowei He, Nishtha Srivastava, and Randall M. Feenstra

Formation of singularities for viscosity solutions of Hamilton-Jacobi equations in higher dimensions, Georgios T. Kossioris

Formation of singularities for viscosity solutions of Hamilton-Jacobi equations in one space variable, Georgios T. Kossioris

Form-function characteristics of electron-mechanical designs, J Rinderle and Carnegie Mellon University.Engineering Design Research Center.

Formula ALGOL manual by Jay Earley., Earley

Formulating Greenhouse Policies in a Sea of Uncertainty, Lester B. Lave

FORS : an integration framework for design, Sarosh Talukdar, Lily Hou, Pedro Sergio. De Souza, and Carnegie Mellon University.Engineering Design Research Center.

Forum on International Initiatives on Copyright, John Ockerbloom, N. Balakrishnan, Ismail Serageldin, and Michael I. Shamos

Forward induction, Gian Aldo. Antonelli and Cristina Bicchieri

Fostering trust in technical services through integrated, collaborative and contextual learning, Gretchen Marie Mendoza

Foundational certified code in a metalogical framework, Karl Crary and Susmit Sarkar

Foundational typed assembly language for grid computing, Joseph C. Vanderwaart and Karl Crary

Foundations of a computational theory of catecholamine effects, Harry Printz and David Servan-Schreiber

Foundations of cognitive science : overview, Herbert Alexander Simon, Craig A. Kaplan, and Artificial Intelligence and Psychology Project.

Foundations of linear control via a new geometric paradigm, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

Four capacity models for coarse-coded symbol memories, Ronald Rosenfeld and David S. Touretzky

Four capacity models for coarse-coded symbol memories, Ronald Rosenfeld, David S. Touretzky, and Artificial Intelligence and Psychology Project.

Fourier-based state parameterization for optimal trajectory design of linearly constrained linear-quadratic systems, Vincent Chai-Tse Yen, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

Fourth order moments of nonnegative measures on S² and applications, Gilles Francfort, Franc╠ºois Murat, and Luc Tartar

Fractional derivatives and smoothing in nonlinear conservation laws, G Gripenberg and Stig-Olof Londen

Frame-Free Continuum Thermomechanics, Brian Seguin

Free energy and the Fokker-Planck equation, Richard Jordan, David Kinderlehrer, and Felix Otto

Friedman's Monetary Theory, Karl Brunner and Allan H. Meltzer

From 3D Scene Geometry to Human Workspace, Abhinav Gupta, Scott Satkin, Alexei Efros, and Martial Hebert

From Caging to Grasping, Alberto Rodriguez, Matthew T. Mason, and Steve Ferry

From nonlinear programming theory to practical optimization algorithms : a process engineering viewpoint, Lorenz T. Biegler and Carnegie Mellon University.Engineering Design Research Center.

From Science to Policy: a strategy to communicate the science of early childhood to Pennsylvania policy makers, Erica Gatts

Front propagation and phase field theory, Guy Barles, H. Mete. Soner, and Panagiotis E. Souganidis

Frustration and microstructure : an example in magnetostriction, Richard D. James and David Kinderlehrer

Full orders and their families of convex subgroups on locally nilpotent groups, George P. Graham

Fully discrete finite element schemes for the Cahn-Hilliard equation, Charles M. Elliott and Donald A. French

Fumbling in the Marrow: Poems, Shannon Stephens

Functional transformations in AI discovery systems, Weimin Shen

Function and form relationships : a basis for preliminary design, J Rinderle and Carnegie Mellon University.Engineering Design Research Center.

Function and form relationships : strategies for preliminary design, J Rinderle, Stephen P. Hoover, and Carnegie Mellon University.Engineering Design Research Center.

Functions of bounded variation on idempotent semigroups, Richard A. Alo and Andre De Korvin

Fusion of monocular cues to detect man-made structures in aerial imagery, Jefferey A. Shufelt and David M. McKeown

Future roles of knowledge-based systems in the design process, John S. Gero, Mary Lou. Maher, and Carnegie Mellon University.Engineering Design Research Center.

Fuzzy logic and categories of fuzzy sets, Oswald Wyler

Game-theoretic axioms for local rationality and bounded knowledge, Cristina Bicchieri and Gian Aldo. Antonelli

Game-theoretic axioms for local rationality and bounded knowledge, Cristina Bicchieri and Gian Aldo. Antonelli

Gas identification system using graded temperature sensor and neural net interpretation, Lanwai Wong, Toshikazu Takemori, and M. W. Siegel

Geeks, rebels and prom queens : the risky business of perpetuating the capitalist family in 1980s high school genre films, Emily Landes

GEM : Graph EMbedding for routing and data-centric storage in sensor networks without geographic information, James Newsome and Dawn Song

General and specific word knowledge as predictors of children's categorization, Rachel M. Whipple

General characterizations of inductive inference over arbitrary sets of data presentations, Kevin T. Kelly

General contact-angle conditions with and without kinetics, Sigurd B. Angenent and Morton E. Gurtin

General context-free recognition in less than cubic time, Leslie Valiant

Generality and GPS, George W. Ernst and Allen Newell

Generalized connection networks for parallel processor intercommunication, C. D. Thompson

Generalized Ginzburg-Landau and Cahn-Hilliard equations based on a microforce balance, Morton E. Gurtin

Generalized information and maximal order of iteration for operator equations, H Wozniakowski

Generalized interface evolution with the Neumann boundary condition, Yoshikazu Giga and Moto-Hiko Sato

Generalized Intersection Cuts and a new cut generating paradigm, Egon Balas and François Margot

Generalized measurement models, Ricardo Silva and Richard Scheines

Generalized motion by mean curvature with Neumann conditions and the Allen-Cahn model for phase transitions, Markos Katsoulakis, Georgios T. Kossioris, and Fernando Reitich

Generalized phase field theories, Morton E. Gurtin

Generalizing Dijkstra's algorithm and Gaussian elimination for solving MDPs, H. Brendan. McMahan and Geoffrey J. Gordon

General models and extensionality, P. B.(Peter Bruce) Andrews

General models, descriptions and choice in type theory, P. B.(Peter Bruce) Andrews

General quorum consensus : a replication method for abstract data types, Maurice Herlihy

Generating an interpretation tree from a CAD model to represent object configurations for bin-picking tasks, Katsushi Ikeuchi

Generating a recognizer for a BNF grammar, Jay C. Earley

Generating sorted lists of random numbers, Jon Louis. Bentley and James B. Saxe

Generating space telescope observation schedules, Nicola Muscettola

Generation of partial medial axis for disassembly motion planning, Yangsheng Xu, Raju S. Mattikalli, Pradeep K. Khosla, and Carnegie Mellon University.Engineering Design Research Center.

Generative geometric design and boundary solid grammars, Jeff A. Heisserman and Carnegie Mellon University.Engineering Design Research Center.

Generic coarse-grained model for protein folding and aggregation, Tristan Bereau and Markus Deserno

Genesis reference manual, Jeff A. Heisserman and Carnegie Mellon University.Engineering Design Research Center.

Geometric abstractions using medial axis transformation, F. B. Prinz, Jyh-Huei Chern, and Carnegie Mellon University.Engineering Design Research Center.

Geometric analysis of multivariable control systems, Mark L. Nagurka, Thomas R. Kurfess, and Carnegie Mellon University.Engineering Design Research Center.

Geometric design spaces, Robert F. Woodbury, Christopher Carlson, Jeff A. Heisserman, and Carnegie Mellon University.Engineering Design Research Center.

Geometric modeling using the Euler operators, Charles M. Eastman and Kevin J. Weiler

Geometric programming with signomials, Richard James Duffin and Elmor L. Peterson

Geometric programs treated with slack variables, Richard James Duffin and Elmor L. Peterson

Geometric singularities for solutions of single conservation laws, Shyuichi Izumiya and Georgios T. Kossioris

Geometry of Differentiable Manifolds, Walter Noll and Sea-Mean Chiou

Geometry of Lebesgue-Bochner function spaces : smoothness, I. Edward. Leonard and Sundaresan

Geometry of surface-mediated interactions, Martin Michael Muller, Markus Deserno, and Jemal Guven

Gerschgorin theory for the generalized eigenvalue problem Ax = [lambda]Bx, G. W.(Gilbert W.) Stewart

Gesture analysis for graphic manipulation, Alexander G. Hauptmann, Paul McAvinney, and Sharon R. Shepard

Gesture recognition using the XWand, Daniel Wilson and Andy Wilson

Get with the program : common fallacies in critiques of computer-aided architectural design, Ulrich Flemming and Carnegie Mellon University.Engineering Design Research Center.

GHG Emissions and Costs of Developing Biomass Energy in Malaysia: Implications on Energy Security in the Transportation and Electricity Sector, Mohd Nor Azman Hassan

Ghostwalk: A Novella, Annabelle Lee

GigaPan Conversations: Diversity and Inclusion in the Community, Illah Nourbakhsh, Clementina Acedo, Randy Sargent, Christopher Strebel, Laura Tomokiyo, and Carolina Belalcazar

Ginzburg-Landau equation and motion by mean curvature., H. Mete. Soner

Ginzburg-Landau equation and motion by mean curvature., H. Mete. Soner

Girls Who Save the World: The Female Hero in Young Adult Fantasy, Erin Danehy

Global optimization of nonconvex MINLP problems in process synthesis, Gary R. Kocis, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Global optimization of process networks with multicomponent flows, Ignacio Quesada, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Goals in Collision, Lester B. Lave

Godel, Turing, and K-graph machines, Sieg and John Byrnes

Government Analyses of Energy Supply and Demand: A Review, James Just and Lester B. Lave

Government, the private sector, and "crowding out", Karl Brunner and Allan H. Meltzer

Graceful interaction through the COUSIN command interface, Philip J. Hayes and Pedro A. Szekely

Grammatical approaches to design, Scott Mullins, J Rinderle, and Carnegie Mellon University.Engineering Design Research Center.

Grammatical design and bounded creativity, K. N. Brown, Jonathan Cagan, and Carnegie Mellon University.Engineering Design Research Center.

Graph-based algorithms for Boolean function manipulation, Randal Bryant

Graph Coloring Facets from All-Different Systems, David Bergman and John N. Hooker

Graphene formed on SiC under various environments: Comparison of Si-face and C-face, Nishtha Srivastava, Guowei He, Luxmi, Patrick C. Mende, Randall M. Feenstra, and Yugang Sun

Graphene on Carbon-face SiC{0001} Surfaces Formed in a Disilane Environment, Nishtha Srivastava, Guowei He, and Randall M. Feenstra

Graphic display processor programmers guide, Brian Rosen

Graphic display system monitor manual, Donna Bihary

Graphics based preliminary structural design, Mary Lou. Maher, Weiguang Zhang, and Carnegie Mellon University.Engineering Design Research Center.

Graphics monitor version 2, Steven Rubin and Donna Bihary

Graph Partitioning and Semi-definite Programming Hierarchies, Ali Kemal Sinop

Grasp Invariance, Alberto Rodriguez and Matthew T. Mason

Green design tools for environmental management, Noelette Conway-Schempf and Lester B. Lave

Grippers for an unmanned forging cell, Mark R. Cutkosky and Eiki Kurokawa

Group Formation with a Network Constraint, Katharine A. Anderson

Growth and Surface Reconstructions of AlN(0001) Films, C. D. Lee, Y. Dong, Randall M. Feenstra, J. E. Northrup, and J. Neugebauer

Growth of GaN on porous SiC and GaN substrates, C. K. Inoki, T. S. Kuan, Ashutosh Sagar, C. D. Lee, Randall M. Feenstra, D. D. Koleske, D. J. Diaz, P. W. Bohn, and I Adesida

Growth of GaN on porous SiC and GaN substrates, C. K. Inoki, T. S. Kuan, C. D. Lee, Ashutosh Sagar, Randall M. Feenstra, D. D. Koleske, D. J. Diaz, P. W. Bohn, and I Adesida

Growth of GaN on porous SiC by molecular beam epitaxy, Ashutosh Sagar, Randall M. Feenstra, and J. A. Freitas Jr

Growth of Gan on Porous Sic Substrates by Plasma-Assisted Molecular Beam Epitaxy, C. K. Inoki, T. S. Kuan, C. D. Lee, Ashutosh Sagar, and Randall M. Feenstra

Growth of GaN on SiC(0001) by Molecular Beam Epitaxy, C. D. Lee, Ashutosh Sagar, Randall M. Feenstra, W. L. Sarney, L. Salamanca-Riba, and J. W.P. Hsu

Guiding Principles and Monetary Policy, Karl Brunner and Allan H. Meltzer

Gumbo: an application to support impromptu collaborative workspaces on campus, Molly Samuels

Gun Control, Preston K. Covey

Hablemos de la Crisis, Allan H. Meltzer

Hamilton cycles in a class of random directed graphs, Colin Cooper and Frieze

Hand Grenade on a Hot Day, Kyle Rood

Hands-on exploration of recursive forms, Christopher Carlson, Robert F. Woodbury, and Carnegie Mellon University.Engineering Design Research Center.

Happiness: A Multi-Voice Narrative, Ellene G. Mobbs

Hardware core syllabus, Douglas Clark

Harp, a low-cost 25 MIPS digital processor, Stan Kriz, Raj Reddy, Brian Rosen, and Steven Rubin

Harpy, production systems and human cognition, Allen Newell

Health and Air Pollution: The Effect of Occupation Mix, Lester B. Lave and Eugene P. Seskin

Health and Safety Risk Analyses: Information for Better Decisions, Lester B. Lave

Health benefits exceed by 70 % costs to control stationary source air pollution, Lester B. Lave and Eugene P. Seskin

Health Benefits of Abating Air Pollution, Lester B. Lave

Health Care Access for Undocumented Hispanic Immigrants in New York City: Analysis and Policy Proposal, Nancy Brown

Health Effects of Coal, Lester B. Lave

Health Effects of Electricity Generation from Coal, Oil, and Nuclear Fuel, Lester B. Lave and Linnea C. Freeburg

Heat integration in batch processing, Jane A. Vaselenak, Ignacio E. Grossmann, Arthur W. Westerberg, and Carnegie Mellon UniversityDesign Research Center.

Helium: Investments in the Future, Dennis Epple and Lester B. Lave

Helium Policies, Dennis Epple and Lester B. Lave

Hemispheric Differences in Higher-Order Object Processing and Effect of Expertise: Modular vs. Distributed Perspectives, Cynthia S. Peng

Hemloch user's manual, Rob MacLachlan

Hemlock command implementor's manual, Rob MacLachlan

Hemlock command implementor's manual, Rob MacLachlan and Bill Chiles

Hemlock user's manual, Rob MacLachlan and Bill Chiles

Heuristic generation of layouts (HeGel) based on a paradigm for problem structuring, Akin, Bharat Dave, Shakunthala Pithavadian, and Carnegie Mellon University.Engineering Design Research Center.

Heuristic optimization of microcontrollers, Andrew Nagle

Heuristics for empirical discovery, Patrick W. Langley, Herbert Alexander Simon, and Gary L. Bradshaw

Hey Neighbor! Let's play., Gabriela Uribe

Hidden process models, Tom M.(Tom Michael) Mitchell, Rebecca Hutchinson, and Indrayana Rustandi

Hierarchical design synthesis : the M1 system, Anurag P. Gupta, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

Higher-dimensional Voronoi diagrams in linear expected time, Rex A. Dwyer

Higher-order and modal logic as a framework for explanation-based generalization, Scott Dietzen and Frank Pfenning

High gain control system design with gain plots, Thomas R. Kurfess, Mark L. Nagurka, and Carnegie Mellon University.Engineering Design Research Center.

High-level specification of a software environment to support the early phases in building design, Ulrich Flemming, Robert F. Woodbury, and Carnegie Mellon University.Engineering Design Research Center.

High performance cameras for hyperspectral and polarimetric imaging research : to support advanced DoD imaging technology initiatives, Louis J. Denes

Highway congestion and congestion tolls, Anthony E. Boardman and Lester B. Lave

Hilbert's program and the omega-rule, Aleksandar Ignjatovic╠ü

Hilbert's programs : 1917-1922, Sieg

Hilbert transforms in Yukawan potential theory, Richard James Duffin

Historical Understandings of Derivative Works and Modern Copyright Policy, Jessica Dickinson Goodman

HIV-1 Fusion Peptide Decreases Bending Energy and Promotes Curved Fusion Intermediates, Stephanie Tristram-Nagle and John F. Nagle

H-measures applied to symmetric systems, N Antonic╠ü

Home is Behind, The World Ahead, Chloe Perkins

Homicide Trends in America: 1850-1950, Megan Sasinoski

Homogeneous families and their automorphism groups, Menachem Kojman and Saharon Shelah

Homogenization and hyperbolicity, Luc Tartar

HORMESIS: Implications for Public Policy Regarding Toxicants, Lester B. Lave

Hormesis: policy implications, Lester B. Lave

Horn cardinality rules, John N. Hooker, Hong Yan, and Carnegie Mellon University.Engineering Design Research Center.

Hospital cost estimation controlling for case-mix, Judith R. Lave, Lester B. Lave, and Lester P. Silverman

Hospital Cost Function Analysis - Implications for Cost Controls, Judith R. Lave and Lester B. Lave

Hospital Cost Functions, Judith R. Lave and Lester B. Lave

Hospital Reimbursement under National-Health Insurance, Judith R. Lave and Lester B. Lave

Hot DB'02 course project reports : hot topics in database systems, fall 2002, Anastassia Ailamaki, Stavros Harizopoulos, and Deepayan Chakrabarti

Hot Topics in Cloud Computing, Liang-Jie Zhang, Jia Zhang, Jinan Fiaidhi, and J. Morris Chang

Housing and Financial Policy, Allan H. Meltzer

Housing and Reform of Financial Structure, Allan H. Meltzer

How Adults Understand and Reason about Fractions, Melissa DeWolf

How can Merlin understand?, J Moore and Allen Newell

How Does the US Government Finance Fiscal Shocks?, Antje Berndt, Hanno Lustig, and Sevin Yeltekin

How important are “Deformable Parts” in the Deformable Parts Model?, Santosh K. Divvala, Alexei Efros, and Martial Hebert

How Many Kilowatts are in a Negawatt? Verifying "Ex Post" Estimates of Utility Conservation Impacts at the Regional Level, Paul W. Parfomak and Lester B. Lave

How many servers are best in a dual-priority FCFS system?, Takayuki Osogami

How Much Risk Is Acceptable?, Lester B. Lave and Daniel M. Byrd

How Safe is Safe Enough? Setting Safety Goals, Lester B. Lave

How the landscape of random job shop scheduling instances depends on the ratio of jobs to machines, Matthew J. Streeter and Stephen F. Smith

How to Cut Unemployment in the Next Five Years, Allan H. Meltzer

How to determine local elastic properties of lipid bilayer membranes from atomic-force-microscope measurements: A theoretical analysis, Davood Norouzi, Martin Michael Muller, and Markus Deserno

How to divide a polygon fairly, Chazelle

How to make replicated data secure, Maurice Herlihy and J. D. Tygar

How to mesh up Ewald sums. I. A theoretical and numerical comparison of various particle mesh routines, Markus Deserno and Christian Holm

How to mesh up Ewald sums. II. An accurate error estimate for the particle–particle–particle-mesh algorithm, Markus Deserno and Christian Holm

How to view the computer, Allen Newell

How useful is the metaphor component of agile methods? : a preliminary study, J. E.(James E.) Tomayko and James Herbsleb

Human assembly time versus levels of visual and tactile sensory input : experimental results for five devices, Steven M. Miller

Human Resources Problems in the Bituminous Coal Industry, Paul S. Goodman, Robert S. Atkin, Jeanne Brett, and Stephen B. Goldberg

Humor-Centered Design: Using Humor as a Rhetorical Approach in Design, Chelsey Delaney

Hybrid addition of matrices : a network theory concept, Richard James Duffin and George E. Trapp

Hybrid Modeling, John N. Hooker

HYDRA basic kernel reference manual, Ellis S. Cohen

HYDRA -- the kernel of a multiprocessor operating system, William Allan. Wulf

HYDRA user documentation, David Alex Lamb

Hyperbases exist, Richard Statman

IASys : an integrated approach to system-level synthesis, Grace McNally, Janeen Deang, Daniel P. Siewiorek, and Carnegie Mellon University.Engineering Design Research Center.

IBConnect: Placing patient data at the heart of online communities, Molly Lafferty

IC Spatial Variation Modeling: Algorithms and Applications, Wangyang Zhang

IC study problems (1971), Mary Shaw

IC study problems (1972), Mary Shaw

IC study problems (1973), Mary Shaw

Ideal magnetofluid turbulence in two dimensions, Richard Jordan and Bruce Turkington

Identifying categories of end users based on the abstractions that they create, Christopher Scaffidi, Andrew Ko, Brad Myers, and Mary Shaw

Identifying solution paths in cognitive diagnosis, Stellan Ohlsson and Patrick W. Langley

Ideographic Analysis of Israel Prime Minister Rhetoric during the 2008-09 armed conflict with Hamas in Gaza, Calvin Pollack

IDL, Interface Description Language, J Nestor, William Allan. Wulf, and David Alex Lamb

If Not Now, When?, Karl Brunner and Allan H. Meltzer

Image Composition for Object Pop-out, Hongwen Kang, Alexei Efros, Martial Hebert, and Takeo Kanade

Image focusing in space and time, M. W. Siegel

Image Matching with Distinctive Visual Vocabulary, Hongwen Kang, Martial Hebert, and Takeo Kanade

Image Sequence Geolocation with Human Travel Priors, Evangelos Kalogerakis, Olga Vesselova, James Hays, Alexei Efros, and Aaron Hertzmann

Imaging Room and Beyond: The Underlying Economics Behind Physicians' Test-Ordering Behavior in Outpatient Services, Mustafa Akan, Tinglong Dai, and Sridhar Tayur

IMF and World Bank 2004, Allan H. Meltzer

Impacts of Responsive Load in PJM: Load Shifting and Real Time Pricing, Kathleen Spees and Lester B. Lave

Impacts of robotic and flexible manufacturing technologies on manufacturing costs and employment, Steven M. Miller

Implementation and multiple dimensional extension to rectangle elimination methods for biobjective decision making, Costas J. Spanos

Implementation and performance of a complex vision system on a systolic array machine, Ed Clune, Jill D. Crisman, Gudrun J. Klinker, and Jon A. Webb

Implementation of an Ascend interpreter, Thomas G. Epperly and Carnegie Mellon University.Engineering Design Research Center.

Implementation of a principle-based parser : based on On-Line Locality Principle, Massimo Paolucci

Implementation of a sparse matrix package for SAMSON, Demetrios J. Giannopoulos

Implementation of automatic focusing algorithms for a computer vision system with camera control, John F. Schlag, Arthur C. Sanderson, Charles P. Neuman, and Francis C. Wimberly

Implementation of commit timestamps in Avalon, Maurice Herlihy, Su-Yuen Ling, and Jeannette Marie. Wing

Implementation of production systems on message passing computers : techniques, simulation results and analysis, Tambe, Anurag Acharya, and Anoop Gupta

Implementation of regular path expressions, A. Nico Habermann

Implementation of the solution algorithms for index and near index problems, Yonsoo Chung, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Implementing a mastery examination in computer science, Mark J. Stehlik and Philip L. Miller.jt. au.

Implementing distributed Linda in Standard ML, Ellen H. Siegel and Eric Charles. Cooper

Implementing OPS5 production systems on DADO, Anoop Gupta

Implementing technology-forcing policies: The 1970 Clean Air Act Amendments and the introduction of advanced automotive emissions controls in the United States, David Gerard and Lester B. Lave

Implications of the lack of accuracy of the lifetime rodent bioassay for predicting human carcinogenicity, Fanny K. Ennever and Lester B. Lave

Implicit knowledge and rational representation, Jon Doyle

Import Ethanol, Not Oil, Lester B. Lave and W. Michael Griffin

Impossibility and universality results for wait-free synchronization, Maurice Herlihy

Improved approximation algorithms for MAX k-CUT and MAX BISECTION, Frieze and Jerrum

Improved Hierarchical Planner Performance Using Local Path Equivalence, Ross A. Knepper and Matthew T. Mason

Improved infeasible path optimization for sequential modular simulators., Lorenz T. Biegler

Improved infeasible path optimization for sequential modular simulators., Lorenz T. Biegler and S Shivaram

Improvement in the Balance of Payments: A Response to Monetary Policy or to Ad Hoc Fiscal Policies, Allan H. Meltzer

Improving hash join performance through prefetching, Shimin Chen

Improving Peer-to-Peer Search Performance through Intelligent Social Search, Stephen J.H. Yang, Jia Zhang, L. Lin, and Jeffrey J.P. Tsai

Improving Students’ Study Practices Through the Principled Design of Research Probes, Turadg Aleahmad

Improving Task Performance in an Affect-mediated Computing System, Vivek Pai

Improving the Exchange Rate System, Allan H. Meltzer

Improving the Management of Environmental Health, Lester B. Lave

Improving Understanding and Trust with Intelligibility in Context-Aware Applications, Brian Y. Lim

Inclusive χ_{bJ}(nP) decays to D^{0}X, Roy A. Briere, Thomas A. Ferguson, G. Tatishvili, Helmut Vogel, M. E. Watkins, and CLEO Collaboration

Income effects on hierarchical question patterns in children, Rachel Bryner

Inconsistent Behavior in Lottery Choice Experiments, F. T. Dolbear and Lester B. Lave

Incorporating Flexibility into the Normalized Cut Image Segmentation Algorithm, Yi Xiang Chong

Incorporating scheduling in the optimal design of multiproduct batch plants, Deepak B. Birewar, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Incorporating toxicology in the synthesis of industrial chemical complexes, Ignacio E. Grossmann, Robert Drabbant, Rakesh K. Jain, and Carnegie Mellon UniversityDesign Research Center

Increasing the Efficiency and Effectiveness of Environmental Decisions: Benefit-Cost Analysis and Effluent Fees A Critical Review, Lester B. Lave and Howard Gruenspecht

Incremental acquisition of a three-dimensional scene model from images, Martin Herman, Takeo Kanade, and Shigeru Kuroe

Incremental Construction of the Saturated-GVG for Multi-Hypothesis Topological SLAM, Tong Tao, Stephen Tully, George Kantor, and Howie Choset

Incremental detection of text on road signs, Wen Wu, Xilin Chen, and Jie Yang

Incremental network generation in template-based word recognition, Kai-Fu Lee

Indiscernible sequences in Banach space geometry, Jose╠ü Iovino

Indiscernible sequences in stable models, Rami Grossberg

Indium incorporation and surface segregation during InGaN growth by molecular beam epitaxy: experiment and theory, Huajie Chen, Randall M. Feenstra, J. E. Northrup, J. Neugebauer, and David W. Greve

Individualizing Pay Allocations Under Secret and Open Pay Systems, Paul S. Goodman and Abraham Friedman

Inductive definitions over finite structures, Daniel Leivant

Inductive inference from theory-laden data, Kevin T. Kelly and Clark N. Glymour

Inductively defined types in the Calculus of Constructions, Frank Pfenning and Christine Paulin-Mohring

Industrial Policy, Allan H. Meltzer

Industrial quality : a missing economic variable, Hubert Vasseur, Jonathan Cagan, Thomas R. Kurfess, and Carnegie Mellon University.Engineering Design Research Center.

Industry perceptions of ERC graduates : consensus development, instrument procedure development and piloting, Craig S. Scott, Douglas C. Schaad, and Carnegie Mellon University.Engineering Design Research Center.

Inequalities for the coefficients of univalent functions, Nehari

Inequality Constrained Kalman Filtering for the Localization and Registration of a Surgical Robot, Stephen Tully, George Kantor, and Howie Choset

Infeasible path methods for an aerodynamic shape optimization problem, Omar Ghattas, Carlos E. Orozco, and Carnegie Mellon University.Engineering Design Research Center.

Inferring users' projects from their workstation contents, Tom M.(Tom Michael) Mitchell

Infinite homogeneous bipartite graphs with unequal sides, Martin Goldstern, Rami Grossberg, and Menachem Kojman

Inflation, Allan H. Meltzer

Inflation and Money in Brazil, Allan H. Meltzer

Inflation and Price Changes: Some Preliminary Estimates and Tests of Alternative Theories, Pieter Korteweg and Allan H. Meltzer

Inflation and the Returns to Investors, Allan H. Meltzer

Inflationary Changes, Allan H. Meltzer

Inflation, Energy, and the World Economy, Allan H. Meltzer

Influence of surface states on tunneling spectra of n-type GaAs(110) surfaces, Nobuyuki Ishida, Kazuhisa Sueoka, and Randall M. Feenstra

Influence of tip-induced band bending on tunnelling spectra of semiconductor surfaces, Randall M. Feenstra, Y. Dong, M. P. Semstiv, and W. T. Masselink

Informatics for a new century : computing education for the 1990s and beyond, Mary Shaw

Informational Feedback Effect, Adverse Selection, and the Optimal Disclosure Policy, Pingyang Gao and Pierre Jinghong Liang

Information and databases in design : a survey of uses and issues in building design, Charles M. Eastman

Information asymmetry and equilibrium monitoring in education, Maria Marta Ferreyra and Pierre Jinghong Liang

Information distribution aspects of design methodology, David Lorge. Parnas

Information processing approaches to cognitive development, David Klahr and Artificial Intelligence and Psychology Project.

Information, Sticky Prices and Macroeconomic Foundations, Allan H. Meltzer

Information storage capacity of connectionist systems : the linear associator, Dean C. Mumme, Walter Schneider, and Artificial Intelligence and Psychology Project.

Information value of the rodent bioassay, Lester B. Lave, Fanny K. Ennever, Herbert S. Rosenkranz, and Gilbert S. Omenn

Infrastructure for a New Discipline of Educational Computing, Preston K. Covey

InGaAs/InP quantum well intermixing studied by cross-sectional scanning tunneling microscopy, Huajie Chen, H. A. McKay, Randall M. Feenstra, G. C. Aers, P. J. Poole, R. L. Williams, S. Charbonneau, P. G. Piva, T. W. Simpson, and I. V. Mitchell

Inheritance of synchronization and recovery properties in Avalon C++, David L. Detlefs, Maurice Herlihy, and Jeannette Marie. Wing

Initial Effects of the New York State Auto Safety Belt Law, Eric A. Latimer and Lester B. Lave

Initial phase in developing representations for mapping medical knowledge : INTERNIST-I QMR, HELP, and MeSH, David A.(David Andreoff) Evans and Randolph A. Miller

Injury as externality: An economic perspective of trauma, Lester B. Lave

Innovative design systems : where are we, and where do we go from here, D Navinchandra

In Our Father’s House -- A Novel, Caroline Roper

In-plane homogeneity and lipid dynamics in tethered bilayer lipid membranes (tBLMs), Siddarth Shenoy, Radu Moldovan, James Fitzpatrick, David J. Vanderah, Markus Deserno, and Mathias Losche

Input variable expansion : a formal innovative design generation technique, Vital Aelion, Jonathan Cagan, Gary J. Powers, and Carnegie Mellon University.Engineering Design Research Center.

Insights into batch extractive distillation using a middle vessel column, Boyd T. Safrit and Carnegie Mellon University.Engineering Design Research Center.

In-situ ellipsometry: Identification of surface terminations during GaN growth, C. Cobet, T. Schmidtling, M. Drago, N. Wollschlager, W. Richter, and Randall M. Feenstra

Inspecting money : how to avoid negative bucks, Robert Thibadeau

Instability free routing : beyond one protocol instance, Franck Le, Geoffrey G. Xie, and Hui Zhang

Institutionalization and Quality of Work Experiments, Paul S. Goodman

Institutionalization or Making Labor and Management Change Programs Last, Paul S. Goodman and James W. Dean Jr.

Instruction Set Processor Specifications (ISPS) : the notation and its applications, Mario R. Barbacci

Integral-gradient formulae for structured deformations, G Del Piero and David R. Owen

Integrals with a kernel in the solution of nonlinear equations in N dimensions, Boleslaw Kacewicz

Integrated Methods for Optimization, John N. Hooker

Integrated statistical metric of flexibility for systems with discrete state and continuous parameter uncertainties, David A. Straub, Ignacio E. Grossmann, and Carnegie Mellon University.Engineering Design Research Center.

Integrated system for single leg walking, Reid Simmons, Eric Paul. Krotkov, and Gerry Roston

Integrating demand and supply management : some software issues, Sarosh Talukdar and Carnegie Mellon University.Engineering Design Research Center.

Integrating learning and problem solving within a chemical process designer, Ajay K. Modi, Arthur W. Westerberg, and Carnegie Mellon University.Engineering Design Research Center.

Integrating spatial and functional data in a prototype solids grammar of tall building design, Steven Meyer, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

Integrating the user into research on engineering design systems, Peter C. Piela, Barbara Katzenberg, Roy McKelvey, and Carnegie Mellon University.Engineering Design Research Center.

Integration and Perception of Tablet PC Mathematics Software in Elementary Mathematics Education, Daniel D. Petty

Integration of generic learning tasks, Yoram Reich, Steven J.(Steven Joseph) Fenves, and Carnegie Mellon University.Engineering Design Research Center.

Intellectual issues in the history of artificial intelligence, Allen Newell

Intellectual Property Rights in the Digital Age: Reflections on Why Copyright Law Must Change, Ismail Serageldin

Intelligent control of external software systems, Allen Newell, D. M. Steier, and Carnegie Mellon University.Engineering Design Research Center.

Intelligent scheduling with machine learning capabilities : the induction of scheduling knowledge, Michael J. Shaw, Sang Chan. Park, and Narayan Raman

Intelligent sensors for atomization processing of molten metals and alloys, G Jiang, H Henein, and M. W. Siegel

Intelligent Tutors for Formal & Applied Logic, Preston K. Covey

Interactive dynamics, Andrew Paul. Witkin, Michael Gleicher, and William Welch

Interactive process control panel : (a direct manipulation interface for process simulations), Donald L. Miller and Carnegie Mellon University.Engineering Design Research Center.

Interactive programs for process design, Dean R. Benjamin, Michael Harvey. Locke, and Arthur W. Westerberg

Interactive sketch interpretation using arc-labeling and geometric constraint satisfaction, David Pugh

Intercalation calculi for classical logic, Sieg

Intercalation calculus for intuitionistic propositional logic, Saverio Cittadini

Interface-mediated interactions between particles: A geometrical approach, Martin Michael Muller, Markus Deserno, and Jemal Guven

Interfaces that learn : a learning apprentice for calendar management, Jean Jourdan

Interface structure of graphene on SiC(0001̅ ), Nishtha Srivastava, Guowei He, Luxmi, and Randall M. Feenstra

Interface Structure of Graphene on SiC for Various Preparation Conditions, Nishtha Srivastava

Interfacial energy and the Maxwell rule, Irene Fonseca

Interfacial fracture testing in shape deposition manufacturing, Nathan W. Klingbeil, Jack L. Beuth, and Carnegie Mellon University.Engineering Design Research Center.

Interindividual-Intergroup Discontinuity in the Prisoner’s Dilemma Game: How Common Fate, Proximity, and Similarity Affect Intergroup Competition, Chester A. Insko, Tim Wildschut, and Taya R. Cohen

Interior point SQP strategies for structured process optimization problems, Joao S. Albuquerque