Now showing items 18652-18671 of 37359

    • EXPRESSION OF REOVIRUS STRUCTURAL PROTEIN MU1 LEADS TO ACTIVATION OF THE INTRINSIC AND EXTRINSIC APOPTOTIC PATHWAYS 

      Wisniewski, Meagan (2008-11-12)
      Mammalian orthoreoviruses (reoviruses) induce apoptosis in vitro and in vivo. The capacity to induce apoptosis differs among strains of reovirus, and in infected L-cells the Type 3 Dearing (T3D) strain induces apoptosis ...
    • Expressive And Scalable Event Stream Processing 

      Hong, Mingsheng (2009-05-22)
      Rapid technical advances have made it possible to instrument even massive computing systems. However, the technology for processing high-speed data streams from physical sensors and software systems has lagged the capability ...
    • Expressive Models In Online Learning 

      Sharma, Yogeshwer (2010-10-20)
      We study the online learning model: a widely applicable model for making repeated choices in an interactive environment. In standard online learning model (or an online learning problem), the decision-maker is provided ...
    • The Expressive Power of Clocks 

      Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard (Cornell University, 1995-04)
      We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition---the divergence of time---can ...
    • The Expressive Power of Delay Operators in SCCS 

      Critchlow, Carol M.; Panangaden, Prakash (Cornell University, 1989-05)
      We investigate the relative expressive power of finite delay operators in SCCS. These were introduced by Milner and by Hennessy to study fairness properties of processes in the context of SCCS. We show that the context ...
    • Expressiveness and Performance of Full-Text Search Languages 

      Botev, Chavdar; Amer-Yahia, Sihem; Shanmugasundaram, Jayavel (Cornell University, 2005-03-14)
      We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and todevelop a model for full-text search that can be tightly ...
    • Expressiveness and Performance of Full-Text Search Languages 

      Botev, Chavdar; Amer-Yahia, Sihem; Shanmugasundaram, Jayavel (Cornell University, 2005-06-30)
      We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for full-text search that can be tightly ...
    • Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems 

      Widom, Jennifer; Panangaden, Prakash (Cornell University, 1987-09)
      Network proof systems based on first-order specifications over channel traces are incomplete unless reasoning over the interleaving of communication events is permitted. Relatively complete trace-based proof systems using ...
    • The Expressiveness of Indeterminate Dataflow Primitives 

      Shanbhogue, Vasant (Cornell University, 1990-08)
      This thesis establishes that there are different kinds of indeterminacy in an asynchronous distributed computation setting by studying expressiveness and inexpressiveness situations. We use a particular model of asynchronous ...
    • Expressiveness, Efficiency, and Privacy in Advertising Auctions 

      Martin, David John (2008-08-08)
      Internet search results are a growing and highly profitable advertising platform. Search providers auction advertising slots to advertisers on their search result pages. Due to the high volume of searches and the users' ...
    • Extended Boolean Information Retrieval 

      Salton, Gerard; Fox, Edward A.; Wu, Harry (Cornell University, 1982-08)
      In conventional information retrieval Boolean combinations of index terms are used to formulate the users' information requests. While any document is in principle retrievable by a Boolean query, the amount of output ...
    • The Extended Economic Lot Scheduling Problem 

      Gallego, G.; Roundy, R. (Cornell University Operations Research and Industrial Engineering, 1988-01)
      The Extended Economic Lot Scheduling Problem
    • Extended Generalized Right-Angular Designs 

      Raghavarao, Damaraju; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (1972-08)
    • EXTENDED PROFILE--The Life and Career of Professor Istvan Deak 

      Deak, Istvan (2013-09-09)
      This is the first in a series of extended profiles on the lives and careers of scholars who work on East-Central Europe. It features several interviews with Istvan Deak (b. 1926), Seth Low Professor Emeritus at Columbia ...
    • EXTENDED PROFILE--The Life and Career of Professor Ivan Sanders 

      Sanders, Ivan (2014-03-23)
      These interviews are the second in a series of extended profiles on the lives and careers of scholars who work on East-Central Europe. It features seven interviews with Ivan Sanders, who teaches Central European cultural ...
    • Extended Trust-Tech Methodology For Nonlinear Optimization: Analyses, Methods And Applications 

      Wang, Bin (2012-01-31)
      Many theoretical and practical problems can be formulated as a global optimization problem. Traditional local optimization methods can only attain a local optimal solution and be entrapped in the local optimal solution; ...
    • Extending Attribute Grammar and Type Inference Algorithms 

      Walz, Janet (Cornell University, 1989-02)
      Gated attribute grammars and error-tolerant unification expand upon the usual views of attribute grammars and unification. Normally, attribute grammars are constrained to be noncircular; gated attribute grammars allow ...
    • Extending Planar Graph Algorithms to $K_{3}$,$_{3}$-free Graphs 

      Khuller, Samir (Cornell University, 1988-03)
      For several problems, restricting attention to special classes of graphs has yielded better algorithms. In particular, restricting to planar graphs yields efficient parallel algorithms for several graph problems. In this ...
    • Extending Some Results and Proofs for the Singular Linear Model 

      Searle, S. R.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (1993-11)
    • Extending the 'Single Unit - Single Customer' Approach to Capacitated Systems 

      Janakiraman, G.; Muckstadt, J. (Cornell University Operations Research and Industrial Engineering, 2003-01)
      Extending the 'Single Unit - Single Customer' Approach to Capacitated Systems