Results 221 to 230 of about 404,647 (233)

Interactive typed tactic programming in the Coq proof assistant

, 2015
Beta Ziliani
semanticscholar   +1 more source

Actor languages: There is a number of actor-based languages from Hewitt's group at MIT. Some of these display varying degrees of object-orientedness. (Byrd82 Ther83) Argus: Language with resilient objects and nested atomic transactions. Descendent of Clu. See also papers on reliability and recovery. (Lisk83a Weih82) Beta: Programming language with data abstraction from Oslo. Derived from Simula. (BETA83

, 1987
Object-oriented Issues
openalex  

A mobile visual programming system for Android smartphones and tablets

IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments, 2012
W. Slany
semanticscholar   +1 more source

SciPy 1.0: fundamental algorithms for scientific computing in Python

Nature Methods, 2020
Pauli Virtanen, Ralf Gommers, Travis E Oliphant   +2 more
exaly  

The BlenX Language: A Tutorial

International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2008
Lorenzo Dematté, C. Priami, A. Romanel
semanticscholar   +1 more source

The complex language of chromatin regulation during transcription

Nature, 2007
Shelley L Berger
exaly  

On the computation of the noncentral F and noncentral beta distribution

Statistics and computing, 2008
A. Baharev, S. Kemény
semanticscholar   +1 more source

Double beta decay, Majorana neutrinos, and neutrino mass

Reviews of Modern Physics, 2008
Jonathan Engel
exaly  

The Staging of Colorectal Cancer: 2004 and Beyond

Ca-A Cancer Journal for Clinicians, 2004
exaly  

Understanding the language of Lys36 methylation at histone H3

Nature Reviews Molecular Cell Biology, 2012
Phillip B Carpenter
exaly