1 |
Theory and practice in the French discourse of translation
|
|
|
|
In: Discourse in Translation ; https://halshs.archives-ouvertes.fr/halshs-01996727 ; Said Faiq. Discourse in Translation, Routledge, 2018, 978-1138298163 (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Responsive and Flexible Controlled Natural Language Authoring with Zipper-based Transformations
|
|
|
|
In: International Workshop on Controlled Natural Languages (CNL) ; https://hal.inria.fr/hal-01976766 ; International Workshop on Controlled Natural Languages (CNL), Aug 2018, Dublin, Ireland (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Resynchronizing Classes of Word Relations
|
|
|
|
In: International Colloquium on Automata, Languages, and Programming (ICALP) ; https://hal.archives-ouvertes.fr/hal-01721046 ; International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.123⟩ ; https://iuuk.mff.cuni.cz/~icalp2018/ (2018)
|
|
Abstract:
International audience ; A natural approach to defining binary word relations over a finite alphabet A is through two-tape finite state automata, which can be seen as regular language L over {1,2}xA, where (i,a) is interpreted as reading letter a from tape i. Thus, a word w of the language L denotes the pair (u_1,u_2) \in A^* \times A^* in which u_i is the projection of w onto i-labelled letters. While this formalism defines the well-studied class of Rational relations (a.k.a. non-deterministic finite state transducers), enforcing restrictions on the reading regime from the tapes, that we call synchronization, yields various sub-classes of relations. Such synchronization restrictions are imposed through regular properties on the projection of the language onto {1,2}. In this way, for each regular language C \subseteq {1,2}^*, one obtains a class Rel(C) of relations, such as the classes of Regular, Recognizable, or length-preserving relations, as well as (infinitely) many other classes.We study the problem of containment for synchronized classes of relations: given C,D \subseteq {1,2}^*, is Rel(C) \subseteq Rel(D)? We show a characterization in terms of C and D which gives a decidability procedure to test for class inclusion. This also yields a procedure to re-synchronize languages from {1,2}xA preserving the denoted relation whenever the inclusion holds.
|
|
Keyword:
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems; containment; resynchronization; synchronized word relations
|
|
URL: https://hal.archives-ouvertes.fr/hal-01721046v2/file/main-hal.pdf https://doi.org/10.4230/LIPIcs.ICALP.2018.123 https://hal.archives-ouvertes.fr/hal-01721046v2/document https://hal.archives-ouvertes.fr/hal-01721046
|
|
BASE
|
|
Hide details
|
|
4 |
Frightening Small Children and Disconcerting Grown-ups ; Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel
|
|
|
|
In: ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems ; https://hal.inria.fr/hal-01873636 ; ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩ (2018)
|
|
BASE
|
|
Show details
|
|
5 |
Clinical Natural Language Processing in languages other than English: opportunities and challenges.
|
|
|
|
In: ISSN: 2041-1480 ; Journal of Biomedical Semantics ; https://hal.archives-ouvertes.fr/hal-01842518 ; Journal of Biomedical Semantics, BioMed Central, 2018, 9, 13p. ⟨10.1186/s13326-018-0179-8⟩ (2018)
|
|
BASE
|
|
Show details
|
|
6 |
Visibly pushdown transducers
|
|
|
|
In: ISSN: 0022-0000 ; EISSN: 1090-2724 ; Journal of Computer and System Sciences ; https://hal.archives-ouvertes.fr/hal-02093318 ; Journal of Computer and System Sciences, Elsevier, 2018, 97, pp.147-181. ⟨10.1016/j.jcss.2018.05.002⟩ (2018)
|
|
BASE
|
|
Show details
|
|
7 |
One-way definability of two-way word transducers
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-02121085 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14 (4), ⟨10.23638/LMCS-14(4:22)2018⟩ ; https://lmcs.episciences.org/5021 (2018)
|
|
BASE
|
|
Show details
|
|
8 |
Traducción al inglés de la novela Aura por Carlos Fuentes
|
|
|
|
In: World Languages and Cultures (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Variation in the syntax and semantics of predicative possession in Quechua
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Looking for a Needle in a Haystack: CALL and Advanced Language Proficiency
|
|
|
|
In: World Languages Faculty Publications and Presentations (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Losing Shahrazad: A Distant Reading of 1001 Nights
|
|
|
|
In: Senior Projects Spring 2018 (2018)
|
|
BASE
|
|
Show details
|
|
12 |
Nicolas de Montreux's La Sophonisbe : an English translation of ACT III
|
|
|
|
BASE
|
|
Show details
|
|
13 |
The relationship of language and performance on the Repeatable Battery for the Assessment of Neuropsychological Status (RBANS) ; The relationship of language and the RBANS
|
|
|
|
BASE
|
|
Show details
|
|
14 |
(Re)casting the Concierge in Muriel Barbery's L' Élégance du Hérisson
|
|
|
|
In: World Languages Faculty Publications and Presentations (2018)
|
|
BASE
|
|
Show details
|
|
15 |
Marketing the panpan in Japanese popular culture : youth, sexuality, and power
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Politics of Transmediality in Murakami Haruki’s Bakery Attack Stories
|
|
|
|
BASE
|
|
Show details
|
|
20 |
The first female gaze at postwar Japanese women : Tanaka Kinuyo film director
|
|
|
|
BASE
|
|
Show details
|
|
|
|