ERAILS | SEARCH RESULTS

Title

Author

Publisher

Abstract

Resource Type

Showing all Resources, Excluding Opac and Electronic and Premium resources

Insight into Theoretical and Applied Informatics. Introduction to Information Technologies and Computer Science

Author:Yatsko Andrzej, Suslow Waler

Publisher:De Gruyter

Abstract: The book is addressed to young people interested in computer technologies and computer science. The…

Computer Architecture in Industrial, Biomechanical and Biomedical Engineering

Author:Wang Lulu, Yu Liandong

Publisher:IntechOpen

Abstract: This book aims to provide state-of-the-art information on computer architecture and simulation in i…

Translation and Transfer of Knowledge in Encyclopedic Compilations, 1680–1830

Author:Donato Clorinda, Lüsebrink Hans-Jürgen

Publisher:University of Toronto Press

Abstract: From its modern origins in seventeenth-century France, encyclopedic compilations met the need for t…

A compilation of illicit enrichment legislation and other relevant legislation

Author:Dornbierer Andre

Publisher:Basel Institute on Governance

Abstract: This annex is a compilation of all the relevant legislative instruments located during the research…

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:Lochbihler Andrea

Publisher:KIT Scientific Publishing

Abstract: The Java programming language provides safety and security guarantees such as type safety and its s…

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Author:Breitner Joachi

Publisher:KIT Scientific Publishing

Abstract: In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Ar…

Compiling and annotating a learner corpus for a morphologically rich language: CzeSL, a corpus of non-native Czech

Author:Jelínek Tomáš, Štindlová Barbora, Rosen Alexandr, Škodová Svatava, Hana Jiří, Vidová Hladká Barbor

Publisher:Karolinum Press

Abstract: Learner corpora, linguistic collections documenting a language as used by learners, provide an impo…

Human Computer Interaction for Intelligent Systems

Author:Pleva Matúš, Liao Yuan-Fu, Bours Patrick

Publisher:MDPI - Multidisciplinary Digital Publishing Institute

Abstract: This reprint addresses the unique opportunities and challenges associated with human–computer inter…

Chapter 3 Human– computer interaction in pun translation

Author:Kolb Waltraud, Miller Trista

Publisher:esponsibilityPublisher

Abstract: creative texts; translation technologies; machine translation; computer-aided translation; translat…

Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications

Author:Cojocar Grigoreta-Sofia, Guran Adriana-Mihaela

Publisher:MDPI - Multidisciplinary Digital Publishing Institute

Abstract: The present book contains all of the articles that were accepted and published in the Special Issue…