|
|
eCommons@Cornell >
Browsing by Title
Showing results 20646 to 20665 of 26815
| Preview | Issue Date | Title | Author(s) | | 21-Oct-2002 | On the Elimination of Hypotheses in Kleene Algebra with Tests | Hardin, Chris; Kozen, Dexter |
| Jun-1968 | On the Equivalence and Containment Problems for Context-Free Languages | Hopcroft, John E. |
| Jul-1969 | On the Equivalence of Mechanical Evaluation Strategies | McGowan, Clement |
| Jul-1990 | On the estimation of the exceedance probability of a high level | Dijk, V.; de Haan, L. |
| Aug-1991 | On the existence of equivalent local martingale measures | McBeth, D. |
| 27-Mar-2012 | On the existence of paths between points in high level excursion sets of Gaussian random fields | Adler, Robert; Moldavskaya, Elina; Samorodnitsky, Gennady |
| Sep-1983 | On the Expected Sample Size for the Bechhofer-Kulkarni Bernoulli Selection Procedure | Jennison, C. |
| Dec-1987 | On the Expressive Power of Indeterminate Network Primitives | Panangaden, Prakash; Shanbhogue, Vasant |
| 3-May-2011 | On the Feasibility of Completely WIreless Data Centers | Shin, Ji-Yong; Sirer, Emin Gün; Weatherspoon, Hakim; Kirovski, Darko |
| Jul-1969 | On the Feasibility of Voice Input to an On-Line Computer Processing System | Elder, Howard A. |
| Aug-1995 | On the Formal Specification of Group Membership Services | Anceaume, Emmanuelle; Charron-Bost, Bernadette; Minet, Pascale; Toueg, Sam |
| May-2002 | On the Foundations of Multivariate Heavy Tail Analysis | Resnick, S. |
| Feb-1988 | On the Generality of Simulation Graphs | Schruben, L.; Yucesan, E. |
| Jan-1976 | On the Generation of Prime Implicants | Reusch, Bernd |
| 1853 | On the genuineness of the so-called Nestorian monument of Singan-fu, read October 14, 1852 | Salisbury, Edward Elbridge, 1814-1901 |
| Oct-1989 | On the Geometry and Computational Complexity of Radon Partitions in the Integer Lattice | Onn, S. |
| Oct-1974 | On the Global Convergence of Broyden's Method | More, Jorge J.; Trangenstein, J. A. |
| May-1992 | On the Height of the Minimal Hilbert Basis | Liu, J.; Trotter, L. E.; Jr.; Ziegler, G. |
| 21-Jun-2010 | On the implementation and usage of SDPT3 - a MATLAB software package for semidefinite-quadratic-linear programming, version 4.0 | Toh, Kim-Chuan; Todd, Michael J.; Tutuncu, Reha H. |
| Jun-1971 | On the Implementation of Security Measures in Information Systems | Conway, Richard W.; Maxwell, W. L.; Morgan, Howard L. |
Showing results 20646 to 20665 of 26815
|
