1
Gepubliceerd in 2005
Inhoudsopgave: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2008
Inhoudsopgave: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2006
Inhoudsopgave: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2015
Inhoudsopgave: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2005
Inhoudsopgave: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2005
Inhoudsopgave: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2008
Inhoudsopgave: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2008
Inhoudsopgave: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Volledige tekst
Elektronisch E-boek
15
Inhoudsopgave: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2014
Inhoudsopgave: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2007
Inhoudsopgave: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2013
Inhoudsopgave: ... of Automata That Are Generically Non-minimal.- Limited Non-determinism Hierarchy of Counter Automata...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2010
Inhoudsopgave: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Volledige tekst
Elektronisch E-boek