• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Unkn Unknown (145)
    • The Pennsylvania State University CiteSeerX Archives (95)
    • Kabatek, Johannes (94)
    • La Fauci, Nunzio (66)
    • Foxcroft, Nigel (41)
    • Valär, Rico Franc (38)
    • Miller, Bruce L (37)
    • Glessgen, M D (27)
    • Stark, Elisabeth (27)
    • Stridde, Christine (24)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (2.146)
    • Miscellaneous (365)
    • Book (268)
  • 
    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...139 Hits 1 – 20 of 2.779 1 Using Automatic Speech Recognition to Optimize Hearing-Aid Time Constants Fontan, Lionel; Gonçalves Braz, Libio; Pinquier, Julien... In: ISSN: 1662-4548 ; EISSN: 1662-453X ; Frontiers in Neuroscience ; https://hal.archives-ouvertes.fr/hal-03627441 ; Frontiers in Neuroscience, Frontiers, 2022, 16 (779062), ⟨10.3389/fnins.2022.779062⟩ ; https://www.frontiersin.org/articles/10.3389/fnins.2022.779062/full (2022) BASE Show details 2 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 3 Family history of FXTAS is associated with age-related cognitive-linguistic decline among mothers with the FMR1 premutation. Klusek, Jessica; Fairchild, Amanda; Moser, Carly... In: Journal of neurodevelopmental disorders, vol 14, iss 1 (2022) BASE Show details 4 Cortical microstructure in primary progressive aphasia: a multicenter study. Illán-Gala, Ignacio; Montal, Victor; Borrego-Écija, Sergi... In: Alzheimer's research & therapy, vol 14, iss 1 (2022) BASE Show details 5 Addressing racial/ethnic inequities in vaccine hesitancy and uptake: lessons learned from the California alliance against COVID-19. AuYoung, Mona; Rodriguez Espinosa, Patricia; Chen, Wei-Ting. - : eScholarship, University of California, 2022 BASE Show details 6 Bilingualer Erstspracherwerb und Sprachkompetenz der Kinder in Schweizer-chinesischen Familien : Untersuchung in einem dialektalen Umfeld der Deutschschweiz ... Lötscher, Jie. - : Universität Bern, 2022 BASE Show details 7 The Twitter user dataset for discriminating between Bosnian, Croatian, Montenegrin and Serbian Twitter-HBS 1.0 Ljubešić, Nikola; Rupnik, Peter. - : Jožef Stefan Institute, 2022 BASE Show details 8 The news dataset for discriminating between Bosnian, Croatian and Serbian SETimes.HBS 1.0 Ljubešić, Nikola; Rupnik, Peter. - : Jožef Stefan Institute, 2022 BASE Show details 9 Locality and attachment preferences in preverbal versus post-verbal Relative Clauses ... Aguilar, Miriam; Ferré, Pilar; Hinojosa, José A.. - : Taylor & Francis, 2022 BASE Show details 10 Locality and attachment preferences in preverbal versus post-verbal Relative Clauses ... Aguilar, Miriam; Ferré, Pilar; Hinojosa, José A.. - : Taylor & Francis, 2022 BASE Show details 11 Food and medicinal uses of Annona senegalensis Pers.: a country-wide assessment of traditional theoretical knowledge and actual uses in Benin, West Africa ... Donhouedé, Janine C. F.; Salako, Kolawolé Valère; Gandji, Kisito. - : figshare, 2022 BASE Show details 12 Food and medicinal uses of Annona senegalensis Pers.: a country-wide assessment of traditional theoretical knowledge and actual uses in Benin, West Africa ... Donhouedé, Janine C. F.; Salako, Kolawolé Valère; Gandji, Kisito. - : figshare, 2022 BASE Show details 13 A new genus of land planarian (Platyhelminthes, Geoplanidae) for a new ‘blind’ species ... Negrete, Lisandro; Francavilla, Marina Lenguas; Damborenea, Cristina. - : Taylor & Francis, 2022 BASE Show details 14 A new genus of land planarian (Platyhelminthes, Geoplanidae) for a new ‘blind’ species ... Negrete, Lisandro; Francavilla, Marina Lenguas; Damborenea, Cristina. - : Taylor & Francis, 2022 BASE Show details 15 Health information-seeking behavior associated with linguistic group membership: latent class analysis of a population-based cross-sectional survey in Italy, August to September 2014 ... Ausserhofer, Dietmar; Wiedermann, Wolfgang; Becker, Ulrich. - : figshare, 2022 BASE Show details 16 Health information-seeking behavior associated with linguistic group membership: latent class analysis of a population-based cross-sectional survey in Italy, August to September 2014 ... Ausserhofer, Dietmar; Wiedermann, Wolfgang; Becker, Ulrich. - : figshare, 2022 BASE Show details 17 Additional file 1 of Side-by-side comparison of parent vs. technician-collected respiratory swabs in low-income, multilingual, urban communities in the United States ... Chaves, Sandra S.; Park, Ju-Hyeong; Prill, Mila M.. - : figshare, 2022 BASE Show details 18 Additional file 1 of Side-by-side comparison of parent vs. technician-collected respiratory swabs in low-income, multilingual, urban communities in the United States ... Chaves, Sandra S.; Park, Ju-Hyeong; Prill, Mila M.. - : figshare, 2022 BASE Show details 19 Side-by-side comparison of parent vs. technician-collected respiratory swabs in low-income, multilingual, urban communities in the United States ... Chaves, Sandra S.; Park, Ju-Hyeong; Prill, Mila M.. - : figshare, 2022 BASE Show details 20 Side-by-side comparison of parent vs. technician-collected respiratory swabs in low-income, multilingual, urban communities in the United States ... Chaves, Sandra S.; Park, Ju-Hyeong; Prill, Mila M.. - : figshare, 2022 BASE Show details Page: 1 2 3 4 5...139

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