1
Published 2007
Table of Contents: ... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Assistant Program -- Computational Tools for Designing Smart Libraries -- Computational Tools for Directed...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
4
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
5
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Interventions can Prevent PTSD -- 9.Evolution of PTSD Diagnosis in the DSM -- 10.Functional neuroanatomy of PTSD...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Expected Degrees -- Embedding Bounded Bandwidth Graphs into ?1 -- On Counting Homomorphisms to Directed...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
View full text
Electronic eBook
14
by Taler, Jan., Taler, Jan., Duda, Piotr.
Published 2006
Subjects: ...Engineering Thermodynamics, Heat and Mass Transfer. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
15
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
16
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... of Software Engineering -- Longitudinal Studies in Evidence-Based Software Engineering -- The Use of Grounded...
View full text
Electronic eBook
18
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
19
Table of Contents: .... Stochastic and Fuzzy Random Two-Level Programming -- Chapter 6. Future Research Directions....
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... -- Discrimination of Unexploded Ordnance from Clutter Using Linear Genetic Programming -- Rapid Re-Evolution of an X...
View full text
Electronic eBook