Now showing items 2376-2395 of 3787

    • Object-oriented Programming Languages Need Well-founded Contracts 

      Felleisen, Matthias; Findler, Robert Bruce; Latendresse, Mario (2001-01-01)
      Over the past few years, the notion of building software from components has become popular again. The goal is to produce systems by adapting and linking off-the-shelf modules from a pool of interchangeable components. To ...
    • Object-Oriented Type Inference for Telescoping Languages 

      Allen, Eric; Kennedy, Ken; McCosh, Cheryl (2004)
      The telescoping-languages approach achieves high performance from applications encoded as high-level scripts. The core idea is to pre-compile underlying libraries to generate multiple variants optimized for use indifferent ...
    • Observation and modeling of the evolution of Texas power plant plumes 

      Zhou, W.; Cohan, D.S.; Pinder, R.W.; Neuman, J.A.; Holloway, J.S.; Peischl, J.; Ryerson, T.B.; Nowak, J.B.; Flocke, F.; Zheng, W.G. (2012)
      During the second Texas Air Quality Study 2006 (TexAQS II), a full range of pollutants was measured by aircraft in eastern Texas during successive transects of power plant plumes (PPPs). A regional photochemical model is ...
    • Observation of Forbidden Exciton Transitions Mediated by Coulomb Interactions in Photoexcited Semiconductor Quantum Wells 

      Rice, W.D.; Kono, J.; Zybell, S.; Winnerl, S.; Bhattacharyya, J.; Schneider, H.; Helm, M.; Ewers, B.; Chernikov, A.; Koch, M.; Chatterjee, S.; Khitrova, G.; Gibbs, H.M.; Schneebeli, L.; Breddermann, B.; Kira, M.; Koch, S.W. (2013)
      We use terahertz pulses to induce resonant transitions between the eigenstates of optically generated exciton populations in a high-quality semiconductor quantum well sample. Monitoring the excitonic photoluminescence, we ...
    • Observing the interplay between surface and bulk optical nonlinearities in thin van der Waals crystals 

      Deckoff-Jones, Skylar; Zhang, Jingjing; Petoukhoff, Christopher E.; Man, Michael K.L.; Lei, Sidong; Vajtai, Robert; Ajayan, Pulickel M.; Talbayev, Diyar; Madéo, Julien; Dani, Keshav M. (2016)
      Van der Waals materials, existing in a range of thicknesses from monolayer to bulk, allow for interplay between surface and bulk nonlinearities, which otherwise dominate only at atomically-thin or bulk extremes, respectively. ...
    • Oil Spill Sensor using Multispectral Infrared Imaging via L1 Minimization 

      Li, Yingying; Shih, Wei-Chuan; Han, Zhu; Yin, Wotao (2010-11)
      Early detection of oil spill events is the key to environmental protection and disaster management. Current technology lacks the sensitivity and specificity in detecting the early onset of a small-scale oil spill event. ...
    • OKL: A Unified Language for Parallel Architectures 

      Medina, David (2015-06)
      Rapid evolution of computer processor architectures has spawned multiple programming languages and standards. This thesis strives to address the challenges caused by fast and cyclical changes in programming models. The ...
    • On a Class of Minimum Energy Controls Related to Spline Functions 

      Netravali, Arun N.; de Figueiredo, Rui J.P. (1975-07-20)
      The problem of determining a minimum energy control for a dynamically interconnected set of p single-input single-output finite-dimensional linear time-varying dynamical systems, for which the outputs are constrained to ...
    • On Alternative Problem Formulations for Multidisciplinary Design Optimization 

      Cramer, E.J.; Frank, P.D.; Shubin, G.R.; Dennis, J.E.; Lewis, R.M. (1992-12)
      In this paper we introduce a perspective on multidisciplinary design optimization (MDO) problem formulation that provides a basis for choosing among existing formulations and suggests provocative, new ones. MDO problems ...
    • On Beamforming with Finite Rate Feedback in Multiple Antenna Systems 

      Mukkavilli, Krishna Kiran; Sabharwal, Ashutosh; Erkip, Elza; Aazhang, Behnaam (2003-10-20)
      In this paper, we study a multiple antenna system where the transmitter is equipped with quantized information about instantaneous channel realizations. Assuming that the transmitter uses the quantized information for ...
    • On Capacity of Gaussian â Cheapâ Relay Channel 

      Khojastepour, Mohammad; Sabharwal, Ashutosh; Aazhang, Behnaam (2003-12-01)
      In this paper, we derive the capacity of the Gaussian degraded â cheapâ relay channel, consisting of nodes using â cheapâ radios operating in TDD mode when transmitting and sending in the same frequency band. The TDD ...
    • On Channel State Information in Multiple Antenna Block Fading Channels 

      Sabharwal, Ashutosh; Erkip, Elza; Aazhang, Behnaam (2000-11-20)
      Motivated by large capacity gains in multiple antenna systems when perfect channel state information is available at both receiver and transmitter, we examine the achievable rates of channel measurement based techniques. ...
    • On Characterizing Graphs with Branchwidth at Most Four 

      Riggins, Kymberly Dawn (2001-04)
      There are several ways in which we can characterize classes of graphs. One such way of classifying graphs is by their brachwidth. In working to characterize the class of graphs with brachwidth at most four beta4 we have ...
    • On computing minimal independent support and its applications to sampling and counting 

      Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y. (2015)
      Constrained sampling and counting are two fundamental problems arising in domains ranging from artificial intelligence and security, to hardware and software testing. Recent approaches to approximate solutions for these ...
    • On Convergence of Minimization Methods: Attraction, Repulsion and Selection 

      Zhang, Yin; Tapia, Richard; Velazquez, Leticia (1999-03)
      In this paper, we introduce a rather straightforward but fundamental observation concerning the convergence of the general iteration process. x^(k+1) = x^k - alpha(x^k) [B(x^k)]^(-1) grad­f(x^k) for minimizing a function ...
    • On Design Criteria and Construction of Non-coherent Space-Time Constellations 

      Borran, Mohammad Jaber; Sabharwal, Ashutosh; Aazhang, Behnaam; Johnson, Don (2002-07-20)
      We consider the problem of digital communication in a Rayleigh flat fading environment using a multiple antenna system, when both the transmitter and the receiver are unaware of the channel coefficients. Using Stein's lemma ...
    • On Design Criteria and Construction of Non-coherent Space-Time Constellations 

      Borran, Mohammad Jaber; Sabharwal, Ashutosh; Aazhang, Behnaam (2003-10-20)
      We consider the problem of digital communication in a Rayleigh flat fading environment using a multiple-antenna system, when the channel state information is available neither at the transmitter nor at the receiver. It ...
    • On discretely entropy conservative and entropy stable discontinuous Galerkin methods 

      Chan, Jesse (2018)
      High order methods based on diagonal-norm summation by parts operators can be shown to satisfy a discrete conservation or dissipation of entropy for nonlinear systems of hyperbolic PDEsᅠ[1],ᅠ[2]. These methods can also be ...
    • On Diversity and Multiplexing Gain of Multiple Antenna Systems with Transmitter Channel Information 

      Khoshnevis, Ahmad; Sabharwal, Ashutosh (2004-10-01)
      We quantify the multiplexing-diversity tradeoff of a multiple-input multiple-output (MIMO) system, when the channel state information (CSI) is known perfectly at the receiver and partially at the transmitter. The partial ...
    • On Effectively Computing the Analytic Center of the Solution Set by Primal-Dual Interior-Point Methods 

      González-Lima, María D.; Tapia, Richard A.; Potra, Florian (1995-08)
      The computation of the analytic center of the solution set can be important in linear programming applications where it is desirable to obtain a solution that is not near the relative boundary of the solution set. In this ...