检索结果-内蒙古大学图书馆

Cloud-Operated Open literate Educational Resources: The Case of the MyBinder

IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES 2024年 17卷 893-902页

作者： Corbi, Alberto Burgos, Daniel Perez, Antonio Maria Univ Int La Rioja Res Inst Innovat & Technol Educ Logrono 26006 Spain Univ Int La Rioja Engn Sch Logrono 26006 Spain Univ Int La Rioja Logrono 26006 Spain

literate programming and cloud-operated open literate educational resources (COOLERs) have been catching the attention of the education community in recent years. This set of learning materials mainly comprises digital notebook-like documents, which are stored, backed, and delivered from cloud services and eventually displayed in students' web browsers. As we demonstrate in this article, the advent of cloud architectures and the COVID-19 pandemic (which forced worldwide long-term distant academic environments) fortuitously teamed up with this learning and methodological trend by easing its use and fostering its adoption. With more detail, we have quantitatively measured the impact that the COOLER paradigm has had on the teaching realm by analyzing five years of logged data gathered by its current major player in the ecosystem: MyBinder. Among other results, we show how this growth in the production and delivery of notebooks made an important leap during the second SARS-CoV-2 wave (July-September 2020). However, the general usage trend seems to have strongly decreased after the end of the most recent seventh wave (September 2022), coinciding with the official end of the global health crisis and all the lockdown episodes. From these examined data, we conclude that COOLER and recent massive online learning scenarios have been very intimately linked. This fact may represent a flaw in the adoption of these exciting and useful learning materials.

关键词： COVID-19 Education Market research Cloud computing Codes Visualization Statistics Cloud distant education literate programming MyBinder notebooks open educational resources (OERs)

来源：评论

学校读者我要写书评

暂无评论

Differential geometric computations and computer algebra

引用

MATHEMATICAL AND COMPUTER MODELLING 1997年第8-9期25卷 11-24页

作者： Gragert, PKH Kersten, PHM Department of Applied Mathematics University of Twente P.O. Box 217 7500 AE Enschede The Netherlands

The use of computer algebra in the field of differential geometry and its applications to geometric structures of partial differential equations is discussed. The differential geometric setting is shortly described;a number of programs are slightly touched, some examples given, and an application to the construction of supersymmetric extensions of the Korteweg-de Vries equation is demonstrated.

关键词： computer algebra differential geometry literate programming supersymmetry

来源：评论

学校读者我要写书评

暂无评论

Recent progress on variable projection methods for structured low-rank approximation

引用

SIGNAL PROCESSING 2014年第partb期96卷 406-419页

作者： Markovsky, Ivan Vrije Univ Brussel Dept ELEC B-1050 Brussels Belgium

Rank deficiency of a data matrix is equivalent to the existence of an exact linear model for the data. For the purpose of linear static modeling, the matrix is unstructured and the corresponding modeling problem is an approximation of the matrix by another matrix of a lower rank. In the context of linear time-invariant dynamic models, the appropriate data matrix is Hankel and the corresponding modeling problems becomes structured low-rank approximation. Low-rank approximation has applications in: system identification;signal processing, machine learning, and computer algebra, where different types of structure and constraints occur. This paper gives an overview of recent progress in efficient local optimization algorithms for solving weighted mosaic-Hankel structured low-rank approximation problems. In addition, the data matrix may have missing elements and elements may be specified as exact. The described algorithms are implemented in a publicly available software package. Their application to system identification, approximate common divisor, and data-driven simulation problems is described in this paper and is illustrated by reproducible simulation examples. As a data modeling paradigm the low-rank approximation setting is closely related to the behavioral approach in systems and control, total least squares, errors-in-variables modeling, principal component analysis, and rank minimization. (C) 2013 Elsevier B.V. All rights reserved.

关键词： Low-rank approximation Total least squares Structured matrix Variable projection Missing data System identification Reproducible research literate programming noweb

来源：评论

学校读者我要写书评

暂无评论

Catala: Moving towards the future of legal expert systems

引用

ARTIFICIAL INTELLIGENCE AND LAW 2022年 1-24页

作者： Huttner, Liane Merigoux, Denis Univ Pantheon Sorbonne Paris France INRIA Paris France

Around the world, private and public organizations use software called legal expert systems to compute taxes. This software must comply with the laws they are designed to implement. As such, a bug or an error in a program that leads to tax miscalculations can have heavy legal and democratic consequences. However, increasing evidence suggests that some legal expert systems may not comply with the law. Moreover, traditional software development processes mean that legal expert systems are difficult to adapt to the continuous flow of new legislation. To prevent further software decay and to reconcile these systems with the growing demand for algorithmic transparency, we argue that there is a need for a new development process for legal expert systems. This new system must be built to comply with the law, in particular the GDPR. It must also respect democratic transparency. For these reasons, we present a solution built by lawyers and computer scientists: Catala, a new programming language coupled with a pair programming development process.

关键词： Legal expert systems Formal methods literate programming Algorithmic transparency Tax law Social benefits

来源：评论

学校读者我要写书评

暂无评论

Software design for analysis of multichannel intracardial and body surface electrocardiograms

引用

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE 2002年第3期69卷 225-236页

作者： Potse, M Linnenbank, AC Grimbergen, CA Univ Amsterdam Acad Med Ctr Dept Med Phys NL-1100 DE Amsterdam Netherlands Univ Amsterdam Acad Med Ctr Expt Cardiol Dept NL-1105 AZ Amsterdam Netherlands Delft Univ Technol Fac Design Construct & Prod Control Dept Delft Netherlands

Analysis of multichannel ECG recordings (body surface maps (BSMs) and intracardial maps) requires special software. We created a software package and a user interface on top of a commercial data analysis package (MATLAB) by a combination of high-level and low-level programming. Our software was created to satisfy the needs of a diverse group of researchers. It can handle a large variety of recording configurations. It allows for interactive usage through a fast and robust user interface, and batch processing for the analysis of large amounts of data. The package is user-extensible, includes routines for both common and experimental data processing tasks, and works on several computer platforms. The source code is made intelligible using software for structured documentation and is available to the users. The package is currently used by more than ten research groups analysing ECG data worldwide. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

关键词： electrocardiography body surface mapping cardiac mapping program documentation literate programming

来源：评论

学校读者我要写书评

暂无评论

AnnAnn and *** : Tools for Teaching programming

引用

JOURNAL OF COMPUTERS 2007年第5期2卷 9-16页

作者： Hooper, Clare J. Carr, Leslie A. Davis, Hugh C. Millard, David E. White, Su A. Wills, Gary B. Univ Southampton MEng Comp Sci Southampton Hants England Univ Southampton Intelligence Agents Multimedia Southampton Hants England Univ Southampton Sch Elect & Comp Sci Southampton Hants England Univ Southampton Learning Socie Lab Southampton Hants England Univ Southampton Fac Engn Southampton Hants England Univ Southampton Engn BEng Hons Southampton Hants England

It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining this essentially dynamic process are limited and typically static in nature, making it difficult for students to understand how it was developed, or where to start. This paper presents ***, an animated code annotator which makes it possible to present the incremental development of code to large groups or for self study. The tool is designed for ease of use by both lecturers and students. The implementation and the ration for which are described in detail. The design of the system is underpinned by a sound pedagogical approach and these are discussed, along with the educational benefits of this approach are examined.

关键词： Learning to Program literate programming cognitive apprenticeship scaffolding constructivist learning

来源：评论

学校读者我要写书评

暂无评论

A Document-Driven Method for Certifying Scientific Computing Software for Use in Nuclear Safety Analysis

引用

NUCLEAR ENGINEERING AND TECHNOLOGY 2016年第2期48卷 404-418页

作者： Smith, W. Spencer Koothoor, Nirmitha McMaster Univ Comp & Software Dept Hamilton ON L8S 4L7 Canada

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification. Copyright (C) 2015, Published by Elsevier Korea LLC on behalf of Korean Nuclear Society.

关键词： literate programming Nuclear Safety Analysis Numerical Simulation Requirements Specification Software Engineering Software Quality

来源：评论

学校读者我要写书评

暂无评论

Software documentation with markdoc 5.0

引用

STATA JOURNAL 2020年第2期20卷 336-362页

作者： Haghish, E. F. Univ Gottingen Dept Med Psychol & Med Sociol Gottingen Germany

markdoc is a general-purpose literate programming package for generating dynamic documents, dynamic presentation slides, Stata help files, and package vignettes in various formats. In this article, I introduce markdoc version 5.0, which performs independently of any third-party software, using the mini engine. The mini engine is a lightweight alternative to Pandoc (MacFarlane [2006, https://***/]), completely written in Stata. I also propose a procedure for remodeling package documentation and data documentation in Stata and present a tutorial for generating help files, package vignettes, and GitHub Wiki documentation using markdoc.

关键词： pr0072 markdoc mini Pandoc statistics software software documentation literate programming social coding

来源：评论

学校读者我要写书评

暂无评论

Reproducible statistical analysis with multiple languages

引用

COMPUTATIONAL STATISTICS 2011年第3期26卷 419-426页

作者： Lenth, Russell Hojsgaard, Soren Aarhus Univ Dept Genet & Biotechnol Aarhus Denmark Univ Iowa Dept Stat & Actuarial Sci Iowa City IA 52242 USA

This paper describes the StatWeave system for making reproducible statistical analyses. StatWeave differs from other systems for reproducible analysis in several ways. The two main differences are: (1) Several statistics programs can be in used in the same document. (2) Documents can be prepared using OpenOffice or LaT(E)X. The main part of this paper is an example showing how to use R and SAS together in an OpenOffice text document. The paper also contains some practical considerations on the use of literate programming in statistics.

关键词： literate programming Reproducible analysis StatWeave Sweave SASweave

来源：评论

学校读者我要写书评

暂无评论

Tools and techniques for computational reproducibility

引用

GIGASCIENCE 2016年第1期5卷 1-13页

作者： Piccolo, Stephen R. Frampton, Michael B. Brigham Young Univ Dept Biol Provo UT 84602 USA Brigham Young Univ Dept Comp Sci Provo UT USA

When reporting research findings, scientists document the steps they followed so that others can verify and build upon the research. When those steps have been described in sufficient detail that others can retrace the steps and obtain similar results, the research is said to be reproducible. Computers play a vital role in many research disciplines and present both opportunities and challenges for reproducibility. Computers can be programmed to execute analysis tasks, and those programs can be repeated and shared with others. The deterministic nature of most computer programs means that the same analysis tasks, applied to the same data, will often produce the same outputs. However, in practice, computational findings often cannot be reproduced because of complexities in how software is packaged, installed, and executed-and because of limitations associated with how scientists document analysis steps. Many tools and techniques are available to help overcome these challenges;here we describe seven such strategies. With a broad scientific audience in mind, we describe the strengths and limitations of each approach, as well as the circumstances under which each might be applied. No single strategy is sufficient for every scenario;thus we emphasize that it is often useful to combine approaches.

关键词： Computational reproducibility Practice of science literate programming Virtualization Software containers Software frameworks

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：