1
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
5
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
8
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Method Using Sensor Data for Symbiotic Healthcare Support System -- 3D Collaboration Environment Based...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...
View full text
Electronic eBook