1 |
A Survey of Automatic Source Code Summarization
|
|
|
|
In: Symmetry; Volume 14; Issue 3; Pages: 471 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
In Search for Awareness of the Needs: A study of an ESP Intensive Program for Government Official
|
|
|
|
In: PAROLE: Journal of Linguistics and Education; Vol 12, No 1 (2022): Volume 12 Number 1 April 2022; 60-68 ; 23380683 ; 2087-345X (2022)
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
4 |
Large-scale Java GitHub search of "test" in content, filename and file path ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Large-scale Java GitHub search of "test" in content, filename and file path ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Тематический анализ текстовой информации на основе частотных характеристик ... : Thematic Analysis of Text Information Based on Frequency Characteristics ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Les religions abrahamites dans le discours du Front National dans le contexte d'extrêmes droites populistes européennes
|
|
|
|
In: Political Discourses at the Extremes: Expressions of Populism in Romance Speaking Countries ; 4 ; Stockholm Studies in Romance Languages ; 53-81 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
A Hierarchical Mentoring Program Increases Confidence and Effectiveness in Data Analysis and Interpretation for Undergraduate Biology Students.
|
|
|
|
In: CBE life sciences education, vol 19, iss 3 (2020)
|
|
BASE
|
|
Show details
|
|
9 |
The University of Pittsburgh English Language Institute Corpus (PELIC) ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Mapping and Explaining Media Quality: Insights from Switzerland's Multilingual Media System
|
|
|
|
In: Media and Communication ; 8 ; 3 ; 258-269 ; Media Performance in Times of Media Change (2020)
|
|
BASE
|
|
Show details
|
|
11 |
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
|
|
12 |
Meaning’s effects in the discourse of/about the School without Party Program ; Efeitos de sentido no discurso do/sobre o Programa Escola sem Partido
|
|
|
|
In: Entrepalavras; v. 10, n. 3 (10) (2020)
|
|
BASE
|
|
Show details
|
|
13 |
Automatically Proving and Disproving Feasibility Conditions
|
|
|
|
BASE
|
|
Show details
|
|
14 |
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
|
|
15 |
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
|
|
16 |
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
|
|
17 |
Genre and impact captioning in a Korean real-variety show: a systemic functional multimodal discourse analysis
|
|
Lee, Gyeyoung. - : Sydney, Australia : Macquarie University, 2019
|
|
BASE
|
|
Show details
|
|
18 |
Representations and optimizations for embedded parallel dataflow languages ... : Repräsentationen und Optimierungen eingebetteter paralleler Datenflusssprachen ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
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
|
|
20 |
Humour and (im)politeness in Chinese sitcom discourse : a case study of Ipartment
|
|
|
|
BASE
|
|
Show details
|
|
|
|