Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
95 | Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss |
Verläßlichkeitsbewertung komplexer Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 21(6), pp. 318-327, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Verläßlichkeit, Zuverlässigkeit, Bewertungs-Methoden, Modellierungs-Werkzeuge, Fehlerbäume, Markov-Methoden, Stochastische Petri-Netze, Modellierung, Sicherheit |
95 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(4), pp. 193-202, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen |
81 | Ernst Hairer, Gerhard Wanner |
On the Butcher group and general multi-value methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 13(1), pp. 1-15, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
54 | L. Andrew, K. E. Chu, Peter Lancaster |
On the Numerical Solution of Nonlinear Eigenvalue Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 55(2), pp. 91-112, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Nonlinear eigenvalue problem, condition number, numerical solution |
54 | F. Fuchs |
A-stability of Runge-Kutta methods with single and multiple nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 16(1-2), pp. 39-48, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
46 | Hans Hagen, Guido Brunnett, Heinrich Müller, Dieter Roller 0002 (eds.) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![Teubner, 3-519-02746-1 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Alexa Nawotki |
Flächenmodifikation mit der Methode der finiten Elemente. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 108-120, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Robert Mencl |
Reconstruction of Surfaces from Three-Dimensional Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 253-286, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Monika Bihler |
Feature-Modelling - Design by Feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 32-54, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Jürgen Toelke |
Scattered-Data-Verfahren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 121-133, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Frank Albersmann |
Aufbereitung von 3D-Digitalisierdaten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 197-234, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Axel Becker |
Design mit energieoptimierten Twists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 149-171, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Gudrun Albrecht |
Invariante Gütekriterien im Kurvendesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 134-148, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Oliver Deussen |
A Pixel-Oriented Approach for Rendering Line Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 235-252, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Jörg Wendt |
Nichtlineare Spline-Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 7-31, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Ingrid Hotz |
Qualitätsanalyse-Algorithmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 55-85, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Gerik Scheuermann |
Visualisierung von Vektor- und Tensorfeldern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 172-196, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Dirk Schröder |
Aktuelle Ansätze im Bereich Feature Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung ![In: Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997, pp. 86-107, 1997, Teubner, 3-519-02746-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | R. Merz, Lothar Litz |
Objektorientierte mathematische Modellierung: Generische Methoden bei komplexen dynamischen Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 23(2), pp. 90-99, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Wiederverwendung, objektorientiert, nicht berechnungskausal, mathematische Modellbildung, Software Engineering |
40 | Karl-Erwin Großpietsch, Erik Maehle |
Fehlerbehandlung in komplexen nebenläufigen Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 21(6), pp. 347-355, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Dynamische Redundanz, Systemrekonfiguration, Routing, Recovery |
40 | Ladislav Luksan |
Variable metric methods for linearly constrained nonlinear minimax approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 30(4), pp. 315-334, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Linearly constrained optimization, nonlinear minimax approximation, variable metric methods, algorithms, nondifferentiable optimization |
28 | Johannes Mast, Stefan Rädle, Joachim Gerlach |
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Margit Scholl, Frauke Fuhrmann |
Analog - digital? Wie sich mithilfe analoger Methoden Bewusstsein für Informationssicherheit in der digitalen Welt fördern lässt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTVI/FTRI ![In: Digitale Transformation: Methoden, Kompetenzen und Technologien für die Verwaltung, Gemeinsame Fachtagung Verwaltungsinformatik (FTVI) und Fachtagung Rechtsinformatik (FTRI) 2016, 22.-23. September 2016, Dresden, pp. 101-112, 2016, GI, 978-3-88579-655-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Mathias Soeken, Max Nitze, Rolf Drechsler |
Formale Methoden für Alle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany, pp. 213-216, 2014, Cuvillier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Thomas Malsch |
Narrative Methoden und temporalisierte Kommunikationsnetzwerke. Ein Vergleich ereignisbasierter Modelle aus kommunikationssoziologischer Sicht. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Die Dynamik sozialer und sprachlicher Netzwerke ![In: Die Dynamik sozialer und sprachlicher Netzwerke, Konzepte, Methoden und empirische Untersuchungen an Beispielen des WWW, pp. 103-137, 2013, Springer, 978-3-531-17833-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Barbara Frank-Job, Alexander Mehler, Tilmann Sutter |
Interdependenz und Dynamik sozialer und sprachlicher Netzwerke: Konzepte, Methoden und empirische Untersuchungen am Beispiel des WWW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Die Dynamik sozialer und sprachlicher Netzwerke ![In: Die Dynamik sozialer und sprachlicher Netzwerke, Konzepte, Methoden und empirische Untersuchungen an Beispielen des WWW, pp. 7-20, 2013, Springer, 978-3-531-17833-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm |
Einsatz formaler Methoden zur Energieeinsparung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 141-146, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Matthias Kuba, Zekeriya Mansuroglu |
Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 155-162, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Martin Braun 0001, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz |
Methoden zur Verifikation von Kommunikationsstrukturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 223-232, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Heiko Henkelmann, C. Bruennlein, Walter Anheier |
Effiziente Methoden zum Zahlenvergleich und zur Vorzeichenerkennung in Restklassensystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999, pp. 121-130, 1999, Shaker. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Johannes Friebe |
Quantitative Methoden der menschlichen Raumwahrnehmung mit Methoden der Computergraphik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
28 | E. Klapp |
Stand und voraussichtliche Entwicklung rechnerunterstützter Methoden (CAD/CAM) in den Verfahrensindustrien mit Ausblicken auf Rationalisierung sowie Qualitäts- und Kostenstruktur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAD-Fachgespräch ![In: Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren, GI-Fachtagung, München, 19./21. Oktober 1977, pp. 303-324, 1977, Springer, 3-540-08473-8. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
27 | Theo Härder, Udo Nink, Norbert Ritter |
Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(2), pp. 67-82, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Bindungszeitpunkte, Anwendungsprogrammierschnittstelle, Generische Methoden, Objektorientierung, Datenbanksysteme |
27 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(3), pp. 121-134, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping |
27 | Erich Ortner |
Repository Systems. Teil 1: Mehrstufigkeit und Entwicklungsumgebung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 22(4), pp. 235-251, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Repositorium, Metaschema, Metadaten, Anwendungsentwicklungsumgebung, Methoden, Werkzeuge, 3-Schemaarchitektur, Entwicklungslebenszyklus |
27 | Arnold Baca |
Informatische Methoden zur biomechanischen Analyse und Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 31(4), pp. 308-315, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Fevzi Belli |
Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 21(6), pp. 337-346, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Validation/Verifikation, systematisches Testen, durchsichtsorientierte Prüfverfahren, Testwerkzeuge |
27 | Damian Borth, Adrian Ulges, Christian Schulze 0001, Thomas M. Breuel |
Keyframe Extraktion für Video-Annotation und Video-Zusammenfassung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 32(1), pp. 50-53, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Stein, Tobias Heye, Hans-Ulrich Kauczor, Hans-Peter Meinzer |
Quantifizierung der Darmperistaltik mittels deformierbarer Registrierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2009: Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg, pp. 395-399, 2009, Springer, 978-3-540-93859-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Perl |
Modellbildung und Simulation von Prozessen im Sport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 31(4), pp. 292-300, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Steffen Zimmermann |
IT-Portfoliomanagement - Ein Konzept zur Bewertung und Gestaltung von IT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 31(5), pp. 460-468, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Nils Papenberg, Jan Modersitzki, Bernd Fischer 0001 |
Registrierung im Fokus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2008, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 6. bis 8. April 2008 in Berlin, pp. 138-142, 2008, Springer, 978-3-540-78639-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Lüder A. Kahrs, Jörg Raczkowsky, Heinz Wörn |
Optische Vermessung mittels kodierten Lichts von variabel reflektierenden Oberflächen zur Registrierung oder Dokumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2006, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 19. - 21. März 2006 in Hamburg, pp. 340-344, 2006, Springer, 978-3-540-32136-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Matthias Bolten, Nils Papenberg, Bernd Fischer 0001, Panagiotis A. Adamidis, Rolf Rabenseifner, Holger Berger |
Parallelisierung eines nichtlinearen Registrierungsalgorithmus zur Verarbeitung sehr großer Volumen-Daten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2005, Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 13.-15. März 2005 in Heidelberg, pp. 360-364, 2005, Springer, 3-540-25052-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Wesarg, Evelyn Firle |
CT-basierte Analyse von Koronararterien zur Unterstützung eines TECAB-Grafting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2005, Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 13.-15. März 2005 in Heidelberg, pp. 26-30, 2005, Springer, 3-540-25052-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Ulrich Thiel, André Everts, Barbara Lutes, Kostas Tzeras |
Integration und Suche in Digitalen Bibliotheken: Ein logikbasierter Ansatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 13(3), pp. 147-158, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Digitale Bibliotheken, abduktive Logik, Information Retrieval |
27 | Hans Albrecht Schmid |
Objektorientierte Entwurfsmuster und Frameworks in der Informatik-Ausbildung an der Fachhochschule Konstanz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 20(6), pp. 364-371, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Erfahrung, Güte, Softwareengineering, Entwurfsmuster, Informatik-Ausbildung, GUI-Klassenbibliothek, Java, C++, Frameworks, Objektorientierung |
27 | Stefan Turek |
A Generalized Mean Intensity Approach for the Numerical Solution of the Radiative Transfer Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 54(1), pp. 27-38, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Radiative transfer equation, mean intensity, nonsymmetric CG-variants, astrophysics |
27 | W. Doerfler |
A Robust Adaptive Strategy for the Nonlinear Poisson Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 55(4), pp. 289-304, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
nonlinear Poisson equation, a posteriori error estimate, Adaptive mesh refinement |
27 | Zahari Zlatev |
Consistency and convergence of general linear multistep variable stepsize variable formula methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(1), pp. 47-67, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
linear multistep formulae, variable stepsize variable formula methods, order of the method, zero-stability, convegence, one-leg methods, predictor-corrector schemes, consistency, Ordinary differential equations, numerical solution, initial value problems |
27 | Nicholas V. Findler, W. Rhomberg |
On an approach to the automatic evaluation of the subjects' verbal behavior in Roemer's inkblot tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 16(4), pp. 373-378, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
27 | Richard F. King |
Methods without secant steps for finding a bracketed root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 17(1), pp. 49-57, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
27 | M. E. A. Tom |
Efficient algorithms for volterra integral equations of the second kind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 14(1-2), pp. 153-166, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
27 | Klaus Ritter 0002 |
Accelerating procedures for methods of conjugate directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 14(1-2), pp. 79-105, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
27 | Joachim H. Ahrens, Ulrich Dieter |
Computer methods for sampling from gamma, beta, poisson and bionomial distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 12(3), pp. 223-246, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
bei distribution, simulation, numerical analysis, Random numbers, pseudorandom, normal distribution, Poisson distribution, gamma distribution, binomial distribution |
27 | Jet Wimp |
On the computation of Tricomi's psi function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 13(3-4), pp. 195-203, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
14 | Knut Hildebrand |
Andreas Holtschulte Praxisleitfaden IoT und Industrie 4.0: Methoden, Tools und Use Cases für Logistik und Produktion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HMD Prax. Wirtsch. ![In: HMD Prax. Wirtsch. 60(1), pp. 248-249, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Edgar Ehlers |
Warum Unternehmen bei der Umsetzung agiler Methoden scheitern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik Manag. ![In: Wirtschaftsinformatik Manag. 15(4), pp. 260-266, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hartmut Schmitt, Eduard C. Groen |
Erreichen von Usable Privacy durch die Einbindung bewährter RE-Methoden in den Human-Centered-Design-Prozess. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 43(1), pp. 10-11, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Robert Seifert, Martin Hecht, Wilfried Hofmann |
Selected numerical methods to model the fractional-order system behavior of nonlaminated magnetic actuators: Ausgewahlte numerische Methoden zur Modellierung des fraktionalen Systemverhaltens ungeblechter magnetischer Aktoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 71(3), pp. 186-197, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sophie Hundertmark, Nils Hafner, Edy Portmann |
Dialog-Anpassung an den Charakter des Benutzers - Anwendung der Methoden des Charakter Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 46(4), pp. 210-219, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard Humm |
Data Science von Praktikern für Praktiker: Projekte, Methoden, Prozesse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 46(5), pp. 258-260, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Julia Glas, Christian Wolff 0001, Bernd Ludwig, Michael Achmann |
Selbstoptimierung vs. Selbstliebe? Eine vergleichende Inhaltsanalyse von Fitspiration- und Bodypositivity-Bildern auf Instagram mit Methoden der automatischen Bildklassifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 9. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2023, Belval, Luxembourg and Trier, Germany, March 13 - 17, 2022, pp. 286, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Melanie Althage |
Digitale Methoden kritisch reflektieren - Die Erweiterung des Werkzeugkastens der Historiker:innen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 9. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2023, Belval, Luxembourg and Trier, Germany, March 13 - 17, 2022, pp. 381, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Katharina Holstein, Nata Kozaeva, Korinna Bade |
Automatisiertes Bewerten bei der praktischen Vermittlung von Methoden des Maschinellen Lernens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABP ![In: Proceedings of the Sixth Workshop `Automatische Bewertung von Programmieraufgaben`, ABP 2023, Munich, Germany, October 12-13, 2023., pp. 75-82, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Hilmer, Yelle Lieder |
Methoden des Nachhaltigkeitsmanagements und ihre Anwendung in den Phasen des IT-Projektmanagements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM ![In: Projektmanagement und Vorgehensmodelle 2023 - Nachhaltige IT-Projekte, PVM 2023, Hagen, Germany, November 16-17, 2023, 2023, Gesellschaft für Informatik e.V., 978-3-88579-734-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Nils Büscher |
Konzepte, Methoden und Anwendungen zur Analyse und Optimierung von eingebetteten Inertialsensorsubsystemen bei menschlicher Interaktion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
14 | Jan Zimmermann |
Verteilte Methoden zur Lösung von beschränkten Optimierungsproblemen in Multiagentensystemen. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
14 | Jan Böttcher |
Scalable Concurrency Control Methods for Modern Database Systems (Skalierbare Methoden zur Synchronisation von Modernen Datenbanksystemen) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
14 | Lukas Prantl |
Deep Learning Methods for Simulation of Liquids (Deep Learning Methoden für die Simulation von Flüssigkeiten) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
14 | Oliver Schrape |
Methodology for standard cell-based design and implementation of reliable and robust hardware systems (Methoden für Standardzellbasiertes Design und Implementierung zuverlässiger und robuster Hardware Systeme) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
14 | Matthias Knoll |
Rezension "Virtual und Augmented Reality (VR/AR) - Grundlagen und Methoden der Virtuellen und Augmentierten Realität". ![Search on Bibsonomy](Pics/bibsonomy.png) |
HMD Prax. Wirtsch. ![In: HMD Prax. Wirtsch. 59(1), pp. 424-426, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Susanne Robra-Bissantz, Christoph Lattemann, Ralf Laue 0001, Raphaela Leonhard-Pfleger, Luisa Wagner, Oliver Gerundt, Ricarda Schlimbach, Sabine Baumann, Christian Vorbohle, Sebastian Gottschalk, Dennis Kundisch, Gregor Engels, Nancy Wünderlich, Volker Nissen, Lisa Lohrenz, Simon Michalke |
Methoden zum Design digitaler Plattformen, Geschäftsmodelle und Service-Ökosysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HMD Prax. Wirtsch. ![In: HMD Prax. Wirtsch. 59(5), pp. 1227-1257, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Louis Bellmann |
Algorithmische Methoden für kombinatorische chemische Bibliotheken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen, pp. 21-30, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Linus Witschen |
Methoden zur suchbasierten approximativen Logiksynthese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen, pp. 291-300, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Jana Hofmann |
Logische Methoden für die Hierarchie der Hyperlogiken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen, pp. 101-110, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Ulrike Wuttke, Erzsébet Tóth-Czifra, Marinella Testori, Aliz Horvath, Paul Spence, Helen Katsiadakis |
Spotlights - Wie das OpenMethods-Metablog Digital Humanities-Methoden, -Tools und -Toolmaker ins Scheinwerferlicht rückt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 8. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2022, Potsdam, Germany, March 7 - 11, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Schmidt, Sarah Kurek |
Der Einsatz von Computer Vision-Methoden für Filme - Eine Fallanalyse für die Kriminalfilm-Reihe Tatort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 8. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2022, Potsdam, Germany, March 7 - 11, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ulrike Wuttke, Erzsébet Tóth-Czifra, Marinella Testori, Aliz Horvath, Paul Spence, Helen Katsiadakis |
Spotlights Wie das OpenMethods-Metablog Digital Humanities-Methoden, -Tools und -Toolmaker ins Scheinwerferlicht rückt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 8. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2022, Potsdam, Germany, March 7 - 11, 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Juliane Siegeris, Brit Leissler |
Gemeinsam an einem Strang - UCD-Methoden-Mix im BEMpsy Projekt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Mensch und Computer 2022 - Workshopband, Darmstadt, Germany, September 4 - 7, 2022, 2022, Gesellschaft für Informatik e.V.. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Antonia Schäfer, Alexander Müller-Rakow |
Eine kritische Reflexion partizipativer Methoden für die Gestaltung transmedialer Lernformate in der frühpädagogischen Fachkräftebildung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Mensch und Computer 2022 - Workshopband, Darmstadt, Germany, September 4 - 7, 2022, 2022, Gesellschaft für Informatik e.V.. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Majeed Khan Malik, Helmut Beckmann |
Methoden zur Identifikation relevanter Datenquellen: Eine Literaturanalyse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: WI for Grand Challenges - Grand Challenges for WI, 17. Internationale Tagung Wirtschaftsinformatik (WI 2022), February 21-23, 2022, Nuremberg, Germany., 2022, AISeL. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Tobias Bahr, Bernd Zinn |
Workshop zum Einsatz agiler Methoden im Informatikunterricht. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 1067-1077, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Can Adam Albayrak, Andreas Gadatsch, Benedikt Haag |
Agile Methoden für das IT-Controlling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 1593-1612, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Bettina Steden, Jorge Marx Gómez |
Elektromobilität in Unternehmen - Schwerpunkte und Methoden der Forschung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 771-782, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Marius Wybrands, Sven von Höveling, Marco Muras, Heinrich Töpfer, Jorge Marx Gómez |
Prototypische Implementierung eines Digital Twin und Predictive Maintenance Methoden am Beispiel des Wasserwerks Langeoog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 831-841, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ediz Kiratli, Simone Lerche, Leah Knaack |
Multi-Methoden-Ansatz mit Probanden mit Behinderung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UP ![In: Usability Professionals 2022, Darmstadt, Germany, September 4-7, 2022, pp. 292, 2022, Gesellschaft für Informatik e.V. und German UPA e.V.. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Markus Schinle |
Methoden und Werkzeuge für eine datengetriebene Entwicklung digitaler Gesundheitsanwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Sandro Kreten |
Modellbildung und Umsetzung von Methoden zur energieeffizienten Nutzung von Containertechnologien. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Maxime Goubeaud |
Fehlervorhersage für Schrittmotoren durch Methoden des maschinellen Lernens: Merkmalsaufbereitung und Daten-Augmentation bei Zeitreihendatensätzen sowie Gewinnung realer Daten. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Tim Weißer |
Methoden der künstlichen Intelligenz für das Problemmanagement in der Vorserienproduktion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Mohamed Nafzi |
Methoden zur Fahrzeugwiedererkennung unter Verwendung maschineller Lernverfahren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Komi Lolonyo Adjogble |
Technology Intelligence durch Data Envelopment Analysis, neuronale Netzwerke und System Dynamics Methoden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Andreas Gocht-Zech |
Ein Framework zur Optimierung der Energieeffizienz von HPC-Anwendungen auf der Basis von Machine-Learning-Methoden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Sebastian Wenninger |
Informatische Methoden im Sport: Simulation, Data-Mining und Machine-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Patrick Dietrich |
Methoden zur Reduktion der Messlatenz von GOBO-Projektor-basierten 3D-Sensoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Andreas Gienger |
Ansätze zur Kombination modell- und datenbasierter Methoden für die Prozessüberwachung und Fehlerdiagnose. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Leonhard Rannabauer |
Earthquake and Tsunami Simulation with high-order ADER-DG methods. (Simulation von Erdbeben und Tsunamis mit ADER-DG Methoden hoher Ordnung.) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Daniel Röchert |
Investigating Political and Informational Homogeneity in Social Media Using Computational Methods (Untersuchung der politischen und informationellen Homogenität in sozialen Medien mit Hilfe von computergestützten Methoden) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
14 | Ludwig Waibel |
Segmentierung und Bewertung korrosionskritischer Konstruktionen einer Gesamtfahrzeugstruktur mittels Methoden der künstlichen Intelligenz ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|