@article{Berardi-Berline/04,
AUTHOR = {Berardi, S. and Berline, C.},
TITLE = {Building continuous webbed models for system $F$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {3-34},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Lambda-calculus, Models for polymorphism, Webbed models, Continuous semantics},
URL = {DOI:10.1016/j.tcs.2003.11.011},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bauer-Birkedal-Scott/04,
AUTHOR = {Bauer, Andrej and Birkedal, Lars and Scott, Dana S.},
TITLE = {Equilogical spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {35-59},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Domain theory, Topology, Logic, Type theory, Realizability},
URL = {DOI:10.1016/j.tcs.2003.11.012},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calcagno/04,
AUTHOR = {Calcagno, Cristiano},
TITLE = {Two-level languages for program optimization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {61-81},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Partial evaluation, Program generation, Semantics},
URL = {DOI:10.1016/j.tcs.2003.11.013},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schalk-de_Paiva/04,
AUTHOR = {Schalk, Andrea and de Paiva, Valeria},
TITLE = {Poset-valued sets or how to build models for linear logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {83-107},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Linear logic, Categorical models},
URL = {DOI:10.1016/j.tcs.2003.11.014},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Konecny/04,
AUTHOR = {Kone{\v{c}}n{\'y}},
TITLE = {Real functions incrementally computable by finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {109-133},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Real number computation, Finite automaton, M"obius transformation, Sub-self-similarity},
URL = {DOI:10.1016/j.tcs.2003.11.015},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schellekens/04,
AUTHOR = {Schellekens, M.P.},
TITLE = {The correspondence between partial metrics and semivaluations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {135-149},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {(Weightable) Quasi-metrics, Partial metrics, Valuations, Directed partial orders},
URL = {DOI:10.1016/j.tcs.2003.11.016},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Yang/04c,
AUTHOR = {Yang, Zhe},
TITLE = {Encoding types in $ML$-like languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {151-190},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.11.017},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Furedi-Kurshan/04,
AUTHOR = {F{\"u}redi, Z. and Kurshan, R.P.},
TITLE = {Minimal length test vectors for multiple-fault detection},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {191-208},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Chinese Postman, Testing, Fault detection},
URL = {DOI:10.1016/j.tcs.2003.11.018},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lowe/04,
AUTHOR = {Lowe, Gavin},
TITLE = {Semantic models for information flow},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {209-256},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.11.019},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pym-OHearn-Yang/04,
AUTHOR = {Pym, David J. and O'Hearn, Peter W. and Yang, Hongseok},
TITLE = {Possible worlds and resources: The semantics of BI},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {1},
PAGES = {257-305},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.11.020},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bai-Chan/04,
AUTHOR = {Bai, Zheng-Jian and Chan, Raymond H.},
TITLE = {Inverse eigenproblem for centrosymmetric and centroskew matrices and their approximation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {309-318},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Eigenproblem, Centrosymmetric matrix, Centroskew matrix},
URL = {DOI:10.1016/j.tcs.2004.01.017},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bini-Gemignani/04,
AUTHOR = {Bini, D.A. and Gemignani, L.},
TITLE = {Bernstein-Bezoutian matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {319-333},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Bezoutian matrices, Bernstein polynomial basis, Displacement structure, Fast algorithms},
URL = {DOI:10.1016/j.tcs.2004.01.016},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bompadre-Matera-Wachenchauzer-Waissbein/04,
AUTHOR = {Bompadre, A. and Matera, G. and Wachenchauzer, R. and Waissbein, A.},
TITLE = {Polynomial equation solving by lifting procedures for ramified fibers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {335-369},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Efficient polynomial equation solving, Ramified fibers of dominant mappings, Puiseux expansions of space curves, Newton, Hensel lifting},
URL = {DOI:10.1016/j.tcs.2004.01.015},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Burago-Grigoriev-Slissenko/04,
AUTHOR = {Burago, D. and Grigoriev, D. and Slissenko, A.},
TITLE = {Approximating shortest path for the skew lines problem in time doubly logarithmic in $1/\epsilon$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {371-404},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Shortest path, Skew lines problem},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.01.014},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Croot-Li-Zhu/04,
AUTHOR = {Croot, Ernie and Li, Ren-Cang and Zhu, Hui June},
TITLE = {The abc conjecture and correctly rounded reciprocal square roots},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {405-417},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Correct rounding, Reciprocal square root, The abc conjecture, Floating point number, Algebraic number},
URL = {DOI:10.1016/j.tcs.2004.01.013},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{von_zur_Gathen-Nocker/04,
AUTHOR = {von zur Gathen, Joachim and N{\"o}cker, Michael},
TITLE = {Fast arithmetic with general Gau\ss{} periods},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {419-452},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Exponentiation, Finite fields, Normal basis, Gau\ss, period, Efficient arithmetic},
URL = {DOI:10.1016/j.tcs.2004.01.012},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heinig-Rost/04,
AUTHOR = {Heinig, Georg and Rost, Karla},
TITLE = {Split algorithms for skewsymmetric Toeplitz matrices with arbitrary rank profile},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {453-468},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Toeplitz matrix, Skewsymmetric matrix, Split algorithm, Levinson algorithm, Schur algorithm, WZ-factorization},
URL = {DOI:10.1016/j.tcs.2004.01.003},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kaporin/04,
AUTHOR = {Kaporin, Igor},
TITLE = {The aggregation and cancellation techniques as a practical tool for faster matrix multiplication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {469-510},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Fast matrix multiplication, Strassen algorithm, Winograd algorithm, Pan's aggregation/cancellation method, Numerical stability, Computational complexity},
URL = {DOI:10.1016/j.tcs.2004.01.004},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lin-Ching-Ng/04,
AUTHOR = {Lin, Fu-Rong and Ching, Wai-Ki and Ng, Michael K.},
TITLE = {Fast inversion of triangular Toeplitz matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {511-523},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Triangular Toeplitz matrix, Interpolation, Fast Fourier transform, Fast cosine transform},
URL = {DOI:10.1016/j.tcs.2004.01.005},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malajovich-Rojas/04,
AUTHOR = {Malajovich, Gregorio and Rojas, Maurice},
TITLE = {High probability analysis of the condition number of sparse polynomial systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {525-555},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Mixed volume, Condition number, Polynomial systems, Sparse, Random},
URL = {DOI:10.1016/j.tcs.2004.01.006},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Noutsos-Capizzano-Vassalos/04,
AUTHOR = {Noutsos, D. and Capizzano, S. Serra and Vassalos, P.},
TITLE = {Matrix algebra preconditioners for multilevel Toeplitz systems do not insure optimal convergence rate},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {557-579},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Preconditioning and multigrid, Finite difference and Toeplitz matrices, Matrix algebras, (Essential) Spectral equivalence},
URL = {DOI:10.1016/j.tcs.2004.01.007},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pan-van_Barel-Wang-Codevico/04,
AUTHOR = {Pan, Victor Y. and van Barel, Marc and Wang, Xinmao and Codevico, Gianni},
TITLE = {Iterative inversion of structured matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {581-592},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Structured matrices, Displacement rank, Iterative inversion, Least-squares computations},
URL = {DOI:10.1016/j.tcs.2004.01.008},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pardo-Martin/04,
AUTHOR = {Pardo, Luis Miguel and Mart{\'{i}}n, Jorge San},
TITLE = {Deformation techniques to solve generalised Pham systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {593-625},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Generalised Pham system, Universal algorithms, Homotopic deformation, Geometric degree},
URL = {DOI:10.1016/j.tcs.2004.01.009},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Perez-Diaz-Sendra-Sendra/04,
AUTHOR = {P{\'e}rez-D{\'i}az, Sonia and Sendra, Juana and Sendra, J. Rafael},
TITLE = {Parametrization of approximate algebraic curves by lines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {627-650},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Approximate algebraic curves, Rational parametrization, Hibrid symbolic-numeric methods},
URL = {DOI:10.1016/j.tcs.2004.01.010},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sommese-Verschelde-Wampler/04,
AUTHOR = {Sommese, Andrew J. and Verschelde, Jan and Wampler, Charles W.},
TITLE = {Numerical factorization of multivariate complex polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {315},
NUMBER = {2-3},
PAGES = {651-669},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Approximate factorization, Divided differences, Generic points, Homotopy continuation, Irreducible decomposition, Newton interpolation, Numerical algebraic geometry, Monodromy, Multiple roots, Polynomial, Stewart-Gough platform, Symbolic-numeric computation, Traces, Witness points},
URL = {DOI:10.1016/j.tcs.2004.01.011},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}