1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Potentials and Unipolar Electrograms in Normal Heart Tissue -- Simulations of Cardiac Electrophysiological...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
5
Table of Contents: ...Rings, Ideals and Standard Bases -- Modules -- Noether Normalization and Applications -- Primary...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Algorithms -- When a Family of Iris Flower is Normal, Then are Others Abnormal? -- Strong Boolean Functions...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ....- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Finding Functional Structures in Ggioma Gene-Expressions Using Gene Shaving Clustering and MDL Principle...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...
View full text
Electronic eBook
13
by Kogan, Boris Ja., Kogan, Boris Ja.
Published 2010
Subjects: ...Cardiology. https://scigraph.springernature.com/ontologies/product-market-codes/H33037...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Normals -- On the Effects of Normalization in Adaptive MRF Hierarchies -- Topology Preserving Parallel...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook