1
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Routing Problem -- Implementation of Fractional Order PID Controller for Three Interacting Tank Process...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...
View full text
Electronic eBook
9
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
View full text
Electronic eBook