1
Published 2013
Table of Contents: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...
View full text
Electronic eBook
9
Table of Contents: ...1. Introduction: Examples of Optimization Problems, Historical Overview -- 2. Optimality Conditions...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- A Robust and Secure RFID-Based Pedigree System (Short Paper) -- A Topological Condition for Solving...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... on Navy Platforms Using Soft Computing -- Software Implementation of Fuzzy Controller with Conditionally...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... -- Sparse Signal Recovery by Difference of Convex Functions Algorithms -- DC Programming and DCA Based Cross...
View full text
Electronic eBook
17
Table of Contents: ... Equality Constraints -- Penalty Function Methods -- Sequential Quadratic Programming -- Inequality...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...Chapter 1. A Dynamic Conditional Correlation analysis based approach to test Financial Contagion...
View full text
Electronic eBook