1
Published 2005
Table of Contents: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
7
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
View full text
Electronic eBook
10
by Progri, Ilir., Progri, Ilir.
Published 2011
Table of Contents: ... Signals Systems -- RF Signals -- Adaptive Array Algorithms for Geolocation of RF Signals -- Recursive...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
12
Table of Contents: ...-dimensional Data -- Multi-dimensional Data -- Arrays, Matrices and Linear Algebra -- Histograms -- Random...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
15
Table of Contents: ..., and Attribute-Based Programming -- Processes, AppDomains, Contexts, and CLR Hosts -- Building Multithreaded...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ...Can Board Diversity Enhance the Integration of ESG Aspects in Management System? -- Application...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Compositions -- Modeling Human Aspects of Business Processes – A View-Based, Model-Driven Approach -- A...
View full text
Electronic eBook