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.
Applications and Techniques in Information Security : 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings / / edited by Wenjia Niu, Gang Li, Jiqiang Liu, Jianlong Tan, Li Guo, Zhen Han, Lynn Batten
| Applications and Techniques in Information Security : 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings / / edited by Wenjia Niu, Gang Li, Jiqiang Liu, Jianlong Tan, Li Guo, Zhen Han, Lynn Batten |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVII, 398 p. 147 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Data encryption (Computer science) Algorithms Systems and Data Security Cryptology Algorithm Analysis and Problem Complexity |
| ISBN | 3-662-48683-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Invited Speeches -- Memory Scrapper Attacks - Threats and Mitigations -- A Simple and Provable Secure (Authenticated) Key Exchange Based on LWE -- Contents -- Cryptograph -- An Image Encryption Algorithm Based on Zigzag Transformation and 3-Dimension Chaotic Logistic Map -- Abstract -- 1 Introduction -- 2 Basic Theory of the Proposed Algorithm -- 2.1 Zigzag Transformation -- 2.2 3-Dimension Logistic Chaotic Map -- 3 Algorithm Described -- 4 Simulation Result -- 5 The Security Analysis -- 5.1 Resistance to Exhaustive Attack -- 5.1.1 Analysis of Key Space -- 5.1.2 Keys' Sensitivity Analysis -- 5.2 Resistance to Statistical Attack -- 5.2.1 The Grey Histogram Analysis -- 5.2.2 Correlation Coefficient Analysis -- 5.3 Information Entropy Analysis -- 5.4 Compare the Efficiency of Encryption and Decryption -- 6 Conclusion -- Acknowledgements -- References -- An Improved Cloud-Based Revocable Identity-Based Proxy Re-encryption Scheme -- 1 Introduction -- 2 Preliminaries -- 3 Security Analysis of Liang et al.'s CR-IB-PRE Scheme -- 4 Syntax and Security Definition for CR-IB-PRE Scheme -- 5 Our Improved CR-IB-PRE Scheme -- 6 Security and Efficiency Analysis -- 7 Conclusion -- References -- Cryptographic Public Key Length Prediction -- Abstract -- 1 Introduction -- 2 Key Length Prediction -- 2.1 Lenstra and Verheul Equations -- 2.2 Lenstra Update Equations -- 2.3 The Network Working Group RFC3766 -- 2.4 ECRYPT and ECRYPT II -- 2.5 Nist -- 2.6 Anssi -- 2.7 BSI -- 3 Moore's Law -- 4 Experiments and Environment -- 5 Summary and Conclusions -- References -- An Image Encryption Algorithm Based on Chua's Chaos and Baker's Transformation -- 1 Introduction -- 2 Chaos Theory -- 3 Baker's Transformation -- 4 Encryption Methodology -- 5 Experimental Results and Analysis -- 5.1 Experimental Results -- 5.2 Experimental Analysis.
6 Conclusion -- References -- Quantum Differential Cryptanalysis to the Block Ciphers -- 1 Introduction -- 2 Preliminaries -- 2.1 Classical Differential Cryptanalysis -- 2.2 The Bernstein--Vazirani Algorithm -- 2.3 Results After Running the Bernstein--Vazirani Algorithm -- 3 Quantum Algorithm to Execute Differential Cryptanalysis -- 3.1 The First Method -- 3.2 The Second Method -- 4 Discussions and Conclusions -- References -- An Enhanced Authentication Scheme for Virtual Private Network Access Based on Platform Attributes o ... -- Abstract -- 1 Introduction -- 2 Preliminaries -- 2.1 VPN -- 2.2 Platform Security Attributes -- 2.3 Attribute Based Encryption -- 3 Problem Definition -- 3.1 Our Goals -- 3.2 Threat Model and Assumptions -- 4 Design -- 4.1 Authentication Scheme Overview -- 4.2 Platform Attributes Extraction -- 4.3 Security Requirements Classification -- 5 Implementation -- 5.1 Platform Attributes Expression -- 5.2 Remote Authentication Framework -- 5.3 ABE Based Authentication -- 5.4 Trusted Computing Based Attributes -- 6 Analysis -- 6.1 Security Analysis -- 6.2 Performance Analysis -- 7 Conclusion -- References -- Public Key Timed-Release Attribute-Based Encryption -- 1 Introduction -- 1.1 Our Contributions -- 1.2 Related Work -- 1.3 Organization -- 2 Preliminaries -- 2.1 Bilinear Maps -- 2.2 Complexity Assumptions -- 3 PKTRABE: Definitions -- 4 Construction 1: Single Time Server -- 4.1 Description of the Scheme -- 4.2 Security of the Scheme -- 5 Construction 2: Multiple Time Servers -- 5.1 Description of the Scheme -- 5.2 Security of the Scheme -- 6 Conclusions and Future Work -- References -- Color Image Encryption in CIE L*a*b* Space -- 1 Introduction -- 2 Previous Work -- 3 Preliminaries -- 3.1 1D Logistic Map -- 3.2 2D Arnold's Cat Map -- 3.3 3D Lu Map -- 4 Color Image Encryption in L*a*b* -- 4.1 Color Conversion. 4.2 The L* Channel -- 4.3 The A* and B* Channel -- 5 Simulation Results -- 6 Security and Performance Analysis -- 6.1 Resistance to the Brute-Force Attack -- 6.2 Resistance to the Statistic Attack -- 6.3 The Speed of the Encryption and Decryption -- 7 Conclusion and Discussion -- References -- Evaluation, Standards and Protocols -- Discover Abnormal Behaviors Using HTTP Header Fields Measurement -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Discovery of Abnormal Behaviors -- 2.2 Automatic Discovery of Protocol Format -- 3 Methodology -- 4 Experiments and Results -- 4.1 Environment -- 4.2 The Basic Statistical Analysis of HTTP Header Field -- 4.3 The Mining Analysis of HTTP Header Field Order -- 4.4 Recognize Abnormal HTTP Flow -- 5 Conclusions -- Acknowledgements -- References -- Reconstruction of Potential Attack Scenarios of the OpenID Protocol Towards Network Forensics Analysis -- 1 Introduction -- 2 Overview of the OpenID Protocol -- 3 Modeling Protocols in TLA+ -- 3.1 General Flow -- 3.2 Protocol Specification -- 4 Experimental Results and Discussion -- 5 Defense Mechanisms -- 6 Conclusion -- References -- A Lightweight Code-Based Authentication Protocol for RFID Systems -- 1 Introduction -- 2 Related Work -- 3 Error Correction Code (ECC) -- 4 Our Proposed Protocol -- 4.1 QC-MDPC McEliece Encryption -- 4.2 Initialization -- 4.3 Authentication -- 5 Security Analysis -- 6 Performance Analysis -- 7 Conclusion -- References -- An Overview of Ad Hoc Network Security -- Abstract -- 1 Introduction -- 2 Existing Typical Schemes -- 2.1 Threshold Mechanism Schemes -- 2.2 Self-organized Mechanism Schemes -- 2.3 Id-Based Mechanism Schemes -- 2.4 Cluster-Based Mechanism Schemes -- 3 The Comparisons of Those Schemes -- 4 Further Study -- 4.1 A Bi-directional Trust Model -- 4.2 A Trust Model with Parameter -- 5 Conclusions -- References. Trust Computing and Privacy Protection -- Structural Analysis of IWA Social Network -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 3.1 Basic Concept of IWA Social Network -- 3.2 IWA Social Network Construction -- 3.3 Community Detection Algorithm -- 4 Experiment -- 4.1 Data Setting -- 4.2 Experimental Results and Analysis -- 5 Conclusion -- References -- A Differentially Private Method for Reward-Based Spatial Crowdsourcing -- 1 Introduction -- 2 Related Work and Background -- 2.1 Related Work -- 2.2 Differential Privacy -- 3 Differentially Private Method -- 3.1 Problem Definition -- 3.2 Building Contour Plot with DP -- 3.3 Task Assignment -- 4 Experiments -- 4.1 Settings -- 4.2 Experiment Results and Comparisons -- 5 Conclusions -- References -- Do Applications Perform Its Original Design? A Preliminary Analysis from Internet Big Data -- Abstract -- 1 Introduction and Motivations -- 2 Measurement Methodology -- 2.1 Overview of Data Sets -- 2.2 Measurement Metrics -- 2.3 Measurement Framework -- 3 Measurement Result -- 3.1 HTTP and HTTPS Performance -- 3.2 FTP Performance -- 3.3 SSH Performance -- 3.4 SMTP Performance -- 4 Conclusion and Future Works -- References -- Trust Prediction with Trust Antecedent Framework Regularization -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Matrix Factorization Model for Trust Prediction -- 4 Modeling Trust Antecedent Framework for Trust Prediction -- 4.1 Factors of Perceived Trustworthiness -- 4.2 The Proposed Framework: tafTrust -- 5 Experiments -- 5.1 Dataset -- 5.2 Evaluation Metrics -- 5.3 Comparison Methods and Details -- 5.4 Impact of Parameter gamma -- 6 Conclusion and Future Work -- Acknowledgments -- References -- Trust Prediction Based on Interactive Relations Strength -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Trust Prediction Framework. 3.1 Modeling Relational Strength in Fields -- 3.2 Trust Prediction Model -- 4 Experiments and Evaluation -- 4.1 Dataset and Evaluation Method -- 4.2 Comparison of Different Trust Predictors -- 5 Conclusions -- Acknowledgments -- References -- Cloud Security and Applications -- You Can't Hide: A Novel Methodology to Defend DDoS Attack Based on Botcloud -- Abstract -- 1 Introduction -- 2 Related Works -- 3 A Novel Methodology of Defending DDoS Attack Based on Botcloud -- 3.1 Identifying Attack Flows -- 3.2 Tracebacking Malicious Processes -- 4 Experiments and Analysis -- 4.1 Experimental Setting -- 4.2 Experimental Results and Analysis -- 5 Conclusion and Future Works -- References -- Quantitative Evaluation Method of Cloud Security -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Cloud Security Indicator System -- 3.1 Principles of Building of Indicator System -- 3.2 Architecture of the Indicator System -- 4 Quantitative Assessment of Cloud Security -- 4.1 Multi-attribute Decision Making Indicator System -- 4.2 Normalization of Decision-Making Index -- 4.3 Multi-attribute Decision-Making -- 5 Example of Quantitative Analysis -- 5.1 Security Evaluation Module -- 5.2 Quantization Evaluation -- 6 Summary -- References -- A Large-Scale Distributed Sorting Algorithm Based on Cloud Computing -- Abstract -- 1 Introduction -- 2 Construction of Large-Scale Distributed Sorting Platform -- 2.1 Business Logic Design -- 2.1.1 Business Logic Design of Host -- 2.1.2 Business Logic Design of Working Machine -- 3 Large-Scale Distributed Sorting Algorithm Design -- 3.1 Large-Scale Distributed Sorting Algorithm Design of Host -- 3.1.1 Data Distribution Based on Constraint of the Number of Working Machine -- 3.1.2 Task Distribution Based on Constraint of Free Time -- 3.2 Large-Scale Distributed Sorting Algorithm Design of Working Machine. 4 Implementation and Validation of Algorithm. |
| Record Nr. | UNINA-9910298961303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Differential algebra and related topics [[electronic resource] ] : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.]
| Differential algebra and related topics [[electronic resource] ] : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.] |
| Pubbl/distr/stampa | Singapore ; ; Hong Kong, : World Scientific, c2002 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 515.35 |
| Altri autori (Persone) | GuoLi |
| Soggetto topico |
Differential algebra
Algebraic fields |
| Soggetto genere / forma | Electronic books. |
| ISBN | 981-277-843-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Foreword ; Workshop Participants ; Workshop Program ; The Ritt-Kolchin Theory for Differential Polynomials ; Preface ; 1 Basic Definitions ; 2 Triangular Sets and Pseudo-Division ; 3 Invertibility of Initials ; 4 Ranking and Reduction Concepts ; 5 Characteristic Sets
6 Reduction Algorithms 7 Rosenfeld Properties of an Autoreduced Set ; 8 Coherence and Rosenfeld's Lemma ; 9 Ritt-Raudenbush Basis Theorem ; 10 Decomposition Problems ; 11 Component Theorems ; 12 The Low Power Theorem ; Appendix: Solutions and hints to selected exercises ; References Differential Schemes 1 Introduction ; 2 Differential rings ; 3 Differential spectrum ; 4 Structure sheaf ; 5 Morphisms ; 6 A-Schemes ; 7 A-Zeros ; 8 Differential spectrum of R ; 9 AAD modules ; 10 Global sections of AAD rings ; 11 AAD schemes ; 12 AAD reduction 13 Based schemes 14 Products ; References ; Differential Algebra - A Scheme Theory Approach ; Introduction ; 1 Differential Rings ; 2 Kolchin's Irreducibility Theorem ; 3 Descent for Projective Varieties ; 4 Complements and Questions ; References Model Theory and Differential Algebra 1 Introduction ; 2 Notation and conventions in differential algebra ; 3 What is model theory? ; 4 Differentially closed fields ; 5 O-minimal theories ; 6 Valued differential fields ; 7 Model theory of difference fields ; References Inverse Differential Galois Theory |
| Record Nr. | UNINA-9910451315903321 |
| Singapore ; ; Hong Kong, : World Scientific, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Differential algebra and related topics [[electronic resource] ] : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.]
| Differential algebra and related topics [[electronic resource] ] : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.] |
| Pubbl/distr/stampa | Singapore ; ; Hong Kong, : World Scientific, c2002 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 515.35 |
| Altri autori (Persone) | GuoLi |
| Soggetto topico |
Differential algebra
Algebraic fields |
| ISBN | 981-277-843-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Foreword ; Workshop Participants ; Workshop Program ; The Ritt-Kolchin Theory for Differential Polynomials ; Preface ; 1 Basic Definitions ; 2 Triangular Sets and Pseudo-Division ; 3 Invertibility of Initials ; 4 Ranking and Reduction Concepts ; 5 Characteristic Sets
6 Reduction Algorithms 7 Rosenfeld Properties of an Autoreduced Set ; 8 Coherence and Rosenfeld's Lemma ; 9 Ritt-Raudenbush Basis Theorem ; 10 Decomposition Problems ; 11 Component Theorems ; 12 The Low Power Theorem ; Appendix: Solutions and hints to selected exercises ; References Differential Schemes 1 Introduction ; 2 Differential rings ; 3 Differential spectrum ; 4 Structure sheaf ; 5 Morphisms ; 6 A-Schemes ; 7 A-Zeros ; 8 Differential spectrum of R ; 9 AAD modules ; 10 Global sections of AAD rings ; 11 AAD schemes ; 12 AAD reduction 13 Based schemes 14 Products ; References ; Differential Algebra - A Scheme Theory Approach ; Introduction ; 1 Differential Rings ; 2 Kolchin's Irreducibility Theorem ; 3 Descent for Projective Varieties ; 4 Complements and Questions ; References Model Theory and Differential Algebra 1 Introduction ; 2 Notation and conventions in differential algebra ; 3 What is model theory? ; 4 Differentially closed fields ; 5 O-minimal theories ; 6 Valued differential fields ; 7 Model theory of difference fields ; References Inverse Differential Galois Theory |
| Record Nr. | UNINA-9910784986603321 |
| Singapore ; ; Hong Kong, : World Scientific, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Differential algebra and related topics : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.]
| Differential algebra and related topics : proceedings of the International Workshop, Newark Campus of Rutgers, The State University of New Jersey, 2-3 November 2000 / / editors, Li Guo ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hong Kong, : World Scientific, c2002 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 515.35 |
| Altri autori (Persone) | GuoLi |
| Soggetto topico |
Differential algebra
Algebraic fields |
| ISBN | 981-277-843-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Foreword ; Workshop Participants ; Workshop Program ; The Ritt-Kolchin Theory for Differential Polynomials ; Preface ; 1 Basic Definitions ; 2 Triangular Sets and Pseudo-Division ; 3 Invertibility of Initials ; 4 Ranking and Reduction Concepts ; 5 Characteristic Sets
6 Reduction Algorithms 7 Rosenfeld Properties of an Autoreduced Set ; 8 Coherence and Rosenfeld's Lemma ; 9 Ritt-Raudenbush Basis Theorem ; 10 Decomposition Problems ; 11 Component Theorems ; 12 The Low Power Theorem ; Appendix: Solutions and hints to selected exercises ; References Differential Schemes 1 Introduction ; 2 Differential rings ; 3 Differential spectrum ; 4 Structure sheaf ; 5 Morphisms ; 6 A-Schemes ; 7 A-Zeros ; 8 Differential spectrum of R ; 9 AAD modules ; 10 Global sections of AAD rings ; 11 AAD schemes ; 12 AAD reduction 13 Based schemes 14 Products ; References ; Differential Algebra - A Scheme Theory Approach ; Introduction ; 1 Differential Rings ; 2 Kolchin's Irreducibility Theorem ; 3 Descent for Projective Varieties ; 4 Complements and Questions ; References Model Theory and Differential Algebra 1 Introduction ; 2 Notation and conventions in differential algebra ; 3 What is model theory? ; 4 Differentially closed fields ; 5 O-minimal theories ; 6 Valued differential fields ; 7 Model theory of difference fields ; References Inverse Differential Galois Theory |
| Record Nr. | UNINA-9910812892403321 |
| Singapore ; ; Hong Kong, : World Scientific, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Operads and universal algebra [[electronic resource] ] : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday
| Operads and universal algebra [[electronic resource] ] : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday |
| Pubbl/distr/stampa | Singapore, : World Scientific Pub. Co., 2012 |
| Descrizione fisica | 1 online resource (318 p.) |
| Disciplina | 512.62 |
| Altri autori (Persone) |
BaiChengming
GuoLi LodayJean-Louis |
| Collana | Nankai series in pure, applied mathematics and theoretical physics |
| Soggetto topico |
Operads
Algebra, Universal |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-66960-8
9786613646538 981-4365-12-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Organizing Committees; Speakers and Lectures; Participants and Photos; Contents; Grobner-Shirshov Bases for Categories L. A. Bokut, Yuqun Chen and Yu Li; 1. Introduction; 2. A short survey on Grobner-Shirshov bases; 3. Composition-Diamond lemma for categories; 3.1. Free categories and category partial algebras; 3.2. Composition-Diamond lemma for category partial algebras; 4. Grobner-Shirshov bases for the simplicial category and the cyclic category; 4.1. Grobner-Shirshov basis for the simplicial category; 4.2. Grobner-Shirshov basis for the cyclic category; References
Operads, Clones, and Distributive Laws Pierre-Louis Curien1. Introduction; 2. Three useful combinators; 3. Kan extensions; 4. Kelly's account of operads; 5. Operads from analytic functors; 6. Profunctors; 7. Profunctors as a Kleisli category; 8. Distributive laws; 9. A !/Psh distributive law; 10. Intermezzo; 11. The (bi)category Prof ?; 12. Cooperads and properads; References; Leibniz Superalgebras Graded by Finite Root Systems Naihong Hu, Dong Liu and Linsheng Zhu; 1. Introduction; 2. Associative super dialgebras and leibniz superalgebras; 2.1. Associative super dialgebras 2.2. Leibniz superalgebra2.3. Leibniz algebras graded by finite root systems; 3. Leibniz superalgebras graded by finite root systems; 4. The structure of the A(m, n)-graded Leibniz superalgebras (m > n); 5. The structure of -graded Leibniz superalgebras of other types; ACKNOWLEDGMENTS; References; Tridendriform Algebras Spanned by Partitions Daniel Jimenez and Marıa Ronco; Introduction; 1. Preliminaries; Shuffles; 2. Rota-Baxter algebras and tridendriform bialgebras; 3. Tridendriform structure on the space of partitions; 4. Tridendriform algebra structure on the maps between finite sets ReferencesGeneralized Disjunctive Languages and Universal Algebra Yun Liu; 1. Introduction; 2. K-Disjunctive languages and universal algebra; 3. Generalized disjunctive hierarchy; Acknowledgements; References; Koszul Duality of the Category of Trees and Bar Constructions for Operads Muriel Livernet; Introduction; 1. The tree category is Koszul; 1.1. The tree category TI; 1.2. Bar construction for the category TI; 1.2.1. Bar construction; 1.2.2. Resolution of left and right TI -modules and Tor functors; 1.2.3. Normalized bar complex; 1.3. The Koszul complex of the category TI 1.3.1. The Koszul complex1.3.2. The Koszul complex of the category TI with coefficients; 1.4. The category TI is Koszul; 1.5. Bibliographical remarks; 2. Comparison of three di erent types of bar constructions for an operad; 2.1. Principle of the bar construction with coefficients; 2.2. Operads as left TI-modules; 2.3. Two-sided bar construction from the free operad functor; 2.3.1. The two-sided bar construction; 2.3.2. Right TI -modules and F-functors; 2.4. The bar construction with respect to the monoidal structure 2.5. The classical bar construction of operads, and the levelization morphism |
| Record Nr. | UNINA-9910451615403321 |
| Singapore, : World Scientific Pub. Co., 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Operads and universal algebra [[electronic resource] ] : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday
| Operads and universal algebra [[electronic resource] ] : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday |
| Pubbl/distr/stampa | Singapore, : World Scientific Pub. Co., 2012 |
| Descrizione fisica | 1 online resource (318 p.) |
| Disciplina | 512.62 |
| Altri autori (Persone) |
BaiChengming
GuoLi LodayJean-Louis |
| Collana | Nankai series in pure, applied mathematics and theoretical physics |
| Soggetto topico |
Operads
Algebra, Universal |
| ISBN |
1-280-66960-8
9786613646538 981-4365-12-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Organizing Committees; Speakers and Lectures; Participants and Photos; Contents; Grobner-Shirshov Bases for Categories L. A. Bokut, Yuqun Chen and Yu Li; 1. Introduction; 2. A short survey on Grobner-Shirshov bases; 3. Composition-Diamond lemma for categories; 3.1. Free categories and category partial algebras; 3.2. Composition-Diamond lemma for category partial algebras; 4. Grobner-Shirshov bases for the simplicial category and the cyclic category; 4.1. Grobner-Shirshov basis for the simplicial category; 4.2. Grobner-Shirshov basis for the cyclic category; References
Operads, Clones, and Distributive Laws Pierre-Louis Curien1. Introduction; 2. Three useful combinators; 3. Kan extensions; 4. Kelly's account of operads; 5. Operads from analytic functors; 6. Profunctors; 7. Profunctors as a Kleisli category; 8. Distributive laws; 9. A !/Psh distributive law; 10. Intermezzo; 11. The (bi)category Prof ?; 12. Cooperads and properads; References; Leibniz Superalgebras Graded by Finite Root Systems Naihong Hu, Dong Liu and Linsheng Zhu; 1. Introduction; 2. Associative super dialgebras and leibniz superalgebras; 2.1. Associative super dialgebras 2.2. Leibniz superalgebra2.3. Leibniz algebras graded by finite root systems; 3. Leibniz superalgebras graded by finite root systems; 4. The structure of the A(m, n)-graded Leibniz superalgebras (m > n); 5. The structure of -graded Leibniz superalgebras of other types; ACKNOWLEDGMENTS; References; Tridendriform Algebras Spanned by Partitions Daniel Jimenez and Marıa Ronco; Introduction; 1. Preliminaries; Shuffles; 2. Rota-Baxter algebras and tridendriform bialgebras; 3. Tridendriform structure on the space of partitions; 4. Tridendriform algebra structure on the maps between finite sets ReferencesGeneralized Disjunctive Languages and Universal Algebra Yun Liu; 1. Introduction; 2. K-Disjunctive languages and universal algebra; 3. Generalized disjunctive hierarchy; Acknowledgements; References; Koszul Duality of the Category of Trees and Bar Constructions for Operads Muriel Livernet; Introduction; 1. The tree category is Koszul; 1.1. The tree category TI; 1.2. Bar construction for the category TI; 1.2.1. Bar construction; 1.2.2. Resolution of left and right TI -modules and Tor functors; 1.2.3. Normalized bar complex; 1.3. The Koszul complex of the category TI 1.3.1. The Koszul complex1.3.2. The Koszul complex of the category TI with coefficients; 1.4. The category TI is Koszul; 1.5. Bibliographical remarks; 2. Comparison of three di erent types of bar constructions for an operad; 2.1. Principle of the bar construction with coefficients; 2.2. Operads as left TI-modules; 2.3. Two-sided bar construction from the free operad functor; 2.3.1. The two-sided bar construction; 2.3.2. Right TI -modules and F-functors; 2.4. The bar construction with respect to the monoidal structure 2.5. The classical bar construction of operads, and the levelization morphism |
| Record Nr. | UNINA-9910779285303321 |
| Singapore, : World Scientific Pub. Co., 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Operads and universal algebra : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday
| Operads and universal algebra : proceedings of the International Conference on Operads and Universal Algebra, Tianjin, China, 5-9 July 2010 / / edited by Chengming Bai, Li Guo, Jean-Louis Loday |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore, : World Scientific Pub. Co., 2012 |
| Descrizione fisica | 1 online resource (318 p.) |
| Disciplina | 512.62 |
| Altri autori (Persone) |
BaiChengming
GuoLi LodayJean-Louis |
| Collana | Nankai series in pure, applied mathematics and theoretical physics |
| Soggetto topico |
Operads
Algebra, Universal |
| ISBN |
1-280-66960-8
9786613646538 981-4365-12-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Organizing Committees; Speakers and Lectures; Participants and Photos; Contents; Grobner-Shirshov Bases for Categories L. A. Bokut, Yuqun Chen and Yu Li; 1. Introduction; 2. A short survey on Grobner-Shirshov bases; 3. Composition-Diamond lemma for categories; 3.1. Free categories and category partial algebras; 3.2. Composition-Diamond lemma for category partial algebras; 4. Grobner-Shirshov bases for the simplicial category and the cyclic category; 4.1. Grobner-Shirshov basis for the simplicial category; 4.2. Grobner-Shirshov basis for the cyclic category; References
Operads, Clones, and Distributive Laws Pierre-Louis Curien1. Introduction; 2. Three useful combinators; 3. Kan extensions; 4. Kelly's account of operads; 5. Operads from analytic functors; 6. Profunctors; 7. Profunctors as a Kleisli category; 8. Distributive laws; 9. A !/Psh distributive law; 10. Intermezzo; 11. The (bi)category Prof ?; 12. Cooperads and properads; References; Leibniz Superalgebras Graded by Finite Root Systems Naihong Hu, Dong Liu and Linsheng Zhu; 1. Introduction; 2. Associative super dialgebras and leibniz superalgebras; 2.1. Associative super dialgebras 2.2. Leibniz superalgebra2.3. Leibniz algebras graded by finite root systems; 3. Leibniz superalgebras graded by finite root systems; 4. The structure of the A(m, n)-graded Leibniz superalgebras (m > n); 5. The structure of -graded Leibniz superalgebras of other types; ACKNOWLEDGMENTS; References; Tridendriform Algebras Spanned by Partitions Daniel Jimenez and Marıa Ronco; Introduction; 1. Preliminaries; Shuffles; 2. Rota-Baxter algebras and tridendriform bialgebras; 3. Tridendriform structure on the space of partitions; 4. Tridendriform algebra structure on the maps between finite sets ReferencesGeneralized Disjunctive Languages and Universal Algebra Yun Liu; 1. Introduction; 2. K-Disjunctive languages and universal algebra; 3. Generalized disjunctive hierarchy; Acknowledgements; References; Koszul Duality of the Category of Trees and Bar Constructions for Operads Muriel Livernet; Introduction; 1. The tree category is Koszul; 1.1. The tree category TI; 1.2. Bar construction for the category TI; 1.2.1. Bar construction; 1.2.2. Resolution of left and right TI -modules and Tor functors; 1.2.3. Normalized bar complex; 1.3. The Koszul complex of the category TI 1.3.1. The Koszul complex1.3.2. The Koszul complex of the category TI with coefficients; 1.4. The category TI is Koszul; 1.5. Bibliographical remarks; 2. Comparison of three di erent types of bar constructions for an operad; 2.1. Principle of the bar construction with coefficients; 2.2. Operads as left TI-modules; 2.3. Two-sided bar construction from the free operad functor; 2.3.1. The two-sided bar construction; 2.3.2. Right TI -modules and F-functors; 2.4. The bar construction with respect to the monoidal structure 2.5. The classical bar construction of operads, and the levelization morphism |
| Record Nr. | UNINA-9910823329403321 |
| Singapore, : World Scientific Pub. Co., 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Technologies and Applications [[electronic resource] ] : APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings / / edited by Weihong Han, Zi Huang, Changjun Hu, Hongli Zhang, Li Guo
| Web Technologies and Applications [[electronic resource] ] : APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings / / edited by Weihong Han, Zi Huang, Changjun Hu, Hongli Zhang, Li Guo |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 404 p. 158 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data mining
Information storage and retrieval Application software Computer security Computer communication systems Management information systems Computer science Data Mining and Knowledge Discovery Information Storage and Retrieval Information Systems Applications (incl. Internet) Systems and Data Security Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-11119-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | First International Workshop on Social Network Analysis, SNA 2014 -- First International Workshop on Network and Information Security, NIS 2014 -- First International Workshop on Internet of Things Search, IoTS 2014. |
| Record Nr. | UNISA-996202529503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Technologies and Applications : APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings / / edited by Weihong Han, Zi Huang, Changjun Hu, Hongli Zhang, Li Guo
| Web Technologies and Applications : APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings / / edited by Weihong Han, Zi Huang, Changjun Hu, Hongli Zhang, Li Guo |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 404 p. 158 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data mining
Information storage and retrieval Application software Computer security Computer communication systems Management information systems Computer science Data Mining and Knowledge Discovery Information Storage and Retrieval Information Systems Applications (incl. Internet) Systems and Data Security Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-11119-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | First International Workshop on Social Network Analysis, SNA 2014 -- First International Workshop on Network and Information Security, NIS 2014 -- First International Workshop on Internet of Things Search, IoTS 2014. |
| Record Nr. | UNINA-9910484673903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||