1
Table of Contents: ... Function Systems and Their Applications -- Conclusions, Directions for Further Development....
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
View full text
Electronic eBook
6
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
8
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Programmable Components in Modest Integrity Systems -- Session 10 -- Development of High-Integrity Software...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...
View full text
Electronic eBook
11
Table of Contents: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Evaluation Using Computer-Automated Test Results -- Functional Cluster Analysis of Financial Time Series...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Architectures -- Development and Synthesis of Adaptive Multi-grained Reconfigurable Hardware...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Methods for the Determination of Antioxidant Capacity in Food and Raw Materials -- Analytical Methods...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ... System -- Kinase Substrate Interactions -- A Functional Protein Microarray Approach to Characterizing...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... in Programmable Logic Controllers Using Power Fingerprinting -- Timing of Cyber-Physical Attacks on Process...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Digital Circuits Using Complex Building Blocks -- Session 2: Artificial Development -- Fault Tolerance...
View full text
Electronic eBook
20
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