Java applet ≈ Java applet
View article
3Drefine: an interactive web server for efficient protein structure refinement Open
3Drefine is an interactive web server for consistent and computationally efficient protein structure refinement with the capability to perform web-based statistical and visual analysis. The 3Drefine refinement protocol utilizes iterative o…
View article
New tools in MolProbity validation: CaBLAM for CryoEM backbone, UnDowser to rethink “waters,” and NGL Viewer to recapture online 3D graphics Open
The MolProbity web service provides macromolecular model validation to help correct local errors, for the structural biology community worldwide. Here we highlight new validation features, and also describe how we are fighting back against…
View article
Java Applets for Power and Sample Size Open
This is a Java application that allows you to do power and sample-size calculations for a number of standard statistical models.
View article
Scoring and classifying examinees using measurement decision theory Open
This paper describes and evaluates the use of measurement decision theory (MDT) to classify examinees based on their item response patterns. The model has a simple framework that starts with the conditional probabilities of examinees in ea…
View article
If This Then What? Open
IoT apps empower users by connecting a variety of otherwise unconnected services. These apps (or applets) are triggered by external information sources to perform actions on external information sinks. We demonstrate that the popular IoT a…
View article
Web Application Teaching Tools for Statistics Using R and Shiny Open
Technology plays a critical role in supporting statistics education, and student comprehension is improved when simulations accompanied by dynamic visualizations are employed. Many web-based teaching tool applets programmed in Java/Javascr…
View article
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode Open
We present a bounded model checking tool for verifying Java bytecode, which is built on top of the CPROVER framework, named Java Bounded Model Checker (JBMC). JBMC processes Java bytecode together with a model of the standard Java librarie…
View article
An Interactive Learning Environment for Information and Communication Theory Open
Background:Interactive learning tools are emerging as effective educational materials in the area of computer science and engineering. It is a research domain that is rapidly expanding because of its positive impacts on motivating and impr…
View article
Web Apps Come of Age for Molecular Sciences Open
Whereas server-side programs are essential to maintain databases and run data analysis pipelines and simulations, client-side web-based computing tools are also important as they allow users to access, visualize and analyze the content del…
View article
Geogebra Applets Design and Development for Junior High School Students to Learn Quadrilateral Mathematics Concepts Open
This design and development research was motivated by the rapid expansion and use of GeoGebra by mathematics educators (teachers and lecturers) in Indonesia. One of GeoGebra features is GeoGebra Applet that can be used, modified, and/or de…
View article
Updates to the RNA mapping database (RMDB), version 2 Open
Chemical mapping is a broadly utilized technique for probing the structure and function of RNAs. The volume of chemical mapping data continues to grow as more researchers routinely employ this information and as experimental methods increa…
View article
An Instrumentation Theory View On Students’ Use Of An Applet For Algebraic Substitution Open
In this paper we investigated the relationship between the use of a digital tool for algebra and students’ algebraic understanding from an instrumentation theory perspective. In particular, we considered the schemes that students developed…
View article
Assessing Shiny apps through student feedback: Recommendations from a qualitative study Open
Teaching statistics has benefited from Java applets, the successful technology that appeared in the late 90s and which allowed real interactivity on an Internet browser. Combining dynamic functionality with the web provides an inspirationa…
View article
Mobile nutrition and health management platform for perioperative recovery: an interdisciplinary research achievement using WeChat Applet Open
Background In recent years, the number of people using mobile applications to promote health and welfare has exponentially increased. However, there are fewer applications in the field of ERAS. How to promote the rapid rehabilitation of pa…
View article
Web Based Instructional Tools For Heat And Mass Transfer Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Session 3213 Web-Based Instructional Tools for Heat and Mass Transfer Haishan Zheng and Jason M. Keith Department of Chemical Engineeri…
View article
X-ray imaging virtual online laboratory for engineering undergraduates Open
Distance learning engineering students (as well as those in face-to-face settings) should acquire a basic background in radiation–matter interaction physics (usually in the first semesters). Some students in this group may feel some degree…
View article
An Architecture For Virtual Laboratory Experimentation Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract An Architecture for Virtual Laboratory Experimentation Abstract This paper presents a software architecture for the rapid development o…
View article
Using Java To Develop Interactive Learning Material For The World Wide Web Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Session 3268 Using Java to Develop Interactive Learning Material for the World-Wide Web 2 Benjamin “ Quincy” Cabell VI and Joseph J. Re…
View article
Web Based Java Applets For Teaching Engineering Mechanics Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Session 2620 Web-Based Java Applets for Teaching Engineering Mechanics Kamal B. Rojiani1, Yong Y. Kim2 and Rakesh K. Kapania2 1 2 Charl…
View article
A Study of Call Graph Construction for JVM-Hosted Languages Open
Call graphs have many applications in software engineering, including bug-finding, security analysis, and code navigation in IDEs. However, the construction of call graphs requires significant investment in program analysis infrastructure.…
View article
FLIPPING BETWEEN LANGUAGES? AN EXPLORATORY ANALYSIS OF THE USAGE BY SPANISH-SPEAKING ENGLISH LANGUAGE LEARNER TERTIARY STUDENTS OF A BILINGUAL PROBABILITY APPLET Open
English language learners (ELLs) are a rapidly growing part of the student population in many countries. Studies on resources for language learners—especially Spanish-speaking ELLs—have focused on areas such as reading, writing, and mathem…
View article
Active Learning Program Supported by Online Simulation Applet in Engineering Education Open
Nowadays education programs in engineering degrees have evolved towards advanced learning models and methodologies, which are either partially or entirely sustained by ICT (Information, Communication, and Technology) resources, and blended…
View article
Java Dsp Interface With Matlab And Its Use In Engineering Education Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract MATLAB INTERFACE WITH JAVA SOFTWARE Andreas Spanias, Constantinos Panayiotou, Thrassos Thrasyvoulou, and Venkatraman Atti MIDL, Departm…
View article
Is Seeing Believing? Training Users on Information Security: Evidence from Java Applets Open
Information Security issues are one of the top concerns of CEOs. Accordingly, information systems education and research have addressed security issues. One of the main areas of research is the behavioral issues in Information Security, pr…
View article
Java Ranger at SV-COMP 2020 (Competition Contribution) Open
Path-merging is a known technique for accelerating symbolic execution. One technique, named “veritesting” by Avgerinos et al. uses summaries of bounded control-flow regions and has been shown to accelerate symbolic execution of binary code…
View article
A WeChat applet-based national remote emergency system for malignant hyperthermia in China: a usability study Open
Background Malignant hyperthermia (MH) is a rare anesthetic emergency with a high mortality rate in China. We developed a WeChat applet–based National Remote Emergency System for Malignant Hyperthermia (MH-NRES) to provide a real-time emer…
View article
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) Open
JD art performs dynamic symbolic execution of J ava programs: it executes programs with concrete inputs while recording symbolic constraints on executed program paths. A constraint solver is then used for generating new concrete values fro…
View article
Protocol of a parallel, randomized controlled trial on the effects of a novel personalized nutrition approach by artificial intelligence in real world scenario Open
Background Nutrition service needs are huge in China. Previous studies indicated that personalized nutrition (PN) interventions were effective. The aim of the present study is to identify the effectiveness and feasibility of a novel PN app…
View article
Technologies For The Development Of Virtual And Remote Laboratories: A Case Study Open
NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Technologies for Development of Virtual and Remote Laboratories – A Case Study Abstract With the rapid development of computer and Inte…
View article
A Precise Framework for Source-Level Control-Flow Analysis Open
This paper presents INTRACFG, a declarative and language-independent framework for constructing precise intraprocedural control-flow graphs (CFGs) based on the reference attribute grammar system JastAdd. Unlike most other frameworks, which…