| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483349103321 |
|
|
Titolo |
Algebraic perspectives on substructural logics / / Davide Fazio, Antonio Ledda, Francesco Paoli, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 193 p. 25 illus.) |
|
|
|
|
|
|
Collana |
|
Trends in logic ; ; Volume 55 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Algebra, Abstract |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan). |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by |
|
|
|
|
|
|
|
|
|
|
|
|
|
logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910952291803321 |
|
|
Titolo |
Darwinism in Argentina : major texts, 1845-1909 / / edited by Leila Gómez ; translated by Nicholas Ford Callaway |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lanham, Md., : Bucknell University Press, : Co-published with Rowman & Littlefield Pub. Group, 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
979-82-16-35631-8 |
1-280-65113-X |
9786613634122 |
1-61148-387-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (289 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
GómezLeila |
CallawayNicholas Ford |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Evolution (Biology) - Argentina - History - 19th century |
Evolution (Biology) - Social aspects - Argentina - History - 19th century |
Argentina Intellectual life 19th century Sources |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Half Title; Title; Copyright; Contents; SOURCES AND ACKNOWLEDGMENTS; ACKNOWLEDGMENTS; ABBREVIATIONS; INTRODUCTION; PART I; THE WOODPECKER OF THE PAMPAS; THE RESPONSE; THE MUÑI-FELIS BONAERENSIS; A LETTER TO MUÑIZ; ÑATA OXEN; PART II; TWO PARTIES IN CONFLICT; CHARLES ROBERT DARWIN; THE STUDY OF SOUTH AMERICAN MAN; DARWIN; LUZ DEL DÍA'S PILGRIMAGE; HISTORY OF CREATION; REMEMBRANCE IN HONOR OF DARWIN; TRIBUTE TO AMEGHINO; NATURALISM AND EDUCATION; YZUR; PART III; THE ARGENTINE MASSES; OUR AMERICA; THE SOCIOLOGICAL EVOLUTION OF ARGENTINA; RACIAL CONFLICT AND HARMONY IN THE AMERICAS |
BIBLIOGRAPHYINDEX; ABOUT THE EDITOR |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Darwinism in Argentina: Major Texts (1845-1909) brings together essays, letters, short-stories, and public lectures by travelers, scientists, writers, and politicians about Darwin and the theory of evolution in XIX century Argentina. This selection of texts provides a thorough overview of the socio-ideological implications of the theory of evolution in South America, as well as the intellectual debate this scientific theory promoted in the discourses of fiction, law, history, and medicine in the form |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910983298903321 |
|
|
Titolo |
Information Security : 27th International Conference, ISC 2024, Arlington, VA, USA, October 23–25, 2024, Proceedings, Part II / / edited by Nicky Mouha, Nick Nikiforakis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (351 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15258 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Data protection |
Computer engineering |
Computer networks |
Cryptography |
Data encryption (Computer science) |
Computer networks - Security measures |
Data and Information Security |
Computer Engineering and Networks |
Cryptology |
Mobile and Network Security |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
-- Web Security. -- JSHint: Revealing API Usage to Improve Detection of Malicious JavaScript. -- Automated Generation of Behavioral Signatures for Malicious Web Campaigns. -- We have Phishing at Home: Quantitative Study on Email Phishing Susceptibility in Private Contexts. -- Intrusion Detection. -- TIDL-IDS: A Time-series Imaging and Deep Learning-based IDS for Connected Autonomous Vehicles. -- FedMADE: Robust Federated Learning for Intrusion Detection in IoT Networks Using a Dynamic Aggregation Method. -- MVDetector: Malicious vehicles detection under Sybil attacks in VANETs. -- Insider Threat Detection Based on User and Entity Behavior Analysis with a Hybrid Model. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The two volume set LNCS 15257 + 15258 constitutes the proceedings |
|
|
|
|
|
|
|
|
|
|
of the 27th International Conference on Information Security, ISC 2024, held in Arlington, VA, USA, during October 23–25, 2024. The 33 full papers presented in these proceedings were carefully reviewed and selected from 111 submissions. The papers are organized in the following topical sections: Part I - Blockchain; Symmetric-Key Cryptography; Machine Learning; Software Security; Multi-Party Computation; Post-Quantum Cryptography; System Security. Part II - Web Security; Intrusion Detection. |
|
|
|
|
|
| |