Results 41 to 50 of about 833,287 (143)

Towards Neural Functional Program Evaluation [PDF]

arXiv, 2021
This paper explores the capabilities of current transformer-based language models for program evaluation of simple functional programming languages. We introduce a new program generation mechanism that allows control over syntactic sugar for semantically equivalent programs.
arxiv  

Ezhil: A Tamil Programming Language [PDF]

arXiv, 2009
Ezhil is a Tamil language based interpreted procedural programming language. Tamil keywords and grammar are chosen to make the native Tamil speaker write programs in the Ezhil system. Ezhil allows easy representation of computer program closer to the Tamil language logical constructs equivalent to the conditional, branch and loop statements in modern ...
arxiv  

A CASE tool for demonstrating Z specifications [PDF]

, 1990
The CASE tool described, is designed to enable software engineers to produce a faithful animation of specifications written in Z. Desirable properties which animations of this kind should possess, and which have guided the authors in developing the tool,
Andrews, Simon, Norcliffe, Allan
core  

AiiDA: Automated Interactive Infrastructure and Database for Computational Science

, 2015
Computational science has seen in the last decades a spectacular rise in the scope, breadth, and depth of its efforts. Notwithstanding this prevalence and impact, it is often still performed using the renaissance model of individual artisans gathered in ...
Cepellotti, Andrea, Kozinsky, Boris, Marzari, Nicola, Pizzi, Giovanni, Sabatini, Riccardo   +4 more
core   +1 more source

Analysis of the Efficiency PETSc and PETIGA Libraries in Solving the Problem of Crystal Growth [PDF]

, 2015
We present an analysis of high performance computational method for solving the problem of crystal grows. The method uses PETSc and PETIGA C-language based libraries and supports parallel computing.
Klyuev, L., Kovalenko, M., Medyankin, A., Pavlyuk, E., Starodumov, I.   +4 more
core  

The AFLOW Fleet for Materials Discovery

, 2017
The traditional paradigm for materials discovery has been recently expanded to incorporate substantial data driven research. With the intent to accelerate the development and the deployment of new technologies, the AFLOW Fleet for computational materials
A Jain, AA Maradudin, AI Liechtenstein, AK Rappe, AR Supka, C Nyshadham, C Toher, C Toher, Camilo E. Calderon, CB Barber, Corey Oses, D Hicks, DD Landis, E Perim, Eric Gossett, F Legrain, F Rose, G Bergerhoff, G Kresse, G Kresse, G Pizzi, GLW Hart, J-P Poirier, JE Saal, JJ Plata, JP Perdew, K Schmalzl, K Yang, LA Agapito, LA Agapito, LA Agapito, LA Agapito, M Buongiorno Nardelli, M Jong de, M Scheffler, MA Blanco, MA Blanco, MJ Mehl, MM Elcombe, O Isayev, O Isayev, O Levy, O Levy, O Levy, P D’Amico, P Giannozzi, P Giannozzi, P Gopal, P Nath, P Nath, PE Blöchl, RH Taylor, S Barzilai, S Barzilai, S Barzilai, S Curtarolo, S Curtarolo, S Curtarolo, S Sanvito, SL Dudarev, SP Ong, SR Bahn, V Blum, VL Karen, W Kaiser, W Setyawan, X Andrade, X Gonze, Yoav Lederer   +68 more
core   +1 more source

Deep Probabilistic Programming Languages: A Qualitative Study [PDF]

arXiv, 2018
Deep probabilistic programming languages try to combine the advantages of deep learning with those of probabilistic programming languages. If successful, this would be a big step forward in machine learning and programming languages. Unfortunately, as of now, this new crop of languages is hard to use and understand.
arxiv  

QINL: Query-integrated Languages [PDF]

arXiv, 2015
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the result QINL.
arxiv  

Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea [PDF]

arXiv, 2020
Composable inductive programming as implemented in the Zoea programming language is a simple declarative approach to software development. At the language level it is evident that Zoea is significantly simpler than all mainstream languages. However, until now we have only had anecdotal evidence that software produced with Zoea is also simpler than ...
arxiv  

NASA Thesaurus Supplement: A three part cumulative supplement to the 1982 edition of the NASA Thesaurus (supplement 2) [PDF]

The three part cumulative NASA Thesaurus Supplement to the 1982 edition of the NASA Thesaurus includes: part 1, hierarchical listing; part 2, access vocabulary, and part 3, deletions. The semiannual supplement gives complete hierarchies for new terms and

core   +1 more source