1
Published 2007
Table of Contents: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ... -- MicroRNA Northern Blotting, Precursor Cloning, and Ago2-Improved RNA Interference -- MiRNA Profiling...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Mining Using Formal Methods -- L3: A Linear Language with Locations -- Binding Signatures for Generic...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
View full text
Electronic eBook
7
Published 1999
Table of Contents: ... Embryos -- Whole Embryo Assays for Programmed Cell Death -- Gene Interference Using Antisense...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... new method to filter out radio-frequency interference (RFI) from SMOS level 1C data for sea ice...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- Functional annotation of proteins by a novel method using weight & feature selection; J. Jung, et al -- Gaze...
View full text
Electronic eBook