1
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Loss-of-Function Studies in Mouse Embryonic Stem Cells Using the pHYPER shRNA Plasmid Vector...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...-Dimensional Visualization of Virus Infected Cells by Serial Sectioning - An Electron Microscopic Study Using...
View full text
Electronic eBook
4
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... on Grassmann–Cayley Algebra -- Singularity Analysis of Limited-DOF Parallel Manipulators Using Grassmann–Cayley...
View full text
Electronic eBook
6
Table of Contents: ...What Is Enumeration? -- Generating Functions Count -- Working with Generating Functions...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...The First Section: Advanced Evolutionary Computing Theory and Algorithms -- Co-Evolutionary...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
View full text
Electronic eBook
9
Published 2011
Subjects: ...Medicinal Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/C28000...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Transonic Axial Compressor Stage with Inlet Distortions -- A Parallel CFD Solver Using the Discontinuous...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...
View full text
Electronic eBook
13
by Barber, J. R., Barber, J. R.
Published 2011
Table of Contents: ... Finding the centroid -- 4.3.2 The parallel axis theorem -- 4.3.3 Thin-walled sections -- 4.4 Further...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Manufacturing Grid -- The Second Section: Autonomy-Oriented Computing and Intelligent Agents -- Parallel...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
17
Published 2011
Table of Contents: ...MALDI-TOF Serum Profiling Using Semi-Automated Serum Peptide Capture with Magnetic Reversed Phase...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Interactions from ChIP-seq Data -- Using a Yeast Inverse One-hybrid System to Identify Functional Binding Sites...
View full text
Electronic eBook
19
Published 2011
Table of Contents: ... for functional analysis of plant-nematode interactions -- 6. Genome analysis of plant parasitic nematodes -- 7...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...
View full text
Electronic eBook