Now showing items 1806-1825 of 2899

    • 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. ...
    • 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 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 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 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 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 EFFICIENT DIGITAL FILTERING 

      CHU, SHUNI (1981)
      Part I: Multistage Multirate Digital Filtering. A theorem is introduced which is useful in deriving equivalent multirate filter structures. Frequency responses of multistage multirate filters are derived and defined in ...
    • On Flexible Docking Using Expansive Search 

      Heath, Allison; Kavraki, Lydia E.; Moll, Mark; Schwarz, David (2005-02-22)
      The activity of most drugs is regulated by the binding of one molecule(the ligand) to a pocket of another, usually larger, molecule, which is commonly a protein. This report describes a new approach to creating low-energy ...
    • On Joint Distributions for Arbitrary Variables 

      Baraniuk, Richard G.; Cohen, Leon (1995-01-01)
      There has been considerable interest in the problem of joint representations for variables other than time and frequency. In this letter we compare the methods of Cohen and of Baraniuk and Jones and show their equivalence ...
    • On Limits of Antenna Packing in Low Power Systems 

      Muharemovic, Tarik; Sabharwal, Ashutosh; Aazhang, Behnaam (2004-09-01)
      We evaluate spectral efficiency limits of low power portable communication devices which are only constrained by fixed transceiver aperture G "subset&equal" real<sup>3</sup> for mounting antennas. A new notion of ...
    • On Multipath Channel Estimation for CDMA Systems Using Multiple Sensors 

      Sengupta, Chaitali; Cavallaro, Joseph R.; Aazhang, Behnaam (2001-03-20)
      This paper focuses on the design of a multiuser receiver structure for the reverse link of a code-division multiple-access communication system, in the presence of multipath effects and using an antenna array at the base ...
    • On Nearly Orthogonal Lattice Bases 

      Neelamani, Ramesh; Dash, Sanjeeb; Baraniuk, Richard G. (2005-07-01)
      We study "nearly orthogonal" lattice bases, or bases where the angle between any basis vector and the linear subspace spanned by the other basis vectors is greater than 60&deg;. We show that a nearly orthogonal lattice ...
    • On Outage and Capacity for Orthogonal Transmit Diversity 

      Muharemovic, Tarik; Aazhang, Behnaam (2001-09-20)
      Assuming that only the receiver has perfect channel state information, we analyze the orthogonal transmit diversity (OTD). First, we consider the case of fast fading or <i>ergodic</i> channels. We demonstrate that for a ...