Muutke küpsiste eelistusi

E-raamat: Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Edited by , Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 51,86 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.

Invited Speakers
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
1(3)
Gul Agha
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
4(2)
Christel Baier
On Elliptic Curve Paillier Schemes
6(1)
Marc Joye
Proofs of Storage: Theory, Constructions and Applications
7(2)
Seny Kamara
Code Based Cryptography and Steganography
9(38)
Pascal Veron
Contributed Papers
Strong Prefix Codes of Pictures
47(13)
Marcella Anselmo
Dora Giammarresi
Maria Madonia
The Algebraic Theory of Parikh Automata
60(14)
Michael Cadilhac
Andreas Krebs
Pierre McKenzie
Generalized AG Codes as Evaluation Codes
74(9)
Marco Calderini
Massimiliano Sala
Osculating Spaces of Varieties and Linear Network Codes
83(6)
Johan P. Hansen
On Sets of Numbers Rationally Represented in a Rational Base Number System
89(12)
Victor Marsault
Jacques Sakarovitch
A New Bound for Cyclic Codes Beating the Roos Bound
101(12)
Matteo Piva
Massimiliano Sala
On a Conjecture of Helleseth
113(6)
Yves Aubry
Philippe Langevin
Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm
119(13)
Konstantinos Draziotis
Dimitrios Poulakis
Side Channel Attacks against Pairing over Theta Functions
132(15)
Nadia El Mrabet
On the Efficient Generation of Generalized MNT Elliptic Curves
147(13)
Georgios Fotiadis
Elisavet Konstantinou
Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field
160(13)
Stephane Ballet
Jean Chaumine
Julia Pieltant
Stochastic Equationality
173(13)
Symeon Bozapalidis
George Rahonis
On Grobner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
186(13)
Sebastian Junges
Ulrich Loup
Florian Corzilius
Erika Abraham
Approximation of Large Probabilistic Networks by Structured Population Protocols
199(12)
Michel de Rougemont
Mathieu Tracol
Model-Checking by Infinite Fly-Automata
211(12)
Bruno Courcelle
Irene Durand
A Selection-Quotient Process for Packed Word Hopf Algebra
223(12)
Gerard H.E. Duchamp
Nguyen Hoang-Nghia
Adrian Tanasa
Synchronous Forest Substitution Grammars
235(12)
Andreas Maletti
Characterizations of Weighted First-Order Logics over Semirings
247(13)
Eleni Mandrali
George Rahonis
Linear Induction Algebra and a Normal Form for Linear Operators
260(15)
Laurent Poinsot
Author Index 275
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836424066382e.html
Märksõnad: