scholarly journals A Functional Programming Technique for Forms in Graphical User Interfaces

2005 ◽  
pp. 35-51 ◽  
Author(s):  
Sander Evers ◽  
Peter Achten ◽  
Jan Kuper
Keyword(s):  
User Interfaces ◽  
Functional Programming ◽  
Graphical User Interfaces ◽  
Programming Technique

scholarly journals Functional design and implementation of graphical user interfaces for theorem provers

1999 ◽  
Vol 9 (2) ◽  
pp. 167-189 ◽  
Author(s):  
C. LÜTH ◽  
B. WOLFF
Keyword(s):  
Program Development ◽  
User Interfaces ◽  
System Architecture ◽  
Functional Programming ◽  
Graphical User Interfaces ◽  
Functional Design ◽  
Problem Domain ◽  
Design And Implementation ◽  
Theorem Provers ◽  
Interface System

The design of theorem provers, especially in the LCF-prover family, has strongly profited from functional programming. This paper attempts to develop a metaphor suited to visualize the LCF-style prover design, and a methodology for the implementation of graphical user interfaces for these provers and encapsulations of formal methods. In this problem domain, particular attention has to be paid to the need to construct a variety of objects, keep track of their interdependencies and provide support for their reconstruction as a consequence of changes. We present a prototypical implementation of a generic and open interface system architecture, and show how it can be instantiated to an interface for Isabelle, called IsaWin, as well as to a tailored tool for transformational program development, called TAS.

Protecting User Interfaces

2017 ◽  
Author(s):  
Noam Shemtov
Keyword(s):  
Intellectual Property ◽  
Property Rights ◽  
Intellectual Property Rights ◽  
User Interfaces ◽  
Patent Protection ◽  
The United States ◽  
Graphical User Interfaces ◽  
Unfair Competition ◽  
European Patent ◽  
Intellectual Property Rights Protection

This chapter examines the scope of protection to which graphical user interfaces may be eligible under various intellectual property rights: namely, trade marks, unfair-competition laws, design rights, copyright, and patents. It first considers the extent of copyright protection over a software product’s ‘look-and-feel’ elements, with particular emphasis on graphical user interfaces protection under US and EU laws. It then discusses trade-mark, trade-dress, and unfair-competition protection for graphical user interfaces, along with intellectual property rights protection for design patents and registered designs. Finally, it describes the patent protection for graphical user interfaces in the United States and at the European Patent Office.

epiTracker: A Framework for Highly Reliable Particle Tracking for the Quantitative Analysis of Fish Movements in Tanks

2020 ◽  
pp. 247263032097745
Author(s):  
Roman Bruch ◽  
Paul M. Scheikl ◽  
Ralf Mikut ◽  
Felix Loosli ◽  
Markus Reischl
Keyword(s):  
Social Interactions ◽  
User Interfaces ◽  
Particle Tracking ◽  
Group Behavior ◽  
Correction Method ◽  
Graphical User Interfaces ◽  
Study Group ◽  
Automated Tracking ◽  
User Friendly ◽  
Track Analysis

Behavioral analysis of moving animals relies on a faithful recording and track analysis to extract relevant parameters of movement. To study group behavior and social interactions, often simultaneous analyses of individuals are required. To detect social interactions, for example to identify the leader of a group as opposed to followers, one needs an error-free segmentation of individual tracks throughout time. While automated tracking algorithms exist that are quick and easy to use, inevitable errors will occur during tracking. To solve this problem, we introduce a robust algorithm called epiTracker for segmentation and tracking of multiple animals in two-dimensional (2D) videos along with an easy-to-use correction method that allows one to obtain error-free segmentation. We have implemented two graphical user interfaces to allow user-friendly control of the functions. Using six labeled 2D datasets, the effort to obtain accurate labels is quantified and compared to alternative available software solutions. Both the labeled datasets and the software are publicly available.

scholarly journals Simulators in Educational Robotics: A Review

2021 ◽  
Vol 11 (1) ◽  
pp. 11
Author(s):  
Sokratis Tselegkaridis ◽  
Theodosios Sapounidis
Keyword(s):  
Literature Review ◽  
User Interfaces ◽  
Graphical User Interfaces ◽  
Educational Robotics ◽  
Wheeled Robots ◽  
Knowledge And Skills ◽  
Development Platform ◽  
Key Features ◽  
Positive Effect ◽  
And Robotics

Educational robotics (ER) seems to have a positive effect on students and, in many cases, might help them to successfully assimilate knowledge and skills. Thus, this paper focuses on ER and carries out a literature review on educational robotics simulators with Graphical User Interfaces (GUIs). The review searches for relevant papers which were published in the period 2013–2020 and extracted the characteristics of the simulators used. The simulators that we describe in this article cover various robotic technologies, offering students an easy way to engage with virtual robots and robotics mechanisms, such as wheeled robots or drones. Using these simulators, students might cover their educational needs or prepare themselves for educational robotic competitions by working in as realistic as possible conditions without hardware restrictions. In many cases, simulators might reduce the required cost to obtain a robotic system and increase availability. Focusing on educational robotics simulators, this paper presents seventeen simulators emphasizing key features such as: user’s age, robot’s type and programming language, development platform, capabilities, and scope of the simulator.

Engineering Slidable Graphical User Interfaces with Slime

2021 ◽  
Vol 5 (EICS) ◽  
pp. 1-29
Author(s):  
Arthur Sluÿters ◽  
Jean Vanderdonckt ◽  
Radu-Daniel Vatavu
Keyword(s):  
User Interface ◽  
User Interfaces ◽  
Graphical User Interfaces ◽  
Domain Model ◽  
Transition Diagram ◽  
New Device ◽  
Computing Platform ◽  
Detail Design ◽  
Uml Class Diagram ◽  
The Impact

Intra-platform plasticity regularly assumes that the display of a computing platform remains fixed and rigid during interactions with the platform in contrast to reconfigurable displays, which can change form depending on the context of use. In this paper, we present a model-based approach for designing and deploying graphical user interfaces that support intra-platform plasticity for reconfigurable displays. We instantiate the model for E3Screen, a new device that expands a conventional laptop with two slidable, rotatable, and foldable lateral displays, enabling slidable user interfaces. Based on a UML class diagram as a domain model and a SCRUD list as a task model, we define an abstract user interface as interaction units with a corresponding master-detail design pattern. We then map the abstract user interface to a concrete user interface by applying rules for the reconfiguration, concrete interaction, unit allocation, and widget selection and implement it in JavaScript. In a first experiment, we determine display configurations most preferred by users, which we organize in the form of a state-transition diagram. In a second experiment, we address reconfiguration rules and widget selection rules. A third experiment provides insights into the impact of the lateral displays on a visual search task.

A comparative evaluation of graphical user interfaces

1990 ◽  
Vol 22 (1) ◽  
pp. 12-15
Author(s):  
Rainer Ebner ◽  
Gunter Haring ◽  
Franz Penz ◽  
Gerhard Weichselberger
Keyword(s):  
User Interfaces ◽  
Comparative Evaluation ◽  
Graphical User Interfaces
Sign in / Sign up

Export Citation Format

Share Document