en
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.
13550 Publications
1996 | Conference Abstract | LibreCat-ID: 17843
V. Peckhaus, “Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract],” in IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, 1996, pp. 142–145.
LibreCat
1996 | Misc | LibreCat-ID: 17898
V. Peckhaus, On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996. 1996.
LibreCat
| Download (ext.)
1996 | Book Review | LibreCat-ID: 17913
V. Peckhaus, “Franchella, Miriam, ‘L.E.J. Brouwer: Toward Intuitionistic Logic’, Historia Mathematica 22 (1995), 304–322,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01017]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17918
V. Peckhaus, “Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00022]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17920
V. Peckhaus, “Knobloch, Eberhard/Pieper, Herbert/Pulte, Helmut, „...das Wesen der reinen Mathematik verherrlichen“, Mathematische Semesterberichte 42 (1995), 99–132,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01009]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17925
V. Peckhaus, “Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 838.03005]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17932
V. Peckhaus, “Bealer, George, ‘Toward a New Theory of Content’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 842.03022]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17937
V. Peckhaus, “Murawski, Roman, ‘Contributions of Polish Logicians to Decidability Theory’, Modern Logic 6 (1996), 37–66,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 844.01010]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17944
V. Peckhaus, “Grattan-Guinness, Ivor, ‘Structure-similarity as a Cornerstone of the Philosophy of Mathematics’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00005]. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17949
V. Peckhaus, “Resnik, Michael D., ‘Applying Mathematics and the Indispensability Argument’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00014]. 1996.
LibreCat
1996 | Habilitation | LibreCat-ID: 17444
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995. 1996.
LibreCat
1996 | Book Review | LibreCat-ID: 17956
V. Peckhaus, “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]. 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 18428
D. Tophinke, “Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel,” in Texte – Konstitution, Verarbeitung, Typik, S. Michaelis and D. Tophinke, Eds. München: Lincom, 1996, pp. 101–116.
LibreCat
1996 | Book | LibreCat-ID: 19135
N. O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), vol. 5. Paderborn: Igel, 1996.
LibreCat
1995 | Journal Article | LibreCat-ID: 10610
M. Platzner, B. Rinner, and R. Weiss, “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation,” J.UCS Journal of Universal Computer Science, vol. 12, pp. 811–820, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 11757
C. Dugast, P. Beyerlein, and R. Haeb-Umbach, “Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition,” in ICASSP, Detroit, 1995.
LibreCat
| Download (ext.)
1995 | Journal Article | LibreCat-ID: 11764
S. Gamm and R. Haeb-Umbach, “User interface design of voice controlled consumer electronics,” Philips Journal of Research, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13474
M. Platzner and B. Rinner, “High-Performance Qualitative Simulation on a Multi-DSP Architecture,” in Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2448
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “An Efficient Mapping Library for Parix,” in Proc. ZEUS Workshop on Par. Programming and Computation, 1995.
LibreCat
1995 | Report | LibreCat-ID: 2450
J. Gehring and J. Simon, SparcStation SCI-Interface. Paderborn Center for Parallel Computing, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 2563
S. Betz, “Die Bedeutung der Periodenplanbeschäftigung im Rahmen einer investitionstheoretisch fundierten Kostenrechnung,” Zeitschrift für Planung, vol. 6, pp. 167–183, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 3530
T. Gries, “Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor,” in Standort und Region, Neue Ansätze zur Regionalökonomik, B. Gahlen and H. Hesse, Eds. Tübingen: Mohr (Siebeck), 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 8078
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1995, pp. 19–94.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8097
S. Krauter, “Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8100
S. Krauter, “Thermal and Optical Enhanced PV-Modules,” in Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), 1995, vol. 26.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8270
R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars - A constructive Approach,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, vol. 2, pp. 118–126.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16904
G. Kienegger-domik, “Intelligent visualization systems in educational environments,” in Proceedings of ED-MEDIA `95, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 17306
F. Postel, G. Oevel, and F. Schwarz, “MuPAD in der Ausbildung,” in Beiträge zum Mathematikunterricht, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 17490
V. Peckhaus, “Hilberts Logik. Von der Axiomatik zur Beweistheorie,” NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F., vol. 3, pp. 65–86, 1995.
LibreCat
1995 | Book | LibreCat-ID: 19136
N. O. Eke, V. C. Dörr, and u. a., „Wir träumen ins Herz der Zukunft“. Literatur in Nordrhein-Westfalen 1971-1994 (Edition), vol. 4. Frankfurt a. M., Leipzig: Insel, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2208
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations,” in STACS, 1995, pp. 267--278.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 11765
S. Gamm and R. Haeb-Umbach, “Human Factors of a Voice-Controlled Car Stereo,” in Eurospeech, Madrid, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 11905
V. Steinbiss et al., “The Philips Research system for continuous-speech dictation,” Philips Journal of Research, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 11948
V. Steinbiss et al., “Continuous speech dictation - From theory to practice,” Speech Communication, 1995.
LibreCat
1995 | Report | LibreCat-ID: 13026
S. Hellebrand and H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers. University of Siegen, Germany, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13470
E. Brenner et al., “High-Performance Simulators Based on Multi-TMS320C40,” in Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 2451
S. Blazy, U. Dralle, and J. Simon, “Parallel CG Poisson Solver for PowerPC 601,” in PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Düsseldorf: Heinrich-Heine-Universität, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 2576
S. Betz, “Die Erfahrungskurve als Instrument der Zielkostenspaltung,” Betriebswirtschaftliche Forschung und Praxis, vol. 47, pp. 609–625, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8098
K. Onneken and S. Krauter, “STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations,” in Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 17307
G. Oevel and G. Siek, “Computer algebra in education,” in AACE educational Multimedia and Hypermedia Annual, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 17491
V. Peckhaus, “Rüstow’s Thesis on Russell’s Paradox,” Modern Logic, vol. 5, pp. 167–169, 1995.
LibreCat
1995 | Book Review | LibreCat-ID: 17775
V. Peckhaus, “Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath, ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654),” Modern Logic, vol. 5. pp. 356–359, 1995.
LibreCat
1995 | Book | LibreCat-ID: 17446
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften. Halle/Saale: Hallescher Verlag, 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 18691
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Tübingen 1992: Diss. masch., 1995.
LibreCat
1995 | Book | LibreCat-ID: 18696
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Tübingen: (Wasmuth), 1995.
LibreCat
1995 | Book Review | LibreCat-ID: 19555
N. O. Eke, “Ingo Schmidt, Florian Vaßen. Unter Mitarbeit von Uwe Sänger sowie Roger Fornhoff, Anja Maria Prochaska und Hendrik Werner: Bibliographie Heiner Müller 1948-1992. Bielefeld 1993,” Wirkendes Wort, vol. 45, no. H. 2. pp. 357–359, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13469
M. Platzner, B. Rinner, and R. Weiss, “A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs,” in Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , 1995, pp. 311–318.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13471
G. Friedl, M. Platzner, and B. Rinner, “A Special-Purpose Coprocessor for Qualitative Simulation,” in Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, 1995, pp. 695–698.
LibreCat
1995 | Report | LibreCat-ID: 13027
S. Hellebrand, H.-J. Wunderlich, F. Goncalves, and J. Paulo Teixeira, Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis. University Siegen, Germany, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15294
E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
1995 | Journal Article | LibreCat-ID: 15612
R. Hagengruber, “Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft,” Metis, vol. 5, no. 9, pp. 67–74, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 2091
D. Krimphove, “Kommentar § 5 c GWB (Einkaufskooperationen),” in Gesetz gegen Wettbewerbsbeschränkungen und Europäisches Kartellrecht , 4th ed., H. Müller-Henneberg, G. Schwartz, and W. Benisch, Eds. Köln: Carl Heymanns Verlag KG, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 3037
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes,” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 2577
S. Betz, “Kostenorientierte Planung der Entsorgungslogistik,” Zeitschrift für Planung, vol. 6, pp. 321–339, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 7976
H.-H. Kremer, “Planung und Durchführung der Ausbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., U. Braukmann, D. Euler, H.-H. Kremer, and M. Theis, Eds. Düsseldorf, 1995, pp. 1–123.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8099
S. Krauter, “Actual Optical and Thermal Performance of PV-Modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 8354
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 1st ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1995, pp. 19–94.
LibreCat
1995 | Book Review | LibreCat-ID: 17776
V. Peckhaus, “André Weil, Lehr- und Wanderjahre eines Mathematikers, aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993,” Berichte zur Wissenschaftsgeschichte, vol. 18. pp. 256–257, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 17492
V. Peckhaus, “The Genesis of Grelling’s Paradox,” in Logik und Mathematik. Frege-Kolloquium Jena 1993, 1995, vol. 5, pp. 269–280.
LibreCat
1995 | Journal Article | LibreCat-ID: 18630
A. Schindlmayr and R. W. Godby, “Density-functional theory and the v-representability problem for model strongly correlated electron systems,” Physical Review B, vol. 51, no. 16, pp. 10427–10435, 1995.
LibreCat
| Files available
| DOI
| WoS
| PubMed | Europe PMC
1995 | Book Chapter | LibreCat-ID: 19316
E.-M. Seng, “Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955,” in Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau, R. Lächele and J. Thierfelder, Eds. Stuttgart, 1995, pp. 234–259.
LibreCat
1995 | Book Review | LibreCat-ID: 19556
N. O. Eke, “Bürgerlichkeit im Umbruch. Studien zum deutschsprachigen Drama 1750-1800. Mit einer Bibliographie der Dramen der Oettingen-Wallersteinschen Bibliothek zwischen 1750 und 1800. Hg. von Helmut Koopmann. Tübingen 1993,” Zeitschrift für Germanistik, vol. NF V, no. H. 1. pp. 149–151, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 11786
R. Haeb-Umbach, P. Beyerlein, and D. Geller, “Speech recognition algorithms for voice control interfaces,” Philips Journal of Research, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 13011
S. Hellebrand, J. Rajski, S. Tarnick, S. Venkataraman, and B. Courtois, “Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers,” {IEEE Transactions on Computers}, vol. 44, no. 2, pp. 223–233, 1995.
LibreCat
| DOI
1995 | Report | LibreCat-ID: 13028
S. Hellebrand, M. Herzog, and H.-J. Wunderlich, Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing. University of Siegen, Germany, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13472
M. Platzner, B. Rinner, and R. Weiss, “Parallel Qualitative Simulation,” in Proceedings of the EUROSIM Congress, 1995, pp. 231–236.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13484
R. Hranitzky and M. Platzner, “Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System,” in Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15295
E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
LibreCat
1995 | Book | LibreCat-ID: 1602
D. Krimphove and C. Brehmer, Die Gründung einer GmbH, vol. Nr. 13. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 16236
E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
LibreCat
1995 | Journal Article | LibreCat-ID: 2561
S. Betz, “Die Berücksichtigung von technischem Fortschritt im Konzept der investitionstheoretisch fundierten Abschreibung,” Zeitschrift für Betriebswirtschaft, vol. 65, pp. 425–444, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 2573
S. Betz, “Gemeinkostencontrolling auf Basis der Prozesskostenrechnung,” Kostenrechnungspraxis, vol. 39, pp. 135–144, 1995.
LibreCat
1995 | Report | LibreCat-ID: 3038
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, and D. Zuckerman, An XOR-based erasure-resilient coding scheme. Berkeley, USA, 1995.
LibreCat
| Files available
1995 | Book | LibreCat-ID: 3386
T. Gries, Wachstum, Humankapital und die Dynamik der komparativen Vorteile. Tübingen: Mohr (Siebeck), 1995.
LibreCat