1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
3
.... This was in parallel with initial improvement in MRCSS and mRS, observed among 88.9% and 77.8% of the patients...
View full text
Article
4
5
Table of Contents: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
View full text
Electronic eBook
6
Table of Contents: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
10
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
11
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
12
Published 2014
Table of Contents: ...Part 1 Genetic and genomic systems -- 1 Rhodococcus multiple-enzyme and parallel-degradation system...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
View full text
Electronic eBook
16
Published 2012
Subjects: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
View full text
Electronic eBook
19
Table of Contents: ...Introduction -- Theory behind the SAR Model --  Parallel Exact SAR Model Solutions -- Comparing...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
View full text
Electronic eBook