• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (570)
    • Miscellaneous (72)
    • Book (61)
  • 
    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...36 Hits 1 – 20 of 703 1 gTLO: A Generalized and Non-linear Multi-Objective Deep Reinforcement Learning Approach ... Dornheim, Johannes. - : arXiv, 2022 BASE Show details 2 Community Development of the SWEET Semantic System for Earth and Environmental Data - A Call for Interest ... Rovetto, Robert J.. - : ESIP, 2022 BASE Show details 3 Community Development of the SWEET Semantic System for Earth and Environmental Data - A Call for Interest ... Rovetto, Robert J.. - : ESIP, 2022 BASE Show details 4 Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities Hwang Arcolezi, Héber; Cerna Nahuis, Selene Leya; Couchot, Jean-François... In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021) BASE Show details 5 Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM NZEBOP NDENOKA, Gérard; Tchuente, M.; Simeu, Emmanuel In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021) BASE Show details 6 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,; Wąsowski, Andrzej In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021) Abstract: International audience ; High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking, and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normalization, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; abstract interpretation; Abstraction; CCS Concepts: • Theory of computation → Program verification; Control primitives; Functional constructs; Operational semantics; Program analysis; Program schemes; Semantics; static analysis; transformation languages; • Software and its engineering → Translator writing systems and compiler generators URL: https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf https://hal.inria.fr/hal-03518825/document https://doi.org/10.1145/3409805 https://hal.inria.fr/hal-03518825 BASE Hide details 7 Automatic Guide Generation for Stan via NumPyro Baudart, Guillaume; Mandel, Louis In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021) BASE Show details 8 VocalGeo: Using Speech to Provide Geospatial Context in the Classroom ... Gilbert, Thomas. - : figshare, 2021 BASE Show details 9 VocalGeo: Using Speech to Provide Geospatial Context in the Classroom ... Gilbert, Thomas. - : figshare, 2021 BASE Show details 10 100 Years of South African Kalahari Place Names, featuring: Nǀuu, Khoekhoe, Tswana, Afrikaans, English and Gaelic ... Jones, Kerry; Slingsby, Thomas. - : University of Cape Town, 2021 BASE Show details 11 100 Years of South African Kalahari Place Names, featuring: Nǀuu, Khoekhoe, Tswana, Afrikaans, English and Gaelic ... Jones, Kerry; Slingsby, Thomas. - : University of Cape Town, 2021 BASE Show details 12 Places of the ǂKhomani San | Hugh Brody Collection ... Slingsby, Thomas; Jones, Kerry; Muftic, Sanjin. - : University of Cape Town, 2021 BASE Show details 13 Places of the ǂKhomani San | Hugh Brody Collection ... Slingsby, Thomas; Jones, Kerry; Muftic, Sanjin. - : University of Cape Town, 2021 BASE Show details 14 Double Fuzzy Probabilistic Interval Linguistic Term Set and a Dynamic Fuzzy Decision Making Model based on Markov Process with tts Application in Multiple Criteria Group Decision Making ... Liu, Zongmin. - : arXiv, 2021 BASE Show details 15 A Linguistic MCDM Framework for Sustainable Agriculture Design ... Uztürk, Gülçin Büyüközkan and Deniz. - : figshare, 2021 BASE Show details 16 A Linguistic MCDM Framework for Sustainable Agriculture Design ... Uztürk, Gülçin Büyüközkan and Deniz. - : figshare, 2021 BASE Show details 17 Planning for Risk-Aversion and Expected Value in MDPs ... Rigter, Marc; Duckworth, Paul; Lacerda, Bruno. - : arXiv, 2021 BASE Show details 18 Lyntax - A grammar-Based Tool for Linguistics ... de Sousa, Manuel Gouveia Carneiro; Pereira, Maria João Varanda; Henriques, Pedro Rangel. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 19 Becoming language policymakers in science and education. Tolbert, Sara; Combs MC; Spurgin C. - : AERA, 2021 BASE Show details 20 ‘Staying with the trouble’: Praxis crisis in science teacher education for emergent bilingual learners Spurgin C; Ash D; Tolbert, Sara. - 2021 BASE Show details Page: 1 2 3 4 5...36

Mobile view All Catalogues UB Frankfurt Linguistik 0 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 0 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 2 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 701 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0