1
Publicado 2005
Tabla de Contenidos: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
Enlace del recurso
Electrónico eBook
5
Publicado 2007
Tabla de Contenidos: ...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...
Enlace del recurso
Electrónico eBook
6
Publicado 2005
Tabla de Contenidos: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
Enlace del recurso
Electrónico eBook
7
Publicado 2007
Tabla de Contenidos: ... Iterative Computations on Volatile Nodes -- Aspect Oriented Pluggable Support for Parallel Computing...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Enlace del recurso
Electrónico eBook
10
Publicado 2010
Tabla de Contenidos: ... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...
Enlace del recurso
Electrónico eBook
11
Publicado 2012
Tabla de Contenidos: ... Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position...
Enlace del recurso
Electrónico eBook
12
Publicado 2005
Tabla de Contenidos: ... and Planar Pseudo-Billiard Systems -- On the Importance of Parallelism for Quantum Computation...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A...
Enlace del recurso
Electrónico eBook
14
Publicado 2013
Tabla de Contenidos: ...Invited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann...
Enlace del recurso
Electrónico eBook
15
Publicado 2015
Tabla de Contenidos: ...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...
Enlace del recurso
Electrónico eBook
16
Publicado 2014
Tabla de Contenidos: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Enlace del recurso
Electrónico eBook
17
Publicado 2014
Materias: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
Enlace del recurso
Electrónico eBook