Graphical user interfaces (GUIs) help to create user-friendly interactions between a complicated mathematical model application and an inexperienced user. The GUI helps to package the various software components that are essential for effective user interactions, while the mathematical model helps to simulate the fate and transport of water and solute in subsurface soil environments. For a succ...

This work presents the Digital-Systems Verifier (DSVerifier), which is a verification tool developed for digital systems. In particular, DSVerifier employs the bounded model checking technique based on satisfiability modulo theories (SMT) solvers, which allows engineers to verify the occurrence of design errors, due to the finite word-length approach employed in fixed-point digital filters and ...

6 This project aims to develop an online user interface to 7 implement simple user designed neural circuits to serve as 8 demonstration and education material for high school and 9 college level students and educators. The user interacts with a 10 graphical user interface (GUI) which on the front end allows 11 the user to assemble, probe, and alter simple neural circuits; 12 while on the back e...

Design of Vehicular monitoring and tracking system using RASPBERRY PI is proposed. The vehicular module is used to track, monitor, and surveillance and finds the accident spot and intimate to the monitoring station. The proposed design provides information regarding vehicle Identity, speed, and position on real time basis. This information are collected by the RASPBERRY PI by using different mo...

Graphical User Interface (GUI) has become a common way to build and deploy desk-top software in introductory computer science courses. Students definitely enjoy building GUI programs as opposed to command-line programs. Writing a GUI program requires a paradigm shift from sequential processing to event-driven processing. Building a GUI program involves two main activities – design of user inter...

The Pie Segment Slider is a novel parameter control interface combining the advantages of tangible input with the customizability of a graphical interface representation. The physical part of the interface consists of a round touchpad, which serves as an appropriate sensor for manipulating ring-shaped sliders arranged around a virtual object. The novel interface concept allows to shift a substa...

The graphical user interface has brought great values in the field of human computer interface. However, the conventional GUI is more mechanical and does not recognize or communicate emotions. The modern GUIs are trying to infer the likely emotional state and personality of the user and communicate through a corresponding emotional state. Emotions can be expressed in graphical icons, sounds, pi...

Dynamic web service invocation without special client software may help the adoption of service-oriented architectures on the consumer stage. Ad-hoc usage of services requires a powerful set of concepts to visualise the service input and output messages in a user-friendly, ergonomic and extensible way. Such concepts are collected in a research effort named Web Service Graphical User Interface a...

Oracles used for testing graphical user interface (GUI) programs are required to take into consideration complicating factors such as variations in screen resolution or color scheme when comparing observed GUI elements to expected GUI elements. Researchers proposed fuzzy comparison rules and computationally expensive image processing techniques to tame the comparison process since otherwise the...