The Postcolonial Contemporary : Political Imaginaries for the Global Present / / Jini Kim Watson, Gary Wilder

• Record Nr.: UNINA9910480689403321
• Pubbl/distr/stampa: New York, NY : , : Fordham University Press, , [2018]; ©2018
• ISBN: 0-8232-8151-5; 0-8232-8009-8; 0-8232-8008-X
• Edizione: [First edition.]
• Descrizione fisica: 1 online resource
• Collana: Fordham scholarship online
• Altri autori (Persone): AbbasSadia; AlessandriniAnthony C; ChariSharad; FormentCarlos A; GidwaniVinay; HitchcockPeter; LambertLaurie; MueckeStephen <1951->; RaoAnupama; SpanosAdam; WatsonJini Kim; WilderGary
• Disciplina: 325/.301
• Soggetti: Postcolonialism in literature; Postcolonialism - Philosophy; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: This edition previously issued in print: 2018.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Front matter -- Contents -- Introduction: Thinking the Postcolonial Con temporary -- 1. Foucault, Fanon, Intellectuals, Revolutions -- 2. When Revolution Is Not Enough: Tracing the Limits of Black Radicalism in Dionne Brand’s Chronicles of the Hostile Sun -- 3. Mysterious Moves of Revolution: Specters of Black Power, Futures of Postcoloniality -- 4. ; Reading Du Bois’s Revelation: Radical Humanism and Black Atlantic Criticism -- 5. Deprovincializing Anticaste Thought: A Genealogy of Ambedkar’s Dalit -- 6. The Postcolonial Avant- Garde and the Claim to Futurity: Edwar al- Kharrat’s Ethics of Tentative Innovation -- 7. Neither Greek nor Indian: Space, Nation, and History in River of Fire and The Mermaid Madonna -- 8. For a Marxist Theory of Waste: Seven Remarks -- 9. Goolarabooloo Futures: Mining and Aborigines in Northwest Australia -- 10. Buenos Aires’s La Salada Market and Plebeian Citizenship -- 11. The Speed of Place and the Space of Time: Toward a Theory of Postcolonial Velo/city -- 12. The Wrong Side of History: Anachronism and Authoritarianism -- Acknowledgments -- List of Contributors -- Index
• Sommario/riassunto: This volume invokes the “postcolonial contemporary” in order to recognize and reflect upon the emphatically postcolonial character of the contemporary conjuncture, as well as to inquire into whether postcolonial criticism can adequately grasp it. Neither simply for nor against postcolonialism, the volume seeks to cut across this false alternative, and to think with postcolonial theory about political contemporaneity. Many of the most influential frameworks of postcolonial theory were developed during the 1970s and 1990s, during what we may now recognize as the twilight of the postwar period. If forms of capitalist imperialism are entering into new configurations of neoliberal privatization, wars-without-end, xenophobic nationalism and unsustainable extraction, what aspects of postcolonial inquiry must be reworked or revised in order to grasp our political present? In twelve essays that draw from a number of disciplines—history, anthropology, literature, geography, indigenous studies— and regional locations (the Black Atlantic, South Africa, South Asia, East Asia, Australia, Argentina) The Postcolonial Contemporary seeks to move beyond the habitual oppositions that have often characterized the field, such as universal vs. particular; Marxism vs. postcolonialism; and politics vs. culture. These essays signal an attempt to reckon with new and persisting postcolonial predicaments and do so under four inter-related analytics: Postcolonial Temporality; Deprovincializing the Global South; Beyond Marxism versus Postcolonial Studies; and Postcolonial Spatiality and New Political Imaginaries.

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / / edited by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

• Record Nr.: UNINA9910380747603321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
• ISBN: 3-030-41418-3
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (IX, 364 p. 174 illus., 64 illus. in color.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12028
• Disciplina: 004.0151; 005.1
• Soggetti: Software engineering; Computer engineering; Computer networks; Artificial intelligence; Computer science; Software Engineering; Computer Engineering and Networks; Artificial Intelligence; Computer Communication Networks; Theory of Computation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via ; Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection.
• Sommario/riassunto: This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Advanced R : Data Programming and the Cloud / / by Matt Wiley, Joshua F. Wiley

• Record Nr.: UNINA9910151576903321
• Autore: Wiley Matt
• Pubbl/distr/stampa: Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016
• ISBN: 9781484220771; 1484220773
• Edizione: [1st ed. 2016.]
• Descrizione fisica: 1 online resource (XIX, 279 p. 77 illus., 40 illus. in color.)
• Disciplina: 005.13
• Soggetti: Compilers (Computer programs); Computer science - Mathematics; Mathematical statistics; Mathematical statistics - Data processing; Computer programming; Compilers and Interpreters; Probability and Statistics in Computer Science; Statistics and Computing; Programming Techniques
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 1.Programming Basics -- 2.Programming Utilities -- 3.Loops, flow control, and *apply functions -- 4.Writing Functions -- 5.Writing Classes and Methods -- 6.Writing a Package -- 7.Data Management using data.table -- 8.Data Munging With data.table -- 9.Other Tools for Data Management -- 10.Reading Big Data(bases) -- 11.Getting a Cloud -- 12.Ubuntu for Windows Users -- 13.Every Cloud has a Shiny lining -- 14.Shiny Dashboard Sampler -- 15.Dynamic Reports and the Cloud -- References.
• Sommario/riassunto: Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. ; Rather, it is designed to be a practical guide moving beyond merely using R to programming in R to automate tasks. This book will show you how to manipulate data in modern R structures and includes connecting R to data bases such as SQLite, PostgeSQL, and MongoDB. The book closes with a hands-on section to get R running in the cloud. Each chapter also includes a detailed bibliography with references to research articles and other resources that cover relevant conceptual and theoretical topics. What You Will Learn Write and document R functions Makean R package and share it via GitHub or privately Add tests to R code to insure it works as intended Build packages automatically with GitHub Use R to talk directly to databases and do complex data management Run R in the Amazon cloud Generate presentation-ready tables and reports using R Who This Book Is For Working professionals, researchers, or students who are familiar with R and basic statistical techniques such as linear regression and who want to learn how to take their R coding and programming to the next level.