DE eng

Search in the Catalogues and Directories

Hits 1 – 15 of 15

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? ...
Смолькова Ираида Вячеславовна. - : Вестник Восточно-Сибирского института МВД России, 2019
BASE
Show details
5
Modelling and compensation techniques for short duration speaker verification ...
Ma, Jianbo. - : UNSW Sydney, 2019
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
Ma, Jianbo, Electrical Engineering & Telecommunications, Faculty of Engineering, UNSW. - : University of New South Wales. Electrical Engineering & Telecommunications, 2019
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
Suthokumar, Gajan; Sriskandaraja, Kaavya; Sethu, Vidhyasaharan. - : Institute of Electrical and Electronics Engineers, 2019
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

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
15
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern