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