• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (48)
    • 2021 (443)
    • 2020 (128)
    • 2019 (148)
    • 2018 (104)
    • 2017 (115)
    • 2016 (142)
    • 2015 (168)
    • 2014 (163)
    • 2013 (129)
    •   more
  • 
    Medium:
    
    • Online (3.699)
    • Print (1.015)
    • Microfilm (4)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...236 Hits 1 – 20 of 4.718 1 RETRIEVING SPEAKER INFORMATION FROM PERSONALIZED ACOUSTIC MODELS FOR SPEECH RECOGNITION Mdhaffar, Salima; Bonastre, Jean-François; Tommasi, Marc... In: IEEE ICASSP 2022 ; https://hal.archives-ouvertes.fr/hal-03539741 ; IEEE ICASSP 2022, 2022, Singapour, Singapore (2022) BASE Show details 2 From FreEM to D'AlemBERT ; From FreEM to D'AlemBERT: a Large Corpus and a Language Model for Early Modern French Gabay, Simon; Ortiz Suarez, Pedro; Bartz, Alexandre... In: Proceedings of the 13th Language Resources and Evaluation Conference ; https://hal.inria.fr/hal-03596653 ; Proceedings of the 13th Language Resources and Evaluation Conference, European Language Resources Association, Jun 2022, Marseille, France (2022) BASE Show details 3 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris 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 4 Learning and controlling the source-filter representation of speech with a variational autoencoder Sadok, Samir; Leglaive, Simon; Girin, Laurent... In: https://hal.archives-ouvertes.fr/hal-03650569 ; 2022 (2022) BASE Show details 5 Hippocampal ensembles represent sequential relationships among an extended sequence of nonspatial events. Shahbaba, Babak; Li, Lingge; Agostinelli, Forest... In: Nature communications, vol 13, iss 1 (2022) BASE Show details 6 Changes in the midst of a construction network: a diachronic construction grammar approach to complex prepositions denoting internal location Desagulier, Guillaume In: ISSN: 0936-5907 ; EISSN: 1613-3641 ; Cognitive Linguistics ; https://halshs.archives-ouvertes.fr/halshs-03637056 ; Cognitive Linguistics, De Gruyter, 2022, ⟨10.1515/cog-2021-0128⟩ (2022) BASE Show details 7 Changes in the midst of a construction network: a diachronic construction grammar approach to complex prepositions denoting internal location Desagulier, Guillaume In: ISSN: 0936-5907 ; EISSN: 1613-3641 ; Cognitive Linguistics ; https://halshs.archives-ouvertes.fr/halshs-03637056 ; Cognitive Linguistics, De Gruyter, In press, ⟨10.1515/cog-2021-0128⟩ (2022) BASE Show details 8 Le modèle Transformer: un « couteau suisse » pour le traitement automatique des langues Yvon, François In: Techniques de l'Ingenieur ; https://hal.archives-ouvertes.fr/hal-03619077 ; Techniques de l'Ingenieur, Techniques de l'ingénieur, 2022, ⟨10.51257/a-v1-in195⟩ ; https://www.techniques-ingenieur.fr/base-documentaire/innovation-th10/innovations-en-electronique-et-tic-42257210/transformer-des-reseaux-de-neurones-pour-le-traitement-automatique-des-langues-in195/ (2022) BASE Show details 9 Imputing Out-of-Vocabulary Embeddings with LOVE Makes Language Models Robust with Little Cost Chen, Lihu; Varoquaux, Gaël; Suchanek, Fabian In: ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-03613101 ; ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics, May 2022, Dublin, Ireland (2022) BASE Show details 10 Imputing out-of-vocabulary embeddings with LOVE makes language models robust with little cost Chen, Lihu; Varoquaux, Gaël; Suchanek, Fabian In: ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-03613101 ; ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics, May 2022, Dublin, Ireland (2022) BASE Show details 11 Structured, flexible, and robust: comparing linguistic plans and explanations generated by humans and large language models ... Wei, Megan. - : Open Science Framework, 2022 BASE Show details 12 From bag-of-words towards natural language: adapting topic models to avoid stop word removal ... Max Schulze Dieckhoff. - : Universitätsbibliothek Eichstätt-Ingolstadt, 2022 BASE Show details 13 A Collection of Classroom Instruction ... : A Collection of Classroom Instruction ... Thobias Sarbunan. - : Science Data Bank, 2022 BASE Show details 14 Biodiversity: how big is our global biodiversity debt and what can we do about it? ... Rijsdijk, Kenneth; Norder, Sietze. - : OpenGeoHub Foundation, 2022 BASE Show details 15 Money Change_experiment -10000-FULL.rar ... Tzouvelekas, Emmanuel. - : figshare, 2022 BASE Show details 16 Money Change_experiment -10000-FULL.rar ... Tzouvelekas, Emmanuel. - : figshare, 2022 BASE Show details 17 Bayesian data analysis in the phonetic sciences: A tutorial introduction ... Vasishth, Shravan. - : Open Science Framework, 2022 BASE Show details 18 How Cognitive Abilities May Support Children’s Bilingual Literacy Development in a Multilingual Society ... Vogelzang, Margreet; Tsimpli, IM; Panda, M. - : Apollo - University of Cambridge Repository, 2022 BASE Show details 19 On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages ... Chen, Fuxiang. - : Federated Research Data Repository / dépôt fédéré de données de recherche, 2022 BASE Show details 20 Multilingual Hate Speech Detection ... Λαυρεντιάδου, Βασιλική Γεωργίου. - : Aristotle University of Thessaloniki, 2022 BASE Show details Page: 1 2 3 4 5...236

Mobile view All Catalogues UB Frankfurt Linguistik 159 IDS Mannheim 0 OLC Linguistik 10 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 8 Leibniz-Centre General Linguistics (ZAS) 2 Bibliographies BLLDB 929 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 19 MPI for Psycholinguistics 95 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3.663 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0