1 |
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
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)
|
|
BASE
|
|
Show details
|
|
3 |
Comparing the effectiveness of a SNAP simulation given to dietetics students in the classroom versus on the computer
|
|
|
|
In: Graduate Theses and Dissertations (2021)
|
|
BASE
|
|
Show details
|
|
4 |
VOT-CP: A Python Program for Automatic Data Codification and Calculation of Voice Onset Time
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Evolution of human computer interaction
|
|
|
|
In: Sci. Visualization ; Scientific Visualization (2021)
|
|
BASE
|
|
Show details
|
|
6 |
OER Immersive Mulitmedia Materials Project: VR as an Agent of Change
|
|
|
|
In: Showcase of Osprey Advancements in Research and Scholarship (SOARS) (2021)
|
|
BASE
|
|
Show details
|
|
11 |
AN EYE TRACKING REPLICATION STUDY OF A RANDOMIZED CONTROLLED TRIAL ON THE EFFECTS OF EMBEDDED COMPUTER LANGUAGE SWITCHING
|
|
|
|
In: Computer Science and Engineering: Theses, Dissertations, and Student Research (2020)
|
|
BASE
|
|
Show details
|
|
12 |
Dynamic method for determining critical loads in the PRINS computer program
|
|
|
|
In: Structural Mechanics of Engineering Constructions and Buildings, Vol 16, Iss 5, Pp 380-389 (2020) (2020)
|
|
BASE
|
|
Show details
|
|
13 |
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
|
|
|
|
In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ ; https://sri-csl.github.io/VSTTE19/ (2019)
|
|
BASE
|
|
Show details
|
|
14 |
Dynamic program analysis for suggesting test improvements to developers ; Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02459572 ; Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
15 |
A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation
|
|
Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019
|
|
BASE
|
|
Show details
|
|
16 |
The Manifesto Corpus: a new resource for research on political parties and quantitative text analysis
|
|
|
|
In: Research and Politics ; 3 ; 2 ; 1-8 (2019)
|
|
BASE
|
|
Show details
|
|
17 |
Post-French Immersion Student Perceptions of Parallel Concordancing: A Mixed Methods Study
|
|
|
|
BASE
|
|
Show details
|
|
18 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
19 |
Type-Driven Gradual Security with References
|
|
|
|
In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01957581 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩ (2018)
|
|
BASE
|
|
Show details
|
|
20 |
Лингводидактический потенциал электронных средств учебного назначения при обучении иностранным языкам в инклюзивном образовании ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|