1
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ... for Detecting Colonic Polyps -- A Novel Computer Aided Detection (CADe) Scheme for Colonic Polyps Based...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Ligazón do recurso
Electrónico eBook
8
Publicado 2007
Table of Contents: ... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...
Ligazón do recurso
Electrónico eBook
10
Publicado 2014
Table of Contents: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Ligazón do recurso
Electrónico eBook
13
Publicado 2015
Table of Contents: ... in MECG Using Sample and Channel Convolution Matrices -- Application of SHAZAM Based Audio Fingerprinting...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... -- Benchmarking Software Requirements Documentation for Space Application -- Verifying Mode Consistency...
Ligazón do recurso
Electrónico eBook
15
por Nisio, Makiko., Nisio, Makiko.
Publicado 2015
Subjects: ...Functional analysis....
Ligazón do recurso
Electrónico eBook
16
Publicado 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ... Evolutionary Computation: Application of an EA to Controller Design -- MEPIDS: Multi-Expression Programming...
Ligazón do recurso
Electrónico eBook
18
19
Publicado 2014
Table of Contents: ... in CONTENTUS -- Semantic Processing of Medical Data -- Intelligent Healthcare Applications -- Mobile Radiology...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
Ligazón do recurso
Electrónico eBook