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

All ebooks in the collection "BestMasters" - Springer Vieweg


6  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

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés