Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
program fast » programs fast, program first, program master
fast https » east https, east http
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
program fast » programs fast, program first, program master
fast https » east https, east http
1
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
2
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
Electronisk
Tidsskrift
3
Udgivet 2005
Indholdsfortegnelse:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Få fuldtekst
Electronisk
eBog
4
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... Functions I -- Cryptanalysis of the Full HAVAL with 4 and 5 Passes -- Collisions and Near-Collisions...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“... Search Algorithm for the Mate-In-N Problem in Chess -- Fast Genetic Programming on GPUs -- FIFTHTM: A...”Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Udgivet 2008
Indholdsfortegnelse:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2015
Indholdsfortegnelse:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2015
Indholdsfortegnelse:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Monotonicity in the Differentiable Case -- Continuity and Differentiability of Quasiconvex Functions...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Få fuldtekst
Electronisk
eBog