• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Ramirez, Jorge H (25)
    • Ferrer-i-Cancho, Ramon (6)
    • Goodman, I. R. (6)
    • MASSACHUSETTS UNIV AMHERST CENTER FOR INTELLIGENT INFORMATION RETRIEVAL (5)
    • NAVAL POSTGRADUATE SCHOOL MONTEREY CA (5)
    • Altmann, Eduardo G. (4)
    • Cai, Jinfa (4)
    • Kostoff, Ronald N. (4)
    • McCallum, Andrew (4)
    • Moyer, John (4)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (180)
    • Miscellaneous (45)
    • Book (5)
  • 
    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...12 Hits 1 – 20 of 230 1 Optimal alphabet for single text compression ... Allahverdyan, Armen E.; Khachatryan, Andranik. - : arXiv, 2022 BASE Show details 2 A novel source-filter stochastic model for voice production Cataldo, Edson; Monteiro, L.; Soize, Christian In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021) BASE Show details 3 Writing At the Horizon: How Producing Imagined Narratives Affects Mood Liang, David Yu-Zhong In: Senior Projects Fall 2021 (2021) BASE Show details 4 Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation Bannour, Boutheina; Niol, Julien; Crisafulli, Paolo In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021) Abstract: International audience ; Finding comprehensive and relevant scenarios is a major challenge for autonomous vehicles validation and SOTIF. A functional scenario, e.g. a cut-in, encloses many concrete variations. Formal methods help covering an intermediate level of scenario families, called logical, and capitalizing them in a scenario database. Families are generated from discrete and modular symbolic models through a new subsumption criterion which allows the identification of scenario suffixes which are redundant and eliminate them during the generation. The generation, including the implementation of the subsumption criterion, benefits from: i) the compact representation of models thanks to discretization and symbolic arithmetic, ii) dedicated symbolic execution techniques. Analysis is performed to verify how the generated scenarios cover real situations by confronting them to time series from the modeled system and identify potential gaps in the model. We formally define our approach, implement it in the symbolic execution tool DIVERSITY. Assessment is carried out on a real autopilot black box module from the project 3SA. Keyword: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]; [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]; [PHYS.PHYS.PHYS-DATA-AN]Physics [physics]/Physics [physics]/Data Analysis; Advanced Driver Assistance Systems; Analytical models; Redundancy; Self-Driving Vehicles; Statistics and Probability [physics.data-an]; Time series analysis URL: https://doi.org/10.1109/IV48863.2021.9575528 https://hal.archives-ouvertes.fr/hal-03540190 BASE Hide details 5 Learning a weather dictionary of atmospheric patterns using Latent Dirichlet Allocation Fery, Lucas; Dubrulle, Berengere; Podvin, Berengere... In: https://hal.archives-ouvertes.fr/hal-03258523 ; 2021 (2021) BASE Show details 6 Neural Network Reconstruction of Late-Time Cosmology and Null Tests ... Dialektopoulos, Konstantinos; Said, Jackson Levi; Mifsud, Jurgen. - : arXiv, 2021 BASE Show details 7 Drift in a Popular Metal Oxide Sensor Dataset Reveals Limitations for Gas Classification Benchmarks ... Dennler, Nik; Rastogi, Shavika; Fonollosa, Jordi. - : arXiv, 2021 BASE Show details 8 The Fundamental Limit Theorem of Countable Markov Chains Gentry, Nathanael In: Senior Honors Theses (2021) BASE Show details 9 Combination of Time Series Analysis and Sentiment Analysis for Stock Market Forecasting Chou, Hsiao-Chuan. - : Digital Commons @ University of South Florida, 2021 In: Graduate Theses and Dissertations (2021) BASE Show details 10 Free Energy: A User's Guide Mann, Stephen Francis; Pain, Ross; Kirchhoff, Michael. - 2021 BASE Show details 11 Information flow, artificial phonology and typology Gafos, Adamantios In: Proceedings of the Society for Computation in Linguistics (2021) BASE Show details 12 Heaps' law and Heaps functions in tagged texts: Evidences of their linguistic relevance ... Chacoma, Andrés; Zanette, Damián H.. - : arXiv, 2020 BASE Show details 13 Predictive Validity of Standards-based and Curriculum-embedded Assessments for Predicting Readiness at Kindergarten Entry DeCamilla, Elizabeth Ashton. - : Digital Commons @ University of South Florida, 2020 In: Graduate Theses and Dissertations (2020) BASE Show details 14 Monolingual and bilingual language networks in healthy subjects using functional MRI and graph theory ... Li, Qiongge; Pasquini, Luca; Del Ferraro, Gino. - : arXiv, 2019 BASE Show details 15 The brevity law as a scaling law, and a possible origin of Zipf's law for word frequencies ... Corral, Alvaro; Serra, Isabel. - : arXiv, 2019 BASE Show details 16 Multilabel text classification of public procurements using deep learning intent detection ; Textklassificering av offentliga upphandlingar med djupa artificiella neuronnät och avsåtsdetektering Suta, Adin. - : KTH, Matematisk statistik, 2019 BASE Show details 17 LSTM vs Random Forest for Binary Classification of Insurance Related Text ; LSTM vs Random Forest för binär klassificering av försäkringsrelaterad text Kindbom, Hannes. - : KTH, Matematisk statistik, 2019 BASE Show details 18 The flow of ideologies between a political figure and a militant community: a CMC corpora analysis Marinica, Claudia; Després, Zakarya; Plancq, Clément... In: 6th Conference on Computer-Mediated Communication (CMC) and Social Media Corpora ; https://hal.archives-ouvertes.fr/hal-01872152 ; 6th Conference on Computer-Mediated Communication (CMC) and Social Media Corpora, Sep 2018, Anvers, Belgium (2018) BASE Show details 19 Statistical Physics of Language Maps in the USA ... Burridge, James; Vaux, Bert; Gnacik, Michal. - : arXiv, 2018 BASE Show details 20 Telling apart Felidae and Ursidae from the distribution of nucleotides in mitochondrial DNA ... Rovenchak, Andrij. - : arXiv, 2018 BASE Show details Page: 1 2 3 4 5...12

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