1
Published 2007
Table of Contents: ... in a Multidimensional Perspective -- Application of the Peano Curve for the Robot Trajectory Generating...
View full text
Electronic eBook
2
Table of Contents: ...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...
View full text
Electronic eBook
3
by Bos, Izak., Bos, Izak., Caligari, Peter.
Published 2008
Table of Contents: ... of Candidates by means of Plots -- Causes of the Low Efficiency of Selection -- The Optimum Generation to Start...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... Posttranslational Modifications on Lysine Residues -- Multiplexed Detection of Antibodies Using Programmable Bead...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ...-Means Method for Determining Motor’s Quality Types Based on Current Waveforms -- License Plate...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- An Efficient Method for Detecting Misbehaving Zone Manager in MANET -- Query Answering Driven by Collaborating...
View full text
Electronic eBook
11
Subjects: ...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...
View full text
Electronic eBook
12
by Vankka, Jouko., Vankka, Jouko.
Published 2005
Table of Contents: ...1. Transmitters -- 2. Power Amplifier Linearization -- 3. Digital Compensation Methods for Analog I...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Coding Using a Programmable Aperture Camera -- Color-Aware Regularization for Gradient Domain Image...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Sampling for Automatic Classification of NMR Data -- A New HMM-Based Ensemble Generation Method for Numeral...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Control of Breast Tomosynthesis Systems -- Conventional Mammographic Image Generation Method...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...Introduction -- The Karate Kid Method of Problem Based Learning -- Hungry Wolves, Creepy Sheepies...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... with Programmable Scalar Contribution Function -- Real-Time locating Method for Palmvein Image Acquisition -- Real...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... with Programmable Scalar Contribution Function -- Real-Time locating Method for Palmvein Image Acquisition -- Real...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Computational Ability of Problem-Solving in an Amoeba -- Two Molecular Information Processing Systems Based...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... -- Automatic Model Generation in Model Management -- Signal and Image Processing -- Contourlet Based...
View full text
Electronic eBook