Results 31 to 40 of about 184,966 (290)
PROOFTOOL: a GUI for the GAPT Framework [PDF]
This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and ...
Cvetan Dunchev +6 more
doaj +1 more source
Generative Programming of graphical user interfaces [PDF]
4 pages, 12 figures, ACM Conference on Visual Interfaces AVI ...
Max Schlee, Jean Vanderdonckt
openaire +2 more sources
Article describes comparative analysis of both code and low-code automation tools together with frameworks used for developing graphical user interfaces that are available on the Salesforce Platform. The research is being carried out due to lack of such
Damian Ciechan
doaj +1 more source
Evolución en la recuperación de información: de la línea de comandos a la interfaz gráfica Web [PDF]
The impact of web-based graphical user interfaces on search strategies is analysed. Several web-based GUI information providers are considered: OCLC, Dialog, STN and BookWhere. The GUIs are compared against command line interfaces.
Angós-Ullate, José-María +2 more
core +2 more sources
CMAPS: A Chess-Based Multi-Facet Password Scheme for Mobile Devices
It has long been recognized, by both security researchers and human-computer interaction researchers, that no silver bullet for authentication exists to achieve security, usability, and memorability.
Ye Zhu +6 more
doaj +1 more source
The Use of Tangible User Interfaces in K12 Education Settings: A Systematic Mapping Study
Tangible User Interfaces have enriched and expanded the user experience when interacting with computers and smart devices. The monopoly of graphical user interfaces has been broken thanks to the emergence of new complementary technologies that allow for ...
Jose A. Gallud +4 more
doaj +1 more source
A New Layout Method for Graphical User Interfaces [PDF]
International audienceThe layout mechanisms for many GUI toolkits are hard to understand, the associated tools and API's often difficult to use. This work investigates new, easy-to-understand layout mechanisms and evaluates its implementation.
Scoditti, Adriano +1 more
core +4 more sources
Helping Students Test Programs That Have Graphical User Interfaces [PDF]
Within computer science education, many educators are incorporating software testing activities into regular programming assignments. Tools like JUnit and its relatives make software testing tasks much easier, bringing them into the realm of even ...
Matthew Thornton +2 more
doaj
GCL – An Easy Way for Creating Graphical User Interfaces [PDF]
Graphical User Interfaces (GUI) can be created using several approaches. Beside using visual editors or a manually written source code, it is possible to employ a declarative method.
Mariusz Trzaska
doaj
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source

