Results 1 to 10 of about 9,081,917 (276)
Stan: A Probabilistic Programming Language [PDF]
Journal of Statistical Software, 2017 Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log probability function over parameters conditioned on specified data and constants.
Bob Carpenter +9 more
doaj +3 more sources
Image-based many-language programming language identification [PDF]
PeerJ Computer Science, 2021 Programming language identification (PLI) is a common need in automatic program comprehension as well as a prerequisite for deeper forms of code understanding.
Francesca Del Bonifro +3 more
doaj +3 more sources
The StaDyn programming language
SoftwareX, 2022 Hybrid static and dynamic typing languages are aimed at combining the benefits of both kinds of languages: the early type error detection and compile-time optimizations of static typing, together with the runtime adaptability of dynamically typed ...
Francisco Ortin +3 more
doaj +3 more sources
The programming language pascal [PDF]
Acta Informatica, 1971 Berichte der Fachgruppe Computerwissenschaften ...
Niklaus Wirth
openaire +5 more sources
Convolutional Neural Networks over Tree Structures for Programming Language Processing
AAAI Conference on Artificial Intelligence, 2014 Programming language processing (similar to natural language processing) is a hot research topic in the field of software engineering; it has also aroused growing interest in the artificial intelligence community.
Lili Mou +4 more
semanticscholar +3 more sources
Illustrating the Mezzo programming language [PDF]
arXiv: Programming Languages, 2013 When programmers want to prove strong program invariants, they are usually faced with a choice between using theorem provers and using traditional programming languages. The former requires them to provide program proofs, which, for many applications, is considered a heavy burden.
Protzenko, Jonathan
openaire +9 more sources
Special features of case marking forms in the first printed New Testament in the Udmurt language [PDF]
Финно-угорский мир, 2022 Introduction. This article considers the nominal case markers in the first printed New Testament in the Udmurt language. These manuscripts are known as the first sources for studying the process of the case system formation, as well as the morphology of ...
Maria P. Bezenova
doaj +1 more source
Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm [PDF]
CHI Extended Abstracts, 2021 Prevailing methods for mapping large generative language models to supervised tasks may fail to sufficiently probe models’ novel capabilities. Using GPT-3 as a case study, we show that 0-shot prompts can significantly outperform few-shot prompts.
Laria Reynolds, Kyle McDonell
semanticscholar +1 more source
Empirical Study on Defects in R Programming Language and Core Packages [PDF]
Jisuanji kexue, 2022 The R programming language that provides a variety of statistical calculation functions is considered to be one of the programming languages most suitable for artificial intelligence.The correctness of the language implementation is a prerequisite for ...
WANG Zi-yuan, BU De-xin, LI Ling-ling, ZHANG Xia
doaj +1 more source
Scripting languages for geomorphological modelling and topographic visualization of Serbia [PDF]
Zbornik Matice Srpske za Prirodne Nauke, 2021 Scripting cartographic technique is a new method of geospatial data visualization - especially with thematic mapping such as geomorphological models.
Lemenkova Polina
doaj +1 more source