1
Unifying Themes in Complex Systems X [E-Book] : Proceedings of the Tenth International Conference on Complex Systems /
Table of Contents: ... -- On Efficiency and Predictability of the Dynamics of Discrete Boolean Networks -- Joint Lattice of Reconstructability Analysis and Bayesian Network General Graphs -- Hypernetwork Science: From Multidimensional Networks to Computational Topology -- Multi-level Co...

Full text 
2
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
Table of Contents: ... Conscriptions Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A...

Full text 
3
Graph-Based Representation and Reasoning [E-Book] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings /
Table of Contents: ... -- Extracting Threshold Conceptual Structures from Web Documents -- A Formal Topology of Web Classification -- Specifying Well-Formed Part-Whole Relations in Coq -- Automatic Extraction of Semantic Relations by Using Web Statistical Information -- Efficient...

Full text 
4
Geometric Science of Information [E-Book] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings /
Table of Contents: ... Geometry in Statistics -- Optimization on Matrix Manifolds -- Optimal Transport Theory -- Probability on Manifolds -- Divergence Geometry and Ancillarity -- Entropic Geometry -- Tensor-Valued Mathematical Morphology -- Machine/Manifold/Topology Learning...

Full text 
5
Logic and Its Applications [E-Book] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Table of Contents: ... Proofs.-Noninterference for Intuitionist Necessity -- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal -- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System -- Public Announcements for Non-omniscient Agents -- Subset...

Full text 
6
Ubiquitous Social Media Analysis [E-Book] : Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers /
Table of Contents: ...How to Carve up the World: Learning and Collaboration for Structure Recommendation -- A Topological Approach for Detecting Twitter Communities with Common Interests -- Using Geographic Cost Functions to Discover Vessel Itineraries from AIS Messages...

Full text 
7
Design and Analysis of Algorithms [E-Book] : First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings /
Even, Guy.
2012
Table of Contents: ... Algorithm for the Partial Vertex Cover Problem in Hypergraphs -- Simulation-Based Analysis of Topology Control Algorithms for Wireless Ad Hoc Networks -- An Efficient Generator for Clustered Dynamic Random Networks -- Slow Down and Sleep for Profit in Online...

Full text 
8
Principles of Distributed Systems [E-Book] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings /
Table of Contents: ... in Shared Spectrum Radio Networks -- Attack-Resilient Multitree Data Distribution Topologies -- On the Complexity of Distributed Broadcasting and MDS Construction in Radio Networks -- On the Impact of Identifiers on Local Decision -- Black Hole Search...

Full text