1
av Neise, Frederike., Neise, Frederike.
Publicerad 2008
Innehållsförteckning: ...-Integer Linear Recourse -- Application: Optimal Operation of a Dispersed Generation System -- Conclusion...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... -- Computing Transfer Score in Example-Based Machine Translation -- Systematic Processing of Long Sentences...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2013
Innehållsförteckning: ... Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2005
Innehållsförteckning: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2015
Innehållsförteckning: ... Quantum Based Binary Neural Network Learning Algorithm -- Gaussian Process Regression to Predict Incipient...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ... Gene Sequences Using a Hybrid Combination Based on Feature Selection, Fuzzy Weighted Pre-processing...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2005
Innehållsförteckning: ... the Web: a Semantics-Based Approach -- Adaptive Computation with Perfectly Matched Layers for the Wave...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2008
Innehållsförteckning: ...Development of a Fault Detection Model-Based Controller -- Sensitivity Generation in an Adaptive...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2006
Innehållsförteckning: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2014
Innehållsförteckning: ... Manufacturing Industry: ANP Based Approach -- A Modified Variant of RSA Algorithm for Gaussian Integers...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2014
Innehållsförteckning: ... for Argumentation Semantics -- Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2005
Innehållsförteckning: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Systems -- Development of Constant Current Source for SMA Wires Driver Based on OPA549 -- High Impedance...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2008
Innehållsförteckning: ... -- New Data Pre-processing on Assessing of Obstructive Sleep Apnea Syndrome: Line Based Normalization...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2005
Innehållsförteckning: ... -- Generating Set Partitioning Test Problems with Known Optimal Integer Solutions -- Computational Aspects...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2014
Innehållsförteckning: ... Conceptual Modeling -- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...
Hämta fulltext
Elektronisk E-bok