Language, Culture, Computation: Computing - Theory and Technology
Language, Culture, Computation: Computing - Theory and Technology

Author: Nachum Dershowitz

Publisher: Springer

Published: 2014-12-03

Total Pages: 616

ISBN-13: 364245321X

DOWNLOAD EBOOK

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This first part of the three-volume set covers a range of topics in computer science. The papers are grouped in topical sections on: the jubilaris: Yaacov and his oeuvre; theory of computation; science computing and tools for engineering; information retrieval.

Computer Science – Theory and Applications
Computer Science – Theory and Applications

Author: Rahul Santhanam

Publisher: Springer Nature

Published: 2021-06-16

Total Pages: 485

ISBN-13: 3030794164

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

Author: Nachum Dershowitz

Publisher: Springer

Published: 2014-12-04

Total Pages: 765

ISBN-13: 3642453244

DOWNLOAD EBOOK

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives. The papers are grouped in topical sections on: humanities computing; narratives and their formal representation; history of ideas: the numerate disciplines; law, computer law, and legal computing.

A Time to Gather
A Time to Gather

Author: Jason Lustig

Publisher: Oxford University Press

Published: 2021-12-14

Total Pages: 281

ISBN-13: 019756352X

DOWNLOAD EBOOK

How do people link the past to the present, marking continuity in the face of the fundamental discontinuities of history? A Time to Gather argues that historical records took on potent value in modern Jewish life as both sources of history and anchors of memory because archives presented oneway of transmitting Jewish culture and history from one generation to another as well as making claims of access to an "authentic" Jewish culture. Indeed, both before the Holocaust and in its aftermath, Jewish leaders around the world felt a shared imperative to muster the forces and resources ofJewish life and culture. It was a "time to gather," a feverish era of collecting and conflict in which archive making was both a response to the ruptures of modernity and a mechanism for communities to express their cultural hegemony.Jason Lustig explores these themes across the arc of the twentieth century by excavating three distinctive archival traditions, that of the Cairo Genizah (and its transfer to Cambridge in the 1890s), folkloristic efforts like those of YIVO, and the Gesamtarchiv der deutschen Juden (Central or TotalArchive of the German Jews) formed in Berlin in 1905. Lustig presents archive-making as an organizing principle of twentieth-century Jewish culture, as a metaphor of great power and broad symbolic meaning with the dispersion and gathering of documents falling in the context of the Jews' longdiasporic history. In this light, creating archives was just as much about the future as it was about the past.

Computational Processing of the Portuguese Language
Computational Processing of the Portuguese Language

Author: Paulo Quaresma

Publisher: Springer Nature

Published: 2020-02-24

Total Pages: 432

ISBN-13: 3030415058

DOWNLOAD EBOOK

This book constitutes the proceedings of the 14th International Conference on Computational Processing of the Portuguese Language, PROPOR 2020, held in Evora, Portugal, in March 2020. The 36 full papers presented together with 5 short papers were carefully reviewed and selected from 70 submissions. They are grouped in topical sections on speech processing; resources and evaluation; natural language processing applications; semantics; natural language processing tasks; and multilinguality.

LATIN 2018: Theoretical Informatics
LATIN 2018: Theoretical Informatics

Author: Michael A. Bender

Publisher: Springer

Published: 2018-04-05

Total Pages: 904

ISBN-13: 3319774042

DOWNLOAD EBOOK

This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, held in Buenos Aires, Argentina, in April 2018. The 63 papers presented in this volume were carefully reviewed and selected from 161 submissions. The Symposium is devoted to different areas in theoretical computer science, including, but not limited to: algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, and random structures.

Artificial Life and Intelligent Agents
Artificial Life and Intelligent Agents

Author: Peter R. Lewis

Publisher: Springer

Published: 2018-04-18

Total Pages: 150

ISBN-13: 3319904183

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Symposium on Artificial Life and Intelligent Agents, ALIA 2016, held in Birmingham, UK, in June 2016. The 8 revised full papers and three revised short papers presented together with two demo papers were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modelling; robotics; bio-inspired problem solving; human-like systems; applications and games.

The Cultural Logic of Computation
The Cultural Logic of Computation

Author: David Golumbia

Publisher: Harvard University Press

Published: 2009-04-30

Total Pages: 276

ISBN-13: 9780674032927

DOWNLOAD EBOOK

Advocates of computers make sweeping claims for their inherently transformative power: new and different from previous technologies, they are sure to resolve many of our existing social problems, and perhaps even to cause a positive political revolution. In The Cultural Logic of Computation, David Golumbia, who worked as a software designer for more than ten years, confronts this orthodoxy, arguing instead that computers are cultural “all the way down”—that there is no part of the apparent technological transformation that is not shaped by historical and cultural processes, or that escapes existing cultural politics. From the perspective of transnational corporations and governments, computers benefit existing power much more fully than they provide means to distribute or contest it. Despite this, our thinking about computers has developed into a nearly invisible ideology Golumbia dubs “computationalism”—an ideology that informs our thinking not just about computers, but about economic and social trends as sweeping as globalization. Driven by a programmer’s knowledge of computers as well as by a deep engagement with contemporary literary and cultural studies and poststructuralist theory, The Cultural Logic of Computation provides a needed corrective to the uncritical enthusiasm for computers common today in many parts of our culture.

Unity of Logic and Computation
Unity of Logic and Computation

Author: Gianluca Della Vedova

Publisher: Springer Nature

Published: 2023-07-18

Total Pages: 327

ISBN-13: 3031369785

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.

Programming Language Cultures
Programming Language Cultures

Author: Brian Lennon

Publisher: Stanford University Press

Published: 2024-08-27

Total Pages: 279

ISBN-13: 1503639886

DOWNLOAD EBOOK

In this book, Brian Lennon demonstrates the power of a philological approach to the history of programming languages and their usage cultures. In chapters focused on specific programming languages such as SNOBOL and JavaScript, as well as on code comments, metasyntactic variables, the very early history of programming, and the concept of DevOps, Lennon emphasizes the histories of programming languages in their individual specificities over their abstract formal or structural characteristics, viewing them as carriers and sometimes shapers of specific cultural histories. The book's philological approach to programming languages presents a natural, sensible, and rigorous way for researchers trained in the humanities to perform research on computing in a way that draws on their own expertise. Combining programming knowledge with a humanistic analysis of the social and historical dimensions of computing, Lennon offers researchers in literary studies, STS, media and digital studies, and technical fields the first technically rigorous approach to studying programming languages from a humanities-based perspective.