Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function combining » functions combining, function computing, function mining
program computing » program comparing, programs compiling, problem computing
combining https » combining hst, combining bottom, combining attack
https function » its function, sites function, ups function
function combining » functions combining, function computing, function mining
program computing » program comparing, programs compiling, problem computing
combining https » combining hst, combining bottom, combining attack
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
9
“... crafted by
seamlessly combining two established loss functions: Mean Square Error (MSE) and LogCosh...”
View full text
View full text
Article
10
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
17
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook