Rekommenderade teman
Rekommenderade teman
Menade du:
linear function » linear functions, linear functional, linear functionals
program linear » problem linear, program likely, program linus
function https » functions https, fiction https
data program » data programs, dana program, fasta program
linear function » linear functions, linear functional, linear functionals
program linear » problem linear, program likely, program linus
function https » functions https, fiction https
data program » data programs, dana program, fasta program
1
Publicerad 2010
Innehållsförteckning:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2006
Innehållsförteckning:
“... Dichotomies -- Data Structures and Linear Algebra -- Suffix Trays and Suffix Trists: Structures for Faster...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2008
Innehållsförteckning:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2005
Innehållsförteckning:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2014
Innehållsförteckning:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Hämta fulltext
Elektronisk
E-bok
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Innehållsförteckning:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2012
Innehållsförteckning:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”Hämta fulltext
Elektronisk
E-bok
12
Innehållsförteckning:
“... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2013
Innehållsförteckning:
“... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2013
Innehållsförteckning:
“... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2010
Innehållsförteckning:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Hämta fulltext
Elektronisk
E-bok
17
Ämnen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2008
Innehållsförteckning:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... into Trees and Outerplanar Graphs -- Approximating Linear Threshold Predicates -- Approximating Sparsest Cut...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2010
Innehållsförteckning:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”Hämta fulltext
Elektronisk
E-bok