The Spanish American Crónica Modernista, Temporality and Material Culture [[electronic resource] ] : Modernismo's Unstoppable Presses |
Autore | Reynolds Andrew |
Pubbl/distr/stampa | Lanham, : Bucknell University Press, 2012 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina |
860.9/355
860.9355 |
Collana | Bucknell Studies in Latin American Literature and Theory |
Soggetto topico |
Literature publishing -- Latin America -- History -- 20th century
Little magazines -- Latin America -- History -- 20th century Material culture in literature Modernism (Literature) -- Latin America -- History Spanish American literature -- 20th century -- History and criticism Spanish American literature -- Periodicals -- History -- 20th century Spanish periodicals -- History -- 20th century Spanish American literature - History and criticism - 20th century - Latin America Spanish American literature - Periodicals - History - 20th century - Latin America Literature publishing - History - 20th century - Latin America Little magazines - History - 20th Century Spanish periodicals - History - 20th century Modernism (Literature) - History Romance Literatures Languages & Literatures Spanish Literature |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Acknowledgments; List of Illustrations; Introduction; Chapter One: Journalism as Literary Practice during Modernismo; Chapter Two: "Possession of the Infinite"; Chapter Three: "Circulation and Vitality"; Chapter Four: "The House of Ideas"; Bibliography; Index; About the Author |
Record Nr. | UNINA-9910465338603321 |
Reynolds Andrew | ||
Lanham, : Bucknell University Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Spanish American Crónica Modernista, Temporality and Material Culture [[electronic resource] ] : Modernismo's Unstoppable Presses |
Autore | Reynolds Andrew |
Pubbl/distr/stampa | Lanham, : Bucknell University Press, 2012 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina |
860.9/355
860.9355 |
Collana | Bucknell Studies in Latin American Literature and Theory |
Soggetto topico |
Literature publishing -- Latin America -- History -- 20th century
Little magazines -- Latin America -- History -- 20th century Material culture in literature Modernism (Literature) -- Latin America -- History Spanish American literature -- 20th century -- History and criticism Spanish American literature -- Periodicals -- History -- 20th century Spanish periodicals -- History -- 20th century Spanish American literature - 20th century - History and criticism Spanish American literature - Periodicals - History - 20th century Literature publishing - Latin America - History - 20th century Little magazines - History - 20th century Spanish periodicals - History - 20th century Modernism (Literature) - History Romance Literatures Languages & Literatures Spanish Literature |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Acknowledgments; List of Illustrations; Introduction; Chapter One: Journalism as Literary Practice during Modernismo; Chapter Two: "Possession of the Infinite"; Chapter Three: "Circulation and Vitality"; Chapter Four: "The House of Ideas"; Bibliography; Index; About the Author |
Record Nr. | UNINA-9910792280503321 |
Reynolds Andrew | ||
Lanham, : Bucknell University Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Spanish American Crónica Modernista, Temporality and Material Culture [[electronic resource] ] : Modernismo's Unstoppable Presses |
Autore | Reynolds Andrew |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Lanham, : Bucknell University Press, 2012 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina |
860.9/355
860.9355 |
Collana | Bucknell Studies in Latin American Literature and Theory |
Soggetto topico |
Literature publishing -- Latin America -- History -- 20th century
Little magazines -- Latin America -- History -- 20th century Material culture in literature Modernism (Literature) -- Latin America -- History Spanish American literature -- 20th century -- History and criticism Spanish American literature -- Periodicals -- History -- 20th century Spanish periodicals -- History -- 20th century Spanish American literature - 20th century - History and criticism Spanish American literature - Periodicals - History - 20th century Literature publishing - Latin America - History - 20th century Little magazines - History - 20th century Spanish periodicals - History - 20th century Modernism (Literature) - History Romance Literatures Languages & Literatures Spanish Literature |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Acknowledgments; List of Illustrations; Introduction; Chapter One: Journalism as Literary Practice during Modernismo; Chapter Two: "Possession of the Infinite"; Chapter Three: "Circulation and Vitality"; Chapter Four: "The House of Ideas"; Bibliography; Index; About the Author |
Record Nr. | UNINA-9910813726303321 |
Reynolds Andrew | ||
Lanham, : Bucknell University Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers |
Autore | Reynolds Andrew |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
Descrizione fisica | 1 online resource (116 pages) |
Altri autori (Persone) | TasiranSerdar |
Collana | Lecture Notes in Computer Science Series |
ISBN |
9783031660641
9783031660634 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Picky CDCL: SMT-Solving with Flexible Literal Selection -- 1 Introduction -- 2 Preliminaries -- 3 Picky CDCL -- 4 Evaluation -- 4.1 Interpolation-Based Algorithms -- 4.2 Proof Production -- 4.3 Overhead Evaluation -- 4.4 Lookahead Comparison -- 5 Conclusions -- References -- Safety Performance of Neural Networks in the Presence of Covariate Shift -- 1 Introduction -- 2 Related Work -- 3 Distribution Similarity Based on Neuron Values -- 4 MILP Encoding for Distribution Reshaping -- 5 Evaluation -- 6 Concluding Remarks -- References -- Pierce: A Testing Tool for Neural Network Verification Solvers -- 1 Introduction -- 2 Preliminaries -- 3 Pierce: A Testing Tool for Machine Learning Verification Tools -- 3.1 Architecture Overview -- 3.2 Command Line Interfaces -- 3.3 Potential Use Cases -- 4 Case Study: Reinforcement Learning Guided Performance Fuzzing with Pierce -- 4.1 Experimental Setup -- 4.2 Evaluation and Analysis of Results -- 5 Related Work -- 6 Conclusions -- References -- Specifying and Verifying a Real-World Packet Error-Correction System -- 1 Introduction -- 2 Background - Verification Techniques -- 3 Specifying End-to-End Network Functions -- 4 A Packet Error-Correction System -- 5 Developing a High-Level Specification -- 5.1 Implementation-Specific Behavior -- 5.2 Layers of Specification -- 6 Formalizing Properties of Packet Streams -- 6.1 Reordering -- 6.2 Duplication and Timeouts -- 7 A New Program -- 8 Proving the Program Correct -- 8.1 Functional Models and Data Structures -- 8.2 Linking the Producer and Consumer -- 8.3 The Consumer -- 8.4 From Coq to C Code -- 9 Related Work -- 10 Conclusion and Future Work -- References -- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL -- 1 Introduction -- 2 Approaching OT Security with ZTA and Deductive Proofs.
3 Case Study: A Microgrid Configuration for the Control of DERs -- 4 Formal Modeling of Microgrids -- 4.1 Notations -- 4.2 Data Models -- 4.3 State Space of ICS Devices in Isabelle/UTP -- 4.4 State Space of the Whole Microgrid -- 4.5 Small-Step Semantics -- 4.6 Invariants and Security Properties -- 4.7 Big-Step Semantics -- 5 Formal Verification of Microgrids -- 5.1 Modular Verification Approach -- 5.2 Correctness for Microgrids -- 5.3 Frame Rule -- 6 Related Work -- References -- Provable Determinism for Software in Cyber-Physical Systems -- 1 Introduction -- 2 Reactors -- 2.1 Basic Reactors -- 2.2 Hierarchical Reactors -- 2.3 Proper Reactors -- 2.4 The Complete Type Class Hierarchy -- 3 Operational Semantics -- 4 Progress and Determinism -- 4.1 Progress -- 4.2 Determinism -- 5 Related Work -- 6 Conclusion -- A Definitions and Theorems in the Lean Mechanization -- References -- Author Index. |
Record Nr. | UNINA-9910878055503321 |
Reynolds Andrew | ||
Cham : , : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|