Now showing items 1982-2001 of 17018

    • C (cube) C (square): A Civic, Cultural and Commercial City Center 

      Simhadri, Srijaya Sai (2017-04-20)
      Collective urban spaces have historically been a mixture of civic, cultural, and commercial programs. These urban spaces and the programs themselves benefited from their physical proximity and architectural integration. An intimate coexistence of C³ constituted the traditional city center. This formula for social and economic sustenance is well tested. ...
    • C++ and Fortran 77 Timing Comparisons 

      Keenan, Philip T. (1993-01)
      Recently there has been considerable debate within the scientific computation community over the suitability of C++ for large scale numerical computation. This note reports on timing studies of Fortran 77 and C++ conducted on the Intel IPSC/3 Hypercube, the IBM RS-6000 and the Sun Sparc Station 2. Timings are presented for two fundamental algorithms ...
    • C++.T Formalization in Isar 

      Siek, Jeremy G.; Taha, Walid (2005-12-16)
      A formal account of C++ templates, including the compile-time and run-time semantics. The main result is a proof of type safety. The proof is written in the Isar proof language and can be mechanically verified using the Isabelle 2005 proof assistant.
    • c-axis pressure-induced antiferromagnetic order in optimally P-doped BaFe2(As0.70P0.30)2 superconductor 

      Hu, Ding; Wang, Weiyi; Zhang, Wenliang; Wei, Yuan; Gong, Dongliang; (2018)
      Superconductivity in BaFe2(As1−xPx)2 iron pnictides emerges when its in-plane two-dimensional (2D) orthorhombic lattice distortion associated with nematic phase at Ts and three-dimensional (3D) collinear antiferromagnetic order at TN (Ts = TN) are gradually suppressed with increasing x, reaching optimal superconductivity around x = 0.30 with Tc ≈ 30 K. ...
    • C.W.N.S.P.O.S. 

      Yee, Anastasia Xi (2017-04-14)
      Computation tends to produce discrete, self-similar parts and aggregate them together, a common concern in recent projects that we think of as computational. How can we think about using the computational techniques available to us, but in a different way than they have been studied? This thesis is an exploration about the usefulness of these techniques ...
    • Cache Coherence Using Local Knowledge 

      Darnell, Ervan (1995-04-01)
      Hiding memory latency is critical in modern machines. Typically, machines have used cache and addressed the ensuing cache coherence problem with hardware or VM-based strategies that rely on global inter-cache communication.However, global communication limits scalability. "Local knowledge" coherence strategies, which use compile-time information to ...
    • Cache management in scalable network servers 

      Pai, Vivek Sadananda (2000)
      For many users, the perceived speed of computing is increasingly dependent on the performance of network server systems, underscoring the need for high performance servers. Cost-effective scalable network servers can be built on clusters of commodity components (PCs and LANs) instead of using expensive multiprocessor systems. However, network servers ...
    • Cache Management in Scalable Network Servers 

      Pai, Vivek (2000-07-13)
      For many users, the perceived speed of computing is increasingly dependent on the performance of network server systems, underscoring the need for high performance servers. Cost-effective scalable network servers can be built on clusters of commodity components (PCs and LANs) instead of using expensive multiprocessor systems. However, network servers ...
    • Calculation and Implementation of the Gradient of the DSO Objective Function for the General Acoustic Model 

      Sei, Alain (1993-03)
      We present in this paper the computation of the DSO objective function in the general acoustic case. In this model, the density and the velocity are functions of the space variables. We use a perturbational approach, justified by the separation of scales between the long and short wavelength components of the model. An extension of the adjoint state ...
    • Calf-bearer, Head, detail 

      Oliver-Smith, Philip
    • Calibrated Roughness: An Ordinary Architecture on the Urban Periphery 

      Zhou, Yixin (2019-04-15)
      This thesis approaches material considerations in architectural design not as an afterthought to form or program, but as an active component in shaping our environment and living experience. Despite our need to name the spaces in which we live, we do not actually live in the space of language, but rather inhabit a reality of materials with qualities ...
    • Camera based photoplethysmogram estimation 

      Kumar, Mayank; Veeraraghavan, Ashok; Sabharwal, Ashutosh (2018-04-10)
      A system for estimating a photoplethysmogram waveform of a target includes an image processor configured to obtain images of the target and a waveform analyzer. The waveform analyzer is configured to determine a weight of a portion of the target. The weight is based on a time variation of a light reflectivity of the portion of the target. The time ...
    • Camera-based positioning system using learning 

      Shrivastava, Anshumali; Luo, Chen; Palem, Krishna; Moon, Yongshik; Noh, Soonhyun; (2021-05-04)
      A device, system, and methods are described to perform machine-learning camera-based indoor mobile positioning. The indoor mobile positioning may utilize inexact computing, wherein a small decrease in accuracy is used to obtain significant computational efficiency. Hence, the positioning may be performed using a smaller memory overhead at a faster ...
    • Camostat mesylate inhibits SARS-CoV-2 activation by TMPRSS2-related proteases and its metabolite GBPA exerts antiviral activity 

      Hoffmann, Markus; Hofmann-Winkler, Heike; Smith, Joan C.; Krüger, Nadine; Arora, Prerna; (2021)
      Background: Antivirals are needed to combat the COVID-19 pandemic, which is caused by SARS-CoV-2. The clinically-proven protease inhibitor Camostat mesylate inhibits SARS-CoV-2 infection by blocking the virus-activating host cell protease TMPRSS2. However, antiviral activity of Camostat mesylate metabolites and potential viral resistance have not ...
    • Campana points of bounded height on vector group compactifications 

      Pieropan, Marta; Smeets, Arne; Tanimoto, Sho; Várilly-Alvarado, Anthony (2021)
      We initiate a systematic quantitative study of subsets of rational points that are integral with respect to a weighted boundary divisor on Fano orbifolds. We call the points in these sets Campana points. Earlier work of Campana and subsequently Abramovich shows that there are several reasonable competing definitions for Campana points. We use a version ...
    • Campus planning from composition to infrastructure 

      Partow, Manoochehr (1971)
      Historians classify American higher education into four periods: The Colonial college era to the Revolutionary War; the growth of colleges; industrial revolution and the expansion of colleges into universities; the scientific era; and the broadening scope of higher education. In terms of origin, planning process and form, however, institutions of ...