Sökresultat - parallel processing https functioning foundations https*

1

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

Publicerad 2005

Innehållsförteckning: “...Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure...”
Hämta fulltext

Elektronisk E-bok

2

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Hämta fulltext

Elektronisk E-bok

3

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Hämta fulltext

Elektronisk E-bok

4

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Hämta fulltext

Elektronisk E-bok

5

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Publicerad 2005

Innehållsförteckning: “... Disjoint NP-Pairs -- Symbolic Reachability Analysis of Higher-Order Context-Free Processes -- Optimal...”
Hämta fulltext

Elektronisk E-bok

6

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Publicerad 2006

Innehållsförteckning: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2015

Innehållsförteckning: “...Part I: Mathematical Foundations: 1 Cem Yolcu and Evren Özarslan: Diffusion-Weighted Magnetic...”
Hämta fulltext

Elektronisk E-bok

8

Computational Surgery and Dual Training

Publicerad 2010

Innehållsförteckning: “... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...”
Hämta fulltext

Elektronisk E-bok

9

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /

Publicerad 2007

Innehållsförteckning: “... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2014

Innehållsförteckning: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2010

Innehållsförteckning: “...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...”
Hämta fulltext

Elektronisk E-bok

12

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Publicerad 2012

Innehållsförteckning: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
Hämta fulltext

Elektronisk E-bok

13

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Publicerad 2012

Innehållsförteckning: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2013

Innehållsförteckning: “... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...”
Hämta fulltext

Elektronisk E-bok

15

A Course in In-Memory Data Management The Inner Mechanics of In-Memory Databases /

av Plattner, Hasso., Plattner, Hasso.
Publicerad 2013

Innehållsförteckning: “... Performance -- Select -- Materialization Strategies.- Parallel Data Processing -- Indices -- Join -- Aggregate...”
Hämta fulltext

Elektronisk E-bok

16

Evolutionary Algorithms for Solving Multi-Objective Problems

av Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicerad 2007

Innehållsförteckning: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2007

Innehållsförteckning: “... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”
Hämta fulltext

Elektronisk E-bok

18

Brain Mapping From Neural Basis of Cognition to Surgical Applications /

Publicerad 2011

Ämnen: “...Neurosurgery. https://scigraph.springernature.com/ontologies/product-market-codes/H39000...”
Hämta fulltext

Elektronisk E-bok

19

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2...

Publicerad 2005

Innehållsförteckning: “...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...”
Hämta fulltext

Elektronisk E-bok

20

Compendium of Theoretical Physics

av Wachter, Armin., Wachter, Armin., Hoeber, Henning.
Publicerad 2006

Innehållsförteckning: “... -- Electromagnetic Waves -- Lagrange Formalism in Electrodynamics -- Quantum Mechanics: Mathematical Foundations...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen