Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
rewriting processing » reporting processing, testing processing, creating processing
processing function » processing functions, processing functional, processing fiction
parallel rewriting » parallel operating, parallel routing, parallel learning
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
rewriting processing » reporting processing, testing processing, creating processing
processing function » processing functions, processing functional, processing fiction
parallel rewriting » parallel operating, parallel routing, parallel learning
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Gepubliceerd in 2012
Inhoudsopgave:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2012
Inhoudsopgave:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2013
Inhoudsopgave:
“...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2015
Inhoudsopgave:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2014
Inhoudsopgave:
“... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2005
Inhoudsopgave:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2006
Inhoudsopgave:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2010
Inhoudsopgave:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2007
Inhoudsopgave:
“... Parallel Implementation of the K Nearest Neighbours Classifier in Three Levels: Threads, MPI Processes...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2005
Inhoudsopgave:
“...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2013
Inhoudsopgave:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2013
Inhoudsopgave:
“... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2011
Inhoudsopgave:
“... Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2008
Inhoudsopgave:
“... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”Volledige tekst
Elektronisch
E-boek