Metatranslation


Book Description

Metatranslation presents a selection of 14 key essays by leading theorist, Theo Hermans, covering a span of almost 40 years. The essays trace Hermans’ work and demonstrate how translation studies has evolved from the 1980s into the much more diverse and self-reflexive discipline it is today. The book is divided into three main sections: the first section explores the status and central concerns of translation studies, including the growing interest in sociological, ideological and ethical approaches to translation; the second section investigates the key concepts of translation norms and of the translator’s presence, or positioning, in translated texts; the historical essays in the final section are concerned with both modern and early modern discourses on translation and with the use of translation as an instrument of war and propaganda. This synthesis of the work of a highly influential pioneer in translation studies is essential reading for researchers, scholars and advanced students of translation studies, intercultural studies and comparative literature.




Advanced Information Systems Engineering


Book Description

Proceedings




Machine Translation


Book Description

This book constitutes the refereed proceedings of the 17th China Conference on Machine Translation, CCMT 2020, held in Xining, China, in October 2021. The 10 papers presented in this volume were carefully reviewed and selected from 25 submissions and focus on all aspects of machine translation, including preprocessing, neural machine translation models, hybrid model, evaluation method, and post-editing.




The Road to Universal Logic


Book Description

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic.




The Family Letters of Victor and Meta Berger, 1894-1929


Book Description

The Family Letters of Victor and Meta Berger provide an insider's view of congressional, labor and party politics as well as a glimpse into the marriage and family life of a prominent Wisconsin couple. Victor Berger helped create a well-organized political machine in Milwaukee that engineered his election to the U.S. House of Representatives six times and controlled the mayor's office for almost 50 years. His wife, Meta, an activist in her own right, served as a member of the Milwaukee school board and of the University of Wisconsin Board of Regents, and vigorously advocated on behalf of woman suffrage and peace. Mixing commentary on public affairs with family news and love notes, The Family Letters demonstrate how Victor and Meta were both interested observers as well as actors who sought to shape events in early twentieth century America.




Advanced Database Systems


Book Description

The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on Databases, held in Aberdeen, Scotland, in July 1992. The volume contains two invited papers, one on the promise of distributed computing andthe challenges of legacy systems by M.L. Brodie, and the other on object-oriented requirements capture and analysis and the Orca project by D.J.L. Gradwell. The following four parts each contain three submitted papers selected from a total of 36 submissions. The parts are entitled: - Object-oriented databases - Parallel implementationsand industrial systems - Non-relational data models - Logic programming and databases




Automated Technology for Verification and Analysis


Book Description

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. The symposium was co-located and had a two-day overlap with FORTE 2005, which was held October 2–5, 2005. We received a total of 95 submissions from 17 countries. Each submission was assigned to three Program Committee members, who were helped by their subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the P- gram Committee was conducted over email for a duration of about 10 days after nearly all review reports had been collected. In the end, 33 papers were - lectedforinclusionintheprogram.ATVA2005hadthreekeynotespeechesgiven respectively by Amir Pnueli (joint with FORTE 2005), Zohar Manna, and Wo- gang Thomas. The main symposium was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers.




Rereading Schleiermacher: Translation, Cognition and Culture


Book Description

This book celebrates the bicentenary of Schleiermacher’s famous Berlin conference "On the Different Methods of Translating" (1813). It is the product of an international Call for Papers that welcomed scholars from many international universities, inviting them to discuss and illuminate the theoretical and practical reception of a text that is not only arguably canonical for the history and theory of translation, but which has moreover never ceased to be present both in theoretical and applied Translation Studies and remains a mandatory part of translator training. A further reason for initiating this project was the fact that the German philosopher and theologian Friedrich Schleiermacher, though often cited in Translation Studies up to the present day, was never studied in terms of his real impact on different domains of translation, literature and culture.




Engineering Systems with Intelligence


Book Description

This book contains a selection of papers presented at the "European Robotics and Intelligent Systems Conference" (EURISCON '91) held in Corfu. Greece (June 23-28. 1991). It is devoted to the analysis. design and applications of technological systems with built-in intelligence achieved through appropriate blending of mathematical, symbolic. sensing. computer processing. and feedback control concepts. methods and software / hardware tools. System intelligence includes human-like capabilities such as learning. observation. perception. interpretation. reasoning. planning. decision making. and action. Integrated intelligent decision and control systems obey Saridis' prinCiple of Increasing Precision with Decreasing Intelligence (IPDI). and have a hierarchical structure with three basic levels. namely Organization. Coordination. and Execution Levels. As we proceed from the organization to the execution level. the precision about the jobs to be completed increases and accordingly the intelligence reqUired for these jobs decreases. As an example. it is mentioned here that in an intelligent robotic system the organization tasks can be realized using a neural net. the coordination tasks by a Petri net. and the execution tasks by local sensors and actuators. The field of intelligent systems is a new interdisciplinary field with continuously increasing interest and expansion. It is actually the outcome of the synergetic interaction and cooperation of classical fields such as system theory. control theory. artificial intelligence. operational research. information theory. electronics. communications. and others.




Philosophy of Logic and Mathematics


Book Description

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Mühlhölzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Woleński and Richard Zach.