All ebooks in the collection All - Readzis.co.uk
Readzis program recommandation

All ebooks in the collection "BestMasters" - Springer Vieweg


27  Book(s)
Download this eBook Polynomial Formal Verification of Approximate Functions
Add to my wish list

Polynomial Formal Verification of Approximate Functions


Martha Schnieber


During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the...

Publication date: 2023-07-22
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£99,50
Download this eBook Impact of Class Assignment on Multinomial Classification Using Multi-Valued Neurons
Add to my wish list

Impact of Class Assignment on Multinomial Classification Using Multi-Valued Neurons


Julian Knaup


Multilayer neural networks based on multi-valued neurons (MLMVNs) have been proposed to combine the advantages of complex-valued neural networks with a plain derivative-free learning algorithm. In addition, multi-valued neurons (MVNs) offer a multi-valued threshold...

Publication date: 2022-08-06
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£74,50
Download this eBook Time-Optimal Trajectory Planning for Redundant Robots
Add to my wish list

Time-Optimal Trajectory Planning for Redundant Robots


Alexander Reiter


This master’s thesis presents a novel approach to finding trajectories with minimal end time for kinematically redundant manipulators. Emphasis is given to a general applicability of the developed method to industrial tasks such as gluing or welding. Minimum-time...

Publication date: 2016-03-11
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£44,99
Download this eBook Variation Based Dense 3D Reconstruction
Add to my wish list

Variation Based Dense 3D Reconstruction


Sven Painer


In his master thesis, Sven Painer develops, implements, and evaluates a method to reconstruct the liver surface from monocular mini-laparoscopic sequences. The principal focus of his research is to create a basis for helping clinicians to write reports with quantitative...

Publication date: 2016-03-08
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£44,99
Download this eBook Unsteady Turbulent Flow Modelling and Applications
Add to my wish list

Unsteady Turbulent Flow Modelling and Applications


David Roos Launchbury


The master thesis of David Roos Launchbury deals with the implementation and validation of a numerical solver for incompressible large eddy simulation (LES) with heat transfer in OpenFOAM. Academic and industrial cases, ranging from flow between parallel plates to film...

Publication date: 2016-01-28
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£44,99
Download this eBook A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Add to my wish list

A Polynomial Translation of Mobile Ambients into Safe Petri Nets


Susanne Göbel


The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application...

Publication date: 2016-01-22
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£44,99
Download this eBook Codebasierte Post-Quanten-Kryptografie
Add to my wish list

Codebasierte Post-Quanten-Kryptografie


Felix Peter Paul


Entdecken Sie die Zukunft der Kryptographie mit „Codebasierte Post-Quanten-Kryptografie - Goppa Codes und das McEliece Kryptosystem“. Dieses Buch bietet eine grundlegende und detaillierte Einführung in eines der sichersten Kryptosysteme unserer Zeit – das...

Publication date: 2025-02-01
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£43,99
Download this eBook Risikobeurteilung von Mensch-Roboter-Koexistenz-Systemen
Add to my wish list

Risikobeurteilung von Mensch-Roboter-Koexistenz-Systemen


Dominik Pusch


In der heutigen industriellen Produktion werden neue, flexibel einsetzbare Unterstützungssysteme notwendig, wie sie beispielsweise hybride Montagesysteme in Form von Leichtbaurobotern bieten. Der Einsatz solcher Systeme stellt dabei erhebliche Anforderungen an die...

Publication date: 2024-04-26
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£51,99
Download this eBook BIM im Facility Management
Add to my wish list

BIM im Facility Management


Laura Beck


Gegenwärtig befindet sich die Wirtschaft inmitten einer Neugestaltung im Rahmen der digitalen Transformation. Während die Sektoren Banken und Versicherung, Transport- und Logistikwesen sowie die Industrien einen überdurchschnittlichen Digitalisierungsindex aufweisen,...

Publication date: 2024-01-31
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£51,99
Download this eBook Entwicklung eines Automated Valet Parking Systems im Rahmen des Forschungsprojekts ANTON
Add to my wish list

Entwicklung eines Automated Valet Parking Systems im Rahmen des Forschungsprojekts ANTON


Ömer Dönmez


Automated Valet Parking Systeme (AVPS) entbinden den Fahrer vom Parkprozess. Wegen der einfachen Verkehrsregeln und der geringen Geschwindigkeiten auf Parkplätzen sind AVPS prädestiniert als erstes kommerzielles Assistenzsystem des SAE Level 4. Viele der heute bekannten...

Publication date: 2023-12-30
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£47,99
Download this eBook Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
Add to my wish list

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen


Rune Krauss


?Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist...

Publication date: 2023-11-23
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£39,99
Download this eBook Entwicklung einer interaktiven Wirbelsäule inklusive gamifizierter Lernanwendung
Add to my wish list

Entwicklung einer interaktiven Wirbelsäule inklusive gamifizierter Lernanwendung


Philipp Goldbach


Der Forschungsschwerpunkt in diesem Buch umfasst die Untersuchung der aktuellen Lehrparadigmen in der medizinischen Lehre sowie eine Analyse von Bildungstechnologien, welche unterstützen können, den Lernprozess interaktiv und anschaulich zu gestalten.  Dabei stand...

Publication date: 2023-11-09
Format: PDF, ePub
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£47,99
Download this eBook Ein Beitrag zur probabilistischen Nachweisführung von bestehenden Tragwerken mit NLFEM und UQ-Lab
Add to my wish list

Ein Beitrag zur probabilistischen Nachweisführung von bestehenden Tragwerken mit NLFEM und UQ-Lab


Timon Zeder


Es ist eine große Problematik im ganzen europäischen Straßennetz: Tausende Brücken erreichen die ursprünglich geplante Nutzungsdauer in den nächsten Jahren und entsprechen den Normanforderungen nicht mehr. Außerdem ist die Tragfähigkeit solcher wichtiger...

Publication date: 2023-11-02
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£51,99
Download this eBook Modellprädiktive Regelung nichtlinearer Systeme mit Unsicherheiten
Add to my wish list

Modellprädiktive Regelung nichtlinearer Systeme mit Unsicherheiten


Andreas Völz


Andreas Völz untersucht eines der vielseitigsten Regelungsverfahren für technische Prozesse und zeigt den Umgang mit Messunsicherheiten, unbekannten Umwelteinflüssen sowie Modellungenauigkeiten auf. Basierend auf der sogenannten ‚Unscented-Transformation‘, die bislang...

Publication date: 2016-10-20
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£39,99
Download this eBook Entwicklung und Evaluierung eines SDN-gestützten echtzeitfähigen Gerätenetzwerkes
Add to my wish list

Entwicklung und Evaluierung eines SDN-gestützten echtzeitfähigen Gerätenetzwerkes


Eike Björn Schweißguth


Eike Björn Schweißguth entwickelt und realisiert ein neues Echtzeitkommunikationssystem auf Basis des Software Defined Networking (SDN), welches Schwachstellen existierender Industrial-Ethernet-Systeme, wie schlechte Skalierbarkeit und spezielle Hardwareanforderungen,...

Publication date: 2016-07-13
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£39,99
Download this eBook Erfolgsfaktoren von Mobile Business
Add to my wish list

Erfolgsfaktoren von Mobile Business


Martin Egeli


In seiner Masterarbeit befasst sich Martin Egeli mit der digitalen Transformation von Unternehmen durch Mobile Informationstechnik (IT) und identifiziert in den vier Ebenen Strategie, Prozesse, Systeme und Kultur zehn zentrale Erfolgsfaktoren für Mobile Business. Er...

Publication date: 2016-03-14
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£35,99
Download this eBook Modellbasierte Untersuchung der CO2-Abscheidung aus Kraftwerksabgasen
Add to my wish list

Modellbasierte Untersuchung der CO2-Abscheidung aus Kraftwerksabgasen


Oliver Schmitz


Oliver Schmitz erforscht in seiner Masterarbeit ein kinetisch basiertes Modell zur Darstellung der CO2-Abscheidung aus Kraftwerksabgasen (Kohle-/Gaskraftwerk) mithilfe von Monoethanolamin (MEA) und 2-Amino-2-methyl-1-propanol (AMP). Mittels verifizierter Modelle...

Publication date: 2016-02-25
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£35,99
Download this eBook Energie- und Paritätsgewinnbedingungen auf Spielstrukturen
Add to my wish list

Energie- und Paritätsgewinnbedingungen auf Spielstrukturen


Uli Schlachter


Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklärt, die Uli Schlachter in seiner Masterarbeit motiviert haben, Spiele auf sogenannten Spielstrukturen mit einer ähnlichen Semantik zu untersuchen. Hierbei handelt es sich um...

Publication date: 2016-02-24
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£31,99
Download this eBook Sicherheitsaspekte von Mobiltelefonen
Add to my wish list

Sicherheitsaspekte von Mobiltelefonen


Peter Gewald


Das primäre Ziel von Peter Gewald ist die Erkennung und Visualisierung diverser Angriffsszenarien im Mobilfunkbereich, wie z. B. die Kontrolle über den Datenverkehr, Man-in-the-Middle-Angriffe sowie die Ausführung von Programmcodes über SMS. Die Ergebnisse seiner...

Publication date: 2016-02-11
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£31,99
Download this eBook Optimierung von Nested Queries unter Verwendung der NF2-Algebra
Add to my wish list

Optimierung von Nested Queries unter Verwendung der NF2-Algebra


Jürgen Hölsch


Jürgen Hölsch erarbeitet einen neuen Ansatz zur Optimierung von verschachtelten SQL-Anfragen (Nested Queries), einem wichtigen Teilgebiet der Datenbankforschung. Es gelingt ihm, diese Anfragen im gleichen Schritt wie alle übrigen Optimierungen zu behandeln. Dazu werden...

Publication date: 2016-02-08
Format: PDF
Publisher: Springer Vieweg
Collection: BestMasters
Add to basket
£31,99
12 >

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés