1
Udgivet 2005
Indholdsfortegnelse: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...
Få fuldtekst
Electronisk eBog
6
Udgivet 2007
Indholdsfortegnelse: ... to Protein Folding -- A Fourth Type of Secondary Structure Breaker -- Neighborhood Parallel Simulated...
Få fuldtekst
Electronisk eBog
7
Udgivet 2015
Indholdsfortegnelse: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
Få fuldtekst
Electronisk eBog
12
Udgivet 2015
Indholdsfortegnelse: ... Optimization -- GACO: a parallel evolutionary approach to multi-objective scheduling -- Kriging Surrogate Model...
Få fuldtekst
Electronisk eBog
13
Udgivet 2013
Indholdsfortegnelse: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
Få fuldtekst
Electronisk eBog
14
Udgivet 2013
Indholdsfortegnelse: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... Balancing of the Four-Bar Mechanism, by Mario Acevedo -- Behaviour of some objects in series with dynamic...
Få fuldtekst
Electronisk eBog
17
Indholdsfortegnelse: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Få fuldtekst
Electronisk eBog
18
Udgivet 2012
Indholdsfortegnelse: ...-affinity Filter: A Bilateral Type Filter for Color Images -- Photometric Color Calibration of the Joint...
Få fuldtekst
Electronisk eBog
19
Udgivet 2014
Indholdsfortegnelse: ...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi...
Få fuldtekst
Electronisk eBog