English
Related papers

Related papers: Interaction entre math\'ematique et informatique L…

200 papers

One of the goals of software design is to model a system in such a way that it is easily understandable. Nowadays the tendency for software development is changing from manual coding to automatic code generation; it is becoming model-based.…

Software Engineering · Computer Science 2015-03-13 N Md Jubair basha , Salman Abdul Moiz , Mohammed Rizwanullah

The lack of scientific openness is identified as one of the key challenges of computational reproducibility. In addition to Open Data, Free and Open-source Software (FOSS) and Open Hardware (OH) can address this challenge by introducing…

Digital Libraries · Computer Science 2023-04-18 Nadica Miljković , Ana Trisovic , Limor Peer

In Open Source Software, the source code and any other resources available in a project can be viewed or reused by anyone subject to often permissive licensing restrictions. In contrast to some studies of dependency-based reuse supported…

Software Engineering · Computer Science 2024-02-12 Mahmoud Jahanshahi , Audris Mockus

Programming is deeply embedded in contemporary mathematical practice, yet its epistemic status in university mathematics teaching remains contested. Little is known about how mathematicians themselves understand the legitimacy of…

History and Overview · Mathematics 2026-03-31 Jan-Fredrik Olsen , Tor Ole B Odden

Computational research and data analytics increasingly relies on complex ecosystems of open source software (OSS) "libraries" -- curated collections of reusable code that programmers import to perform a specific task. Software documentation…

Computers and Society · Computer Science 2018-06-01 R. Stuart Geiger , Nelle Varoquaux , Charlotte Mazel-Cabasse , Chris Holdgraf

This article describes the motivation, design, and progress of the Journal of Open Source Software (JOSS). JOSS is a free and open-access journal that publishes articles describing research software. It has the dual goals of improving the…

The Mathematics Subject Classification (MSC) is a widely used scheme for classifying documents in mathematics by subject. Its traditional, idiosyncratic conceptualization and representation makes the scheme hard to maintain and requires…

The traditional methods of the biology, based on illustrative descriptions and linear logic explanations, are discussed. This work aims to improve this approach by introducing alternative tools to describe and represent complex biological…

Computational Engineering, Finance, and Science · Computer Science 2012-01-24 Alvaro Juan Ojeda Garcia

In this paper, we introduce 'public computation' as a genre of learning environments that can be used to radically broaden public participation in authentic, computation-enabled STEM disciplinary practices. Our paradigmatic approach…

Physics Education · Physics 2016-10-24 Pratim Sengupta , Marie-Claire Shanahan

The highest level of mathematics research is traditionally seen as a solitary activity. Yet new innovations by mathematicians themselves are starting to harness the power of social computation to create new modes of mathematical production.…

Social and Information Networks · Computer Science 2013-05-07 Ursula Martin , Alison Pease

This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based setting. This is conceptually done in three stages: (i) by…

Mathematical Software · Computer Science 2012-07-12 Carst Tankink , Christoph Lange , Josef Urban

The CLEARS (Computational Linguistics Education and Research for Semantics) tool provides a graphical interface allowing interactive construction of semantic representations in a variety of different formalisms, and using several…

cmp-lg · Computer Science 2008-02-03 David Milward , Karsten Konrad , Holger Maier , Manfred Pinkal

The use of free and open source software (FOSS) components in all software systems is estimated to be above 90%. With such high usage and because of the heterogeneity of FOSS tools, repositories, developers and ecosystem, the level of…

Cryptography and Security · Computer Science 2023-11-21 Luıs Soeiro , Thomas Robert , Stefano Zacchiroli

Effective use of parallel and distributed computing in science depends upon multiple interdependent entities and activities that form an ecosystem. Active engagement between application users and technology catalysts is a crucial activity…

Software Engineering · Computer Science 2013-09-10 Ketan Maheshwari , David Kelly , Scott J. Krieder , Justin M. Wozniak , Daniel S. Katz , Mei Zhi-Gang , Mainak Mookherjee

In recent years, the field of statistics has experienced a surge in interest and application, largely due to significant advances in computer technology. This progress has led to remarkable developments in statistics methods and algorithms,…

Other Statistics · Statistics 2023-10-03 M. M. Hammad

Software is increasingly produced in the form of ecosystems, collections of interdependent components maintained by a distributed community. These ecosystems act as network organizations, not markets, and thus often lack actionable…

Software Engineering · Computer Science 2020-12-14 Christopher Bogart , James Howison , James Herbsleb

Easy and mostly free access to the internet has resulted in the growing use of open source software (OSS). However, it is a common perception that closed proprietary software is still superior in areas such as software maintenance and…

Software Engineering · Computer Science 2015-12-01 Arif Raza , Luiz Fernando Capretz , Faheem Ahmed

Effort estimation models are a fundamental tool in software management, and used as a forecast for resources, constraints and costs associated to software development. For Free/Open Source Software (FOSS) projects, effort estimation is…

Software Engineering · Computer Science 2022-03-21 Gregorio Robles , Andrea Capiluppi , Jesus M. Gonzalez-Barahona , Bjorn Lundell , Jonas Gamalielsson

The aim of this article is to present elements and discuss the potential of a research program at the intersection between mathematics and heterodox economics, which we call Criticial Mathematical Economics (CME). We propose to focus on the…

General Economics · Economics 2025-04-08 Johannes Buchner

A fundamental unit of work in programming is the code contribution ("commit") that a developer makes to the code base of the project in work. We use statistical methods to derive a model of the probabilistic distribution of commit sizes in…

Software Engineering · Computer Science 2014-08-22 Carsten Kolassa , Dirk Riehle , Michel A. Salim