| 2 |
Learning Argument Structures with Recurrent Neural Network Grammars
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2022)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A novel source-filter stochastic model for voice production
|
|
|
|
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
|
|
|
| 4 |
Writing At the Horizon: How Producing Imagined Narratives Affects Mood
|
|
|
|
In: Senior Projects Fall 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
|
|
|
|
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
|
|
|
| 6 |
Learning a weather dictionary of atmospheric patterns using Latent Dirichlet Allocation
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03258523 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
К ВОПРОСУ О МОДАЛЬНЫХ ПОКАЗАТЕЛЯХ ЭВИДЕНЦИАЛЬНЫХ ЗНАЧЕНИЙ В ИНГУШСКОМ ЯЗЫКЕ ... : TO THE QUESTION OF MODAL INDICATORS OF EVIDENTIAL VALUES IN THE INGUSH LANGUAGE ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Methodological peculiarities of probability estimation of bankruptcy of agrarian enterprises in Ukraine ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Probability matching across linguistic and non-linguistic domains ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Neural Network Reconstruction of Late-Time Cosmology and Null Tests ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Drift in a Popular Metal Oxide Sensor Dataset Reveals Limitations for Gas Classification Benchmarks ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Exploring How Phonotactic Knowledge Can Be Represented in Cognitive Networks
|
|
|
|
In: Big Data and Cognitive Computing ; Volume 5 ; Issue 4 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
What Mathematical Knowledge Do Prospective Teachers Reveal When Creating and Solving a Probability Problem?
|
|
|
|
In: Mathematics; Volume 9; Issue 24; Pages: 3300 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
The Fundamental Limit Theorem of Countable Markov Chains
|
|
|
|
In: Senior Honors Theses (2021)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Combination of Time Series Analysis and Sentiment Analysis for Stock Market Forecasting
|
|
|
|
In: Graduate Theses and Dissertations (2021)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
METHOD OF CYCLIC SYNCHRONIZATION BASED ON PERMUTATIONS ; МЕТОД ЦИКЛОВОЇ СИНХРОНІЗАЦІЇ НА ОСНОВІ ПЕРЕСТАНОВОК
|
|
|
|
In: Bulletin of Cherkasy State Technological University; No. 4 (2020); 67-76 ; Вестник Черкасского государственного технологического университета; № 4 (2020); 67-76 ; Вісник Черкаського державного технологічного університету; № 4 (2020); 67-76 ; 2708-6070 ; 2306-4412 ; urn:2306:44554.2020 ; 10.24025/2306-4412.4.2020 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Un acercamiento didáctico a la cognición cuántica: un modelo matemático para entender cómo aprendemos a tomar decisiones
|
|
|
|
In: La investigación acompañando a la vida. Estudios en Homenaje a Emigdia Repetto Jiménez / Pastora Calvo Hernández, Víctor Manuel Hernández Suárez y Juana Rosa Suárez Robaina (coords.), p. 341-357 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Dietary consumption in the Swiss Kidney Stone Cohort-NCCR Kidney.CH
|
|
|
|
In: Swiss Medical Weekly, vol. 151, no. SUPPL 256, pp. 18S-19S (2021)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Information flow, artificial phonology and typology
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2021)
|
|
BASE
|
|
Show details
|
|
|
|
|
