1
Published 2014
Table of Contents: ... or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support -- Body Image and Body...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
8
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
9
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
View full text
Electronic eBook
13
Table of Contents: ... Mechanics.- 3. Numerical Method.- 4. Iteration Process in FRACOD.- 5. Modelling Time Dependency.- 6...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Synchronization Languages: A Framework for Alignments -- Abstracts of Interactive Presentations -- A Complete FS...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...
View full text
Electronic eBook
20
by Anthony, Greg., Anthony, Greg.
Published 2005
Table of Contents: ... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...
View full text
Electronic eBook