DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...279
Hits 1 – 20 of 5.568

1
Anxious voice and avoidant language in interaction with a woman wearing an Islamic headscarf: field-experimental evidence from the Paris metro
In: https://hal.archives-ouvertes.fr/hal-03140246 ; 2022 (2022)
BASE
Show details
2
Anxious voice and avoidant language in interaction with a woman wearing an Islamic headscarf: field-experimental evidence from the Paris metro
In: https://hal.archives-ouvertes.fr/hal-03140246 ; 2022 (2022)
BASE
Show details
3
An Overview of Indian Spoken Language Recognition from Machine Learning Perspective
In: ISSN: 2375-4699 ; EISSN: 2375-4702 ; ACM Transactions on Asian and Low-Resource Language Information Processing ; https://hal.inria.fr/hal-03616853 ; ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩ (2022)
BASE
Show details
4
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
Abstract: Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, .) is no more primitive but computation is. All the logical entities and activities will be presented as formatting/structuring on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the transcendental syntax is a model of computation I call "stellar resolution" which is basically a logic-free reformulation of Robinson's first-order clausal resolution with a dynamics related to tile systems. An initial goal of the transcendental syntax is to retrieve linear logic from this new framework. In particular, this model naturally encodes cut-elimination for proof-structures. By using an idea of ``interactive typing'' reminiscent of realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Thanks to interactive typing, we are able to reach a semantic-free space where correctness criteria are seen as tests (as in unit testing or model checking) certifying logical correctness, thus allowing an effective use of logical entities.
Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Realizability semantics; Semantics
URL: https://hal.archives-ouvertes.fr/hal-02977750v7/file/main.pdf
https://hal.archives-ouvertes.fr/hal-02977750
https://hal.archives-ouvertes.fr/hal-02977750v7/document
BASE
Hide details
5
Speech Perception and Implementation in a Virtual Medical Assistant
In: 6. ICAART – 14th International Conference on Agents and Artificial Intelligence ; https://hal.archives-ouvertes.fr/hal-03621550 ; 6. ICAART – 14th International Conference on Agents and Artificial Intelligence, Feb 2022, Vienna, Austria (2022)
BASE
Show details
6
L’assistance au récit d’asile ou l’engagement par la conformité. Un exemple de médiation glottopolitique
In: EISSN: 1769-7425 ; Glottopol ; https://hal.archives-ouvertes.fr/hal-03608513 ; Glottopol, Université de Rouen, Laboratoire Dylis, 2022, Glottopolitiques engagées et solidaires : contextes, idéologies, histoire, ⟨10.4000/glottopol.1521⟩ (2022)
BASE
Show details
7
Rapport et Bilan Scientifique - 2e Symposium sur la Politique Linguistique Familiale 2021
In: https://hal-inalco.archives-ouvertes.fr/hal-03525635 ; [Rapport de recherche] INALCO, Sorbonne Paris-Cité (SPC). 2022 (2022)
BASE
Show details
8
Computational models of disfluencies : fillers and discourse markers in spoken language understanding ; Modèles computationnels des disfluences dans le traitement de la parole
Dinkar, Tanvi. - : HAL CCSD, 2022
In: https://tel.archives-ouvertes.fr/tel-03653211 ; Computer science. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT001⟩ (2022)
BASE
Show details
9
Assessing the impact of OCR noise on multilingual event detection over digitised documents
In: ISSN: 1432-5012 ; EISSN: 1432-1300 ; International Journal on Digital Libraries ; https://hal.archives-ouvertes.fr/hal-03635985 ; International Journal on Digital Libraries, Springer Verlag, 2022, ⟨10.1007/s00799-022-00325-2⟩ (2022)
BASE
Show details
10
Introducing the HIPE 2022 Shared Task: Named Entity Recognition and Linking in Multilingual Historical Documents
In: Advances in Information Retrieval. 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10–14, 2022, Proceedings, Part II ; https://hal.archives-ouvertes.fr/hal-03635971 ; Matthias Hagen; Suzan Verberne; Craig Macdonald; Christin Seifert; Krisztian Balog; Kjetil Nørvåg; Vinay Setty. Advances in Information Retrieval. 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10–14, 2022, Proceedings, Part II, 13186, Springer International Publishing, pp.347-354, 2022, Lecture Notes in Computer Science, 978-3-030-99738-0. ⟨10.1007/978-3-030-99739-7_44⟩ (2022)
BASE
Show details
11
Claiming epistemic access: 'Eh ciò'-prefaced turns in Trevigiano and in regional Italian
In: ISSN: 0378-2166 ; EISSN: 1879-1387 ; Journal of Pragmatics ; https://hal.archives-ouvertes.fr/hal-03563222 ; Journal of Pragmatics, Elsevier, 2022, 190, pp.110-122. ⟨10.1016/j.pragma.2022.01.008⟩ (2022)
BASE
Show details
12
ЯЗЫК SMS – ЛИНГВИСТИЧЕСКАЯ НОРМА ИЛИ ЕЕ НАРУШЕНИЕ? ... : SMS LANGUAGE – A LINGUISTIC NORM OR ITS VIOLATION? ...
Гурьева, З.И.; Петрушова, Е.В.. - : ИП Соколова М.В., 2022
BASE
Show details
13
Dialogic Interaction in Foreign Language Instruction and Acquisition: Implementation Stages of Poly- / Multicultural Education ...
BASE
Show details
14
Dialogic Interaction in Foreign Language Instruction and Acquisition: Implementation Stages of Poly- / Multicultural Education ...
BASE
Show details
15
Oslo Early Education Study, study 2: Impact of a professional development intervention on the quality of caregiver–child interactions. ...
Bratlie, Siri. - : Open Science Framework, 2022
BASE
Show details
16
ClassSPLOM -- A Scatterplot Matrix to Visualize Separation of Multiclass Multidimensional Data ...
Aupetit, Michael; Ali, Ahmed. - : arXiv, 2022
BASE
Show details
17
COMMUNICATIVE APPROACH TO TEACHING FOREIGN LANGUAGES ... : КОММУНИКАТИВНЫЙ ПОДХОД К ОБУЧЕНИЮ ИНОСТРАННЫМ ЯЗЫКАМ ...
Djumaniyazova, Muyassar Mamatsheripovna. - : Oriental renaissance: Innovative, educational, natural and social sciences, 2022
BASE
Show details
18
Zum Ungleichgewicht digital vermittelten Sachunterrichts und sprachlich-kommunikativer Anforderungen ...
Kern, Friederike; Schwier, Volker; Stövesand, Björn. - : Verlag Julius Klinkhardt, 2022
BASE
Show details
19
Zum Ungleichgewicht digital vermittelten Sachunterrichts und sprachlich-kommunikativer Anforderungen
In: Sachunterricht in der Informationsgesellschaft. Bad Heilbrunn : Verlag Julius Klinkhardt 2022, S. 114-121. - (Probleme und Perspektiven des Sachunterrichts; 32) (2022)
BASE
Show details
20
КЛАССИФИКАЦИЯ СФЕР ОБЩЕНИЯ И ЯЗЫКОВАЯ РЕФОРМА В РОССИИ ... : CLASSIFICATION OF SPHERES OF COMMUNICATION AND LANGUAGE REFORM IN RUSSIA ...
В.Ю. Михальченко. - : Мир науки, культуры, образования, 2022
BASE
Show details

Page: 1 2 3 4 5...279

Catalogues
115
0
194
0
0
0
15
Bibliographies
826
0
0
0
0
0
0
8
116
Linked Open Data catalogues
0
Online resources
5
0
0
0
Open access documents
4.595
1
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern