Results 1 to 10 of about 459,480 (145)
After the First Generation of the New English Language Teaching Program: Are We Successful This Time? [PDF]
Advanced Linguistics, 2020 Los avances científicos y tecnológicos, las tendencias mundiales y las necesidades de las sociedades llevan a los responsables políticos a cambiar las políticas de enseñanza de idiomas. Turquía hizo su última reforma en el Programa de Enseñanza del Idioma Inglés en 2013 y una generación ya ha sido educada con el nuevo programa desde entonces.
Mustafa Kemal Şen
openalex +2 more sources
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Quipper is a practical programming language for describing families of quantum circuits. In this paper, we formalize a small, but useful fragment of Quipper called Proto-Quipper-M.
Francisco Rios, Peter Selinger
doaj +3 more sources
Large Language Model–Based Critical Care Big Data Deployment and Extraction: Descriptive Analysis
JMIR Medical InformaticsBackgroundPublicly accessible critical care–related databases contain enormous clinical data, but their utilization often requires advanced programming skills.
Zhongbao Yang +11 more
doaj +2 more sources
An Automatic Drawing Spur Gears Based on AutoCAD Program [PDF]
Tikrit Journal of Engineering Sciences, 2021 In this research, a computer-aided drawing system of spur gear was developed. An auto LISP programming language embedded within the AutoCAD design package was used to develop a new program to create a 3D model of a spur gear in two main stages.
Najat Najmaldeen Hamed
doaj +3 more sources
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under ...
Teemu Kanstrén, Olli-Pekka Puolitaival
doaj +1 more source
Fast simulation of Time-of-Flight detectors at the LHC [PDF]
EPJ Web of Conferences, 2021 The modelling of Cherenkov based detectors is traditionally done using Geant4 toolkit. In this work, we present another method based on Python programming language and Numba high performance compiler to speed up the simulation.
Rousselle Olivier, Sykora Tom
doaj +1 more source
Natural Language Generation for Non-Expert Users [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Motivated by the difficulty in presenting computational results, especially when the results are a collection of atoms in a logical language, to users, who are not proficient in computer programming and/or the logical representation of the results, we ...
Van Duc Nguyen +2 more
doaj +1 more source
Effects Without Monads: Non-determinism – Back to the Meta Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of factoring an
Oleg Kiselyov
doaj +1 more source
A formal model for ledger management systems based on contracts and temporal logic
Blockchain: Research and Applications, 2022 A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test.
Paolo Bottoni +2 more
doaj +1 more source
Retrieval-Based Transformer Pseudocode Generation
Mathematics, 2022 The comprehension of source code is very difficult, especially if the programmer is not familiar with the programming language. Pseudocode explains and describes code contents that are based on the semantic analysis and understanding of the source code ...
Anas Alokla +4 more
doaj +1 more source