Stan is a flexible probabilistic programming language providing full Bayesian inference through Hamiltonian Monte Carlo algorithms. The benefits of Hamiltonian Monte Carlo include improved efficiency and faster inference, when compared to other MCMC software implementations. Users can interface with Stan through a variety of computing…

The quantitative evaluation of experimental data and their graphical presentation are integral to teaching and research in chemistry and the life sciences. Data are commonly fitted to physical models, which in all but the simplest cases are expressed as nonlinear mathematical functions. To facilitate data evaluation in both teaching and research…

In this study, a Surface Computer Supported Cooperative Work paradigm is proposed. Recently, multitouch technology has become widely available for human-computer interaction. We found it has great potential to facilitate more awareness of human-to-human interaction than personal computers (PCs) in colocated collaborative work. However, other…

This paper introduces Ontoolsearch, a new search system that can be employed by educators in order to find suitable tools for supporting collaborative learning settings. Current tool search facilities commonly allow simple keyword searches, limiting the accuracy of obtained results. In contrast, Ontoolsearch supports semantic querying of tool…

Self-testing is a means to check learning effect. Besides time-space restriction, there are many deficiencies in traditional offline self-testing. With the development of information technology, learners can have self-testing on the Internet. Self-testing on Internet, namely, web-based self-testing, overcomes time-space limitation of traditional…

Discusses the poor technical and design quality of many Web sites and provides tips for improving quality: use meta tags; provide page sponsor identification, links back to home page, page titles; display a paragraph describing the purpose of the Web page; avoid using frames and publishing pages under construction; check language and mechanics;…

Summer 1995 saw the release, with considerable media attention, of draft versions of Sun Microsystems' Java computer programming language and the HotJava browser. Java has been heralded as the latest "killer" technology in the Internet explosion. Sun Microsystems and numerous companies including Microsoft, IBM, and Netscape have agreed…