Search results for "Methoden"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss	Verläßlichkeitsbewertung komplexer Systeme.	Inform. Spektrum	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.	Inform. Forsch. Entwickl.	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.	Computing	1974	DBLP DOI BibTeX RDF
54	L. Andrew, K. E. Chu, Peter Lancaster	On the Numerical Solution of Nonlinear Eigenvalue Problems.	Computing	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.	Computing	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	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1999	DBLP DOI BibTeX RDF
46	Alexa Nawotki	Flächenmodifikation mit der Methode der finiten Elemente.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Robert Mencl	Reconstruction of Surfaces from Three-Dimensional Point Clouds.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Monika Bihler	Feature-Modelling - Design by Feature.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Jürgen Toelke	Scattered-Data-Verfahren.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Frank Albersmann	Aufbereitung von 3D-Digitalisierdaten.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Axel Becker	Design mit energieoptimierten Twists.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Gudrun Albrecht	Invariante Gütekriterien im Kurvendesign.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Oliver Deussen	A Pixel-Oriented Approach for Rendering Line Drawings.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Jörg Wendt	Nichtlineare Spline-Interpolation.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Ingrid Hotz	Qualitätsanalyse-Algorithmen.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Gerik Scheuermann	Visualisierung von Vektor- und Tensorfeldern.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
46	Dirk Schröder	Aktuelle Ansätze im Bereich Feature Recognition.	Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung	1997	DBLP DOI BibTeX RDF
41	R. Merz, Lothar Litz	Objektorientierte mathematische Modellierung: Generische Methoden bei komplexen dynamischen Systemen.	Inform. Spektrum	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.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Dynamische Redundanz, Systemrekonfiguration, Routing, Recovery
40	Ladislav Luksan	Variable metric methods for linearly constrained nonlinear minimax approximation.	Computing	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.	MBMV	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.	FTVI/FTRI	2016	DBLP BibTeX RDF
28	Mathias Soeken, Max Nitze, Rolf Drechsler	Formale Methoden für Alle.	MBMV	2014	DBLP BibTeX RDF
28	Thomas Malsch	Narrative Methoden und temporalisierte Kommunikationsnetzwerke. Ein Vergleich ereignisbasierter Modelle aus kommunikationssoziologischer Sicht.	Die Dynamik sozialer und sprachlicher Netzwerke	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.	Die Dynamik sozialer und sprachlicher Netzwerke	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.	MBMV	2013	DBLP BibTeX RDF
28	Matthias Kuba, Zekeriya Mansuroglu	Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor.	MBMV	2011	DBLP BibTeX RDF
28	Martin Braun 0001, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz	Methoden zur Verifikation von Kommunikationsstrukturen.	MBMV	2007	DBLP BibTeX RDF
28	Heiko Henkelmann, C. Bruennlein, Walter Anheier	Effiziente Methoden zum Zahlenvergleich und zur Vorzeichenerkennung in Restklassensystemen.	MBMV	1999	DBLP BibTeX RDF
28	Johannes Friebe	Quantitative Methoden der menschlichen Raumwahrnehmung mit Methoden der Computergraphik.		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.	CAD-Fachgespräch	1977	DBLP DOI BibTeX RDF
27	Theo Härder, Udo Nink, Norbert Ritter	Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität.	Inform. Forsch. Entwickl.	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.	Inform. Forsch. Entwickl.	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.	Inform. Spektrum	1999	DBLP DOI BibTeX RDF	Repositorium, Metaschema, Metadaten, Anwendungsentwicklungsumgebung, Methoden, Werkzeuge, 3-Schemaarchitektur, Entwicklungslebenszyklus
27	Arnold Baca	Informatische Methoden zur biomechanischen Analyse und Simulation.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
27	Fevzi Belli	Methoden und Hilfsmittel für die systematische Prüfung komplexer Software.	Inform. Spektrum	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.	Inform. Spektrum	2009	DBLP DOI BibTeX RDF
27	Daniel Stein, Tobias Heye, Hans-Ulrich Kauczor, Hans-Peter Meinzer	Quantifizierung der Darmperistaltik mittels deformierbarer Registrierung.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
27	Jürgen Perl	Modellbildung und Simulation von Prozessen im Sport.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
27	Steffen Zimmermann	IT-Portfoliomanagement - Ein Konzept zur Bewertung und Gestaltung von IT.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
27	Nils Papenberg, Jan Modersitzki, Bernd Fischer 0001	Registrierung im Fokus.	Bildverarbeitung für die Medizin	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.	Bildverarbeitung für die Medizin	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.	Bildverarbeitung für die Medizin	2005	DBLP DOI BibTeX RDF
27	Stefan Wesarg, Evelyn Firle	CT-basierte Analyse von Koronararterien zur Unterstützung eines TECAB-Grafting.	Bildverarbeitung für die Medizin	2005	DBLP DOI BibTeX RDF
27	Ulrich Thiel, André Everts, Barbara Lutes, Kostas Tzeras	Integration und Suche in Digitalen Bibliotheken: Ein logikbasierter Ansatz.	Inform. Forsch. Entwickl.	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.	Inform. Spektrum	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.	Computing	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.	Computing	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.	Computing	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.	Computing	1976	DBLP DOI BibTeX RDF
27	Richard F. King	Methods without secant steps for finding a bracketed root.	Computing	1976	DBLP DOI BibTeX RDF
27	M. E. A. Tom	Efficient algorithms for volterra integral equations of the second kind.	Computing	1975	DBLP DOI BibTeX RDF
27	Klaus Ritter 0002	Accelerating procedures for methods of conjugate directions.	Computing	1975	DBLP DOI BibTeX RDF
27	Joachim H. Ahrens, Ulrich Dieter	Computer methods for sampling from gamma, beta, poisson and bionomial distributions.	Computing	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.	Computing	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.	HMD Prax. Wirtsch.	2023	DBLP DOI BibTeX RDF
14	Edgar Ehlers	Warum Unternehmen bei der Umsetzung agiler Methoden scheitern.	Wirtschaftsinformatik Manag.	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.	Softwaretechnik-Trends	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.	Autom.	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.	Inform. Spektrum	2023	DBLP DOI BibTeX RDF
14	Bernhard Humm	Data Science von Praktikern für Praktiker: Projekte, Methoden, Prozesse.	Inform. Spektrum	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.	DHd	2023	DBLP DOI BibTeX RDF
14	Melanie Althage	Digitale Methoden kritisch reflektieren - Die Erweiterung des Werkzeugkastens der Historiker:innen.	DHd	2023	DBLP DOI BibTeX RDF
14	Katharina Holstein, Nata Kozaeva, Korinna Bade	Automatisiertes Bewerten bei der praktischen Vermittlung von Methoden des Maschinellen Lernens.	ABP	2023	DBLP DOI BibTeX RDF
14	Stefan Hilmer, Yelle Lieder	Methoden des Nachhaltigkeitsmanagements und ihre Anwendung in den Phasen des IT-Projektmanagements.	PVM	2023	DBLP BibTeX RDF
14	Nils Büscher	Konzepte, Methoden und Anwendungen zur Analyse und Optimierung von eingebetteten Inertialsensorsubsystemen bei menschlicher Interaktion.		2023	RDF
14	Jan Zimmermann	Verteilte Methoden zur Lösung von beschränkten Optimierungsproblemen in Multiagentensystemen. (PDF / PS)		2023	RDF
14	Jan Böttcher	Scalable Concurrency Control Methods for Modern Database Systems (Skalierbare Methoden zur Synchronisation von Modernen Datenbanksystemen) (PDF / PS)		2023	RDF
14	Lukas Prantl	Deep Learning Methods for Simulation of Liquids (Deep Learning Methoden für die Simulation von Flüssigkeiten) (PDF / PS)		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)		2023	RDF
14	Matthias Knoll	Rezension "Virtual und Augmented Reality (VR/AR) - Grundlagen und Methoden der Virtuellen und Augmentierten Realität".	HMD Prax. Wirtsch.	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.	HMD Prax. Wirtsch.	2022	DBLP DOI BibTeX RDF
14	Louis Bellmann	Algorithmische Methoden für kombinatorische chemische Bibliotheken.	Ausgezeichnete Informatikdissertationen	2022	DBLP BibTeX RDF
14	Linus Witschen	Methoden zur suchbasierten approximativen Logiksynthese.	Ausgezeichnete Informatikdissertationen	2022	DBLP BibTeX RDF
14	Jana Hofmann	Logische Methoden für die Hierarchie der Hyperlogiken.	Ausgezeichnete Informatikdissertationen	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.	DHd	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.	DHd	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.	DHd	2022	DBLP DOI BibTeX RDF
14	Juliane Siegeris, Brit Leissler	Gemeinsam an einem Strang - UCD-Methoden-Mix im BEMpsy Projekt.	MuC (Workshopband)	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.	MuC (Workshopband)	2022	DBLP DOI BibTeX RDF
14	Majeed Khan Malik, Helmut Beckmann	Methoden zur Identifikation relevanter Datenquellen: Eine Literaturanalyse.	Wirtschaftsinformatik	2022	DBLP BibTeX RDF
14	Tobias Bahr, Bernd Zinn	Workshop zum Einsatz agiler Methoden im Informatikunterricht.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
14	Can Adam Albayrak, Andreas Gadatsch, Benedikt Haag	Agile Methoden für das IT-Controlling.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
14	Bettina Steden, Jorge Marx Gómez	Elektromobilität in Unternehmen - Schwerpunkte und Methoden der Forschung.	GI-Jahrestagung	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.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
14	Ediz Kiratli, Simone Lerche, Leah Knaack	Multi-Methoden-Ansatz mit Probanden mit Behinderung.	UP	2022	DBLP DOI BibTeX RDF
14	Markus Schinle	Methoden und Werkzeuge für eine datengetriebene Entwicklung digitaler Gesundheitsanwendungen.		2022	RDF
14	Sandro Kreten	Modellbildung und Umsetzung von Methoden zur energieeffizienten Nutzung von Containertechnologien.		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)		2022	RDF
14	Tim Weißer	Methoden der künstlichen Intelligenz für das Problemmanagement in der Vorserienproduktion.		2022	RDF
14	Mohamed Nafzi	Methoden zur Fahrzeugwiedererkennung unter Verwendung maschineller Lernverfahren.		2022	RDF
14	Komi Lolonyo Adjogble	Technology Intelligence durch Data Envelopment Analysis, neuronale Netzwerke und System Dynamics Methoden.		2022	RDF
14	Andreas Gocht-Zech	Ein Framework zur Optimierung der Energieeffizienz von HPC-Anwendungen auf der Basis von Machine-Learning-Methoden.		2022	RDF
14	Sebastian Wenninger	Informatische Methoden im Sport: Simulation, Data-Mining und Machine-Learning.		2022	RDF
14	Patrick Dietrich	Methoden zur Reduktion der Messlatenz von GOBO-Projektor-basierten 3D-Sensoren.		2022	RDF
14	Andreas Gienger	Ansätze zur Kombination modell- und datenbasierter Methoden für die Prozessüberwachung und Fehlerdiagnose.		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)		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)		2022	DOI RDF
14	Ludwig Waibel	Segmentierung und Bewertung korrosionskritischer Konstruktionen einer Gesamtfahrzeugstruktur mittels Methoden der künstlichen Intelligenz		2022	DOI RDF