English
Related papers

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

200 papers

Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it…

Digital Libraries · Computer Science 2010-10-29 Constantin Jucovschi

Contemporary debates on "open science" mostly focus on the pub- lic accessibility of the products of scientific and academic work. In contrast, this paper presents arguments for "opening" the ongoing work of science. That is, this paper is…

Physics Education · Physics 2017-02-17 Pratim Sengupta , Marie-Claire Shanahan

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

The article highlights the promising ways of providing access to the mathematical software in higher educational institutions. It is emphasized that the cloud computing services implementation is the actual trend of modern ICT pedagogical…

Computers and Society · Computer Science 2018-07-06 Mariya Shyshkina , Uliana Kohut , Maiia Popel

Biology is data-rich, and it is equally rich in concepts and hypotheses. Part of trying to understand biological processes and systems is therefore to confront our ideas and hypotheses with data using statistical methods to determine the…

Quantitative Methods · Quantitative Biology 2022-06-22 Sean T. Vittadello , Michael P. H. Stumpf

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and…

Statistics Theory · Mathematics 2020-06-17 Evan Patterson

The development of advanced software tools for power system analysis requires extensive programming expertise. Even when using open-source tools, programming skills are essential to modify built-in models. This can be particularly…

Software Engineering · Computer Science 2025-08-26 Izudin Dzafic , Rabih A. Jabr

Traditionally, mathematical knowledge is published in printed media such as books or journals. With the advent of the Internet, a new method of publication became available. To date, however, most online mathematical publications do not…

History and Overview · Mathematics 2011-03-01 Markus J. Pflaum , John Tuley

Open source software (OSS) development offers a unique opportunity for students in Software Engineering to experience and participate in large-scale software development, however, the impact of such courses on students' self-efficacy and…

Software Engineering · Computer Science 2023-07-06 Larissa Salerno , Simone de França Tonhão , Igor Steinmacher , Christoph Treude

FOSS is an acronym for Free and Open Source Software. The FOSS 2013 survey primarily targets FOSS contributors and relevant anonymized dataset is publicly available under CC by SA license. In this study, the dataset is analyzed from a…

Artificial Intelligence · Computer Science 2017-02-01 Mani A , Rebeka Mukherjee

The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics…

Logic in Computer Science · Computer Science 2023-03-13 Klaus Miesenberger , Walther Neuper , Bernhard Stöger , Makarius Wenzel

Most scientists need software to perform their research (Barker et al., 2020; Carver et al., 2022; Hettrick, 2014; Hettrick et al., 2014; Switters and Osimo, 2019), and neuroscientists are no exception. Whether we work with reaction times,…

Computers and Society · Computer Science 2024-03-29 Britta U. Westner , Daniel R. McCloy , Eric Larson , Alexandre Gramfort , Daniel S. Katz , Arfon M. Smith , invited co-signees

Agile software development methods (ASD) and open source software development methods (OSSD) are two different approaches which were introduced in last decade and both of them have their fanatical advocators. Yet, it seems that relation and…

Software Engineering · Computer Science 2013-02-13 Taghi Javdani Gandomani , Hazura Zulzalil , Abdul Azim Abdul Ghani , Abu Bakar Md Sultan

Computational aspects increasingly shape environmental sciences. Actually, transdisciplinary modelling of complex and uncertain environmental systems is challenging computational science (CS) and also the science-policy interface. Large…

Systems and Control · Computer Science 2014-02-11 Daniele de Rigo

Software now lies at the heart of scholarly research. Here we argue that as well as being important from a methodological perspective, software should, in many instances, be recognised as an output of research, equivalent to an academic…

Computers and Society · Computer Science 2021-12-23 Caroline Jay , Robert Haines , Daniel S. Katz

Case study-based learning has been successfully integrated into various courses, including software engineering education. In the context of software design courses, the use of case studies often entails sharing of real successful or failed…

Software Engineering · Computer Science 2023-01-13 Chun Yong Chong , Eunsuk Kang , Mary Shaw

The use of statistical software in academia and enterprises has been evolving over the last years. More often than not, students, professors, workers, and users, in general, have all had, at some point, exposure to statistical software.…

Applications · Statistics 2019-08-21 Rui Portocarrero Sarmento , Vera Costa

Software Engineering and the implementation of software has become a challenging task as many tools, frameworks and languages must be orchestrated into one functioning piece. This complexity increases the need for testing and analysis…

Software Engineering · Computer Science 2018-06-27 Hannes Thaller

Data is becoming an important central point for making design decisions for most software. Game development is not an exception. As data-driven methods and systems start to populate these environments, a good question is: can we make models…

Human-Computer Interaction · Computer Science 2021-10-13 Jichen Zhu , Magy Seif El-Nasr

The widespread adoption of open source libraries and frameworks can be attributed to their licensing. Open Source Software Licenses (OSS licenses) ensure that software can be sold or distributed as part of aggregate programs from various…

Software Engineering · Computer Science 2025-06-03 Raula Gaikovina Kula , Brittany Anne Reid , Christoph Treude
‹ Prev 1 3 4 5 6 7 10 Next ›