top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Semigruppi di Trasformazioni Multivoche [[electronic resource] /] / by George Szegö, Giulio Treccani
Semigruppi di Trasformazioni Multivoche [[electronic resource] /] / by George Szegö, Giulio Treccani
Autore Szegö George
Edizione [1st ed. 1969.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969
Descrizione fisica 1 online resource (177 pagg.)
Disciplina 512
Collana Lecture Notes in Mathematics
Soggetto topico Algebra
ISBN 3-540-36143-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Introduzione -- I sistemi dinamici generati da un'equazione automoma -- Sistemi dinamici ordinari -- Semigruppi di trasformazioni multivoche o sistemi dinamici generalizzati-depinizioni -- Il cono di traiettorie e le traiettorie di un sistema dinamico generalizzato -- Il sistema dinamico generalizzato generato dalla equazione autonoma ? = g(x) -- Invarianza -- Insiemi limite -- Prolongazioni ed insiemi limite prolongazionali -- Insiemi minimi -- Stabilita' di insiemi compatti -- Attrazione degli insiemi compatti -- Stabilita' asintotica degli insiemi compatti -- Classificazione del flusso nell'intorno di un insieme compatto fortemente invariante -- Funzioni di liapunov per flussi senza unicita' -- Risultati locali -- Teoremi di estensione locale e globale -- Struttura delle curve di livello -- Condizioni con le derivate semidefinite -- Teoremi tipo.rolle.
Record Nr. UNISA-996466605203316
Szegö George  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli
Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli
Autore Bistarelli Stefano
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XII, 284 p.)
Disciplina 005.1/1
Collana Lecture Notes in Computer Science
Soggetto topico Algebra
Programming languages (Electronic computers)
Computer programming
Software engineering
Computer logic
Artificial intelligence
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Logics and Meanings of Programs
Artificial Intelligence
ISBN 1-280-30701-3
9786610307012
3-540-25925-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work.
Record Nr. UNINA-9910145796603321
Bistarelli Stefano  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli
Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli
Autore Bistarelli Stefano
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XII, 284 p.)
Disciplina 005.1/1
Collana Lecture Notes in Computer Science
Soggetto topico Algebra
Programming languages (Electronic computers)
Computer programming
Software engineering
Computer logic
Artificial intelligence
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Logics and Meanings of Programs
Artificial Intelligence
ISBN 1-280-30701-3
9786610307012
3-540-25925-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work.
Record Nr. UNISA-996466051403316
Bistarelli Stefano  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Separable algebras over commutative rings / Frank DeMeyer, Edward Ingraham
Separable algebras over commutative rings / Frank DeMeyer, Edward Ingraham
Autore DeMeyer, Frank
Pubbl/distr/stampa Berlin [etc.] : Springer, 1971
Descrizione fisica 157 p. ; 26 cm.
Disciplina 512.24
Altri autori (Persone) Ingraham, Edward
Collana Lecture notes in mathematics
Soggetto topico Algebra
Anelli (matematica)
ISBN 3-540-05371-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013664
DeMeyer, Frank  
Berlin [etc.] : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Separable algebras over commutative rings / / Frank De Meyer, Edward Ingraham
Separable algebras over commutative rings / / Frank De Meyer, Edward Ingraham
Autore DeMeyer Frank <1939->
Edizione [1st ed. 1971.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer-Verlag, , [1971]
Descrizione fisica 1 online resource (VI, 166 p.)
Disciplina 512.4
Collana Lecture Notes in Mathematics
Soggetto topico Commutative rings
Algebra
Rings (Algebra)
ISBN 3-540-36484-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preliminaries -- Central separable algebras and the brauer group -- Galois theory -- The six-term exact sequence -- Applications and remarks.
Record Nr. UNISA-996466598803316
DeMeyer Frank <1939->  
Berlin ; ; Heidelberg : , : Springer-Verlag, , [1971]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Separable algebras over commutative rings / Frank DeMeyer, Edward Ingraham
Separable algebras over commutative rings / Frank DeMeyer, Edward Ingraham
Autore DeMeyer, Frank
Pubbl/distr/stampa Berlin : Springer-Verlag, 1971
Descrizione fisica 157 p. ; 26 cm
Disciplina 512.4
Altri autori (Persone) Ingraham, Edwardauthor
Collana Lecture notes in mathematics, 0075-8434 ; 181
Soggetto topico Algebra
Commutative rings
ISBN 3540053719
Classificazione AMS 13-02
AMS 13-XX
AMS 13A99
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001338759707536
DeMeyer, Frank  
Berlin : Springer-Verlag, 1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Separable type representations of matrices and fast algorithms [[electronic resource] ] : volume 1 basics. completion problems. multiplication and inversion algorithms / / by Yuli Eidelman, Israel Gohberg, Iulian Haimovici
Separable type representations of matrices and fast algorithms [[electronic resource] ] : volume 1 basics. completion problems. multiplication and inversion algorithms / / by Yuli Eidelman, Israel Gohberg, Iulian Haimovici
Autore Eidelman Yuli
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014
Descrizione fisica 1 online resource (404 p.)
Disciplina 512.9434
Collana Operator Theory: Advances and Applications
Soggetto topico Matrix theory
Algebra
Numerical analysis
Linear and Multilinear Algebras, Matrix Theory
Numerical Analysis
ISBN 3-0348-0606-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Basics on separable, semiseparable and quasiseparable representations of matrices -- 1. Matrices with separable representation and low complexity algorithms -- 2. The minimal rank completion problem -- 3. Matrices in diagonal plus semiseparable form -- 4. Quasiseparable representations: the basics -- 5. Quasiseparable generators -- 6. Rank numbers of pairs of mutually inverse matrices, Asplund theorems -- 7. Unitary matrices with quasiseparable representations -- Part 2. Completion of matrices with specified bands -- 8. Completion to Green matrices -- 9. Completion to matrices with band inverses and with minimal ranks -- 10. Completion of special types of matrices -- 11. Completion of mutually inverse matrices -- 12. Completion to unitary matrices -- Part 3. Quasiseparable representations of matrices, descriptor systems with boundary conditions and first applications -- 13. Quasiseparable representations and descriptor systems with boundary conditions -- 14. The first inversion algorithms -- 15. Inversion of matrices in diagonal plus semiseparable form -- 16. Quasiseparable/semiseparable representations and one-direction systems -- 17. Multiplication of matrices -- Part 4. Factorization and inversion -- 18. The LDU factorization and inversion -- 19. Scalar matrices with quasiseparable order one -- 20. The QR factorization based method.
Record Nr. UNINA-9910300142003321
Eidelman Yuli  
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Separable type representations of matrices and fast algorithms [[electronic resource] ] : volume 2 eigenvalue method / / by Yuli Eidelman, Israel Gohberg, Iulian Haimovici
Separable type representations of matrices and fast algorithms [[electronic resource] ] : volume 2 eigenvalue method / / by Yuli Eidelman, Israel Gohberg, Iulian Haimovici
Autore Eidelman Yuli
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014
Descrizione fisica 1 online resource (358 p.)
Disciplina 512.9434
Collana Operator Theory: Advances and Applications
Soggetto topico Matrix theory
Algebra
Numerical analysis
Linear and Multilinear Algebras, Matrix Theory
Numerical Analysis
ISBN 3-0348-0612-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 5. The eigenvalue structure of order one quasiseparable matrices -- 21. Quasiseparable of order one matrices. Characteristic polynomials -- 22. Eigenvalues with geometric multiplicity one -- 23. Kernels of quasiseparable of order one matrices -- 24. Multiple eigenvalues -- Part 6. Divide and conquer method for eigenproblems -- 25. Divide step -- 26. Conquer step and rational matrix functions eigenproblem -- 27. Complete algorithm for Hermitian matrices -- 28. Complete algorithm for unitary Hessenberg matrices -- Part 7. Algorithms for qr iterations and for reduction to Hessenberg form -- 29. The QR iteration method for eigenvalues -- 30. The reduction to Hessenberg form -- 31. The implicit QR iteration method for eigenvalues of upper Hessenberg matrices -- Part 8. QR iterations for companion matrices -- 32. Companion and unitary matrices -- 33. Explicit methods -- 34. Implicit methods with compression -- 35. The factorization based implicit method -- 36. Implicit algorithms based on the QR representation -- Bibliography.  .
Record Nr. UNINA-9910300143303321
Eidelman Yuli  
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sequences and Their Applications - SETA 2008 [[electronic resource] ] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof
Sequences and Their Applications - SETA 2008 [[electronic resource] ] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 421 p.)
Disciplina 515.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Computer science
Mathematical models
Algebra
Coding theory
Information theory
Discrete Mathematics in Computer Science
Theory of Computation
Mathematical Modeling and Industrial Mathematics
Symbolic and Algebraic Manipulation
Coding and Information Theory
ISBN 3-540-85912-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets and Sequences for Quasi-Monte Carlo and for Random Number Generation -- On Independence and Sensitivity of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A Probabilistic Approach on Estimating the Number of Modular Sonar Sequences -- A Study on the Pseudorandom Properties of Sequences Generated Via the Additive Order -- On the Average Distribution of Power Residues and Primitive Elements in Inversive and Nonlinear Recurring Sequences -- Correlation -- Some Results on the Arithmetic Correlation of Sequences -- A Class of Nonbinary Codes and Sequence Families -- Results on the Crosscorrelation and Autocorrelation of Sequences -- m-Sequences of Lengths 22k ??1 and 2 k ???1 with at Most Four-Valued Cross Correlation -- On the Correlation Distribution of Kerdock Sequences -- Two New Families of Low-Correlation Interleaved QAM Sequences -- Combinatorial and Algebraic Foundations -- The Combinatorics of Differentiation -- Group Representation Design of Digital Signals and Sequences -- Projective de Bruijn Sequences -- Multiplicative Character Sums of Recurring Sequences with Rédei Functions -- On the Connection between Kloosterman Sums and Elliptic Curves -- A Class of Optimal Frequency Hopping Sequences Based upon the Theory of Power Residues -- Security Aspects of Sequences -- Sequences, DFT and Resistance against Fast Algebraic Attacks -- Expected ?-Adic Security Measures of Sequences -- Distance-Avoiding Sequences for Extremely Low-Bandwidth Authentication -- On the Number of Linearly Independent Equations Generated by XL -- 2 n -Periodic Binary Sequences with Fixed k-Error Linear Complexity for k?=?2 or 3 -- Generalized Joint Linear Complexity of Linear Recurring Multisequences -- Algorithms -- A Lattice-Based Minimal Partial Realization Algorithm -- A Fast Jump Ahead Algorithm for Linear Recurrences in a Polynomial Space -- Parallel Generation of ?-Sequences -- Correlation of Sequences over Rings -- Design of M-Ary Low Correlation Zone Sequence Sets by Interleaving -- The Peak to Sidelobe Level of the Most Significant Bit of Trace Codes over Galois Rings -- On Partial Correlations of Various Z 4 Sequence Families -- Nonlinear Functions over Finite Fields -- On the Higher Order Nonlinearities of Boolean Functions and S-Boxes, and Their Generalizations -- On a Class of Permutation Polynomials over -- On 3-to-1 and Power APN S-Boxes -- Negabent Functions in the Maiorana–McFarland Class -- New Perfect Nonlinear Multinomials over F for Any Odd Prime p -- A New Tool for Assurance of Perfect Nonlinearity.
Record Nr. UNISA-996465303803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Sequences and Their Applications - SETA 2008 [[electronic resource] ] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof
Sequences and Their Applications - SETA 2008 [[electronic resource] ] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XII, 421 p.)
Disciplina 515.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Computer science
Mathematical models
Algebra
Coding theory
Information theory
Discrete Mathematics in Computer Science
Theory of Computation
Mathematical Modeling and Industrial Mathematics
Symbolic and Algebraic Manipulation
Coding and Information Theory
ISBN 3-540-85912-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets and Sequences for Quasi-Monte Carlo and for Random Number Generation -- On Independence and Sensitivity of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A Probabilistic Approach on Estimating the Number of Modular Sonar Sequences -- A Study on the Pseudorandom Properties of Sequences Generated Via the Additive Order -- On the Average Distribution of Power Residues and Primitive Elements in Inversive and Nonlinear Recurring Sequences -- Correlation -- Some Results on the Arithmetic Correlation of Sequences -- A Class of Nonbinary Codes and Sequence Families -- Results on the Crosscorrelation and Autocorrelation of Sequences -- m-Sequences of Lengths 22k ??1 and 2 k ???1 with at Most Four-Valued Cross Correlation -- On the Correlation Distribution of Kerdock Sequences -- Two New Families of Low-Correlation Interleaved QAM Sequences -- Combinatorial and Algebraic Foundations -- The Combinatorics of Differentiation -- Group Representation Design of Digital Signals and Sequences -- Projective de Bruijn Sequences -- Multiplicative Character Sums of Recurring Sequences with Rédei Functions -- On the Connection between Kloosterman Sums and Elliptic Curves -- A Class of Optimal Frequency Hopping Sequences Based upon the Theory of Power Residues -- Security Aspects of Sequences -- Sequences, DFT and Resistance against Fast Algebraic Attacks -- Expected ?-Adic Security Measures of Sequences -- Distance-Avoiding Sequences for Extremely Low-Bandwidth Authentication -- On the Number of Linearly Independent Equations Generated by XL -- 2 n -Periodic Binary Sequences with Fixed k-Error Linear Complexity for k?=?2 or 3 -- Generalized Joint Linear Complexity of Linear Recurring Multisequences -- Algorithms -- A Lattice-Based Minimal Partial Realization Algorithm -- A Fast Jump Ahead Algorithm for Linear Recurrences in a Polynomial Space -- Parallel Generation of ?-Sequences -- Correlation of Sequences over Rings -- Design of M-Ary Low Correlation Zone Sequence Sets by Interleaving -- The Peak to Sidelobe Level of the Most Significant Bit of Trace Codes over Galois Rings -- On Partial Correlations of Various Z 4 Sequence Families -- Nonlinear Functions over Finite Fields -- On the Higher Order Nonlinearities of Boolean Functions and S-Boxes, and Their Generalizations -- On a Class of Permutation Polynomials over -- On 3-to-1 and Power APN S-Boxes -- Negabent Functions in the Maiorana–McFarland Class -- New Perfect Nonlinear Multinomials over F for Any Odd Prime p -- A New Tool for Assurance of Perfect Nonlinearity.
Record Nr. UNINA-9910768441803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...