1
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
2
Table of Contents: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
View full text
Electronic eBook
3
Table of Contents: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
View full text
Electronic eBook
4
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...: Planar Connected Dominating Set -- Randomized Truthful Algorithms for Scheduling Selfish Tasks...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Patterns in Action Sequences with Noise in Programming by Demonstration -- Knowledge Engineering...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Programs -- Evaluation of Software Understandability Using Rough Sets -- HCDLST: An Indexing Technique...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook