1
por Neise, Frederike., Neise, Frederike.
Publicado em 2008
Sumário: ...-Integer Linear Recourse -- Application: Optimal Operation of a Dispersed Generation System -- Conclusion...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ... -- Computing Transfer Score in Example-Based Machine Translation -- Systematic Processing of Long Sentences...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2005
Sumário: ... the Web: a Semantics-Based Approach -- Adaptive Computation with Perfectly Matched Layers for the Wave...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2008
Sumário: ...Development of a Fault Detection Model-Based Controller -- Sensitivity Generation in an Adaptive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2013
Sumário: ... Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2005
Sumário: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2015
Sumário: ... Quantum Based Binary Neural Network Learning Algorithm -- Gaussian Process Regression to Predict Incipient...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2007
Sumário: ... Gene Sequences Using a Hybrid Combination Based on Feature Selection, Fuzzy Weighted Pre-processing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2006
Sumário: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2007
Sumário: ... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2014
Sumário: ... for Argumentation Semantics -- Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2007
Sumário: ... Architecture -- Dependence-Based Code Generation for a CELL Processor -- Expression and Loop Libraries for High...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2014
Sumário: ... Manufacturing Industry: ANP Based Approach -- A Modified Variant of RSA Algorithm for Gaussian Integers...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2005
Sumário: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2008
Sumário: ... -- New Data Pre-processing on Assessing of Obstructive Sleep Apnea Syndrome: Line Based Normalization...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2010
Sumário: ... Systems -- Development of Constant Current Source for SMA Wires Driver Based on OPA549 -- High Impedance...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... -- Generating Set Partitioning Test Problems with Known Optimal Integer Solutions -- Computational Aspects...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2014
Sumário: ... Requirements in Services Software Development Process: an MDD Approach -- Safety Contracts for Timed Reactive...
Obter o texto integral
Recurso Eletrônico livro eletrônico