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.

404 Publications


2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, F., Heckel, R., & Koch, M. (2000). A Fully Abstract Model for Graph-Interpreted Temporal Logic. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands) (Vol. 1779, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8343
Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In Proceedings of the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK). York, UK: University of York.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany) (Vol. 24, pp. 14–18). Universität Münster.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). Visualisierung der Synchronisation von Java-Threads mit UML. In Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany) (Vol. 15). Fölbach.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8422
Kremer, H.-H., & Sloane, P. F. E. (2000). Existenzgründung: Kapitalbedarfsermittlung und -beschaffung. In J.-P. Pahl & G. Rach (Eds.), Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe (pp. 191–225). Seelze-Velber.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8455
Kremer, H.-H., & Sloane, P. F. E. (2000). Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation. In R. Bader & P. F. E. Sloane (Eds.), Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept (pp. 71–84). Markt Schwaben.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8456
Kremer, H.-H., & Sloane, P. F. E. (2000). Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse. In F. J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert (pp. 135–144). Nürnberg.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8457
Kremer, H.-H. (2000). Didaktische Theorie implementieren - Innovationen gestalten. In D. Euler, H.-C. Jongebloed, & P. F. E. Sloane (Eds.), Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik. Kiel.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8458
Hasenbank, T., Kremer, H.-H., & Sloane, P. F. E. (2000). Running into practice - Theorie-Praxis-Seminar zum Lernfeldkonzept. Wirtschaft und Erziehung, (11).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8914
Hemsel, T., & Wallaschek, J. (2000). Survey of the present state of the art of piezoelectric linear motors. Ultrasonics, 38, 37–40. https://doi.org/10.1016/S0041-624X(99)00143-2
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8915
Hemsel, T., & Wallaschek, J. (2000). State of the art and development trends of ultrasonic linear motors. In Ultrasonics Symposium, 2000 IEEE (Vol. 1, pp. 663–666 vol.1). https://doi.org/10.1109/ULTSYM.2000.922635
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8916
Hemsel, T., & Wallaschek, J. (2000). Piezoelectic linear motors. In Tagungsband der ACTUATOR (pp. 250–253). Bremen.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8917
Hemsel, T., & Wallaschek, J. (2000). Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe. D{\"u}sseldorf.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8918
Krzyzynski, T., Popp, K., & Sextro, W. (2000). On some regularities in dynamic response of cyclic periodic structures. Chaos, Solitons \& Fractals, 11(10), 1597–1609. https://doi.org/10.1016/S0960-0779(99)00080-6
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8919
Panning, L., Sextro, W., & Popp, K. (2000). Optimization of Interblade Friction Damper. In International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME (pp. 1–8). Munich, Germany.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8920
Sextro, W. (2000). The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification. In International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME (pp. 1–8). Munich, Germany.
LibreCat
 

2000 | Book Review | LibreCat-ID: 9665
Tönnies, M. (2000). Lewis, J.E.: Mary Queen of Scots. Romance and Nation, 1998. Journal for the Study of British Cultures.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
Platzner, M. (2000). Reconfigurable accelerators for combinatorial problems. Computer, 33(4), 58–60. https://doi.org/10.1109/2.839322
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6690
Bendfeld, J., Gruffke, M., Ortjohann, E., Peters, T., & Voss, J. (2000). FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION. In Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld, J., Bettenwort, G., Drilling, C., Gruffke, M., Ortjohann, E., Rump, S., & Voß, J. (2000). MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS. In Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6692
Bendfeld, J., Gruffke, M., Ortjohann, E., & Voss, J. (2000). Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte. Bundes Bau Blatt, 3.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 6762
Tönnies, M., Stratmann, G., Viol, C.-U., & Anglistik und Englischunterricht 63 (Eds.). (2000). Youth Identities. Teens and Twens in British Culture. Heidelberg: Winter.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide, F., Räcke, H., & Westermann, M. (2000). Data management in hierarchical bus networks. Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00. https://doi.org/10.1145/341800.341814
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (2000). Caching in networks. In SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (pp. 430–439).
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, F., Kutyłowski, M., & Ragde, P. (2000). Complexity Theory and Algorithms. In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-x_59
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16513
Aston, P. J., & Dellnitz, M. (2000). The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In Equadiff 99. https://doi.org/10.1142/9789812792617_0196
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz, M., Froyland, G., & Sertl, S. (2000). A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator. In Equadiff 99. https://doi.org/10.1142/9789812792617_0199
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 16554
Dellnitz, M., Froyland, G., & Sertl, S. (2000). On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity, 1171–1188. https://doi.org/10.1088/0951-7715/13/4/310
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
Junge, O. (2000). Rigorous discretization of subdivision techniques. In Equadiff 99. https://doi.org/10.1142/9789812792617_0178
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 17010
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (2000). Contention Resolution in Hashing Based Shared Memory Simulations. SIAM Journal on Computing, 1703–1739. https://doi.org/10.1137/s009753979529564x
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
Dellnitz, M., Junge, O., Rumpf, M., & Strzodka, R. (2000). The computation of an unstable invariant set inside a cylinder containing a knotted flow. In Equadiff 99 (pp. 1053--1059). https://doi.org/10.1142/9789812792617_0204
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10606
Eisenring, M., & Platzner, M. (2000). Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques, 147, 159–165. https://doi.org/10.1049/ip-cdt:20000496
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10725
Platzner, M., Rinner, B., & Weiss, R. (2000). Toward embedded qualitative simulation: a specialized computer architecture for QSim. IEEE Intelligent Systems, 15(2), 62–68. https://doi.org/10.1109/5254.850829
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11758 | OA
Duin, R. P. W., Loog, M., & Haeb-Umbach, R. (2000). Multi-class Linear Feature Extraction by Nonlinear PCA. In International Conference on Pattern Recognition (ICPR 2000).
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11779 | OA
Haeb-Umbach, R. (2000). Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation. In International Conference on Spoken Language Processing (ICSLP 2000).
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11869 | OA
Lieb, M., & Haeb-Umbach, R. (2000). LDA derived cepstral trajectory filters in adverse environmental conditions. In IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000) (Vol. 2, pp. II1105-II1108 vol.2). https://doi.org/10.1109/ICASSP.2000.859157
LibreCat | DOI | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11871 | OA
Loog, M., & Haeb-Umbach, R. (2000). Multi-class Linear Dimension Reduction by Generalized Fisher Criteria. In International Conference on Spoken Language Processing (ICSLP 2000).
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 15301
Hüllermeier, E. (2000). Fuzzy dynamics: Methodological framework and applications of compartmental modeling. In D. M. Dubois (Ed.), in Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
Gueroguieva, I., Nestorov, I., Rowland, M., & Hüllermeier, E. (2000). In vitro-in vivo hepatic clearance prediction using fuzzy sets. In in Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 (Vol. 11, p. S22). European Journal of Pharmaceutical Sciences.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 15389
Henning, B., Daur, P.-C., Prange, S., Dierks, K., & Hauptmann, P. (2000). In-line concentration measurement in complex liquids using ultrasonic sensors. Ultrasonics, 799–803. https://doi.org/10.1016/s0041-624x(99)00190-0
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15808
Dubois, D., Hüllermeier, E., & Prade, H. (2000). Flexible control of case-based prediction in the framework of possibility theory. In In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France (pp. 7–16).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier, E. (2000). Similarity-based inference as evidential reasoning. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 50–54). IOS Press.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier, E. (2000). Focusing search by using problem solving experience. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 55–59). IOS Press.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 14977
König, R., & Sureth-Sloane, C. (2000). Investitionen, Realoptionen und Steuern unter Unsicherheit. Das Wirtschaftsstudium, 29(1), 79–85.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 14978
Sureth-Sloane, C. (2000). Rezension: Kiesewetter, Dirk, Zinsbereinigte Einkommen- und Körperschaftsteuer. Schmalenbachs Zeitschrift für betriebswirtschaftliche Forschung, 52, 781–784.
LibreCat
 

2000 | Working Paper | LibreCat-ID: 14979
Sureth-Sloane, C. (2000). The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach (Vol. 462).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier, E. (2000). Change detection in heuristic search. In Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas (pp. 898–903).
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed