Tous les ebooks de la collection "BestMasters" - Springer Vieweg


6  résultat(s)
Télécharger le livre :  Polynomial Formal Verification of Approximate Functions
Ajouter à ma liste d'envies

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...

Parution : 2023-07-22
Format(s) : PDF, ePub
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
105,49
Télécharger le livre :  Impact of Class Assignment on Multinomial Classification Using Multi-Valued Neurons
Ajouter à ma liste d'envies

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...

Parution : 2022-08-06
Format(s) : PDF
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
89,66
Télécharger le livre :  Time-Optimal Trajectory Planning for Redundant Robots
Ajouter à ma liste d'envies

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...

Parution : 2016-03-11
Format(s) : PDF
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
52,74
Télécharger le livre :  Variation Based Dense 3D Reconstruction
Ajouter à ma liste d'envies

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...

Parution : 2016-03-08
Format(s) : PDF
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
52,74
Télécharger le livre :  Unsteady Turbulent Flow Modelling and Applications
Ajouter à ma liste d'envies

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...

Parution : 2016-01-28
Format(s) : PDF
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
52,74
Télécharger le livre :  A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Ajouter à ma liste d'envies

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...

Parution : 2016-01-22
Format(s) : PDF
Éditeur : Springer Vieweg
Collection : BestMasters
J'achète
52,74

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés