Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality interaction » functionality interactions, functional interaction, functional interactions
program functionality » protein functionality, programs functional, supra functionality
data program » data programs, dana program, fasta program
https » http
functionality interaction » functionality interactions, functional interaction, functional interactions
program functionality » protein functionality, programs functional, supra functionality
data program » data programs, dana program, fasta program
https » http
1
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... for Elliptic Curves in the Coq Proof Assistant -- Truly Modular (Co) data types for Isabelle/HOL -- Cardinals...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Interactive Linked Micromap Plots for the Display of Geographically Referenced Statistical Data -- Grand Tours...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”View full text
Electronic
eBook
20
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook