161
Modern Cryptography [E-Book] : Applied Mathematics for Encryption and Information Security /
Table of Contents: ... Networks -- Chapter 7. Substitution-Permutation Networks -- Chapter 8. S-Box Design -- Chapter 9. Cryptographic Hashes -- Chapter 10. Asymmetric Algorithms -- Chapter 11. Elliptic Curve Cryptography -- Chapter 12. Random Number Generators -- Chapter 13.SSL/TLS...

Full text 
162
Trends of Data Science and Applications [E-Book] : Theory and Practices /
Table of Contents: ...: Descriptive Statistical Analysis -- Applicational Statistics in Data Science & Machine Learning -- Evolutionary algorithms based machine learning models -- Application to Predict the Impact of COVID-19 in India using Deep Learning -- Role of Data Analytics in Bio...

Full text 
163
Verification and Evaluation of Computer and Communication Systems [E-Book] : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings /
Table of Contents: ... Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification...

Full text 
164
Mathematical Morphology and Its Applications to Signal and Image Processing [E-Book] : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15–17, 2017, Proceedings /
165
Trusted Systems [E-Book] : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
166
LATIN 2016: Theoretical Informatics [E-Book] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
Table of Contents: ...Reversible Figures and Solids -- Simplicity is in Vogue (again) -- Subgame Perfect Equilibrium: Computation and Efficiency -- Buying Stuff Online -- Data Crowdsourcing: Is It for Real -- A Faster FPT Algorithm and a Smaller Kernel for Block Graph Vertex...

Full text 
167
Implementation and Application of Automata [E-Book] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
Table of Contents: ... Automata of Multitape Rational Expressions -- Solving Parity Games Using an Automata-Based Algorithm -- Ternary Equational Languages -- Problems on Finite Automata and the Exponential Time Hypothesis -- A Practical Algorithm for the Uniform Membership Problem...

Full text 
168
Algorithmic Aspects in Information and Management [E-Book] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
Table of Contents: ... Algorithms for (Strict) Compatibility of Unrooted Phylogenetic Trees -- A Very Fast String Matching Algorithm Based on Condensed Alphabets -- Minimum-Density Identifying Codes in Square Grids -- Separating Codes and Traffic Monitoring -- Know When to Persist...

Full text 
169
DNA Computing and Molecular Programming [E-Book] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
170
Combinatorial Algorithms [E-Book] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
Table of Contents: ... algorithms -- Weighted Online Problems with Advice -- Finding gapped palindromes online -- Advice Complexity of the Online Search Problem -- Packed Compact Tries: A Fast and Efficient Data Structure for Online String Processing -- Algorithmic graph theory -- A...

Full text 
171
Graph-Theoretic Concepts in Computer Science [E-Book] : 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
Table of Contents: ...Invited Talks -- Parameterized Algorithmics for Graph Modification Problems: On Interactions with Heuristics -- Open Problems on Graph Coloring for Special Graph Classes -- On the Complexity of Approximation and Online Scheduling Problems...

Full text 
172
Experimental Algorithms [E-Book] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
Table of Contents: ...Practical Variable Length Gap Pattern Matching using Wavelet Trees -- Fast Exact Computation of Isochrones in Road Networks -- Dynamic Time-Dependent Route Planning in Road Networks with User Preferences -- UKP5: a New Algorithm for the Unbounded...

Full text 
173
Graph Transformation [E-Book] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
Table of Contents: ... Petri Nets with Maude -- Tools and Algorithms -- A Software Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model Transformation Rules -- Compiling Graph Programs to C -- An Algorithm for the Critical Pair...

Full text 
174
Image Analysis and Recognition [E-Book] : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings /
Table of Contents: ... and Regression Fusion -- Multi-graph Based Salient Object Detection -- Analysis of temporal coherence in videos for action recognition -- Effectiveness of Camouage Make-up Patterns Against Face Detection Algorithms -- A Comparative Study of Vision-based Tra_c Signs...

Full text 
175
Distributed Computing [E-Book] : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
Table of Contents: ...Distributed algorithms; correctness and complexity -- Distributed operating systems, middleware, database systems -- Self-stabilizing, self-organizing, and autonomous systems -- Specification, verification, and testing: tools, methodologies...

Full text 
176
Graph-Theoretic Concepts in Computer Science [E-Book] : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
Table of Contents: ... graphs of paths with 2 bends -- Almost Induced Matching: Linear Kernels and Parameterized Algorithms -- Parameterized vertex deletion problems for hereditary graph classes with a block property -- Harmonious Coloring: Parameterized Algorithms and Upper bounds...

Full text 
177
Information and Communications Security [E-Book] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings /
178
Structural Information and Communication Complexity [E-Book] : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
179
Topics in Theoretical Computer Science [E-Book] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
180
Research in Computational Molecular Biology [E-Book] : 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings /
Table of Contents: ...Recomb Retrospectives -- The Second Decade of the International Conference on Research in Computational Molecular Biology (RECOMB) -- Extended Abstracts -- A MAD-Bayes Algorithm for State-space Inference and Clustering with Application to Querying Large...

Full text