Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
quantification application » identification application, quantization application, identification applications
application program » application programming, application protocol
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
quantification application » identification application, quantization application, identification applications
application program » application programming, application protocol
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
1
Published 2014
Table of Contents:
“...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Functions -- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...”View full text
Electronic
eBook
4
Table of Contents:
“... with Multiple Connectives -- Tracing Program Execution -- Logical Truth -- Truth Functional Forms -- Truth...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Consistency -- Implied Set Closure and Its Application to Memory Consistency Verification -- Effective Program...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... with Adaptively Defined Fitness Function in MRS Quantification -- A Neural-Network Clustering-Based Algorithm...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“....).-Joint Clustering and Alignment of Functional Data: An Application to Vascu-lar Geometries (Sangalli L.M...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“... and defensive Mutualism: Moving Target Defense -- Manipulating Program Functionality to Eliminate Security...”View full text
Electronic
eBook
9
by Kuznetsov, Anatoly., Kuznetsov, Anatoly., Melnikova, Irina., Pozdnyakov, Dmitry., Seroukhova, Olga., Vasilyev, Alexander.
Published 2012
Table of Contents:
“... of parameters of the fine structure of the absorption bands -- Calculating transmission functions with modeling...”Published 2012
View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... on Computed Tomography -- Diffuse Fatty Liver Disease: from Diagnosis to Quantification -- Multimodality...”View full text
Electronic
eBook
14
Subjects:
“...Forestry. https://scigraph.springernature.com/ontologies/product-market-codes/L22008...”
View full text
View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...Part I: Basic Components -- Systems Hematology: An Introduction -- Quantification and Modeling...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Enzyme Gene Expression -- Genotyping Technologies: Application to Biotransformation Enzyme Genetic...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... to Cardiovascular MR Images -- Multi-slice Three-Dimensional Myocardial Strain Tensor Quantification Using zHARP...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“...A Discrete Event System Based Approach for Obfuscated Malware Detection -- Quantification...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Study of Fungal Pathogens -- Real-time PCR for the Quantification of Fungi in planta -- Using Non...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... for Web Services -- Finite Model Reasoning on UML Class Diagrams Via Constraint Programming -- Model...”View full text
Electronic
eBook