1
Innehållsförteckning: ... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...
Hämta fulltext
Elektronisk E-bok
2
av Lopez, Cesar., Lopez, Cesar.
Publicerad 2014
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... Using a Parameter-Dependent Lyapunov Function -- Probabilistic Robust Controller Design: Probable Near...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2006
Innehållsförteckning: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Hämta fulltext
Elektronisk E-bok
5
Innehållsförteckning: ... of Controlled Systems -- 2.4 Power Contribution Analysis of a Feedback System -- 2.5 State-Space Model...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2005
Innehållsförteckning: ... for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... -- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems -- Discrete...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Hämta fulltext
Elektronisk E-bok
9
Innehållsförteckning: ... -- Control of Diversity and Variation Step Size -- Code Growth and Neutral Variations -- Evolution of Program...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2012
Innehållsförteckning: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2005
Innehållsförteckning: ... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2006
Innehållsförteckning: ... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ... Landscapes -- On Form and Function: The Evolution of Developmental Control -- Modularity in a Computational...
Hämta fulltext
Elektronisk E-bok
16
Innehållsförteckning: ... and Microcapsules for Controlled Release -- Part III Thermo-/pH-Dual-Responsive Hydrogel Functional Materials...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2007
Innehållsförteckning: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2006
Innehållsförteckning: ... Knowledge and Functional Design -- Reusing Design Knowledge -- Structural and Functional Analysis...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2013
Innehållsförteckning: ... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2005
Innehållsförteckning: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Hämta fulltext
Elektronisk E-bok