Search Results - parallelized kernel functionality function foundations https

Search alternatives:
functionality function » functionals function , functionaries function , functional functions
kernel functionality » cell functionality , alkene functionality , key functionality
function foundations » function foundation , action foundations , function functions
parallelized kernel » parallelized theorem
foundations https » equations https

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “...Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

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

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 /

Published 2007

Table of Contents: “... Systems -- From Parallel Data Mining to Grid-Enabled Distributed Knowledge Discovery -- A New Algorithm...”
View full text

Electronic eBook

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Published 2014

Table of Contents: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
View full text

Electronic eBook

Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings /

Published 2010

Table of Contents: “...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...”
View full text

Electronic eBook

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
View full text

Electronic eBook

Visualization and Processing of Higher Order Descriptors for Multi-Valued Data

Published 2015

Table of Contents: “...Part I: Mathematical Foundations: 1 Cem Yolcu and Evren Özarslan: Diffusion-Weighted Magnetic...”
View full text

Electronic eBook

Artificial Neural Networks and Machine Learning -- ICANN 2013 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings /

Published 2013

Table of Contents: “... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...”
View full text

Electronic eBook

Narrow Search