• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (1.958)
    • Print (79)
  • 
    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...102 Hits 1 – 20 of 2.037 1 Documenting Geographically and Contextually Diverse Data Sources: The BigScience Catalogue of Language Data and Resources McMillan-Major, Angelina; Alyafeai, Zaid; Biderman, Stella... In: https://hal.inria.fr/hal-03550289 ; 2022 (2022) BASE Show details 2 An Overview of Indian Spoken Language Recognition from Machine Learning Perspective Dey, Spandan; Sahidullah, Md; Saha, Goutam 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 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 FAIRsharing record for: General Ontology for Linguistic Description ... : GOLD ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 5 Animal linguistics in the making: the Urgency Principle and titi monkeys’ alarm system ... Sabaté, Lara Narbona; Mesbahi, Geoffrey; Dezecache, Guillaume. - : Taylor & Francis, 2022 BASE Show details 6 Animal linguistics in the making: the Urgency Principle and titi monkeys’ alarm system ... Sabaté, Lara Narbona; Mesbahi, Geoffrey; Dezecache, Guillaume. - : Taylor & Francis, 2022 BASE Show details 7 The use of predictive fall models for older adults receiving aged care, using routinely collected electronic health record data: a systematic review ... Seaman, Karla; Ludlow, Kristiana; Wabe, Nasir. - : figshare, 2022 BASE Show details 8 The use of predictive fall models for older adults receiving aged care, using routinely collected electronic health record data: a systematic review ... Seaman, Karla; Ludlow, Kristiana; Wabe, Nasir. - : figshare, 2022 BASE Show details 9 Perspectives Organize Information in Mind and Nature: Empirical Findings of Point-View Perspective (P) in Cognitive and Material Complexity Derek Cabrera; Laura Cabrera; Elena Cabrera In: Systems; Volume 10; Issue 3; Pages: 52 (2022) BASE Show details 10 The “Fish Tank” Experiments: Metacognitive Awareness of Distinctions, Systems, Relationships, and Perspectives (DSRP) Significantly Increases Cognitive Complexity Derek Cabrera; Laura Cabrera; Elena Cabrera In: Systems; Volume 10; Issue 2; Pages: 29 (2022) BASE Show details 11 Distinctions Organize Information in Mind and Nature: Empirical Findings of Identity–Other Distinctions (D) in Cognitive and Material Complexity Derek Cabrera; Laura Cabrera; Elena Cabrera In: Systems; Volume 10; Issue 2; Pages: 41 (2022) BASE Show details 12 Systems Organize Information in Mind and Nature: Empirical Findings of Part-Whole Systems (S) in Cognitive and Material Complexity Derek Cabrera; Laura Cabrera; Elena Cabrera In: Systems; Volume 10; Issue 2; Pages: 44 (2022) BASE Show details 13 Community Development of the SWEET Semantic System for Earth and Environmental Data - A Call for Interest ... Rovetto, Robert J.. - : ESIP, 2022 BASE Show details 14 Community Development of the SWEET Semantic System for Earth and Environmental Data - A Call for Interest ... Rovetto, Robert J.. - : ESIP, 2022 BASE Show details 15 Modelling Maltese noun plural classes without morphemes ... Nieder, Jessica; Tomaschek, Fabian; Cohrs, Enum. - : Taylor & Francis, 2022 BASE Show details 16 Modelling Maltese noun plural classes without morphemes ... Nieder, Jessica; Tomaschek, Fabian; Cohrs, Enum. - : Taylor & Francis, 2022 BASE Show details 17 “There are endless areas that they can use it for”: speech-language pathologist perspectives of technology support for aphasia self-management ... Nichol, Leana; Pitt, Rachelle; Wallace, Sarah J.. - : Taylor & Francis, 2022 BASE Show details 18 “There are endless areas that they can use it for”: speech-language pathologist perspectives of technology support for aphasia self-management ... Nichol, Leana; Pitt, Rachelle; Wallace, Sarah J.. - : Taylor & Francis, 2022 BASE Show details 19 Using acoustic distance and acoustic absement to quantify lexical competition Matthew C. Kelley; Benjamin V. Tucker. - 2022 BASE Show details 20 ISSUES AND CHALLENGES IN INDIAN MULTI-LINGUAL AND MULTI SCRIPTS BIBLIOGRAPHIC RETRIEVAL SYSTEMS Kushwah, Shivpal Singh, Dr.; Singh, Ritu, Dr. In: Library Philosophy and Practice (e-journal) (2022) BASE Show details Page: 1 2 3 4 5...102

Mobile view All Catalogues UB Frankfurt Linguistik 15 IDS Mannheim 0 OLC Linguistik 27 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 74 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 0 MPI for Psycholinguistics 20 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 1.941 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0