close
1.

電子ブック

EB
edited by Toby Walsh
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9346
オンライン: http://dx.doi.org/10.1007/978-3-319-23114-3
目次情報: 続きを見る
Preferences
Manipulation
Learning and other issues
Utility and decision theory
Agumentation
Bribery and control
Social choice
Allocation and other problems
Doctoral consortium
Preferences
Manipulation
Learning and other issues
2.

電子ブック

EB
edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Wa?niewski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9374
オンライン: http://dx.doi.org/10.1007/978-3-319-26520-9
目次情報: 続きを見る
Multilevel Methods on Graphs
Mathematical Modeling and Analysis of PDEs Describing Physical Problems
Numerical Methods for Multiphysics Problems
Control and Uncertain Systems
Enabling Exascale Computation
Efficient Algorithms for Hybrid HPC Systems
Applications of Metaheuristics to Large-Scale Problems
Computational Microelectronics ? from Monte Carlo to Deterministic Approaches
Large-Scale Models: Numerical Methods, Paralell Computations and Applications
Multilevel Methods on Graphs
Mathematical Modeling and Analysis of PDEs Describing Physical Problems
Numerical Methods for Multiphysics Problems
3.

電子ブック

EB
edited by Joe Suzuki, Maomi Ueno
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9505
オンライン: http://dx.doi.org/10.1007/978-3-319-28379-1
目次情報: 続きを見る
Effectiveness of graphical models including modeling. Reasoning, model selection
Logic-probability relations
Causality. Applying graphical models in real world settings
Scalability
Incremental learning.-Parallelization
Effectiveness of graphical models including modeling. Reasoning, model selection
Logic-probability relations
Causality. Applying graphical models in real world settings
4.

電子ブック

EB
edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9509
オンライン: http://dx.doi.org/10.1007/978-3-662-49224-6
目次情報: 続きを見る
Automating Test Case Design, Selection and Evaluation
Human-Oriented Formal Methods
Modelling and Knowledge Management Applications: Systems and Domains
Art of Service Composition and Formal Verification for Self-* Systems
Automating Test Case Design, Selection and Evaluation
Human-Oriented Formal Methods
Modelling and Knowledge Management Applications: Systems and Domains