1
Cellular Automata [E-Book] : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
Table of Contents: ... Cellular Automata -- Tiling Problem and Undecidability in Cellular Automata -- Topological Dynamics of Cellular Automata....

Full text 
2
Cellular Automata and Discrete Complex Systems [E-Book] : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
Table of Contents: ...Dynamical, topological, ergodic and algebraic aspects -- Algorithmic and complexity issues -- Emergent properties -- Formal language processing aspects -- Symbolic dynamics -- Models of parallelism and distributed systems -- Timing schemes...

Full text 
3
Automata, Languages, and Programming [E-Book] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
Table of Contents: ... of Averaging Algorithms -- The Range of Topological Effects on Communication -- Secretary Markets with Local Information -- A Simple and Optimal Ancestry Labeling Scheme for Trees -- Interactive Communication with Unknown Noise Rate -- Fixed Parameter Approximations...

Full text 
4
Mathematical Morphology and Its Applications to Signal and Image Processing [E-Book] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings /
Table of Contents: ...Evaluations and applications -- Hierarchies -- Color, multivalued and orientation fields -- Optimization, differential calculus and probabilities -- Topology and discrete geometry.- Algorithms and implementation....

Full text 
5
Curves and Surfaces [E-Book] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
Table of Contents: ... of Geometric Primitives in Point Clouds -- Computing Topology Preservation of RBF Transformations for Landmark-Based Image Registration -- New Bounds on the Lebesgue Constants of Leja Sequences on the Unit Disc and on ℜ-Leja Sequences -- A Curvature Smooth Lofting...

Full text 
6
Mathematical Software – ICMS 2014 [E-Book] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
7
Discrete Geometry for Computer Imagery [E-Book] : 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings /
Table of Contents: ... and Combinatorial Topology -- 2D Topological Map Isomorphism for Multi-Label Simple Transformation Definition.-Isthmus-based Parallel and Asymmetric 3D Thinning Scheme and Algorithms -- Completions and simple homotopy -- Geometric Transforms -- 2D Subquadratic Separable...

Full text 
8
Computer Algebra in Scientific Computing [E-Book] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /
Table of Contents: ... Decomposition by Regular Chains -- Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values -- Finding a Deterministic Generic Position for an Algebraic Space Curve -- Computer Algebra Experimentation -- On the Parallelization...

Full text 
9
Graph Drawing [E-Book] : 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers /
Table of Contents: ... Planarity and Partial Simultaneous Geometric Embedding -- Flat Foldings of Plane Graphs with Prescribed Angles and Edge Lengths -- Theory -- Disjoint Edges in Topological Graphs and the Tangled-Thrackle Conjecture -- Morphing Schnyder Drawings of Planar...

Full text 
10
Algorithm Theory – SWAT 2014 [E-Book] : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings /
11
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 
12
Combinatorial Image Analysis [E-Book] : 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014. Proceedings /
Table of Contents: ...Discrete geometry and topology in imaging science.-  New results in image representation -- Segmentation, grouping, and reconstruction -- Medical image processing....

Full text 
13
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 
14
Parameterized and Exact Computation [E-Book] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers /
Table of Contents: ... for Parameterization.- Chain Minors Are FPT.- Incompressibility of H-Free Edge Modification.- Contracting Few Edges to Remove Forbidden Induced Subgraphs.- Fixed-Parameter and Approximation Algorithms: A New Look.- Subgraphs Satisfying MSO Properties on z-Topologically...

Full text 
15
Logic, Rationality, and Interaction [E-Book] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Table of Contents: ...Full Papers -- Boolean Games with Epistemic Goals -- Minimal Preference Change -- The Topology of Belief, Belief Revision and Defeasible Knowledge -- Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary -- A Semantic Model...

Full text 
16
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 
17
Mathematical Foundations of Computer Science 2013 [E-Book] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
Table of Contents: ...Alternation Trading Proofs and Their Limitations -- Bin Packing Games with Selfish Items -- A Constructive Proof of the Topological Kruskal Theorem -- Prior-Free Auctions of Digital Goods -- Clustering on k-Edge-Colored Graphs -- How to Pack Your Items...

Full text 
18
Algorithms in Bioinformatics [E-Book] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings /
Table of Contents: ... and the Statistical Assessment of Position Weight Matrix Motifs -- Probabilistic Approaches to Alignment with Tandem Repeats -- Multiscale Identification of Topological Domains in Chromatin -- Modeling Intratumor Gene Copy Number Heterogeneity using Fluorescence in Situ...

Full text 
19
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 
20
Evolutionary Computation in Combinatorial Optimization [E-Book] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings /
Table of Contents: ... Problem Using Fitness Landscape Analysis -- Balancing Bicycle Sharing Systems: A Variable Neighborhood Search Approach -- Combinatorial Neighborhood Topology Particle Swarm Optimization Algorithm for the Vehicle Routing Problem -- Dynamic Evolutionary Membrane...

Full text