- Table View
- List View
Language and Automata Theory and Applications: 12th International Conference, Lata 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings (Lecture Notes in Computer Science #10792)
by Shmuel Tomi Klein Carlos Martín-Vide Dana ShapiraThis book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings (Lecture Notes in Computer Science #11417)
by Carlos Martín-Vide Alexander Okhotin Dana ShapiraThis book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.
Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings (Lecture Notes in Computer Science #12038)
by Carlos Martín-Vide Claudio Zandron Alberto Leporati Dana ShapiraThis book constitutes the proceedings of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020, which was planned to be held in Milan, Italy, in March 2020. Due to the corona pandemic, the actual conference was postponed and will be held together with LATA 2021.The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; grammars; languages; trees and graphs; and words and codes. The book also contains 6 invited papers in full-paper length.
Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings (Lecture Notes in Computer Science #12638)
by Carlos Martín-Vide Claudio Zandron Alberto Leporati Dana ShapiraThis book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021. The 26 full papers presented in this volume were carefully reviewed and selected from 52 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; learning; logics and languages; trees and graphs; and words and strings.
Language and Complex Systems
by William A. Kretzschmar Jr.An understanding of language as a complex system helps us to think differently about linguistics, and helps us to address the impact of linguistic interaction. This book demonstrates how the science of complex systems changes every area of linguistics: how to make a grammar, how to think about the history of language, how language works in the brain, and how it works in social settings. Kretzschmar argues that to construct the best grammars of languages it is necessary to understand the complex system of speech. Each chapter makes specific recommendations for how linguists should manage empirical data in order to form better generalizations about a language and its varieties. The book will be welcomed by students and scholars working in linguistics and English language, especially the study of language variation and the historical development of English.
Language in Complexity
by Francesco La Mantia Ignazio Licata Pietro PercontiThis contributed volume explores the achievements gained and the remaining puzzling questions by applying dynamical systems theory to the linguistic inquiry. In particular, the book is divided into three parts, each one addressing one of the following topics: 1) Facing complexity in the right way: mathematics and complexity 2) Complexity and theory of language 3) From empirical observation to formal models: investigation of specific linguistic phenomena, like enunciation, deixis, or the meaning of the metaphorical phrases The application of complexity theory to describe cognitive phenomena is a recent and very promising trend in cognitive science. At the time when dynamical approaches triggered a paradigm shift in cognitive science some decade ago, the major topic of research were the challenges imposed by classical computational approaches dealing with the explanation of cognitive phenomena like consciousness, decision making and language. The target audience primarily comprises researchers and experts in the field but the book may also be beneficial for graduate and post-graduate students who want to enter the field.
Language, Gender and Videogames: Using Corpora to Analyse the Representation of Gender in Fantasy Videogames
by Frazer HeritageThis book explores how corpus linguistic techniques can be applied to close analysis of videogames as a text, particularly examining how language is used to construct representations of gender in fantasy videogames. The author demonstrates a wide array of techniques which can be used to both build corpora of videogames and to analyse them, revealing broad patterns of representation within the genre, while also zooming in to focus on diachronic changes in the representation of gender within a best-selling videogame series and a Massively Multiplayer Online Role Playing Game (MMORPG). The book examines gender as a social variable, making use of corpus linguistic methods to demonstrate how the language used to depict gender is complex but often repeated. This book combines fields including language and gender studies, new media studies, ludolinguistics, and corpus linguistics, and it will be of interest to scholars in these and related disciplines.
Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers (Lecture Notes in Computer Science #11456)
by Peter Sutton Alexandra Silva Sam Staton Carla UmbachThis book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more.
Language, Music and Computing: Second International Workshop, Lmac 2017, St. Petersburg, Russia, April 17-19, 2017, Revised Selected Papers (Communications in Computer and Information Science #943)
by Asya Pereltsvaig Polina Eismont Olga Mitrenina<P><P>This book constitutes the proceedings of the First International Workshop on Language, Music and Computing, LMAC 2017, held in St. Petersburg, Russia, in April 2017. <P><P> The 18 papers presented in this volume were carefully reviewed and selected from 52 submissions. They were organized in topical sections on the universal grammar of music, the surface of music and singing, language as music, music computing, formalization of the informality.
Language, Music, and Computing
by Polina Eismont Natalia KonstantinovaThis bookconstitutes the proceedings of the First International Workshop on Language,Music and Computing, LMAC 2015, held in St. Petersburg, Russia, in April 2015. The 13papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections on music and language in education; corpus studies of language and music; problemsof notation; and linguistic studies of music.
Language, Proof and Logic 2nd Edition
by David Barker-Plummer Jon Barwise John EtchemendyThis book covers first-order language in a method appropriate for first and second courses in logic. It is designed to be used by undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
Language, Space and Mind
by Paul ChiltonThe idea that spatial cognition provides the foundation of linguistic meanings, even highly abstract meanings, has been put forward by a number of linguists in recent years. This book takes this proposal into new dimensions and develops a theoretical framework based on simple geometric principles. All speakers are conceptualisers who have a point of view both in a literal and in an abstract sense, choosing their perspective in space, time and the real world. The book examines the conceptualising properties of verbs, including tense, aspect, modality and transitivity, as well as the conceptual workings of grammatical constructions associated with counterfactuality, other minds and the expression of moral force. It makes links to the cognitive sciences throughout and concludes with a discussion of the relationship between language, brain and mind.
Languages and Compilers for Parallel Computing
by Peng Wu Chen Ding John CriswellThe 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans, LouisianaUSA. Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation, compilationtechniques, paralleldatastructureandparallelexecution models, toregisterallocationandmemorymanagementinparallelenvironments. Out of the 49 paper submissions, the Program Committee, with the help of external reviewers, selected 24 papers for presentation at the workshop. Each paper had at least three reviews and was extensively discussed in the comm- tee meeting. The papers were presented in 30-minute sessions at the workshop. One of the selected papers, while still included in the proceedings, was not p- sented because of an unfortunate visa problem that prevented the authors from attending the workshop. We werefortunateto havetwooutstanding keynoteaddressesatLCPC2006, both from UC Berkeley. Kathy Yelick presented Compilation Techniques for Partitioned Global Address Space Languages. In this keynote she discussed the issues in developing programming models for large-scale parallel machines and clusters, and how PGAS languages compare to languages emerging from the DARPA HPCS program. She also presented compiler analysis and optimi- tion techniques developed in the context of UPC and Titanium source-to-source compilers for parallel program and communication optimizations. "
Languages and Compilers for Parallel Computing
by Călin Caşcaval Pablo MontesinosThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2013, held in Tokyo, Japan, in September 2012. The 20 revised full papers and two keynote papers presented were carefully reviewed and selected from 44 submissions. The focus of the papers is on following topics: parallel programming models, compiler analysis techniques, parallel data structures and parallel execution models, to GPGPU and other heterogeneous execution models, code generation for power efficiency on mobile platforms, and debugging and fault tolerance for parallel systems.
Languages and Compilers for Parallel Computing
by Xipeng Shen Frank Mueller James TuckThisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizingframework, parallelizing compiler, communication and locality, parallelapplications and data structures, and correctness and reliability.
Languages and Compilers for Parallel Computing
by James Brodman Peng TuThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for parallelism; compilers; debugging; vectorization.
Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers (Lecture Notes in Computer Science #11403)
by Lawrence RauchwergerThis book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017. The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions that go outside its original scope of scientific computing to diverse areas that are enable or enhanced by the power of parallel systems such as mobile computing, big data, relevant aspects of machine learning, data centers, cognitive computing, etc. LCPC strongly encourages personal interaction and technical discussions along the initial material.
Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11882)
by Mary Hall Hari SundarThis book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and adaptive optimization of parallel programs, parallel programming models and languages, formal analysis and verification of parallel programs, parallel runtime systems and libraries, performance analysis and debugging tools for concurrency and parallelism, parallel algorithms and concurrent data structures, parallel applications, synchronization and concurrency control, software engineering for parallel programs, fault tolerance for parallel systems, and parallel programming and compiling for heterogeneous systems.
Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11998)
by Santosh Pande Vivek SarkarThis book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for current domains and platforms, e.g., scientific computing, batch/ streaming/ real-time data analytics, machine learning, cognitive computing, heterogeneous/ reconfigurable computing, mobile computing, cloud computing, IoT, as well as forward-looking computing domains such as analog and quantum computing.
Languages and Compilers for Parallel Computing: 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers (Lecture Notes in Computer Science #13149)
by Barbara Chapman José MoreiraThis book constitutes the thoroughly refereed post-conference proceedings of the 33rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Stony Brook, NY, USA, in October 2020. Due to COVID-19 pandemic the conference was held virtually. The 15 revised full papers were carefully reviewed and selected from 19 submissions. The contributions were organized in topical sections named as follows: Code and Data Transformations; OpenMP and Fortran; Domain Specific Compilation; Machine Language and Quantum Computing; Performance Analysis; Code Generation.
Languages and Compilers for Parallel Computing: 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13181)
by Xiaoming Li Sunita ChandrasekaranThis book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Delaware, NE, USA, in October 2021.Due to COVID-19 pandemic the conference was held virtually. The 9 revised full papers were carefully reviewed and selected from 11 submissions. The conference covers all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing. The scope of the workshop encompasses foundational results, as well as practical experience reports and bold new ideas for future systems.
Languages and Compilers for Parallel Computing: 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12–14, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13829)
by Lawrence Rauchwerger Charith MendisThis book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022, held in Chicago, IL, USA, in October 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The conference covers all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing. The scope of the workshop encompasses foundational results, as well as practical experience reports and bold new ideas for future systems.
Languages for Developing User Interfaces
by Brad A. MyersThis book brings together a number of researchers and developers from industry and academia who report on their work. It is of interest to language designers and the creators of toolkits, UIMSs, and other user interface tools.
Languages for Specific Purposes in the Digital Era
by Elena Bárcena Timothy Read Jorge ArúsExplores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for formal language education and training that focuses on restricted or specialized professional domains. Unique in its broad-based, state-of-the-art, coverage of current knowledge and research in the interrelated fields of computer-based learning and teaching and processing of specialized linguistic domains. The articles in this book offer insights on or analyses of the current state and future directions of many recent key concepts regarding the application of computers to natural languages, such as: authenticity, personalization, normalization, evaluation. Other articles present fundamental research on major techniques, strategies and methodologies that are currently the focus of international language research projects, both of a theoretical and an applied nature.
Languages, Applications and Technologies
by José-Luis Sierra-Rodríguez José-Paulo Leal Alberto SimõesThis bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015. The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages; human-computer languages; computer-computer languages.