Algebraic and Algorithmic Aspects of Differential and Integral Operators [[electronic resource] ] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers / / edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 201 p.) |
Disciplina | 515.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Algorithms Differential equations Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Differential Equations |
ISBN | 3-642-54479-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras -- Operational Calculi for Nonlocal Cauchy Problems in Resonance Cases -- Intertwining Laplace Transformations of Linear Partial Differential Equations -- Composing and Factoring Generalized Green’s Operators and Ordinary Boundary Problems -- Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II -- Multivariate Dimension Polynomials of Inversive Difference Field Extensions -- Differential (Monoid) Algebra and More -- Exact Solution of Local and Nonlocal BVPs for the Laplace Equation in a Rectangle. |
Record Nr. | UNINA-9910483312803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Informatics [[electronic resource] ] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 259 p. 273 illus., 22 illus. in color.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence—Data processing Numerical analysis Computer science—Mathematics Discrete mathematics Algorithms Coding theory Information theory Computer Science Logic and Foundations of Programming Data Science Numerical Analysis Discrete Mathematics in Computer Science Coding and Information Theory |
ISBN | 3-030-21363-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466325003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Informatics [[electronic resource] ] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 259 p. 273 illus., 22 illus. in color.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence—Data processing Numerical analysis Computer science—Mathematics Discrete mathematics Algorithms Coding theory Information theory Computer Science Logic and Foundations of Programming Data Science Numerical Analysis Discrete Mathematics in Computer Science Coding and Information Theory |
ISBN | 3-030-21363-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910337843303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Informatics [[electronic resource] ] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / / edited by Andreas Maletti |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (VIII, 223 p. 21 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Cryptography Data encryption (Computer science) Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Cryptology Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-319-23021-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory -- On differential uniformity of maps that may hide an algebraic trapdoor -- On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics -- A New Partial Key Exposure Attack on Multi-power RSA -- A Chomsky-Schutzenberger Theorem for Weighted Automata with Storage -- EF+EX Forest Algebras -- On near prime-order elliptic curves with small embedding degrees -- Key-Policy Multi-Authority Attribute-Based Encryption -- Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree -- Complexity of Uniform Membership of Context-Free Tree Grammars -- Attacking BEAR and LION schemes in a realistic scenario -- Weighted Restarting Automata and Pushdown Relations -- Equivalence checking problem for finite state transducers over semigroups. |
Record Nr. | UNISA-996466466203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Informatics [[electronic resource] ] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / / edited by Andreas Maletti |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (VIII, 223 p. 21 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Cryptography Data encryption (Computer science) Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Cryptology Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-319-23021-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory -- On differential uniformity of maps that may hide an algebraic trapdoor -- On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics -- A New Partial Key Exposure Attack on Multi-power RSA -- A Chomsky-Schutzenberger Theorem for Weighted Automata with Storage -- EF+EX Forest Algebras -- On near prime-order elliptic curves with small embedding degrees -- Key-Policy Multi-Authority Attribute-Based Encryption -- Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree -- Complexity of Uniform Membership of Context-Free Tree Grammars -- Attacking BEAR and LION schemes in a realistic scenario -- Weighted Restarting Automata and Pushdown Relations -- Equivalence checking problem for finite state transducers over semigroups. |
Record Nr. | UNINA-9910483981003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Informatics [[electronic resource] ] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 275 p. 14 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
ISBN | 3-642-40663-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling. |
Record Nr. | UNISA-996466037903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Informatics [[electronic resource] ] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 275 p. 14 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
ISBN | 3-642-40663-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling. |
Record Nr. | UNINA-9910484892603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Informatics [[electronic resource] ] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / / edited by Franz Winkler |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 261 p. 23 illus., 1 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
ISBN | 3-642-21493-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465402803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Topology of Finite Topological Spaces and Applications [[electronic resource] /] / by Jonathan A. Barmak |
Autore | Barmak Jonathan A |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XVII, 170p. 35 illus.) |
Disciplina | 514.2 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Algebraic topology
Combinatorics Convex geometry Discrete geometry Algebra Ordered algebraic structures Manifolds (Mathematics) Complex manifolds Discrete mathematics Algebraic Topology Convex and Discrete Geometry Order, Lattices, Ordered Algebraic Structures Manifolds and Cell Complexes (incl. Diff.Topology) Discrete Mathematics |
ISBN | 3-642-22003-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Preliminaries -- 2 Basic topological properties of finite spaces -- 3 Minimal finite models -- 4 Simple homotopy types and finite spaces -- 5 Strong homotopy types -- 6 Methods of reduction -- 7 h-regular complexes and quotients -- 8 Group actions and a conjecture of Quillen -- 9 Reduced lattices -- 10 Fixed points and the Lefschetz number -- 11 The Andrews-Curtis conjecture. |
Record Nr. | UNISA-996466642803316 |
Barmak Jonathan A | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Topology of Finite Topological Spaces and Applications [[electronic resource] /] / by Jonathan A. Barmak |
Autore | Barmak Jonathan A |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XVII, 170p. 35 illus.) |
Disciplina | 514.2 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Algebraic topology
Combinatorics Convex geometry Discrete geometry Algebra Ordered algebraic structures Manifolds (Mathematics) Complex manifolds Discrete mathematics Algebraic Topology Convex and Discrete Geometry Order, Lattices, Ordered Algebraic Structures Manifolds and Cell Complexes (incl. Diff.Topology) Discrete Mathematics |
ISBN | 3-642-22003-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Preliminaries -- 2 Basic topological properties of finite spaces -- 3 Minimal finite models -- 4 Simple homotopy types and finite spaces -- 5 Strong homotopy types -- 6 Methods of reduction -- 7 h-regular complexes and quotients -- 8 Group actions and a conjecture of Quillen -- 9 Reduced lattices -- 10 Fixed points and the Lefschetz number -- 11 The Andrews-Curtis conjecture. |
Record Nr. | UNINA-9910484422303321 |
Barmak Jonathan A | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|