close
1.

電子ブック

EB
edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martin-Vide, Bianca Truthe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8977
オンライン: http://dx.doi.org/10.1007/978-3-319-15579-1
目次情報: 続きを見る
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
Combinatorics on Words
Complexity and Recursive Functions
Compression, Inference, Pattern Matching, and Model Checking
Graphs, Term Rewriting, and Networks
Transducers, Tree Automata, and Weighted Automata
Algorithms
Automata, Logic, and Concurrency
Codes, Semigroups, and Symbolic Dynamics
2.

電子ブック

EB
edited by Cetin Kaya Koc, Sihem Mesnager, Erkay Sava?
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9061
オンライン: http://dx.doi.org/10.1007/978-3-319-16277-5
目次情報: 続きを見る
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
Accelerating Iterative SpMV for the Discrete Logarithm Problem using GPUs
Finding Optimal Chudnovsky-Chudnovsky Multiplication Algorithms
Reducing the Complexity of Normal Basis Multiplication
O
Second Invited talk
Open Questions on Nonlinearity and on APN functions
Boolean and Vectorial Functions
Some Results on Difference Balanced Functions
Affine Equivalency and Nonlinearity Preserving Bijective Mappings over F2
On Verification of Restricted Extended Affine Equivalence of Vectorial Boolean Functions
On o-Equivalence of Niho Bent Functions
Third Invited Talk
L-polynomials of the curve yqn? y = xqh+1? _ over Fqm
Coding Theory and Code-based Cryptography
Efficient Software Implementations of Code-based Hash Functions
Quadratic residue codes over Fp + vFp + v2F.p
First Invited talk
Computing Discrete Logarithms in F36?137 and F36?163 using Magma
Finite Field Arithmetic
3.

電子ブック

EB
edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9160
オンライン: http://dx.doi.org/10.1007/978-3-662-47709-0
目次情報: 続きを見る
Modeling Language Design for Complex Systems Simulation
Formalization of Mathematics for Fun and Profit
From Residuated Lattices via GBI-algebras to BAOs
Towards a Nominal Chomsky Hierarchy
Multi-Linear Algebraic Semantics for Natural Language
Categories of Games
Learning in the limit, general topology, and modal logic
The Word Problem for Finitely Presented Quandles is Undecidable
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
An Equation-Based Classical Logic
Cyclic multiplicative proof nets of linear logic with an application to language parsing
A Dichotomy Result for Ramsey Quantifiers
Parametric Polymorphism { Universally
On the weak index problem for game automata
Proof-theoretic aspects of the Lambek-Grishin Calculus
Syllogistic Logic with "Most"
Characterizing Frame Definability in Team Semantics via The Universal Modality
An Epistemic Separation Logic
Equational properties of stratified least fixed points
The p-adic integers as final coalgebra
Modeling Language Design for Complex Systems Simulation
Formalization of Mathematics for Fun and Profit
From Residuated Lattices via GBI-algebras to BAOs
4.

電子ブック

EB
edited by Jaime Gutierrez, Josef Schicho, Martin Weimann
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8942
オンライン: http://dx.doi.org/10.1007/978-3-319-15081-9
目次情報: 続きを見る
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics
Moving Curve Ideals of Rational Plane Parametrizations
Survey on Counting Special Types of Polynomials
Orbit Closures of Linear Algebraic Groups
Symbolic Solutions of First-Order Algebraic ODEs
Ore Polynomials in Sage
Giac and GeoGebra ? Improved Grobner Basis Computations
Polar Varieties Revisited
A Note on a Problem Proposed by Kim and Lisonek
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
Some Results on the Surjectivity of Surface Parametrizations
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics
Moving Curve Ideals of Rational Plane Parametrizations
Survey on Counting Special Types of Polynomials
5.

電子ブック

EB
edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9301
オンライン: http://dx.doi.org/10.1007/978-3-319-24021-3
6.

電子ブック

EB
edited by M. Sohel Rahman, Etsuji Tomita
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8973
オンライン: http://dx.doi.org/10.1007/978-3-319-15612-5
目次情報: 続きを見る
Encoding Data Structures
Fast Algorithms for Constrained Graph Density Problems
The Directed Ring Loading with Penalty Cost
Edge-Colorings of Weighted Graphs (Extended Abstract)
Unit Covering in Color-Spanning Set Model
Compact Encodings and Indexes for the Nearest Larger Neighbor Problem
A Practical Succinct Data Structure for Tree-Like Graphs
Forming Plurality at Minimum Cost
Approximate Distance Oracle in O(n2) Time and O(n) Space for Chordal Graphs
Straight-Path Queries in Trajectory Data
Folding a Paper Strip to Minimize Thickness
An Almost Optimal Algorithm for Voronoi Diagrams of Non-disjoint Line Segments (Extended Abstract)
PTAS’s for Some Metric p-source Communication Spanning Tree Problems
Fault-Tolerant Gathering of Asynchronous Oblivious Mobile Robots under One-Axis Agreement
Enumerating Eulerian Trails via Hamiltonian Path Enumeration
The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Trees
An Efficient Silent Self-Stabilizing Algorithm for 1-Maximal Matching in Anonymous Networks
Dynamic Online Multiselection in Internal and External Memory
Competitive Analysis for Multi-objective Online Algorithms
Simultaneous Drawing of Planar Graphs with Right-Angle Crossings and Few Bends
An Improved Algorithm for Parameterized Edge Dominating Set Problem
On Bar (1, j)-Visibility Graphs (Extended Abstract)
Simultaneous Time-Space Upper Bounds for Red-Blue Path Problem in Planar DAGs
Non-repetitive Strings over Alphabet Lists
Dichotomy Theorems for Homomorphism Polynomials of Graph Classes
Common Unfolding of Regular Tetrahedron and Johnson-Zalgaller Solid
Threshold Circuits for Global Patterns in 2-Dimensional Maps
Superset Generation on Decision Diagrams
On Triangle Cover Contact Graphs
Logspace and FPT Algorithms for Graph Isomorphism for Subclasses of Bounded Tree-Width Graphs
Encoding Data Structures
Fast Algorithms for Constrained Graph Density Problems
The Directed Ring Loading with Penalty Cost