eminus — Pythonic electronic structure theory by Wanja Timm Schulze, Sebastian Schwalbe, Kai Trepte, Stefanie Gräfe

Subjects: Get full text

Meaning and Reference in Programming Languages by Nicola Angius

“…This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages. Addressing the problem is relevant for the philosophy of computer science in the context of the debate of whether simulative programs can be considered representational theories of their simulated systems. …”
Get full text

Theory and pratice of translation and interpreting in minor degree programs at an engineering university by Yuliya N. Ziyatdinova

Subjects: Get full text

PENERAPAN TEORI KONSTRUKTIVISTIK PADA PEMBELAJARAN BAHASA ARAB DI KELOMPOK 28 PROGRAM INTENSIFIKASI BAHASA ARAB IAIN SYEKH NURJATI CIREBON by Hikmah Uswatun Ummi, Indrya Mulyaningsih

“…Results observation is that the Arabic language learning in a group of 28 Intensification Program Arabic IAIN Syekh Nurjati Cirebon approach constructivism theory.…”
Get full text

Language Is a “Quite Useless” Tool: A Rejoinder to Fedorenko, Piantadosi, and Gibson’s “Language Is Primarily a Tool for Communication Rather Than Thought” by Jeffrey Watumull

Subjects: Get full text

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages by Y. P. Korablin

“…The programming language model presented in the paper contains basic constructs of sequential languages and is the core of the existing sequential programming languages. …”
Get full text

Development and Application of a Software Tool to Support the Teaching of Formal Languages by A. P. Sergushicheva, E. N. Davydova

“…The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a training system for implementing this approach. …”
Get full text

Notes on Recent Achievements in Proving Stability using KeYmaeraX by Thomas Baar, Horst Schulte

Subjects: Get full text

Spreading digital literacy via Minimal English. The concept of ‘class’ in Swift programming language by Bartłomiej Biegajło

“… The article aims at providing explications of the concept of a class, as it is implemented in the Swift programming language offered by Apple. The explications are framed in Minimal English, which is based on the theory of Natural Semantic Metalanguage. …”
Get full text

Analysis of the tourist destinations’ visiting using geographic information systems and the Python programming language by Mikhail Ya. Ponomarkov, М.А. Panov

“…The analysis of the obtained data and visualisation are performed using modern programming languages. The main results include identifying key trends in tourist behaviour, assessing the impact of infrastructural factors on visitation and developing recommendations for improving tourism services. …”
Get full text

. The place of the theory of upbringing and education in a foreign language teacher training curriculum by L. R. Vartanova, Yu. S. Sizova

“…One of the central problems of training a foreign language teacher within the framework of a continuous development program “Teacher” in the field of “Theory and Methodology of Teaching Foreign Languages and Cultures” is the content of the education process. …”
Get full text

The Impact of a Professional Development Program on English Language Teachers’ Classroom Performance by Frank Giraldo

“…This article reports the findings of an action research study on a professional development program and its impact on the classroom performance of in-service English teachers who worked at a language institute of a Colombian state university. …”
Get full text

SOME EFFICIENT APPLICATIONS OF NUMBER THEORY IN ALGORITHMShttps://www.utgjiu.ro/rev_mec/mecanica/pdf/2021-01/22_Adrian%20RUNCEANU,%20Mihaela-Ana%20RUNCEANU%20-%20SOME%20EFFICIENT%2... by Adrian RUNCEANU, Mihaela-Ana RUNCEANU

Get full text

Towards the ’Verified Verifier’. Theory and Practice by D. A. Kondratyev, A. V. Promsky

Get full text

Pre-service And In-service Efl Teachers Training Programs In The Light Of Innovation And Change In Language Education by Kheira Hadi

“…The presentation deals with training programs and the main challenges facing them among which the balance between theory and practice. …”
Get full text

Reading and Decoding the Persian Language Satellite Channels’ Procedure The Case Study of Tehranian Youth Reading Persian Language Pastime and Political Satellite Channels by Mahdi Montazerghaem, Reza Kavand

Get full text

Pornography and Speech Act Theory – An In-Depth Survey by Áron Dombrovszki

“… Considering the short history of the feminist philosophy of language, Rae Langton’s article “Speech Acts and Unspeakable Acts” was highly influential as one of the first positive research programs in the movement. …”
Get full text

Eye movements in response to different cognitive activities measured by eyetracking: a prospective study on some of the neurolinguistics programming theories by Mathieu Marconi, Noélia Do Carmo Blanco, Christophe Zimmer, Alice Guyon

“…Although NLP is widely used in many disciplines (communication, psychology, psychotherapy, marketing, etc), to date, few scientific studies have examined the validity of this theory. Using eye tracking, this study explores one of the hypotheses of this theory, which is one of the pillars of NLP on visual language. …”
Get full text

Research on Construction and Practice of Precision Teaching Classroom for University Programming Courses by Fang Yu, Yan Liu, Fengyan Xiao

“…Facing the challenges of programming courses teaching in university, this study constructs a precision teaching classroom for programming courses that integrates precision teaching theory. …”
Get full text

Jolie Static Type Checker: a Prototype by Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov

“…The current state of the Jolie programming language includes a dynamic type system. …”
Get full text