Coverart for item
The Resource Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings, Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings, Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)

Label
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings
Title
Algebraic informatics
Title remainder
5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings
Statement of responsibility
Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Creator
Contributor
Editor of compilation
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
CAI (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Muntean, Traian
  • Poulakis, Dimitrios
  • Rolland, Robert
Series statement
Lecture notes in computer science,
Series volume
8080
http://library.link/vocab/subjectName
  • Programming Languages
  • Semantics
  • Mathematics
  • Automatic Data Processing
  • Programming languages (Electronic computers)
  • Algebra
  • Computer Science
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Symbolic and Algebraic Manipulation
  • Software Engineering
  • Discrete Mathematics in Computer Science
  • Mathematics of Computing
Label
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings, Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Link
http://dx.doi.org/10.1007/978-3-642-40663-8
Instantiates
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Seny Kamara
  • Code Based Cryptography and Steganography
  • Pascal Véron
  • Contributed Papers
  • Strong Prefix Codes of Pictures
  • Marcella Anselmo, Dora Giammarresi, Maria Madonia
  • The Algebraic Theory of Parikh Automata
  • Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
  • Generalized AG Codes as Evaluation Codes
  • Marco Calderini, Massimiliano Sala
  • Invited Speakers
  • Osculating Spaces of Varieties and Linear Network Codes
  • Johan P. Hansen
  • On Sets of Numbers Rationally Represented in a Rational Base Number System
  • Victor Marsault, Jacques Sakarovitch
  • A New Bound for Cyclic Codes Beating the Roos Bound
  • Matteo Piva, Massimiliano Sala
  • On a Conjecture of Helleseth
  • Yves Aubry, Philippe Langevin
  • Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm
  • Konstantinos Draziotis, Dimitrios Poulakis
  • Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
  • Side Channel Attacks against Pairing over Theta Functions
  • Nadia El Mrabet
  • On the Efficient Generation of Generalized MNT Elliptic Curves
  • Georgios Fotiadis, Elisavet Konstantinou
  • Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field
  • Stéphane Ballet, Jean Chaumine, Julia Pieltant
  • Stochastic Equationality
  • Symeon Bozapalidis, George Rahonis
  • On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
  • Sebastian Junges ... [et al.]
  • Gul Agha
  • Approximation of Large Probabilistic Networks by Structured Population Protocols
  • Michel de Rougemont, Mathieu Tracol
  • Model-Checking by Infinite Fly-Automata
  • Bruno Courcelle, Irène Durand
  • A Selection-Quotient Process for Packed Word Hopf Algebra
  • Gérard H. E. Duchamp, Nguyen Hoang-Nghia, Adrian Tanasa
  • Synchronous Forest Substitution Grammars
  • Andreas Maletti
  • Characterizations of Weighted First-Order Logics over Semirings
  • Eleni Mandrali, George Rahonis
  • Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
  • Linear Induction Algebra and a Normal Form for Linear Operators
  • Laurent Poinsot
  • Christel Baier
  • On Elliptic Curve Paillier Schemes
  • Marc Joye
  • Proofs of Storage: Theory, Constructions and Applications
Control code
ocn859341391
Dimensions
unknown
Extent
1 online resource (x, 275 pages)
File format
unknown
Form of item
online
Isbn
9783642406638
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-40663-8
Other physical details
14 illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)859341391
Label
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings, Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Link
http://dx.doi.org/10.1007/978-3-642-40663-8
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Seny Kamara
  • Code Based Cryptography and Steganography
  • Pascal Véron
  • Contributed Papers
  • Strong Prefix Codes of Pictures
  • Marcella Anselmo, Dora Giammarresi, Maria Madonia
  • The Algebraic Theory of Parikh Automata
  • Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
  • Generalized AG Codes as Evaluation Codes
  • Marco Calderini, Massimiliano Sala
  • Invited Speakers
  • Osculating Spaces of Varieties and Linear Network Codes
  • Johan P. Hansen
  • On Sets of Numbers Rationally Represented in a Rational Base Number System
  • Victor Marsault, Jacques Sakarovitch
  • A New Bound for Cyclic Codes Beating the Roos Bound
  • Matteo Piva, Massimiliano Sala
  • On a Conjecture of Helleseth
  • Yves Aubry, Philippe Langevin
  • Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm
  • Konstantinos Draziotis, Dimitrios Poulakis
  • Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
  • Side Channel Attacks against Pairing over Theta Functions
  • Nadia El Mrabet
  • On the Efficient Generation of Generalized MNT Elliptic Curves
  • Georgios Fotiadis, Elisavet Konstantinou
  • Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field
  • Stéphane Ballet, Jean Chaumine, Julia Pieltant
  • Stochastic Equationality
  • Symeon Bozapalidis, George Rahonis
  • On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
  • Sebastian Junges ... [et al.]
  • Gul Agha
  • Approximation of Large Probabilistic Networks by Structured Population Protocols
  • Michel de Rougemont, Mathieu Tracol
  • Model-Checking by Infinite Fly-Automata
  • Bruno Courcelle, Irène Durand
  • A Selection-Quotient Process for Packed Word Hopf Algebra
  • Gérard H. E. Duchamp, Nguyen Hoang-Nghia, Adrian Tanasa
  • Synchronous Forest Substitution Grammars
  • Andreas Maletti
  • Characterizations of Weighted First-Order Logics over Semirings
  • Eleni Mandrali, George Rahonis
  • Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
  • Linear Induction Algebra and a Normal Form for Linear Operators
  • Laurent Poinsot
  • Christel Baier
  • On Elliptic Curve Paillier Schemes
  • Marc Joye
  • Proofs of Storage: Theory, Constructions and Applications
Control code
ocn859341391
Dimensions
unknown
Extent
1 online resource (x, 275 pages)
File format
unknown
Form of item
online
Isbn
9783642406638
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-40663-8
Other physical details
14 illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)859341391

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...