1 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Preventing Summer Reading Slide: Examining the Effects of Two Computer-Assisted Reading Programs
|
|
|
|
In: ETSU Faculty Works (2020)
|
|
BASE
|
|
Show details
|
|
3 |
A call for cautious interpretation of meta-analytic reviews
|
|
|
|
In: Education Publications (2020)
|
|
BASE
|
|
Show details
|
|
4 |
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
|
|
5 |
Decidable XPath Fragments in the Real World
|
|
|
|
In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://hal.inria.fr/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩ (2019)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
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
|
|
8 |
NgramPOS: A Bigram-based Linguistic and Statistical Feature Process Model for Unstructured Text Classification
|
|
|
|
BASE
|
|
Show details
|
|
9 |
ПРОФЕССИОНАЛЬНО-ОРИЕНТИРОВАННОЕ ОБУЧЕНИЕ ИНОСТРАННОМУ ЯЗЫКУ МАГИСТРАНТОВ ТЕХНИЧЕСКИХ СПЕЦИАЛЬНОСТЕЙ
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Applications of Text Analytics in the Intelligence Community
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Использование компьютерных программ, основанных на лингвистическом анализе ложной информации (обзор зарубежного исследования)
|
|
ХОЛЕВЧУК А.Г.. - : Общество с ограниченной ответственностью «Коллоквиум», 2015
|
|
BASE
|
|
Show details
|
|
13 |
Интерактивная компьютерная программа по развитию описательной связной речи для детей и взрослых с речевой патологией
|
|
ИВАНОВА НАТАЛИЯ НИКОЛАЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Удмуртский государственный университет», 2015
|
|
BASE
|
|
Show details
|
|
14 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
15 |
Program Design: The Learner Path
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
16 |
Program Design: Volunteering in a Digital Literacy Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
17 |
Program Design: Tutor-Facilitated Digital Literacy Acquisition
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
18 |
Program Design: Learning Digital Skills in a Corrections Setting
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
19 |
Program Design: Learning Digital Skills in a Time-limited Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
|
|