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

A simple solver for linear equations containing nonlinear operators

SOFTWARE-PRACTICE & EXPERIENCE 1996年第4期26卷 467-487页

作者： Ramsey, N BELL COMMUN RES INC MORRISTOWNNJ 07960

This paper presents a simple equation solver, The solver finds solutions for sets of linear equations extended with several nonlinear operators, including integer division and modulus, sign extension, and bit slicing. The solver uses a new technique called balancing, which can eliminate some nonlinear operators from a set of equations before applying Gaussian elimination. The solver's principal advantages are its simplicity and its ability to handle some nonlinear operators, including nonlinear functions of more than one variable. The solver is part of an application generator that provides encoding and decoding of machine instructions based on equational specifications. The solver is presented not as pseudo code but as a literate program, which guarantees that the code shown in the paper is the same code that is actually used. Using real code exposes more detail than using pseudocode, but literate-programming techniques help manage the detail, The detail should benefit readers who want to implement their own solvers based on the techniques presented here.

关键词： simultaneous equations algebraic simplification literate programming

来源：评论

学校读者我要写书评

暂无评论

Data science vs. statistics: two cultures?

引用

JAPANESE JOURNAL OF STATISTICS AND DATA SCIENCE 2018年第1期1卷 117-138页

作者： Carmichael, Iain Marron, J. S. Univ N Carolina B30 Hanes Hall Chapel Hill NC 27515 USA Univ N Carolina 352 Hanes Hall Chapel Hill NC 27515 USA

Data science is the business of learning from data, which is traditionally the business of statistics. Data science, however, is often understood as a broader, task-driven and computationally-oriented version of statistics. Both the term data science and the broader idea it conveys have origins in statistics and are a reaction to a narrower view of data analysis. Expanding upon the views of a number of statisticians, this paper encourages a big-tent view of data analysis. We examine how evolving approaches to modern data analysis relate to the existing discipline of statistics (e.g. exploratory analysis, machine learning, reproducibility, computation, communication and the role of theory). Finally, we discuss what these trends mean for the future of statistics by highlighting promising directions for communication, education and research.

关键词： Computation literate programming Machine learning Reproducibility Robustness

来源：评论

学校读者我要写书评

暂无评论

literate Program Execution for Teaching Computational Science

引用

Procedia Computer Science 2012年 9卷 1723-1732页

作者： Sébastien Li-Thiao-Té Université Paris 13 CNRS UMR 7539 LAGA 99 avenue Jean-Baptiste Cĺement F-93 430 Villetaneuse France

Class material for computer science courses often contains algorithms and code snippets, as well as the results of their execution. Usually, these are written and tested outside the source document then included via copy-and-paste. Making sure that the code compiles and that the results really correspond to the included code is the teacher's responsibility. Using techniques and ideas from literate programming, we propose to include source code and executable instruc-tions inside the source document. To support this, we have implemented Lepton which is a tool for extracting source code, compiling, executing, and including the results of the documented programs. Consequently, copy-and-paste is eliminated and code output is guaranteed to be up-to-date with source code. This manuscript was written with Lepton.

关键词： Tools to aid in teaching reproducible research literate programming executable papers

来源：评论

学校读者我要写书评

暂无评论

TOWARDS A DOCUMENT CENTRED COMPUTER-AIDED CONTROL SYSTEM DESIGN ENVIRONMENT

引用

IFAC Proceedings Volumes 2002年第1期35卷 19-24页

作者： Al Sadiq ul Amin M. Madani Halepota Christopher P. Jobling Philip W. Grant Centre for Communications and Software Technologies University of Wales Swansea Singleton Park Swansea SA2 8PP UK Topline Data Limited Wiltshire UK

Most conventional design processes produce documentation as a by-product: design is done within an environment or collection of tools and the design outputs, models, diagrams, results, etc are gathered together along with commentary (usually with hindsight) into some kind of document at the end of the process. Inspired by ideas taken from literate programming and notebook interfaces to design tools, a prototype document centred design document has been developed. In such an environment, the document is the main product and the design is a by-product of documenting the design. By implementing the framework components of the system in Java and by using the extended markup language (XML) to encode the contents of the documents, the system is made platform neutral and therefore portable. An example document centred environment for computer-aided control system design (CACSD), that integrates Matlab and Simulink with the document-based framework, is briefly described and indications for future possibilities for this technology are given.

关键词： Computer-aided control system design computer-aided engineering document centred design environments literate programming Java programming language framework reference model markup languages

来源：评论

学校读者我要写书评

暂无评论

Reproducibility in the Classroom

引用

Statistics and Its Application 1000年第1期12卷 89-105页

作者： Mine Dogucu Department of Statistics University of California Irvine Irvine California USA email: mdogucu@uci.edu

Difficulties in reproducing results from scientific studies have lately been referred to as a reproducibility crisis. Scientific practice depends heavily on scientific training. What gets taught in the classroom is often practiced in labs, fieldwork, and data analysis. The importance of reproducibility in the classroom has gained momentum in statistics education in recent years. In this article, we review the existing literature on reproducibility education. We delve into the relationship between computing tools and reproducibility through visiting historical developments in this area. We share examples for teaching reproducibility and reproducible teaching while discussing the pedagogical opportunities created by these examples as well as challenges that the instructors should be aware of. We detail the use of teaching reproducibility and reproducible teaching practices in an introductory data science course. Lastly, we provide recommendations on reproducibility education for instructors, administrators, and other members of the scientific community.

关键词： reproducibility education undergraduate graduate teaching reproducibility reproducible teaching literate programming version control

来源：评论

学校读者我要写书评

暂无评论

literate Program Execution for Reproducible Research and Executable Papers

引用

Procedia Computer Science 2012年 9卷 439-448页

作者： Sébastien Li-Thiao-Té Université Paris 13 CNRS UMR 7539 LAGA 99 avenue Jean-Baptiste Clément F-93 430 Villetaneuse France

Lepton is an automaton for literate executable papers. It enables researchers to publish their work in the form of a script or program that can generate the research paper along with the corresponding source code, input data and output results. Lepton files do not contain pre-computed results, but the full set of instructions for reproducing the results presented in the manuscript. Taking inspiration from literate programming for code review and code re-use, we have written Lepton to facilitate the review and re-use of computational methods. Lepton is designed to provide strong guarantees for the reproducibil-ity of the results, many features for easily applying the methods to new data while remaining unobtrusive and easy to deploy in any environment. Lepton is designed for writing reproducible technical reports during method development, and journal manuscripts when the research is polished. Developped independently from the Elsevier Executable Paper Grand Challenge, it addresses similar issues and objectives. This manuscript was written with Lepton.

关键词： Executable papers reproducible research literate programming

来源：评论

学校读者我要写书评

暂无评论

Of n-dimensional Dice, Combinatorial Optimization, and Reproducible Research: An Introduction

ELEKTROTEHNISKI VESTNIK

引用

ELEKTROTEHNISKI VESTNIK 2011年第4期78卷 181-192页

作者： Brglez, Franc NC State Univ Comp Sci Raleigh NC 27695 USA

When throwing a solid object like a hexahedron, an octahedron or a tetrakis-hexahedron on a flat surface, we expect it to roll onto any of the faces with probabilities of exactly 1/6, 1/8, or 1/24, respectively. Informally, we view such objects as instances from the n-dimensional dice family;formally, they are instances from a hyperhedron family H(Theta,b,n). Each of the faces is assigned a label {(xi) under bar;Theta((xi) under bar)};(xi) under bar represents a unique n-dimensional coordinate string (xi) under bar, Theta( (xi) under bar ) represents the value of the function Theta for (xi) under bar . The number of coordinates is defined as vertical bar H((xi) under bar ,b,n)vertical bar = b(n) (n!);each coordinate string is an oriented permutation with parameter b denoting the number of symbols that encode the unique orientation of each permutation. Special cases include the combinational family C(Theta,b,n) with vertical bar C(Theta,b,n)vertical bar = b(n) (each coordinate string is a unique n-tuple) and the (single orientation) permutation family P(Theta,b,n) with vertical bar P(Theta,b,n)vertical bar = n! (each coordinate string is a unique permutation). The paper introduces the hyperhedron not only as a model for instances that arise in the context of combinatorial optimization but also as a metaphor to illustrate a number of combinatorial search algorithms whose meta-structures do not change when instance coordinates change from an n-tuple to a simple or an oriented permutation of length n. The dice metaphor is applied to statistical performance experiments with instances whose dimension increases monotonically while the number of "best faces" remains constant. All results are archived as an integral part of reproducible research environment, controlled by components encapsulated in tcl, R, and (LTEX)-T-A.

关键词： combinatorial algorithms and optimization dice metaphor statistical performance experiments reproducible research literate programming

来源：评论

学校读者我要写书评

暂无评论

MiFuMax—a literate MaxSAT Solver

引用

Journal on Satisfiability, Boolean Modeling and Computation 2015年第1期9卷 83-88页

作者： Janota, Mikoláš Microsoft Research Cambridge United Kingdom. E-mail:

The main motivation behind the MaxSAT solver MiFuMax is twofold. It provides a baseline implementation of core-based algorithms for both weighted and unweighted MaxSAT. Such baseline implementation may serve for evaluation of evolving solvers. MiFuMax is written in literate programming and as such is instructive for anyone interested in learning about the implementation of modern core-based MaxSAT solvers. Despite its educative background, the solver has placed 1st in the Unweighted Max-SAT-Industrial track of the 2013 MaxSAT Evaluation and it has been successfully applied in other research.

关键词： MaxSAT SAT literate programming

来源：评论

学校读者我要写书评

暂无评论

THE CASE FOR CASE-STUDIES OF programming-PROBLEMS

引用

COMMUNICATIONS OF THE ACM 1992年第3期35卷 121-132页

作者： LINN, MC CLANCY, MJ UNIV CALIF BERKELEY DEPT ELECT ENGN & COMP SCIDIV COMP SCIBERKELEYCA 94720

The article discusses various case studies of problems faced by programming languages. The case studies include, a statement of the programming problem, a narrative description of the process used by an expert to solve the problem, written so that a student can understand the expert's approach, a listing of the expert's code, study questions to provide practice in program design, problem solving, and analysis and test questions to assess students' understanding of the program solution. These case studies explain and defend decisions made by experts to produce a solution to the problem at hand. Researchers who solve various problems refer to programming specific versions of more general problem-solving approaches as design skills. They include generating alternative solutions to a problem, comparing the alternatives, implementing solutions one piece at a time, testing the solution to a computer problem, debugging the solution when the tests reveal deficiencies, and understanding existing code.

关键词： APPRENTICESHIP LEARNING CASE STUDIES COMPUTER SCIENCE EDUCATION CURRICULUM MATERIALS DESIGN SKILLS INTRO programming KNOWLEDGE ORGANIZATION literate programming PASCAL

来源：评论

学校读者我要写书评

暂无评论

Elucidative programming in open integrated development environments for Java 03

Elucidative Programming in open integrated development envir...

引用

Proceedings of the 2nd international conference on Principles and practice of programming in Java

作者： Thomas Vestdam Aalborg University Fredrik Bajers Vej 7E 9220 Aalborg Denmark

ISBN: (纸本)9780954414511

In this paper we present an integration of tool support for internal documentation in the modern IDE Together J. The specific kind of internal documentation stems from the Elucidative programming tradition where documentation and source code are separate entities tied together using hyperlinks. The tool supports the programmer in creating and managing internal documentation of Java source code. The hypertext-based documentation is presented in the IDE where a range of navigational features helps the programmer with finding relevant documentation for a given part of the source code. It is concluded that integration of such a tool is indeed possible as well as easy to do in an open IDE like TogetherJ. We expect that we can obtain similar results using other open IDEs.

关键词： documentation Java literate programming elucidative programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：