Search results for "Graphical user interface"
showing 10 items of 88 documents
NAUTILUS Navigator : free search interactive multiobjective optimization without trading-off
2019
We propose a novel combination of an interactive multiobjective navigation method and a trade-off free way of asking and presenting preference information. The NAUTILUS Navigator is a method that enables the decision maker (DM) to navigate in real time from an inferior solution to the most preferred solution by gaining in all objectives simultaneously as (s)he approaches the Pareto optimal front. This means that, while the DM reaches her/his most preferred solution, (s)he avoids anchoring around the starting solution and, at the same time, sees how the ranges of the reachable objective function values shrink without trading-off. The progress of the motion towards the Pareto optimal front is…
ATL model checking in the cloud
2015
This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…
Enhancing dynamic graphical analysis with the Lisp-Stat language and the ViSta statistical program
2005
Presented is a sample of computerized methods aimed at multidimensional scaling and psychometric item analysis that offer a dynamic graphical interface to execute analyses and help visualize the results. These methods show how the Lisp-Stat programming language and the ViSta statistical program can be jointly applied to develop powerful computer applications that enhance dynamic graphical analysis methods. The feasibility of this combined strategy relies on two main features: (1) The programming architecture of ViSta enables users to add new statistical methods as plug-ins, which are integrated into the program environment and can make use of all the functions already available in ViSta (e.…
The SUMMA Platform: A Scalable Infrastructure for Multi-lingual Multi-media Monitoring
2018
The open-source SUMMA Platform is a highly scalable distributed architecture for monitoring a large number of media broadcasts in parallel, with a lag behind actual broadcast time of at most a few minutes. The Platform offers a fully automated media ingestion pipeline capable of recording live broadcasts, detection and transcription of spoken content, translation of all text (original or transcribed) into English, recognition and linking of Named Entities, topic detection, clustering and crosslingual multi-document summarization of related media items, and last but not least, extraction and storage of factual claims in these news items. Browser-based graphical user interfaces provide humans…
The Logic of User Interface Design
2016
Technical artefacts exist so that people can use them to make something happen. Their capacity to do so depends on the functions and functionalities of the technology, which requires users. Technologies thus have to give users the ability to control them, and the designer’s role is to create the actions and work processes for which the artefacts are intended. This basic HTI pursuit is called user interface design. It applies technical interaction concepts to solve design problems. This chapter presents the overall principles and goals for the user interface design of any technical artefact.
BANΔIT: B’‐factor Analysis for Drug Design and Structural Biology
2020
The analysis of B‐factor profiles from X‐ray protein structures can be utilized for structure‐based drug design since protein mobility changes have been associated with the quality of protein‐ligand interactions. With the BANΔIT (B’‐factor analysis and ΔB’ interpretation toolkit), we have developed a JavaScript‐based browser application that provides a graphical user interface for the normalization and analysis of B’‐factor profiles. To emphasize the usability for rational drug design applications, we have analyzed a selection of crystallographic protein‐ligand complexes and have given exemplary conclusions for further drug optimization including the development of a B’‐factor‐supported pha…
GYROCOMPU: Toolbox Designed for the Analysis of Gyrotron Resonators
2020
The key point of gyrotron design is the analysis of the radio frequency (RF) behavior in gyrotron resonators. This article proposes a comprehensive, user-friendly and effective gyrotron design toolbox (GYROCOMPU) based on the MATLAB platform. GYROCOMPU associates a relatively complete set of codes for gyrotron analysis and integrates them together into a graphical user interface (GUI). The solving algorithm of the cold cavity equations and self-consistent equations is improved. The solving method improvement in these calculation algorithms renders the analysis more efficient and accurate. Three typical examples of gyrotrons working in the 140-GHz TE03 mode, 42-GHz TE03 mode, and 140-GHz TE1…
Interactive multiobjective optimization system WWW-NIMBUS on the Internet
2000
Abstract NIMBUS is a multiobjective optimization method capable of solving nondifferentiable and nonconvex problems. We describe the NIMBUS algorithm and its implementation WWW-NIMBUS. To our knowledge WWW-NIMBUS is the first interactive multiobjective optimization system on the Internet. The main principles of its implementation are centralized computing and a distributed interface. Typically, the delivery and update of any software is problematic. Limited computer capacity may also be a problem. Via the Internet, there is only one version of the software to be updated and any client computer has the capabilities of a server computer. Further, the World-Wide Web (WWW) provides a graphical …
A visual framework to create photorealistic retinal vessels for diagnosis purposes
2020
The methods developed in recent years for synthesising an ocular fundus can be been divided into two main categories. The first category of methods involves the development of an anatomical model of the eye, where artificial images are generated using appropriate parameters for modelling the vascular networks and fundus. The second type of method has been made possible by the development of deep learning techniques and improvements in the performance of hardware (especially graphics cards equipped with a large number of cores). The methodology proposed here to produce high-resolution synthetic fundus images is intended to be an alternative to the increasingly widespread use of generative ad…
Dynamic interface for machine vision systems
2002
Iconic programming intends to provide expressive tools to implement, to debug, and to execute programs. For this purpose, visual languages need pictorial constructs and metaphors to guide the design of algorithms in interactive fashion. In the paper a new class of dynamic visual interfaces, named DIVA (Dynamic Interface for Visual Applications), is introduced, its properties are described, and an application to visual compilers in a multi-processors system dedicated to image analysis is given. Moreover, a formal definition of dynamic icon (DI) is also given.