@article{Bridges-Ishihara-Schuster-Vita/08,
AUTHOR = {Bridges, Douglas and Ishihara, Hajime and Schuster, Peter M. and V{\^{i}}{\c{t}}{\u{a}}, Lumini{\c{t}}a},
TITLE = {Apartness, compactness and nearness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {3-10},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {constructive, apartness, totally bounded, compact, near},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STGRXG-1/2/bd0ce108ed60152527e873acb78cda87},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ciraulo-Sambin/08,
AUTHOR = {Ciraulo, Francesco and Sambin, Giovanni},
TITLE = {Finitary formal topologies and Stone's representation theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {11-23},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {formal topology, positivity, stone's representation, constructive methods},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STGRXG-4/2/14bc68c369a5a7f7113aff49a32770f6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hardie-Witbooi/08,
AUTHOR = {Hardie, K.A. and Witbooi, P.J.},
TITLE = {Finite relational structure models of topological spaces and maps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {24-34},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {binary reflexive relational structure, weak homotopy equivalence, homotopy pushout, double mapping cylinder},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STGRXG-2/2/add47464026cbfdd3f9c3fdd2e634d03},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Huang-Liang/08,
AUTHOR = {Huang, Fangping and Liang, Jihua},
TITLE = {On computational environments of topological spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {35-40},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {weak domain environment, choquet complete, tychonoff space, hausdorff compactification},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-1/2/1647fd941ee44b8500c907cdb38e89d8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jordan-Miller-Moore-Peters-Russell/08,
AUTHOR = {Jordan, K.E. and Miller, Lance E. and Moore, E.L.F. and Peters, T.J. and Russell, Alexander},
TITLE = {Modeling time and topology for animation and visualization with examples on parametric geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {41-49},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {ambient isotopy, computational topology, temporal aliasing, animation, visualization, curve approximation},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-3/2/11d7e6031fb82ef3f9d585acda001a14},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kreinovich-Kosheleva/08,
AUTHOR = {Kreinovich, Vladik and Kosheleva, Olga},
TITLE = {Computational complexity of determining which statements about causality hold in different space-time models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {50-63},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {space-time, computational complexity, causality, elementary geometry, tarksi's decision procedure},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-2/2/aede39a0eb301e527a05bebf5400d998},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kunzi-Kreinovich/08,
AUTHOR = {K{\"u}nzi, Hans-Peter A. and Kreinovich, Vladik},
TITLE = {Static space-times naturally lead to quasi-pseudometrics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {64-72},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {space-time, quasi-pseudometric, causality, anti-triangle inequality, relativity, kinematic metric},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-4/2/f413fc522f85e5212ab1f91400531340},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lawson/08,
AUTHOR = {Lawson, Jimmie D.},
TITLE = {Metric spaces and $FS$-domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {73-74},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {continuous domain, metric space, fs-domain, space of formal balls},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-5/2/d905e23331e14fd66cca9cfe7be394c8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martin/08a,
AUTHOR = {Martin, Keye},
TITLE = {Topology in information theory in topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {75-87},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {domain theory, quantum information, topology, information theory, timing channels},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-6/2/085f72e19babb8b239e41ad54d691d99},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Porter/08,
AUTHOR = {Porter, Timothy},
TITLE = {Enriched categories and models for spaces of evolving states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {88-100},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {directed spaces, causets, simplicially enriched categories, cobar, dg-categories},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-7/2/34e25af93afb832a30b21cbb8b1fbf34},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schuster/08,
AUTHOR = {Schuster, Peter},
TITLE = {The Zariski spectrum as a formal geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {101-115},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {zariski spectrum, structure sheaf, local ring, universal property, formal topology, point-free, constructive, predicative},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-3/2/5a7453b6bea1a2b44605f194bc475ee4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Selivanov/08a,
AUTHOR = {Selivanov, Victor L.},
TITLE = {Fine hierarchies and $m$-reducibilities in theoretical computer science},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {116-163},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {hierarchy, m-reducibility, topology, logic, computability, complexity, difference hierarchy, fine hierarchy, boolean term, alternating tree, k-partition, baire space, baire domain, language, [omega]-language, automaton},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-8/2/7245c6f71c0b9ece4c9bd1edb1693f80},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Slapal/08,
AUTHOR = {{\v{S}}lapal, Josef},
TITLE = {A quotient-universal digital topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {164-175},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {alexandroff topology, marcus topology, khalimsky topology, connectedness graph, jordan curve, quotient topology, closure operator},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-4/2/f568c88521a4a2cee687ff73a2df7032},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Spreen-Xu-Mao/08,
AUTHOR = {Spreen, Dieter and Xu, Luoshan and Mao, Xuxin},
TITLE = {Information systems revisited --- The general continuous case},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {176-187},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {continuous domains, information systems},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-9/2/0f677f9e55920c3608a29d04c7ea8049},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Surya/08,
AUTHOR = {Surya, Sumati},
TITLE = {Causal set topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {188-197},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {space-time, causality, topology, posets, quantum gravity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-2/2/d20ce4dc4f5099b3890489268dc944d6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tsuiki-Hattori/08,
AUTHOR = {Tsuiki, Hideki and Hattori, Yasunao},
TITLE = {Lawson topology of the space of formal balls and the hyperbolic topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {1-2},
PAGES = {198-205},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {metric space, formal ball, lawson topology, scott topology, product topology, normed linear space, totally bounded metric, hyperbolic topology},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4STYV3C-B/2/3527c3d48789e2b05ab06cd5dffd9c48},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Atc-Servedio/08,
AUTHOR = {At{\i}c{\i}, Alp and Servedio, Rocco A.},
TITLE = {Learning unions of $\omega(1)$-dimensional rectangles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {209-222},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {learning with membership queries, learning unions of rectangles, boosting},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-5/2/15b5ca9369bd782a3819079ce40fa6f9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kontorovich-Cortes-Mohri/08,
AUTHOR = {Kontorovich, Leonid (Aryeh) and Cortes, Corinna and Mohri, Mehryar},
TITLE = {Kernel methods for learning languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {223-236},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {finite automata, learning automata, margin theory, support vector machines, kernels, piecewise-testable languages},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-6/2/4829c2c454d31fefbb2d5d007596bb45},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Maurer/08,
AUTHOR = {Maurer, Andreas},
TITLE = {Unsupervised slow subspace-learning from stationary processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {237-255},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {slowness, stationary processes, subspace learning, unsupervised learning},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SX9G1X-1/2/05b8e5f454d9016c6a9e1aaaad12d58d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Poland/08a,
AUTHOR = {Poland, Jan},
TITLE = {Consistency of discrete Bayesian learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {256-273},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bayesian learning, consistency, stochastic model selection, marginalization, map prediction, almost sure convergence, entropy potential},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-7/2/698112da318fda76fd26fa0d00db73cc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ryabko-Hutter/08,
AUTHOR = {Ryabko, Daniil and Hutter, Marcus},
TITLE = {On the possibility of learning in reactive environments with arbitrary dependence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {274-284},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {reinforcement learning, asymptotic average value, self-optimizing policies, (non) markov decision processes},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-8/2/079cc0378afc27bf17ee41fb0e5d91ea},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Vovk/08,
AUTHOR = {Vovk, Vladimir},
TITLE = {Leading strategies in competitive on-line prediction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {405},
NUMBER = {3},
PAGES = {285-296},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {competitive on-line prediction, jeffreys's law, reproducing kernel hilbert space, bregman divergence, proper scoring rule},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4SV5V96-9/2/08e9ea9265b63a0d5f18834ae4fbd926},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}