default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 315
Volume 315, Number 1, 5 May 2004
- Michael W. Mislove
:
Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. 1-2 - Stefano Berardi, Chantal Berline:
Building continuous webbed models for system F. 3-34 - Andrej Bauer, Lars Birkedal, Dana S. Scott:
Equilogical spaces. 35-59 - Cristiano Calcagno:
Two-level languages for program optimization. 61-81 - Andrea Schalk, Valeria de Paiva:
Poset-valued sets or how to build models for linear logics. 83-107 - Michal Konecný:
Real functions incrementally computable by finite automata. 109-133 - Michel P. Schellekens:
The correspondence between partial metrics and semivaluations. 135-149 - Zhe Yang:
Encoding types in ML-like languages. 151-190 - Zoltán Füredi, Robert P. Kurshan:
Minimal length test vectors for multiple-fault detection. 191-208 - Gavin Lowe:
Semantic models for information flow. 209-256 - David J. Pym, Peter W. O'Hearn, Hongseok Yang:
Possible worlds and resources: the semantics of BI. 257-305
Volume 315, Number 2-3, 6 May 2004
- Ioannis Z. Emiris, Bernard Mourrain, Victor Y. Pan:
Preface: Algebraic and Numerical Algorithms. 307-308 - Zheng-Jian Bai, Raymond H. Chan:
Inverse eigenproblem for centrosymmetric and centroskew matrices and their approximation. 309-318 - Dario Bini, Luca Gemignani:
Bernstein-Bezoutian matrices. 319-333 - Agustín Bompadre, Guillermo Matera, Rosita Wachenchauzer, Ariel Waissbein:
Polynomial equation solving by lifting procedures for ramified fibers. 335-369 - Dima Burago, Dima Grigoriev, Anatol Slissenko:
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon. 371-404 - Ernie Croot, Ren-Cang Li, Hui June Zhu:
The abc conjecture and correctly rounded reciprocal square roots. 405-417 - Joachim von zur Gathen, Michael Nöcker:
Fast arithmetic with general Gauß periods. 419-452 - Georg Heinig, Karla Rost:
Split algorithms for skewsymmetric Toeplitz matrices with arbitrary rank profile. 453-468 - Igor E. Kaporin:
The aggregation and cancellation techniques as a practical tool for faster matrix multiplication. 469-510 - Fu-Rong Lin, Wai-Ki Ching, Michael K. Ng:
Fast inversion of triangular Toeplitz matrices. 511-523 - Gregorio Malajovich, J. Maurice Rojas:
High probability analysis of the condition number of sparse polynomial systems. 525-555 - Dimitrios Noutsos, Stefano Serra-Capizzano, Paraskevas Vassalos:
Matrix algebra preconditioners for multilevel Toeplitz systems do not insure optimal convergence rate. 557-579 - Victor Y. Pan, Marc Van Barel, Xinmao Wang, Gianni Codevico:
Iterative inversion of structured matrices. 581-592 - Luis Miguel Pardo, Jorge San Martín:
Deformation techniques to solve generalised Pham systems. 593-625 - Sonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra:
Parametrization of approximate algebraic curves by lines. 627-650 - Andrew J. Sommese, Jan Verschelde, Charles W. Wampler:
Numerical factorization of multivariate complex polynomials. 651-669
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-04 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
