1
Pubblicazione 2014
Sommario: ...Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Testo
Elettronico eBook
4
Pubblicazione 2015
Sommario: ...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...
Testo
Elettronico eBook
7
di Mrozek, Dariusz., Mrozek, Dariusz.
Pubblicazione 2014
Sommario: ...Formal Model of 3D Protein Structures for Functional Genomics, Comparative Bioinformatics...
Testo
Elettronico eBook
8
Sommario: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
Testo
Elettronico eBook
9
Pubblicazione 2013
Sommario: ... Industrial Robots -- A Combined Position Evaluation Function in Chinese Chess Computer Game -- Modeling...
Testo
Elettronico eBook
10
Pubblicazione 2010
Sommario: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ...ANN Applications -- Bayesian ANN -- Bio Inspired – Spiking ANN -- Biomedical ANN -- Computational...
Testo
Elettronico eBook
12
Pubblicazione 2010
Sommario: ... Reconstruction from Projections Problem Using Recurrent Neural Network -- A Computational System of Metaphor...
Testo
Elettronico eBook
13
Pubblicazione 2012
Sommario: ...Part I: Methods, Models and Tools -- 1. Extending UML for Electronic System Design: A Code...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... on Heterogeneous Two-Processor Systems -- A Grid Based System for Closure Computation and Online Service -- A...
Testo
Elettronico eBook
15
Pubblicazione 2010
Sommario: ... Connections for Representational Invariant Recognition -- Computational Properties of Probabilistic Neural...
Testo
Elettronico eBook
16
Pubblicazione 2005
Sommario: ...Evolutionary Computation -- Cultural Operators for a Quantum-Inspired Evolutionary Algorithm...
Testo
Elettronico eBook
17
Sommario: ... Sequences -- Assertion System Functions and Tasks -- Part III. Metalanguage Constructs -- Let, Sequence...
Testo
Elettronico eBook
18
Pubblicazione 2007
Sommario: ...-Processor Systems with Static Priorities -- Approach for a Formal Verification of a Bit-serial Pipelined...
Testo
Elettronico eBook
19
Pubblicazione 2010
Sommario: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Testo
Elettronico eBook
20
Sommario: ...- and Many-Core Systems -- Parallelizing Compiler for High Performance Computing -- Dual-Execution Processor...
Testo
Elettronico eBook