• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (33)
    • Blätte, Andreas (7)
    • Leonhardt, Christoph (4)
    • Hladká, Barbora (3)
    • Kopp, Matyáš (3)
    • Mara Behlau (3)
    • Straňák, Pavel (3)
    • ANR-06-SECU-0007,LISE,Linguistique, normes, traitement automatique des langues et Sécurité : du " data et sense-mining " aux langues contrôlées(2006) (2)
    • Bryant, Annie (2)
    • CALM Team (2)
    •   more
  • 
    Year:
    
    • 2021 (6)
    • 2020 (13)
    • 2019 (5)
    • 2018 (8)
    • 2017 (1)
    • 2016 (5)
    • 2015 (3)
    • 2014 (7)
    • 2013 (1)
    • 2012 (10)
    •   more
  • 
    Medium
  • 
    Type:
    
    • Article (110)
    • Book (18)
    • Miscellaneous (18)
  • 
    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...8 Hits 1 – 20 of 146 1 ParCzech 3.0 Kopp, Matyáš; Stankov, Vladislav; Bojar, Ondřej. - : Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL), 2021 BASE Show details 2 Indigenous Knowledge Systems in Environmental Governance in Canada McGregor, Deborah. - : University of Victoria Libraries, 2021. : Érudit, 2021 BASE Show details 3 TO CONCERN COMPUTER VISION PROFESSIONAL DOMAIN ... Lavrova, A.. - : Deutsche Internationale Zeitschrift für zeitgenössische Wissenschaft, 2021 BASE Show details 4 Ensemble of Deep Masked Language Models for Effective Named Entity Recognition in Health and Life Science Corpora Naderi, Nona; Knafou, Julien David Marc; Copara Zea, Jenny Linet... In: ISSN: 2504-0537 ; Frontiers in research metrics and analytics, Vol. 6 (2021) P. 689803 (2021) BASE Show details 5 Reporting stress in simultaneous interpreting. The analysis of trainee interpreters’ retrospective reports and outputs Gumul, Ewa In: Onomázein: Revista de lingüística, filología y traducción de la Pontificia Universidad Católica de Chile, ISSN 0717-1285, Nº. 8 (VIII Emotions in Translation and Interpreting), 2021, pags. 16-42 (2021) BASE Show details 6 Developmental Stuttering Screening Instrument: evidence of sensitivity and accuracy measures Mayra Maria Oliveira de Lima; Ana Augusta de Andrade Cordeiro; Bianca Arruda Manchester de Queiroga In: Revista CEFAC, Vol 23, Iss 5 (2021) (2021) BASE Show details 7 Succinct Population Protocols for Presburger Arithmetic Blondin, Michael; Esparza, Javier; Genest, Blaise; Helfrich, Martin; Jaax, Stefan In: STACS 2020 - 37th International Symposium on Theoretical Aspects of Computer Science ; https://hal.archives-ouvertes.fr/hal-03065533 ; STACS 2020 - 37th International Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.1-15, &#x27E8;10.4230/LIPIcs.STACS.2020.40&#x27E9; (2020) Abstract: International audience ; In [5], Angluin et al. proved that population protocols compute exactly the predicates definable in Presburger arithmetic (PA), the first-order theory of addition. As part of this result, they presented a procedure that translates any formula $ϕ$ of quantifier-free PA with remainder predicates (which has the same expressive power as full PA) into a population protocol with $2 O(poly(|ϕ|))$ states that computes $ϕ$. More precisely, the number of states of the protocol is exponential in both the bit length of the largest coefficient in the formula, and the number of nodes of its syntax tree. In this paper, we prove that every formula $ϕ$ of quantifier-free PA with remainder predicates is computable by a leaderless population protocol with $O(poly(|ϕ|))$ states. Our proof is based on several new constructions, which may be of independent interest. Given a formula $ϕ$ of quantifier-free PA with remainder predicates, a first construction produces a succinct protocol (with $O(|ϕ| 3)$ leaders) that computes ϕ; this completes the work initiated in [8], where we constructed such protocols for a fragment of PA. For large enough inputs, we can get rid of these leaders. If the input is not large enough, then it is small, and we design another construction producing a succinct protocol with one leader that computes $ϕ$. Our last construction gets rid of this leader for small inputs. Keyword: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; Population protocols; Presburger arithmetic; state complexity URL: https://hal.archives-ouvertes.fr/hal-03065533/file/LIPIcs-STACS-2020-40.pdf https://hal.archives-ouvertes.fr/hal-03065533/document https://hal.archives-ouvertes.fr/hal-03065533 https://doi.org/10.4230/LIPIcs.STACS.2020.40 BASE Hide details 8 ParCzech PS7 2.0 Hladká, Barbora; Kopp, Matyáš; Straňák, Pavel. - : Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL), 2020 BASE Show details 9 ParCzech PS7 1.0 Hladká, Barbora; Kopp, Matyáš; Straňák, Pavel. - : Charles University, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics (UFAL), 2020 BASE Show details 10 GermaParl Sample Corpus ... Blätte, Andreas. - : Zenodo, 2020 BASE Show details 11 GermaParl Sample Corpus ... Blätte, Andreas. - : Zenodo, 2020 BASE Show details 12 ParisParl Corpus of Parliamentary Debates ... Leonhardt, Christoph; Blätte, Andreas. - : Zenodo, 2020 BASE Show details 13 AustroParl Corpus of Parliamentary Debates ... Leonhardt, Christoph; Blätte, Andreas. - : Zenodo, 2020 BASE Show details 14 GermaParl Sample Corpus ... Blätte, Andreas. - : Zenodo, 2020 BASE Show details 15 AustroParl Corpus of Parliamentary Debates ... Leonhardt, Christoph; Blätte, Andreas. - : Zenodo, 2020 BASE Show details 16 ParisParl Corpus of Parliamentary Debates ... Leonhardt, Christoph; Blätte, Andreas. - : Zenodo, 2020 BASE Show details 17 Disseny d'una eina d'anàlisi prosocial de protocols per l'atenció en Logopèdia d'infants d'entre 0 i 6 anys víctimes de violència masclista Lagares Bustamante, Anna; Universitat Autònoma de Barcelona. Facultat de Psicologia. - 2020 BASE Show details 18 Doing science <> writing science Bachler, Theresa. - 2020 BASE Show details 19 Assessment protocols for forward masking in Frequency-Following Response Denise Costa Menezes; Silvana Maria Sobral Griz; Anne Karoline Lima de Araújo... In: Revista CEFAC, Vol 22, Iss 6 (2020) (2020) BASE Show details 20 Protocol for a transdiagnostic study of children with problems of attention, learning and memory (CALM). ... Holmes, Joni; Bryant, Annie; CALM Team. - : Apollo - University of Cambridge Repository, 2019 BASE Show details Page: 1 2 3 4 5...8

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 1 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 145 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0