Search · four archives
Search · four archives
12 papers · ranked by Valyu relevance
Raji Tajudeen, Mosoka Papa Fallah, John Ojo, Tamrat Shaweno + 11 more
The DHIS2 system enabled real-time tracking of vaccine distribution and administration to facilitate data-driven decisions. Experts from the Africa Centres for Disease Control and Prevention (Africa CDC) Monitoring and Evaluation (M&E) and Management Information System (MIS) teams, with support from the Health…
Jonathan Chacko, Hakan Ozadam, Can Cenik
Ribosome profiling is a widely-used technique for measuring ribosome occupancy at nucleotide resolution. However, the need to analyze this data at nucleotide resolution introduces unique challenges in data visualization and analyses. In this study, we introduce RiboGraph, a dedicated visualization tool designed to work…
Jianfeng Li, Benben Miao, Shixiang Wang, Wei Dong + 17 more
Modern web techniques provide an unprecedented opportunity for leveraging complex biomedical data generating in clinical, omics, and mechanism experiments. Currently, the functions for carrying out publication-ready biomedical data visualization represent primary technical hurdles in the state-of-art omics-based web…
Anton Stratmann, Martin Beyß, Johann F. Jadebeck, Katharina Nöh
Understanding input-output relationships within multivariate datasets is an ubiquitous task in the life and data sciences. For this, visual analysis is indispensable for providing expressive summaries and preparing decision-making. We present the visual analysis approach and software MooViE, which is designed to strike…
Leixian Shen, Enya Shen, Zhiwei Tai, Yihao Xu + 2 more
'Jianmin Wang'] General visualization recommendation systems typically make design decisions for the dataset automatically. However, most of them can only prune meaningless visualizations but fail to recommend targeted results. This paper contributes TaskVis, a task-oriented visualization recommendation system that…
Muhammad Zain Butt, Rana Sheraz Ahmad, Eman Fatima, Muhammad Tahir ul Qamar
The application of Large Language Models (LLMs) for generating data visualizations through natural language interaction represents a promising advance in AI-assisted scientific analysis. However, existing LLM-based tools largely emphasize graph generation, while research workflows require not only visualization but…
Graham Alvare, Abiel Roche-Lima, Brian Fristensky
Background Biologists are faced with an ever-changing array of complex software tools with steep learning curves, often run on High Performance Computing platforms. To resolve the tradeoff between analytical sophistication and usability, we have designed BioLegato, a programmable graphical user interface (GUI) for…
Yi Chen, Caixia Wu, Qinghui Zhang, Di Wu
With the availability of big data for food safety, more and more advanced data analysis methods are being applied to risk analysis and prewarning (RAPW). Visual analytics, which has emerged in recent years, integrates human and machine intelligence into the data analysis process in a visually interactive manner…
V. Chiara, A. Buatois, S.-Y. Kim
Video-tracking programs have now become an essential tool for researchers measuring animal behavior across biological fields. The panel of available programs is growing rapidly, providing researchers with numerous specific tools that will match their precise needs. However, their proliferation may complicate…
Pavel Kodytek, Alexandra Bodzas, Jan Zidek, Govind Vashishtha
Continual technological advances associated with the recent automation revolution have tremendously increased the impact of computer technology in the industry. Software development and testing are time-consuming processes, and the current market faces a lack of specialized experts. Introducing automation to this field…
George Margetis, Katerina Valakou, Stavroula Ntoa, Despoina Gavgiotaki + 5 more
'Despoina Gavgiotaki' 'Constantine Stephanidis' 'Lisha Peng' 'Oleksii Karpenko' 'Hongyu Sun' 'Zhichao Cai'] Zero-defect manufacturing is one of the most promising strategies to mitigate failures within manufacturing processes, allowing industries to increase product quality efficiently and effectively. One of the…
Sophie Lathouwers, Yujie Liu, Vadim Zaytsev
In software engineering, models are used for many different things. In this paper, we focus on program verification, where we use models to reason about the correctness of systems. There are many different types of program verification techniques which provide different correctness guarantees. We investigate the domain…