Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10579 Publications
2001 | Conference Paper | LibreCat-ID: 40907
Schreier, Peter J., and Louis L. Scharf. “Low-Rank Approximation of Improper Complex Random Vectors.” Proc. 35th\ Asilomar Conf.\ Signals Syst.\ Computers, vol. 1, 2001, pp. 597–601, doi:10.1109/ACSSC.2001.986993.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 34897
Klüners, Jürgen, and Gunter Malle. “A Database for Field Extensions of the Rationals.” LMS Journal of Computation and Mathematics, vol. 4, Wiley, 2001, pp. 182–96, doi:10.1112/s1461157000000851.
LibreCat
| DOI
| arXiv
2001 | Book Chapter | LibreCat-ID: 44536
Burban, Igor, et al. “Vector Bundles on Singular Projective Curves.” Applications of Algebraic Geometry to Coding Theory, Physics and Computation, edited by Ciro Ciliberto, Kluwer Academic Publishers, 2001, pp. 1–15.
LibreCat
2001 | Book Chapter | LibreCat-ID: 56911
Biehler, Rolf. “Statistische Kompetenz von Schülerinnen und Schülern-Konzepte und Ergebnisse empirischer Studien am Beispiel des Vergleichens empirischer Verteilungen.” Anregungen zum Stochastikunterricht, edited by M. Borovcnik et al., Franzbecker, 2001, pp. 97–114.
LibreCat
2001 | Book Chapter | LibreCat-ID: 56910
Biehler, Rolf. “Students’ Difficulties in Practising Computer Supported Data Analysis - Some Hypothetical Generaliza-Tions from Results of Two Exploratory Studies.” Developments in Mathematics Education in Germany, edited by H. G. Weigand, Franzbecker, 2001, pp. 18–30.
LibreCat
2001 | Book Chapter | LibreCat-ID: 56908
Biehler, Rolf, and S. Schweynoch. “Internetgestütztes Kooperatives Lösen von Authentischen Problemen - Erfahrungen Aus Data Sha-Ring Projekten.” Beiträge Zum Mathematikunterricht 2001, WTM-Verlag, 2001, pp. 112–16.
LibreCat
2001 | Book Chapter | LibreCat-ID: 56909
Biehler, Rolf, and S. Schweynoch. “Statistische Kompetenz: Entwicklung und Auswertung eines diagnostischen Tests.” Beiträge zum Mathematikunterricht 2001, WTM-Verlag, 2001, pp. 568–71.
LibreCat
2000 | Dissertation | LibreCat-ID: 19620
Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms and Implementations. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
2000 | Report | LibreCat-ID: 19733
Bonorden, Olaf, et al. PUB-Library, Release 7.0, User Guide and Function Reference. 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 19849
Bednara, M., et al. “Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter.” Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308, doi:10.1109/asap.2000.862400.
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, pp. 92--101.
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 2143
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” Theory Comput. Syst., vol. 33, no. 5/6, 2000, pp. 337--391, doi:10.1007/s002240010006.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 2145
Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” SIAM J. Comput., vol. 30, no. 4, 2000, pp. 1126--1155, doi:10.1137/S0097539799353431.
LibreCat
| DOI