| 1 |
Lessons from a distanced stage: embedding a Zoom-mediated drama workshop in a language classroom
|
|
|
|
In: L2 Journal, vol 14, iss 3 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Improving mathematics performance in 7-year-old children: Training the mapping from estimated quantities to Arabic digits ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
ТИПОЛОГИЯ И СИМВОЛИЧЕСКИЕ ЗНАЧЕНИЯ НОМИНАЦИЙ ДОМОВОГО В РУССКИХ НАРОДНЫХ ГОВОРАХ ... : TYPOLOGY AND SYMBOLIC MEANINGS OF THE HOUSE SPIRIT NOMINATIONS IN RUSSIAN NATIONAL DIALECTS ...
|
|
Якушевич, И.В.; Ивашинина, Н.С.. - : Государственное автономное образовательное учреждение высшего образования города Москвы «Московский городской педагогический университет», 2022
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Symbiotic Information Processing and Technological Progress
|
|
|
|
In: Proceedings; Volume 81; Issue 1; Pages: 84 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Semiótica de la actualidad y semióticas actuales ; Semiotic of current affairs and current semiotics
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Dwelling-in-Displacement: Etel Adnan’s Multilayered Meaning-making Practice in her Life Writing In the Heart of the Heart of Another Country
|
|
|
|
In: University of Wollongong Thesis Collection 2017+ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
|
|
|
|
In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management ; https://hal.archives-ouvertes.fr/hal-03614106 ; CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Virtual Event Queensland Australia, Australia. pp.120-129, ⟨10.1145/3459637.3482321⟩ ; https://www.cikm2021.org/ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Ontology as neuronal-space manifold: Towards symbolic and numerical artificial embedding
|
|
|
|
In: KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021 ; https://hal.inria.fr/hal-03360307 ; KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021, Nov 2021, Hanoi, Vietnam (2021)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Ontology as neuronal-space manifold: Towards symbolic and numerical artificial embedding
|
|
|
|
In: KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021 ; https://hal.inria.fr/hal-03360307 ; KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021, Nov 2021, Hanoi, Vietnam (2021)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Ontology as neuronal-space manifold: Towards symbolic and numerical artificial embedding
|
|
|
|
In: KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021 ; https://hal.inria.fr/hal-03360307 ; KRHCAI 2021 Workshop on Knowledge Representation for Hybrid & Compositional AI @ KR2021, Nov 2021, Hanoi, Vietnam (2021)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
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
|
|
|
| 14 |
Exploring the Nexus between Migration and Social Positions using a Mixed Methods Approach
|
|
|
|
In: ISSN: 2183-2803 ; Social inclusion ; https://halshs.archives-ouvertes.fr/halshs-02963030 ; Social inclusion, Cogitatio Press, 2021, 9 (1), ⟨10.17645/si.v9i1.3538⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
A Methodology of Building Evaluation-Annotated Datasets (EVAD) Based on the Evaluation-Triple in E-Commerce Reviews ; 이커머스 후기글 평가분석 트리플에 기반한 평가주석 데이터셋 EVAD 구축 방법론
|
|
|
|
In: ISSN: 1229-0343 ; The Journal of Linguistics Science ; https://hal.archives-ouvertes.fr/hal-03565731 ; The Journal of Linguistics Science, 2021, 99, pp.245-272. ⟨10.21296/jls.2021.12.99.245⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
ПОНЯТИЙНЫЕ ПРИЗНАКИ КОНЦЕПТА КОРОНА ПЕРИОДА XVII – XIX ВЕКОВ ... : CONCEPTUAL ASPECTS OF THE CONCEPT OF THE CROWN IN THE PERIOD FROM THE 17TH TO THE 19TH CENTURY ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
“Boundary-Maintenance” or “Boundary-Crossing”? Name-Giving Practices among Immigrants in Germany ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 19 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Headteachers in difficult circumstances: A study of school leaders in post-conflict, post-disaster Nepal
|
|
Dahal, Rupak. - : Edith Cowan University, Research Online, Perth, Western Australia, 2021
|
|
In: Theses: Doctorates and Masters (2021)
|
|
BASE
|
|
Show details
|
|
|
|
|
