Expressing Uniformity via OraclesCarsten
نویسندگان
چکیده
Electronic copies of technical reports are available: Via FTP: Host ftp.informatik.uni-trier.de, directory /pub/reports Via gopher: Host gopher.informatik.uni-trier.de, port 70, type 1, pathes 1/TechReports/Abstracts and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to [email protected], subject ’MAIL ME CLEAR’, body ’TechReports.HowTo’ followed by an empty line, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
منابع مشابه
Expressing Uniformity via
Electronic copies of technical reports are available: Via FTP: Host ftp.informatik.uni-trier.de, directory /pub/reports Via gopher: Host gopher.informatik.uni-trier.de, port 70, type 1, pathes 1/TechReports/Abstracts and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to [email protected], subject ’MAIL ME CLEAR’, body...
متن کاملUniformities and covering properties for partial frames (II)
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...
متن کاملPreliminary Characterization Tests of Detectors of on-Line Monitor Systems of the Italian National Center of Oncological Hadron-Therapy (CNAO)
Introduction Hadron-therapy is an effective technique used to treat tumors that are located between or nearby vital organs. The Italian National Center of Oncological Hadron-therapy (CNAO) has been realized as the first facility in Italy to treat very difficult tumors with protons and Carbon ions. The on-line monitor system for CNAO has been developed by the Department of Physics of the Univers...
متن کاملControlling Growth High Uniformity Indium Selenide (In2Se3) Nanowires via the Rapid Thermal Annealing Process at Low Temperature
High uniformity Au-catalyzed indium selenide (In2Se3) nanowires are grown with the rapid thermal annealing (RTA) treatment via the vapor-liquid-solid (VLS) mechanism. The diameters of Au-catalyzed In2Se3 nanowires could be controlled with varied thicknesses of Au films, and the uniformity of nanowires is improved via a fast pre-annealing rate, 100 °C/s. Comparing with the slower heating rate, 0...
متن کاملThe Semicontinuous Quasi-uniformity of a Frame
The aim of this note is to show how various facts in classical topology connected with semicontinuous functions and the semicontinuous quasi-uniformity have their counterparts in pointfree topology. In particular, we introduce the localic semicontinuous quasi-uniformity, which generalizes the semicontinuous quasiuniformity of a topological space (known to be one of the most important examples o...
متن کامل