Now showing items 331-350 of 2938

    • Bisimulation Minimization in an Automata-Theoretic Verification Framework 

      Fisler, Kathi; Vardi, Moshe Y. (1998-10-27)
      Bisimulation is a seemingly attractive state-space minimization technique because it can be computed automatically and yields the smallest model preserving all mu -calculus formulas. It is considered impractical for symbolic ...
    • Bismuth@US-tubes as a potential contrast agent for X-ray imaging applications 

      Rivera, Eladio J.; Tran, Lesa A.; Hernández-Rivera, Mayra; Yoon, Diana; Mikos, Antonios G.; Rusakova, Irene A.; Cheong, Benjamin Y.; Cabreira-Hansen, Maria da Graça; Willerson, James T.; Perin, Emerson C.; Wilson, Lon J. (2013)
      The encapsulation of bismuth as BiOCl/Bi2O3 within ultra-short (ca. 50 nm) single-walled carbon nanocapsules (US-tubes) has been achieved. The Bi@US-tubes have been characterized by high-resolution transmission electron ...
    • Bistability and oscillations in co-repressive synthetic microbial consortia 

      Sadeghpour, Mehdi; Veliz-Cuba, Alan; Orosz, Gábor; Josić, Krešimir; Bennett, Matthew R. (2017)
      Background: Synthetic microbial consortia are conglomerations of genetically engineered microbes programmed to cooperatively bring about population-level phenotypes. By coordinating their activity, the constituent strains ...
    • Bit Interleaved Space-Time Codes 

      Muharemovic, Tarik; Gatherer, Alan; Ebel, Will; Srihosour, Srinath; Hocevar , Dale; Huang, Everest (2001-09-20)
      We develop a new construction criterion for BSPK space-time codes which simultaneously reflects both "coding" and "diversity" advantage. Furthermore, we propose a new method of improving the performance of space-time ...
    • A bit-streaming pipelined multiuser detector for wireless communications 

      Rajagopal, Sridhar; Cavallaro, Joseph R. (2001-05-20)
      This paper presents a bit-streaming, pipelined and reduced complexity architecture to meet real-time requirements for asynchronous multiuser detection in wireless communication CDMA receivers. Typically, asynchronous ...
    • Blind Algorithms for Channel Estimation and Detection in Wireless Handsets 

      Livingston, Frank; Cavallaro, Joseph R. (2000-05-20)
      Multiple access is an important consideration in the design and implementation of wireless communications systems. Code division multiple access (CDMA) is one method for providing multiple access in a wireless system. In ...
    • Blind Crosstalk Cancellation for DMT Systems 

      Ahmed, Nadeem; Warke, Nirmal; Baraniuk, Richard G. (2002-09-01)
      As the deployment of broadband communication systems such as DSL continues to grow, system performance in terms of capacity and error rates is severely limited by crosstalk interference. In order to continue deploying high ...
    • Blind PARAFAC Receivers for Multiple Access-Multiple Antenna Systems 

      de Baynast, Alexandre; De Lathauwer, Lieven; Aazhang, Behnaam (2003-10-01)
      In this paper, we present a new blind receiver for multiple access channel with multiple transmit antennas per user and multiple receive antennas (MIMO channel). After being multiplied by a spreading sequence, each user s ...
    • Blind Quadratic and Time Frequency Based Detectors from Training Data 

      Jones, Douglas L.; Sayeed, Akbar M. (1995-01-20)
      Time-frequency based methods, particularly quadratic (Cohen's-class) representations, are often considered for detection in applications ranging from sonar to machine monitoring. We propose a method of obtaining near-optimal ...
    • Blueshift of the A-exciton peak in folded monolayer 1H-MoS2 

      Crowne, Frank J.; Amani, Matin; Birdwell, A. Glen; Chin, Matthew L.; OメRegan, Terrance P.; Najmaei, Sina; Liu, Zheng; Ajayan, Pulickel M.; Lou, Jun; Dubey, Madan (2013)
    • BMS-CnC: Bounded Memory Scheduling of Dynamic Task Graphs 

      Budimlić, Zoran; Sarkar, Vivek; Sbîrlea, Dragoș (2013-10-24)
      It is now widely recognized that increased levels of parallelism is a necessary condition for improved application performance on multicore computers. However, as the number of cores increases, the memory-per-core ratio ...
    • Boosting forward-time population genetic simulators through genotype compression 

      Ruths, Troy; Nakhleh, Luay (2013)
      Background: Forward-time population genetic simulations play a central role in deriving and testing evolutionary hypotheses. Such simulations may be data-intensive, depending on the settings to the various param- eters ...
    • Bottleneck Characterization of Dynamic Web Site Benchmarks 

      Amza, Cristiana; Cecchet, Emmanuel; Chanda, Anupam; Cox, Alan; Elnikety, Sameh; Gil, Romer; Marguerite, Julie; Rajamani, Karthick; Zwaenepoel, Willy (2002-02)
      The absence of benchmarks for Web sites with dynamic content hasbeen a major impediment to research in this area. We describe three benchmarks for evaluating the performance of Web sites with dynamic content. The benchmarks ...
    • Bounds and protocols for a two-way multiple node channel 

      Dash, Debashis (2007)
      Often in multiuser wireless systems like cellular networks, data is present in both directions (uplink and downlink). One way to formulate protocols for such networks, is to design the uplink and downlink independently. ...
    • Bounds for optimal compressed sensing matrices and practical reconstruction schemes 

      Sarvotham, Shriram (2008)
      Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal x ∈ Rn that has only k << n non-zero coefficients from a small number m << n of linear projections. The ...
    • Bounds on Achievable Rates for General Multi-terminal Networks with Practical Constraints 

      Khojastepour, Mohammad; Aazhang, Behnaam; Sabharwal, Ashutosh (2003-04-20)
      We consider the problem of communication in a general multi-terminal network where each node of the network is a potential sender or receiver (or both) but it cannot do both functions together. The motivation for this ...
    • Breaking of Symmetry in Graphene Growth on Metal Substrates 

      Artyukhov, Vasilii I.; Hao, Yufeng; Ruoff, Rodney S.; Yakobson, Boris I. (2015)
      In graphene growth, island symmetry can become lower than the intrinsic symmetries of both graphene and the substrate. First-principles calculations and Monte Carlo modeling explain the shapes observed in our experiments ...
    • Bridging the Programming Gap between Persistent and Volatile Memory using WrAP 

      Giles, Ellis; Doshi, Kshitij; Varman, Peter J. (2013-05)
      Advances in memory technology are promising the availability of byte-addressable persistent memory as an integral component of future computing platforms. This change has significant implications for software that has ...
    • Broadband Absorption Engineering to Enhance Light Absorption in Monolayer MoS2 

      Bahauddin, Shah Mohammad; Robatjazi, Hossein; Thomann, Isabell (2016)
      Here we take a first step toward tackling the challenge of incomplete optical absorption in monolayers of transition metal dichalcogenides for conversion of photon energy, including solar, into other forms of energy. We ...