Results 41 to 50 of about 408,664 (349)
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails.
Sylvain Conchon +2 more
doaj +1 more source
Sequenceserver: A Modern Graphical User Interface for Custom BLAST Databases
Molecular biology and evolution, 2019 Comparing newly obtained and previously known nucleotide and amino-acid sequences underpins modern biological research. BLAST is a well-established tool for such comparisons but is challenging to use on new data sets.
Anurag Priyam +10 more
semanticscholar +1 more source
FEBS Open Bio, EarlyView.This review highlights how foundation models enhance predictive healthcare by integrating advanced digital twin modeling with multiomics and biomedical data. This approach supports disease management, risk assessment, and personalized medicine, with the goal of optimizing health outcomes through adaptive, interpretable digital simulations, accessible ...
Sakhaa Alsaedi +2 more
wiley +1 more source
A TEI-based Application for Editing Manuscript Descriptions
Journal of the Text Encoding Initiative, 2012 Within the Teuchos Group at the University of Hamburg we developed a software package that integrates a graphical user interface (GUI) as well as modules for automatic annotation of manuscripts.
Cristina Vertan, Stefanie Reimers
doaj +1 more source
bioRxiv, 2019 Many of the existing ECG toolboxes focus on the derivation of heart rate variability features from RR-intervals. By doing so, they assume correct detection of the QRS-complexes. However, it is highly likely that not all detections are correct. Therefore,
Jonathan Moeyersons +4 more
semanticscholar +1 more source
Semi‐automated hippocampal avoidance whole‐brain radiotherapy planning
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background Hippocampal avoidance whole‐brain radiotherapy (HA‐WBRT) is designed to spare cognitive function by reducing radiation dose to the hippocampus during the treatment of brain metastases. Current manual planning methods can be time‐consuming and may vary in quality, necessitating the development of automated approaches to streamline ...
Dong Joo Rhee +9 more
wiley +1 more source
A software system to teach economics to secondary school and first year engineering students
Modelling in Science Education and Learning, 2009 Presentamos una interfaz gráfica desarrollada mediante Matlab diseñada para complementar el aprendizaje de los conceptos básicos de economía en Bachillerato, grado superior de ciclos formativos y cursos universitarios de introducción a la economía.
M.A. García-March +5 more
doaj +1 more source
Graphical user interfaces as documents [PDF]
Proceedings of the 6th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction design centered HCI - CHINZ '06, 2006 The representation of GUIs as documents is a technological trend that has been present for some years, but is only now about to significantly change the way in which most user interfaces are developed. This paper examines this change, explains the reasons behind it and the concepts involved.
Gerald Weber +2 more
openaire +2 more sources
Actionable Wearables Data for the Neurology Clinic: A Proof‐of‐Concept Tool
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Wearable devices can monitor key health and fitness domains. In multiple sclerosis (MS), monitoring step count and sleep is feasible, valid, and offers a holistic glimpse of patient functioning and worsening. However, data generated from wearables are typically unavailable at the point of care.
Nicolette Miller +12 more
wiley +1 more source
Methods in Ecology and Evolution, 2021 Geometric morphometric (GM) tools are essential for meaningfully quantifying and understanding patterns of variation in complex traits like shape. In this field, the breadth of answerable questions has grown dramatically in recent years through the ...
Erica K. Baken +3 more
semanticscholar +1 more source