Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program function » programme function, programs functional, program foundation
function shaping » functions sharing, function scaling, function sparing
function https » functions https, fiction https
https function » its function, sites function, ups function
shaping https » aging https, imaging https, smoking https
program function » programme function, programs functional, program foundation
function shaping » functions sharing, function scaling, function sparing
function https » functions https, fiction https
https function » its function, sites function, ups function
shaping https » aging https, imaging https, smoking https
1
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook
4
Table of Contents:
“...Statistical Models of Shape and Appearance -- Establishing Correspondence -- Objective Functions...”
View full text
View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”View full text
Electronic
eBook
10
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... -- Modular Shape Analysis for Dynamically Encapsulated Programs -- Static Analysis by Policy Iteration...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
14
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Solution of 2D Contact Shape Optimization Problems -- Phase Field Methods for Binary Recovery...”View full text
Electronic
eBook
18
Table of Contents:
“... Functions and Kernel Density Estimation -- 4. The BONUS Algorithm -- 5. Water Management under Weather...”
View full text
View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Control -- Challenges of Mathematical Biology -- Mathematical Programming and Computer Science....”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis...”View full text
Electronic
eBook