1
Publicado em 2015
Sumário: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2008
Sumário: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2010
Sumário: ...) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2005
Sumário: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2010
Sumário: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2005
Sumário: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2005
Sumário: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2005
Sumário: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2005
Sumário: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2008
Sumário: ... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Assuntos: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2013
Sumário: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2012
Sumário: ... Parallel Robot -- Non-smooth Observer for Mechanical Systems Based on Sandwich Model with Backlash...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2012
Sumário: ... Complexity Proto-Value Function Learning from Sensory Observations with Incremental Slow Feature Analysis...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2015
Sumário: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2012
Sumário: ... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...
Obter o texto integral
Recurso Eletrônico livro eletrônico