close
1.

電子ブック

EB
René Brun, Rene Brun, Federico Carminati, Giuliana Galli Carminati
出版情報: SpringerLink Books Physics And Astronomy 2012 , Dordrecht : Springer Berlin Heidelberg, 2012
所蔵情報: loading…
2.

電子ブック

EB
Moses Charikar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , SIAM, 2010
所蔵情報: loading…
3.

電子ブック

EB
Úlfar Erlingsson, Takeo Kanade, Roel Wieringa, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
Security Validation of Business Processes via Model-Checking / Wihem Arsac ; Luca Compagna ; Giancarlo Pellegrino ; Serena Elisa Ponta
Tools and Mechanisms / Session 2:
On-Device Control Flow Verification for Java Programs / Arnaud Fontaine ; Samuel Hym ; Isabelle Simplot-Ryl
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations / Ricardo Corin ; Felipe Andrés Manzano
Predictability of Enforcement / Nataliia Bielova ; Fabio Massacci
Web Security / Session 3:
SessionShield: Lightweight Protection against Session Hijacking / Nick Nikiforakis ; Wannes Meert ; Yves Younan ; Martin Johns ; Wouter Joosen
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications / Thanh Binh Dao ; Etsuya Shibayama
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications / Philippe De Ryck ; Lieven Desmet
Model-Based Security II / Sesssion 4:
Lightweight Modeling and Analysis of Security Concepts / Jörn Eichler
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications / Linda Ariani Gunawan ; Frank Alexander Kraemer ; Peter Herrmann
An Architecture-Centric Approach to Detecting Security Patterns in software / Michaela Bunke ; Karsten Sohr
Security Requirements Engineering / Session 5:
The Security Twin Peaks / Thomas Heyman ; Koen Yskout ; Riccardo Scandariato ; Holger Schmidt ; Yijun Yu
Evolution of Security Requirements Tests for Service-Centric Systems / Michael Felderer ; Berthold Agreiter ; Ruth Breu
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes / Stephan Neuhaus ; Viet Hung Nguyen
Authorization / Session 6:
Authorization Enforcement Usability Case Study / Steffen Bartsch
Scalable Authorization Middleware for Service Oriented Architectures / Tom Goovaerts
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models / Naveed Ahmed ; Christian D. Jensen
Ideas / Session 7:
Idea: Interactive Support for Secure Software Development / Jing Xie ; Bill Chu ; Heather Richter Lipford
Idea: A Reference Platform for Systematic Information Security Management Tool Support / Ingo Müller ; Jun Han ; Jean-Guy Schneider ; Steven Versteeg
Idea: Simulation Based Security Requirement Verification for Transaction Level Models / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Author Index
Model-Based Security I / Session 1:
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations / Benjamin Aziz ; Alvaro E. Arenas ; Michael Wilson
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy / David Power ; Mark Slaymaker ; Andrew Simpson
4.

電子ブック

EB
Indranil Gupta, Takeo Kanade, Cecilia Mascolo, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
BrownMap: Enforcing Power Budget in Shared Data Centers / Akshat Verma ; Pradipta De ; Vijay Mann ; Tapan Nayak ; Amit Purohit ; Gargi Dasgupta ; Ravi Kothari
Data Management
A Dynamic Data Middleware Cache for Rapidly-Growing Scientific Repositories / Tanu Malik ; Xiaodan Wang ; Philip Little ; Amitabh Chaudhary ; Ani Thakar
Anonygator: Privacy and Integrity Preserving Data Aggregation / Krishna P.N. Puttaswamy ; Ranjita Bhagwan ; Venkata N. Padmanabhan
Middleware for a Re-configurable Distributed Archival Store Based on Secret Sharing / Shiva Chaitanya ; Dharani Vijayakumar ; Bhuvan Urgaonkar ; Anand Sivasubramaniam
Publish-Subscribe and Multicast Systems
Parametric Subscriptions for Content-Based Publish/Subscribe Networks / K.R. Jayaram ; Chamikara Jayalath ; Patrick Eugster
Kevlar: A Flexible Infrastructure for Wide-Area Collaborative Applications / Qi Huang ; Daniel A. Freedman ; Ymir Vigfusson ; Ken Birman ; Bo Peng
FaReCast: Fast, Reliable Application Layer Multicast for Flash Dissemination / Kyungbaek Kim ; Sharad Mehrotra ; Nalini Venkatasubramanian
Social and Location-Aware Middleware
The Gossple Anonymous Social Network / Marin Bertier ; Davide Frey ; Rachid Guerraoui ; Anne-Marie Kermarrec ; Vincent Leroy
Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications / Nicolas Kourtellis ; Joshua Finnis ; Paul Anderson ; Jeremy Blackburn ; Cristian Borcea ; Adriana Iamnitchi
PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes / Jakob Langdal ; Kari R. Schougaard ; Mikkel B. Kjærgaard ; Thomas Toftkjær
Reliability and Legacy
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems / Pawan Prakash ; Ramana Rao Kompella ; Venugopalan Ramasubramanian ; Ranveer Chandra
Bridging the Gap between Legacy Services and Web Services / Tegawendé F. Bissyandé ; Laurent Réveillère ; Yérom-David Bromberg ; Julia L. Lawall ; Gilles Muller
Trust and Security
Enforcing End-to-End Application Security in the Cloud (Big Ideas Paper) / Jean Bacon ; David Evans ; David M. Eyers ; Matteo Migliavacca ; Peter Pietzuch ; Brian Shand
LiFTinG: Lightweight Freerider-Tracking in Gossip / Kévin Huguenin ; Maxime Monod ; Swagatika Prusty
Distributed Middleware Enforcement of Event Flow Security Policy / Ioannis Papagiannis
Transactional Memory
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories / Alokika Dash ; Brian Demsky
Asynchronous Lease-Based Replication of Software Transactional Memory / Nuno Carvalho ; Paolo Romano ; Luís Rodrigues
Author Index
Cloud Computing
FLEX: A Slot Allocation Scheduling Optimizer for MapReduce Workloads / Joel Wolf ; Deepak Rajan ; Kirsten Hildrum ; Rohit Khandekar ; Vibhore Kumar ; Sujay Parekh ; Kun-Lung Wu ; Andrey Balmin
Adapting Distributed Real-Time and Embedded Pub/Sub Middleware for Cloud Computing Environments / Joe Hoffert ; Douglas C. Schmidt ; Aniruddha Gokhale
5.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2:
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3:
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4:
Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6:
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
6.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
Jean-Luc Starck, Jalal M. Fadili, Fionn Murtagh
出版情報: Cambridge University Press Online Books , Cambridge University Press, 2010
所蔵情報: loading…
目次情報: 続きを見る
Acronyms
Notation
Preface
Introduction to the World of Sparsity / 1:
Sparse Representation / 1.1:
From Fourier to Wavelets / 1.2:
From Wavelets to Overcomplete Representations / 1.3:
Novel Applications of the Wavelet and Curvelet Transforms / 1.4:
Summary / 1.5:
The Wavelet Transform / 2:
Introduction / 2.1:
The Continuous Wavelet Transform / 2.2:
Examples of Wavelet Functions / 2.3:
Continuous Wavelet Transform Algorithm / 2.4:
The Discrete Wavelet Transform / 2.5:
Nondyadic Resolution Factor / 2.6:
The Lifting Scheme / 2.7:
Wavelet Packets / 2.8:
Guided Numerical Experiments / 2.9:
Redundant Wavelet Transform / 2.10:
The Undecimated Wavelet Transform / 3.1:
Partially Decimated Wavelet Transform / 3.3:
The Dual-Tree Complex Wavelet Transform / 3.4:
Isotropic Undecimated Wavelet Transform: Starlet Transform / 3.5:
Nonorthogonal Filter Bank Design / 3.6:
Pyramidal Wavelet Transform / 3.7:
Nonlinear Multiscale Transforms / 3.8:
Decimated Nonlinear Transform / 4.1:
Multiscale Transform and Mathematical Morphology / 4.3:
Multiresolution Based on the Median Transform / 4.4:
The Ridgelet and Curvelet Transforms / 4.5:
Background and Example / 5.1:
Ridgelets / 5.3:
Curvelets / 5.4:
Curvelets and Contrast Enhancement / 5.5:
Sparsity and Noise Removal / 5.6:
Term-By-Term Nonlinear Denoising / 6.1:
Block Nonlinear Denoising / 6.3:
Beyond Additive Gaussian Noise / 6.4:
Poisson Noise and the Haar Transform / 6.5:
Poisson Noise with Low Counts / 6.6:
Linear Inverse Problems / 6.7:
Sparsity-Regularized Linear Inverse Problems / 7.1:
Monotone Operator Splitting Framework / 7.3:
Selected Problems and Algorithms / 7.4:
Sparsity Penalty with Analysis Prior / 7.5:
Other Sparsity-Regularized Inverse Problems / 7.6:
General Discussion: Sparsity, Inverse Problems, and Iterative Thresholding / 7.7:
Morphological Diversity / 7.8:
Dictionary and Fast Transformation / 8.1:
Combined Denoising / 8.3:
Combined Deconvolution / 8.4:
Morphological Component Analysis / 8.5:
Texture-Cartoon Separation / 8.6:
Inpainting / 8.7:
Sparse Blind Source Separation / 8.8:
Independent Component Analysis / 9.1:
Sparsity and Multichannel Data / 9.3:
Morphological Diversity and Blind Source Separation / 9.4:
Illustrative Experiments / 9.5:
Multiscale Geometric Analysis on the Sphere / 9.6:
Data on the Sphere / 10.1:
Orthogonal Haar Wavelets on the Sphere / 10.3:
Continuous Wavelets on the Sphere / 10.4:
Redundant Wavelet Transform on the Sphere with Exact Reconstruction / 10.5:
Curvelet Transform on the Sphere / 10.6:
Restoration and Decomposition on the Sphere / 10.7:
Applications / 10.8:
Compressed Sensing / 10.9:
Incoherence and Sparsity / 11.1:
The Sensing Protocol / 11.3:
Stable Compressed Sensing / 11.4:
Designing Good Matrices: Random Sensing / 11.5:
Sensing with Redundant Dictionaries / 11.6:
Compressed Sensing in Space Science / 11.7:
References / 11.8:
List of Algorithms
Index
Acronyms
Notation
Preface
8.

電子ブック

EB
Gautam Shroff
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computing Platforms / Part I:
Enterprise computing: a retrospective / 1:
The internet as a platform / 2:
Software as a service and cloud computing / 3:
Enterprise architecture: role and evolution / 4:
Cloud Platforms / Part II:
Cloud computing platforms / 5:
Cloud computing economics / 6:
Cloud Technologies / Part III:
Web services, AJAX and mashups / 7:
Virtualization technology / 8:
Multi-tenant software / 9:
Cloud Development / Part IV:
Data in the cloud / 10:
MapReduce and extensions / 11:
Dev 2.0 platforms / 12:
Software Architecture / Part V:
Enterprise software: ERP, SCM, CRM / 13:
Custom enterprise applications and Dev 2.0 / 14:
Workflow and business processes / 15:
Enterprise analytics and search / 16:
Enterprise Cloud Computing / Part VI:
Enterprise cloud computing ecosystem / 17:
Roadmap for enterprise cloud computing / 18:
List of abbreviations
References
Index
Preface
Computing Platforms / Part I:
Enterprise computing: a retrospective / 1:
9.

電子ブック

EB
Richard Keith Johnson
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2010
所蔵情報: loading…
目次情報: 続きを見る
General principles / 1:
Formatting / 2:
Naming / 3:
Documentation / 4:
Programming / 5:
Files and organization / 6:
Development / 7:
General principles / 1:
Formatting / 2:
Naming / 3:
10.

電子ブック

EB
Krzysztof R. Apt, Erich Grädel, Erich Grädel
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
A Primer on Strategic Games / Krzysztof R. Apt1:
Introduction / 1.1:
Basic concepts / 1.2:
Iterated elimination of strategies I / 1.3:
Mixed extension / 1.4:
Iterated elimination of strategies II / 1.5:
Variations on the definition of strategic games / 1.6:
Mechanism design / 1.7:
Pre-Bayesian games / 1.8:
Conclusions / 1.9:
Infinite Games and Automata Theory / Christof Löding2:
Basic notations and definitions / 2.1:
Transformation of winning conditions / 2.3:
Tree automata / 2.4:
Beyond finite automata / 2.5:
Conclusion / 2.6:
Algorithms for Solving Parity Games / Marcin Jurdzinski3:
Games on graphs / 3.1:
Solving repeated reachability and eventual safety games / 3.2:
Solving parity games / 3.3:
Related work / 3.4:
Back and Forth Between Logic and Games / Erich Grädel4:
Reachability games and parity games / 4.1:
Reachability games and logic / 4.3:
Logics with least and greatest fixed-points / 4.4:
Definability of winning regions in parity games / 4.5:
Inflationary fixed-point logic and backtracking games / 4.6:
Logic and games in a quantitative setting / 4.7:
Turn-Based Stochastic Games / Antonín Kucera5:
Winning objectives in stochastic games / 5.1:
Reachability objectives in games with finitely and infinitely many vertices / 5.3:
Some directions of future research / 5.4:
Games with Imperfect Information: Theory and Algorithms / Laurent Doyen ; Jean-François Raskin6:
Games with perfect information / 6.1:
Games with imperfect information: surely-winning / 6.3:
Games with imperfect information: almost-surely-winning / 6.4:
Graph Searching Games / Stephan Kreutzer7:
Classifying graph searching games / 7.1:
Variants of graph searching games / 7.3:
Monotonicity of graph searching / 7.4:
Obstructions / 7.5:
An application to graph-decompositions / 7.6:
Complexity of graph searching / 7.7:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century / Joseph Y. Halpern7.8:
Robust and resilient equilibrium / 8.1:
Taking computation into account / 8.3:
Taking (lack of) awareness into account / 8.4:
Iterated regret minimisation / 8.5:
Index / 8.6:
List of contributors
Preface
A Primer on Strategic Games / Krzysztof R. Apt1:
11.

電子ブック

EB
Jan Rutten, Davide Sangiorgi
出版情報: Cambridge University Press Online Books , 2011
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
Origins of bisimulation and coinduction / Davide Sangiorgi1:
Introduction / 1.1:
Bisimulation in modal logic / 1.2:
Bisimulation in computer science / 1.3:
Set theory / 1.4:
The introduction of fixed points in computer science / 1.5:
Fixed-point theorems / 1.6:
Bibliography
An introduction to (co)algebra and (co)induction / Bart Jacobs ; Jan Rutten2:
Algebraic and coalgebraic phenomena / 2.1:
Inductive and coinductive definitions / 2.3:
Functoriality of products, coproducts and powersets / 2.4:
Algebras and induction / 2.5:
Coalgebras and coinduction / 2.6:
Proofs by coinduction and bisimulation / 2.7:
Processes coalgebraically / 2.8:
Trace semantics, coalgebraically / 2.9:
Exercises / 2.10:
The algorithmics of bisimilarity / Luca Aceto ; Anna Ingolfsdottir ; Jirí Srba3:
Classical algorithms for bisimilarity / 3.1:
The complexity of checking bisimilarity over finite processes / 3.3:
Decidability results for bisimilarity over infinite-state systems / 3.4:
The use of bisimilarity checking in verification and tools / 3.5:
Bisimulation and logic / Colin Stirling4:
Modal logic and bisimilarity / 4.1:
Bisimulation invariance / 4.3:
Modal mu-calculus / 4.4:
Monadic second-order logic and bisimulation invariance / 4.5:
Howe's method for higher-order languages / Andrew Pitts5:
Call-by-value λ-calculus / 5.1:
Applicative (bi)similarity for call-by-value λ-calculus / 5.3:
Congruence / 5.4:
Howe's construction / 5.5:
Contextual equivalence / 5.6:
The transitive closure trick. / 5.7:
CIU-equivalence / 5.8:
Call-by-name equivalences / 5.9:
Summary / 5.10:
Assessment / 5.11:
Enhancements of the bisimulation proof method / Damien Pous6:
The need for enhancements / 6.1:
Examples of enhancements / 6.2:
A theory of enhancements / 6.3:
Congruence and up to context techniques / 6.4:
The case of weak bisimilarity / 6.5:
A summary of up-to techniques for bisimulation / 6.6:
Probabilistic bisimulation / Prakash Panangaden7:
Discrete systems / 7.1:
A rapid survey of measure theory / 7.3:
Labelled Markov processes / 7.4:
Giry's monad / 7.5:
Logical characterisation / 7.6:
Probabilistic cocongruences / 7.8:
Kozen's coinduction principle / 7.9:
Conclusions / 7.10:
List of contributors
Preface
Origins of bisimulation and coinduction / Davide Sangiorgi1:
12.

電子ブック

EB
David Barber, A. Taylan Cemgil, Ali Taylan Cemgil, Silvia Chiappa
出版情報: Cambridge University Press Online Books , 2011
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Inference and estimation in probabilistic time series models / David Barber ; A. Taylan Cemgil ; Silvia Chiappa1:
Monte Carlo: / Part I:
Adaptive Markov chain Monte Carlo: theory and methods / Yves Atchadé ; Gersende Fort ; Eric Moulines ; Pierre Priouret2:
Auxiliary particle filtering: recent developments / Nick Whiteley ; Adam M. Johansen3:
Monte Carlo probabilistic inference for diffusion processes: a methodological framework / Omiros Papaspiliopoulos4:
Deterministic Approximations: / Part II:
Two problems with variational expectation maximisation for time series models / Richard Eric Turner ; Maneesh Sahani5:
Approximate inference for continuous-time Markov processes / Cédric Archambeau ; Manfred Opper6:
Expectation propagation and generalised EP methods for inference in switching linear dynamical systems / Onno Zoeter ; Tom Heskes7:
Approximate inference in switching linear dynamical systems using Gaussian mixtures / 8:
Change-Point Models: / Part III:
Analysis of change-point models / Idris A. Eckley ; Paul Fearnhead ; Rebecca Killick9:
Multi-Object Models: / Part IV:
Approximate likelihood estimation of static parameters in multi-target models / Sumeetpal S. Singh ; Simon J. Godsill10:
Sequential inference for dynamically evolving groups of objects / Sze Kim Pang ; Jack Li ; François Septier ; Simon Hill11:
Non-commutative harmonic analysis in multi-object tracking / Risi Kondor12:
Physiological monitoring with factorial switching linear dynamical systems / John A. Quinn ; Christopher K. I. Williams13:
Non-Parametric Models: / Part V:
Markov chain Monte Carlo algorithms for Gaussian processes / Michalis K. Titsias ; Magnus Rattray ; Neil D. Lawrence14:
Non-parametric hidden Markov models / Jurgen Van Gael ; Zoubin Ghahramani15:
Bayesian Gaussian process models for multi-sensor time series prediction / Michael A. Osborne ; Alex Rogers ; Stephen J. Roberts ; Sarvapali D. Ramchurn ; Nick R. Jennings16:
Agent Based Models: / Part VI:
Optimal control theory and the linear Bellman equation / Hilbert J. Kappen17:
Expectation-maximisation methods for solving (PO)MDPs and optimal control problems / Marc Toussaint ; Amos Storkey ; Stefan Harmeling18:
Index
Contributors
Preface
Inference and estimation in probabilistic time series models / David Barber ; A. Taylan Cemgil ; Silvia Chiappa1:
13.

電子ブック

EB
Nathalie Japkowicz, Mohak Shah
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acronyms
Introduction / 1:
The De Facto Culture / 1.1:
Motivations for This Book / 1.2:
The De Facto Approach / 1.3:
Broader Issues with Evaluation Approaches / 1.4:
What Can We Do? / 1.5:
Is Evaluation an End in Itself? / 1.6:
Purpose of the Book / 1.7:
Other Takes on Evaluation / 1.8:
Moving Beyond Classification / 1.9:
Thematic Organization / 1.10:
Machine Learning and Statistics Overview / 2:
Machine Learning Overview / 2.1:
Statistics Overview / 2.2:
Summary / 2.3:
Bibliographic Remarks / 2.4:
Performance Measures I / 3:
Overview of the Problem / 3.1:
An Ontology of Performance Measures / 3.2:
Illustrative Example / 3.3:
Performance Metrics with a Multiclass Focus / 3.4:
Performance Metrics with a Single-Class Focus / 3.5:
Illustration of the Confusion-Matrix-Only-Based Metrics Using WEKA / 3.6:
Performance Measures II / 3.7:
Graphical Performance Measures / 4.1:
Receiver Operating Characteristic (ROC) Analysis / 4.2:
Other Visual Analysis Methods / 4.3:
Continuous and Probabilistic Classifiers / 4.4:
Specialized Metrics / 4.5:
Illustration of the Ranking and Probabilistic Approaches Using R, ROCR, and WEKA / 4.6:
Error Estimation / 4.7:
Holdout Approach / 5.1:
What Implicitly Guides Resampling? / 5.3:
Simple Resampling / 5.4:
A Note on Model Selection / 5.5:
Multiple Resampling / 5.6:
Discussion / 5.7:
Illustrations Using R / 5.8:
Appendix: Proof of Equation (5.5) / 5.9:
Statistical Significance Testing / 6:
The Purpose of Statistical Significance Testing / 6.1:
The Limitations of Statistical Significance Testing / 6.2:
An Overview of Relevant Statistical Tests / 6.3:
A Note on Terminology / 6.4:
Comparing Two Classifiers on a Single Domain / 6.5:
Comparing Two Classifiers on Multiple Domains / 6.6:
Comparing Multiple Classifiers on Multiple Domains / 6.7:
Statistical Tests for Two Classifiers on a Single Domain Based on Resampling Techniques / 6.8:
llustration of the Statistical Tests Application Using R / 6.9:
Datasets and Experimental Framework / 6.10:
Repository-Based Approach / 7.1:
Making Sense of Our Repositories: Metalearning / 7.2:
Artificial Data Approach / 7.3:
Community Participation: Web-Based Solutions / 7.4:
Recent Developments / 7.5:
Performance Metrics / 8.1:
Frameworks for Performance Metrics / 8.2:
Combining Metrics / 8.3:
Insights from Statistical Learning Theory / 8.4:
Other Developments / 8.5:
Appendix: Proof of Theorems 8.1 and 8.2 / 8.6:
Conclusion / 9:
An Evaluation Framework Template / 9.1:
Concluding Remarks / 9.2:
Statistical Tables / 9.3:
The Z Table / A.l:
The t Table / A.2:
The x2 Table / A.3:
The Table of Critical Values for the Signed Test / A.4:
The Wilcoxon Table / A.5:
The F-Ratio Table / A.6:
The Friedman Table / A.7:
The Table of Critical Values for the Tukey Test / A.8:
The Table of Critical Values for the Dunnett Test / A.9:
Additional Information on the Data / AppendixB:
Two Case Studies / Appendix C:
Illustrative Case Study 1 / C.l:
Illustrative Case Study 2 / C.2:
Bibliography
Index
Preface
Acronyms
Introduction / 1:
14.

電子ブック

EB
David P. Williamson, David B. Shmoys, David Bernard Shmoys
出版情報: Cambridge University Press Online Books , Leiden : Cambridge University Press, 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
An Introduction to the Techniques / I:
An Introduction to Approximation Algorithms / 1:
The Whats and Whys of Approximation Algorithms / 1.1:
An Introduction to the Techniques and to Linear Programming: The Set Cover Problem / 1.2:
A Deterministic Rounding Algorithm / 1.3:
Rounding a Dual Solution / 1.4:
Constructing a Dual Solution: The Primal-Dual Method / 1.5:
A Randomized Rounding Algorithm / 1.7:
Exercises
Chapter Notes
Greedy Algorithms and Local Search / 2:
Scheduling Jobs with Deadlines on a Single Machine / 2.1:
The k-Center Problem / 2.2:
Scheduling Jobs on Identical Parallel Machines / 2.3:
The Traveling Salesman Problem / 2.4:
Maximizing Float in Bank Accounts / 2.5:
Finding Minimum-Degree Spanning Trees / 2.6:
Edge Coloring / 2.7:
Rounding Data and Dynamic Programming / 3:
The Knapsack Problem / 3.1:
The Bin-Packing Problem / 3.2:
Deterministic Rounding of Linear Programs / 4:
Minimizing the Sum of Completion Times on a Single Machine / 4.1:
Minimizing the Weighted Sum of Completion Times on a Single Machine / 4.2:
Solving Large Linear Programs in Polynomial Time via the Ellipsoid Method / 4.3:
The Prize-Collecting Steiner Tree Problem / 4.4:
The Uncapacitated Facility Location Problem / 4.5:
Random Sampling and Randomized Rounding of Linear Programs / 4.6:
Simple Algorithms for MAX SAT and MAX CUT / 5.1:
Derandomization / 5.2:
Flipping Biased Coins / 5.3:
Randomized Rounding / 5.4:
Choosing the Better of Two Solutions / 5.5:
Nonlinear Randomized Rounding / 5.6:
Scheduling a Single Machine with Release Dates / 5.7:
Chernoff Bounds / 5.10:
Integer Multicommodity Flows / 5.11:
Random Sampling and Coloring Dense 3-Colorable Graphs / 5.12:
Randomized Rounding of Semidefinite Programs / 6:
A Brief Introduction to Semidefinite Programming / 6.1:
Finding Large Cuts / 6.2:
Approximating Quadratic Programs / 6.3:
Finding a Correlation Clustering / 6.4:
Coloring 3-Colorable Graphs / 6.5:
The Primal-Dual Method / 7:
The Set Cover Problem: A Review / 7.1:
Choosing Variables to Increase: The Feedback Vertex Set Problem in Undirected Graphs / 7.2:
Cleaning Up the Primal Solution: The Shortest s-t Path Problem / 7.3:
Increasing Multiple Variables at Once: The Generalized Steiner Tree Problem / 7.4:
Strengthening Inequalities: The Minimum Knapsack Problem / 7.5:
Lagrangean Relaxation and the k-Median Problem / 7.6:
Cuts and Metrics / 8:
The Multiway Cut Problem and a Minimum-Cut-Based Algorithm / 8.1:
The Multiway Cut Problem and an LP Rounding Algorithm / 8.2:
The Multicut Problem / 8.3:
Balanced Cuts / 8.4:
Probabilistic Approximation of Metrics by Tree Metrics / 8.5:
An Application of Tree Metrics: Buy-at-Bulk Network Design / 8.6:
Spreading Metrics, Tree Metrics, and Linear Arrangement / 8.7:
Further Uses of the Techniques / II:
Further Uses of Greedy and Local Search Algorithms / 9:
A Local Search Algorithm for the Uncapacitated Facility Location Problem / 9.1:
A Local Search Algorithm for the k-Median Problem / 9.2:
Minimum-Degree Spanning Trees / 9.3:
A Greedy Algorithm for the Uncapacitated Facility Location Problem / 9.4:
Further Uses of Rounding Data and Dynamic Programming / 10:
The Euclidean Traveling Salesman Problem / 10.1:
The Maximum Independent Set Problem in Planar Graphs / 10.2:
Further Uses of Deterministic Rounding of Linear Programs / 11:
The Generalized Assignment Problem / 11.1:
Minimum-Cost Bounded-Degree Spanning Trees / 11.2:
Survivable Network Design and Iterated Rounding / 11.3:
Further Uses of Random Sampling and Randomized Rounding of Linear Programs / 12:
The Single-Source Rent-or-Buy Problem / 12.1:
The Steiner Tree Problem / 12.3:
Everything at Once: Finding a Large Cut in a Dense Graph / 12.4:
Further Uses of Randomized Rounding of Semidefinite Programs / 13:
Unique Games / 13.1:
Further Uses of the Primal-Dual Method / 14:
The Feedback Vertex Set Problem in Undirected Graphs / 14.1:
Further Uses of Cuts and Metrics / 15:
Low-Distortion Embeddings and the Sparsest Cut Problem / 15.1:
Oblivious Routing and Cut-Tree Packings / 15.2:
Cut-Tree Packings and the Minimum Bisection Problem / 15.3:
The Uniform Sparsest Cut Problem / 15.4:
Techniques in Proving the Hardness of Approximation / 16:
Reductions from NP-Complete Problems / 16.1:
Reductions that Preserve Approximation / 16.2:
Reductions from Probabilistically Checkable Proofs / 16.3:
Reductions from Label Cover / 16.4:
Reductions from Unique Games / 16.5:
Open Problems / 17:
Linear Programming / Appendix A:
NP-Completeness / Appendix B:
Bibliography
Author Index
Subject Index
Preface
An Introduction to the Techniques / I:
An Introduction to Approximation Algorithms / 1:
15.

電子ブック

EB
Mark M. Wilde
出版情報: Cambridge University Press Online Books , 2013
所蔵情報: loading…
目次情報: 続きを見る
How to use this book
Acknowledgements
Introduction: / Part I:
Concepts in quantum Shannon theory / 1:
Classical Shannon theory / 2:
The Quantum Theory: / Part II:
The noiseless quantum theory / 3:
The noisy quantum theory / 4:
The purified quantum theory / 5:
Unit Quantum Protocols: / Part III:
Three unit quantum protocols / 6:
Coherent protocols / 7:
The unit resource capacity region / 8:
Tools of Quantum Shannon Theory: / Part IV:
Distance measures / 9:
Classical information and entropy / 10:
Quantum information and entropy / 11:
The information of quantum channels / 12:
Classical typicality / 13:
Quantum typicality / 14:
The packing lemma / 15:
The covering lemma / 16:
Noiseless Quantum Shannon Theory: / Part V:
Schumacher compression / 17:
Entanglement concentration / 18:
Noisy Quantum Shannon Theory: / Part VI:
Classical communication / 19:
Entanglement-assisted classical communication / 20:
Coherent communication with noisy resources / 21:
Private classical communication / 22:
Quantum communication / 23:
Trading resources for communication / 24:
Summary and outlook / 25:
Miscellaneous mathematics / Appendix A:
Monotonicity of quantum relative entropy / Appendix B:
References
Index
How to use this book
Acknowledgements
Introduction: / Part I:
16.

電子ブック

EB
Andrew M. Pitts
出版情報: Cambridge University Press Online Books , Cambridge University Press, 2013
所蔵情報: loading…
17.

電子ブック

EB
Per Runeson, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , New York, NY : ACM, 2012
所蔵情報: loading…
18.

電子ブック

EB
Michael Goedicke, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , New York, NY : ACM, 2012
所蔵情報: loading…
19.

電子ブック

EB
Pamela Hinds, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2010
所蔵情報: loading…
20.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2010
所蔵情報: loading…
21.

電子ブック

EB
Bill Lin, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2010
所蔵情報: loading…
22.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
23.

電子ブック

EB
The 48th Annual Design Automation Conference 2011, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
24.

電子ブック

EB
Richard N. Taylor, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
25.

電子ブック

EB
Charles Kalmanek, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
26.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
27.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
28.

電子ブック

EB
Rajesh Gupta, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
29.

電子ブック

EB
Samarjit Chakraborty, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
30.

電子ブック

EB
Robert P. Dick, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
31.

電子ブック

EB
Joel Phillips, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
32.

電子ブック

EB
Prosper Chemouil, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
33.

電子ブック

EB
Scott Lathrop, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
34.

電子ブック

EB
Radu Marculescu, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2011
所蔵情報: loading…
35.

電子ブック

EB
The 49th Annual Design Automation Conference 2012, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , New York, NY : ACM, 2012
所蔵情報: loading…
36.

電子ブック

EB
Holly Yanco, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , New York, NY : ACM, 2012
所蔵情報: loading…
37.

電子ブック

EB
Ravi Iyer, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
38.

電子ブック

EB
Claus Brabrand, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
39.

電子ブック

EB
Kamil Iskra, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
40.

電子ブック

EB
Jeffrey Vetter, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
41.

電子ブック

EB
Henk Corporaal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
42.

電子ブック

EB
Charles 'Buck' Krasic, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
43.

電子ブック

EB
Friedhelm Meyer auf der Heide, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
44.

電子ブック

EB
David Casperson, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
45.

電子ブック

EB
Sixth EuroSys Conference 2011, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
46.

電子ブック

EB
Francesco G. B. De Natale, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
47.

電子ブック

EB
Bipin C. Desai, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
48.

電子ブック

EB
Hans-J Boehm, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
49.

電子ブック

EB
Mary Hall, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
50.

電子ブック

EB
Yoav Shoham, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
51.

電子ブック

EB
Lance Fortnow, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
52.

電子ブック

EB
Arif Merchant, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
53.

電子ブック

EB
Cyril Gavoille, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
54.

電子ブック

EB
Éric Schost, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
55.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
56.

電子ブック

EB
Dominique Guinard, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
57.

電子ブック

EB
Alfredo Ferro, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
58.

電子ブック

EB
David K. Lowenthal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
59.

電子ブック

EB
Martin Arlitt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
60.

電子ブック

EB
Adrien Lèbre, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
61.

電子ブック

EB
Fabio Paternò, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
62.

電子ブック

EB
Glen Newton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
63.

電子ブック

EB
Ferran Hurtado, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
64.

電子ブック

EB
Dieter Gollmann, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
65.

電子ブック

EB
Ruth Breu, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
66.

電子ブック

EB
Augustin Chaintreau, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
67.

電子ブック

EB
Simon Caton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
68.

電子ブック

EB
Gianluigi Folino, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
69.

電子ブック

EB
Hartmut Schmeck, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
70.

電子ブック

EB
Christof Weinhardt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
71.

電子ブック

EB
Christian Müller-Schloer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
72.

電子ブック

EB
Lindi Liao, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
73.

電子ブック

EB
Landon Cox, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
74.

電子ブック

EB
Guido Rößling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
75.

電子ブック

EB
Radu Marculescu, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2011
所蔵情報: loading…
76.

電子ブック

EB
Ashok Agrawala, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
77.

電子ブック

EB
Ravi Iyer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
78.

電子ブック

EB
Manuel José Damásio, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
79.

電子ブック

EB
Michal Piorkowski, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
80.

電子ブック

EB
Ivica Crnkovic, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
81.

電子ブック

EB
Ivica Crnkovic, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
82.

電子ブック

EB
Ivica Crnkovic, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
83.

電子ブック

EB
Krzysztof R. Apt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
84.

電子ブック

EB
Davide Di Ruscio, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
85.

電子ブック

EB
Grigori Fursin, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
86.

電子ブック

EB
Sally Jo Cunningham, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
87.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
88.

電子ブック

EB
Matthew Dwyer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
89.

電子ブック

EB
Pier Luca Lanzi, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
90.

電子ブック

EB
Pier Luca Lanzi, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
91.

電子ブック

EB
Opher Etzion, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
92.

電子ブック

EB
Dae Young Kim, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
93.

電子ブック

EB
Mark Grechanik, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
94.

電子ブック

EB
Leonardo Mariani, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
95.

電子ブック

EB
João Lourenço, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
96.

電子ブック

EB
Peter Schneider-Kamp, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
97.

電子ブック

EB
Saadi Boudjit, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
98.

電子ブック

EB
Archana Mantri, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
99.

電子ブック

EB
Derek Chiou, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
100.

電子ブック

EB
Jerome Royan, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼