1
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Probability Theory and Stochastic Processes. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
2
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
3
Table of Contents: ...Deterministic Optimal Control -- Viscosity Solutions -- Optimal Control of Markov Processes...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
5
by Corke, Peter., Corke, Peter.
Published 2011
Table of Contents: ... -- Navigation -- Localization -- Robot Arm Kinematics -- Velocity Relationships -- Dynamics and Control -- Light...
View full text
Electronic eBook
6
by Love, Jonathan., Love, Jonathan.
Published 2007
Table of Contents: ... Analysis -- Statistical Process Control -- Linear Programming -- Unconstrained Optimisation -- Constrained...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Distributed Environment – Results from Two Controlled Case Studies -- Software Functional Size: For Cost...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Based on Zadeh Fuzzy Process -- Fault Features Study of Doubly-Fed Induction Generators on the Stator...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Scheme for Wireless Process Control on Traffic Light Networks -- A Note-Based Randomized and Distributed...
View full text
Electronic eBook
13
Table of Contents: ...Markov Decision Processes -- Multi-stage Adaptive Sampling Algorithms -- Population-based...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Consolidated Evaluation Framework to Analyze Test Process Improvement Approaches -- Using Controlled...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...
View full text
Electronic eBook