1 |
Mechanized metatheory revisited
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
|
|
BASE
|
|
Show details
|
|
2 |
Mouse tracking as a window into decision making
|
|
|
|
In: ISSN: 1554-351X ; EISSN: 1554-3528 ; Behavior Research Methods ; https://hal.archives-ouvertes.fr/hal-02274523 ; Behavior Research Methods, Psychonomic Society, Inc, 2019, 51 (3), pp.1085-1101. ⟨10.3758/s13428-018-01194-x⟩ (2019)
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
4 |
Нужна ли фигура «Заподозренного» в уголовном судопроизводстве? ... : IS THE FIGURE "SUSPECTED" IN CRIMINAL PROCEEDINGS NEEDED? ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Modelling and compensation techniques for short duration speaker verification ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Essentials of Modern Hearing Aids: Selection, Fitting, and Verification
|
|
|
|
In: ETSU Faculty Works (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Addressing Text-Dependent Speaker Verification Using Singing Speech
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 13 (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Supervector Extraction for Encoding Speaker and Phrase Information with Neural Networks for Text-Dependent Speaker Verification
|
|
|
|
In: Applied Sciences ; Volume 9 ; Issue 16 (2019)
|
|
BASE
|
|
Show details
|
|
9 |
An Recognition–Verification Mechanism for Real-Time Chinese Sign Language Recognition Based on Multi-Information Fusion
|
|
|
|
In: Sensors ; Volume 19 ; Issue 11 (2019)
|
|
BASE
|
|
Show details
|
|
10 |
Measuring the cognitive cost of downward monotonicity by controlling for negative polarity
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 4, No 1 (2019); 36 ; 2397-1835 (2019)
|
|
BASE
|
|
Show details
|
|
11 |
DEVELOPING THE PRAGMATIC COMPETENCE OF FOREIGN LEARNERS: GUIDELINES TO USING CONSTATIVES IN MODERN ENGLISH DISCOURSE
|
|
|
|
In: Advanced Education; 2019: Issue 13; 81-88 ; Передовое образование; 2019: ; 81-88 ; Новітня освіта; 2019: ; 2410-8286 ; 2409-3351 (2019)
|
|
BASE
|
|
Show details
|
|
12 |
Modelling and compensation techniques for short duration speaker verification
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Introducing Phonetic Information to Speaker Embedding for Speaker Verification
|
|
|
|
In: Electrical and Computer Engineering Faculty Publications (2019)
|
|
BASE
|
|
Show details
|
|
14 |
Phoneme specific modelling and scoring techniques for anti spoofing system
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Numerical studies of strength of concrete cylinders for compression
|
|
|
|
In: Structural Mechanics of Engineering Constructions and Buildings, Vol 15, Iss 6, Pp 433-437 (2019) (2019)
|
|
BASE
|
|
Show details
|
|
|
|