close
1.

電子ブック
ＥＢ
1. Simula Research Laboratory : by Thinking Constantly about it
edited by Aslak Tveito, Are Magnus Bruaset, Olav Lysne
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-01156-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Dynamics On and Of Complex Networks : Applications to Biology, Computer Science, and the Social Sciences
edited by Niloy Ganguly, Andreas Deutsch, Animesh Mukherjee
出版情報: Boston : Birkhäuser Boston, 2009
シリーズ名: Modeling and Simulation in Science, Engineering and Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4751-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Dynamics On and Of Complex Networks, Volume 2 : Applications to Time-Varying Dynamical Systems
edited by Animesh Mukherjee, Monojit Choudhury, Fernando Peruani, Niloy Ganguly, Bivas Mitra
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
シリーズ名: Modeling and Simulation in Science, Engineering and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-6729-8
所蔵情報: loading…
目次情報:
Part I: Social and Biological Dynamics
Part II: Information Dynamics
Part III: Theoretical Advancements
Part I: Social and Biological Dynamics
Part II: Information Dynamics
Part III: Theoretical Advancements
5.

電子ブック
ＥＢ
5. Stochastic Networked Control Systems : Stabilization and Optimization under Information Constraints
by Serdar Yüksel, Tamer Başar
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
シリーズ名: Systems & Control: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-7085-4
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Part I Information Structures in Networked Control
Networked Control Systems as Stochastic Team Decision Problems: A General Introduction
Characterization and Comparison of Information Structures
Topological Properties of Information Structures: Comparison, Convergence and Optimization
Part II Stabilization of Networked Control Systems
Coding for Control and Connections with Information Theory
Stochastic Stability and Drift Criteria for Markov Chains in Networked Control
Stochastic Stabilization over Noiseless Channels
Stochastic Stabilization over Noisy Channels
Stabilization of Decentralized Systems over Communication Channels
Part III Optimization in Networked Control: Design of Optimal Policies under Information Constraints
Optimization of Real-Time Coding and Control Policies: Structural and Existence Results
Optimal Coding and Control for Linear Gaussian Systems over Gaussian Channels under Quadratic Cost
Agreement in Teams and the Dynamic Programming Approach under Information Constraints
A Topological Notions and Optimization
B Probability Theory and Stochastic Processes
C Markov Chains, Martingales and Ergodic Processes
D Markov Decision Theory and Optimality of Markov Policies
References
Index
Introduction
Part I Information Structures in Networked Control
Networked Control Systems as Stochastic Team Decision Problems: A General Introduction
6.

電子ブック
ＥＢ
6. Conversations About Challenges in Computing
edited by Are Magnus Bruaset, Aslak Tveito
出版情報: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-00209-5
所蔵情報: loading…
目次情報: 続きを見る
Part I: Communications Systems: 1 The Nature of the Beast: An interview with Olav Lysne
2 Igniting the New Internet: An interview with Keith Marzullo
3 The Internet of Things: An interview with Heinrich Stüttgen
Part II: Computational Science: 4 The Mathematics of the Mind: An interview with Hans Petter Langtangen
5 Solving Puzzle Earth by Adaptive Mesh Refinement: An interview with Carsten Burstedde
6 Computational Inverse Problems Can Drive a Big Data Revolution: An interview with Omar Ghattas
7 Towards the ‘Google Heart’: An interview with Natalia Trayanova
8 As Simple as Possible, but Not Simpler: An interview with Alfio Quarteroni
Part III: Software Engineering
9 A Caring Critic:  An interview with Magne Jørgensen
10 Through the Looking Glass into Digital Space: An interview with Paola Inverardi
11 Harmonizing the Babel of Voices: An interview with Martin Shepperd
12 Mediating between Man and Machine: An interview with Bashar Nuseibeh.
Part I: Communications Systems: 1 The Nature of the Beast: An interview with Olav Lysne
2 Igniting the New Internet: An interview with Keith Marzullo
3 The Internet of Things: An interview with Heinrich Stüttgen
7.

電子ブック
ＥＢ
7. Graphs, Dioids and Semirings : New Models and Algorithms
by Michel Gondran, Michel Minoux
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
シリーズ名: Operations Research/Computer Science Interfaces ; 41
オンライン: http://dx.doi.org/10.1007/978-0-387-75450-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Stability of Queueing Networks : École d'Été de Probabilités de Saint-Flour XXXVI - 2006
by Maury Bramson ; edited by J. -M. Morel, F. Takens, B. Teissier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Mathematics ; 1950
オンライン: http://dx.doi.org/10.1007/978-3-540-68896-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Complex Intelligent Systems and Their Applications
edited by Fatos Xhafa, Leonard Barolli, Petraq J. Papajorgji
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Springer Optimization and Its Applications ; 41
オンライン: http://dx.doi.org/10.1007/978-1-4419-1636-5
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I. 1st ed. 2020
edited by Sheng Wen, Albert Zomaya, Laurence T. Yang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11944
オンライン: https://doi.org/10.1007/978-3-030-38991-8
所蔵情報: loading…
目次情報: 続きを見る
PPS: A Low-Latency and Low-Complexity switching architecture based on packet prefetch and arbitration prediction
SWR: Using Windowed Reordering to Achieve Fast and Balanced Heuristic for Streaming Vertex-Cut Graph Partitioning
Flexible Data Flow Architecture for Embedded Hardware Accelerators
HBL-Sketch: a New Three-tier Sketch for Accurate Network Measurement
Accelerating Large Integer Multiplication Using Intel AVX-512IFMA
A Communication-Avoiding Algorithm for Molecular Dynamics Simulation
Out-of-Core GPU-Accelerated Causal Structure Learning
Accelerating Lattice Boltzmann Method by Fully Exposing Vectorizable Loops
A Solution for High Availability Memory Access
Verication of Microservices Using Metamorphic Testing
A New Robust and Reversible Watermarking Technique Based on Erasure Code
Exit-Less Hypercall: Asynchronous System Calls in Virtualized Processes
Automatic Optimization of Python Skeletal Parallel Programs
Distributed & Parallel & Network-based Computing Impromptu Rendezvous Based Multi-Threaded Algorithm for Shortest Lagrangian Path Problem on Road Networks
FANG: Fast and E cient Successor-State Generation for Heuristic Optimization on GPUs
DETER: Streaming Graph Partitioning via Combined Degree and Cluster Information
Which Node Properties Identify the Propagation Source in Networks?
t/t-Diagnosability of BCube Network
Strark-H: A Strategy for Spatial Data Storage to Improve Query Efficiency Based on Spark
Multitask Assignment Algorithm Based on Decision Tree in Spatial Crowdsourcing Environment
TIMOM: a novel time in uence multi-objective optimization cloud data storage model for business process management
RTEF-PP: A Robust Trust Evaluation Framework with Privacy Protection for Cloud Services Providers
A Privacy-Preserving Access Control Scheme with Veri able and Outsourcing Capabilities in Fog-Cloud Computing
Utility-aware Edge Server Deployment in Mobile Edge Computing
Predicting Hard Drive Failures for Cloud Storage Systems
Efficient Pattern Matching on CPU-GPU Heterogeneous Systems
Improving Performance of Batch Point-to-point Communications by Active Contention Reduction through Congestion-avoiding Message Scheduling
Applications of Distributed & Parallel Computing
An Open Identity Authentication Scheme Based on Blockchain
RBAC-GLA role-based access control gasless architecture of consortium blockchain
Developing Patrol Strategies for the Cooperative Opportunistic Criminals
Deep Learning vs. Traditional Probabilistic Models: Case Study on Short Inputs for Password Guessing
PPS: A Low-Latency and Low-Complexity switching architecture based on packet prefetch and arbitration prediction
SWR: Using Windowed Reordering to Achieve Fast and Balanced Heuristic for Streaming Vertex-Cut Graph Partitioning
Flexible Data Flow Architecture for Embedded Hardware Accelerators