Search · four archives
Search · four archives
24 papers · ranked by Valyu relevance
Devamardeep Hayatpur, Daniel Wigdor, Haijun Xia
Program visualizations help to form useful mental models of how programs work, and to reason and debug code. But these visualizations exist at a fixed level of abstraction, e.g., line-by-line. In contrast, programmers switch between many levels of abstraction when inspecting program behavior. Based on results from a…
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…
John Whitington, Tom Ridge
In this position paper, we present a prototype of a visualizer for functional programs. Such programs, whose evaluation model is the reduction of an expression to a value through repeated application of rewriting rules, and which tend to make little or no use of mutable state, are amenable to visualization in the same…
Niklas Rentz, Reinhard von Hanxleden
—For most service architectures, such as OSGi and Spring, architecture-specific tools allow software developers and architects to visualize otherwise obscure configurations hidden in the project files. Such visualization tools are often used for documentation purposes and help to better understand programs than with…
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…
David Meijer, Marnix H. Medema, Justin J. J. van der Hooft
Effective visualization of small molecules is paramount in conveying concepts and results in cheminformatics. Scalable vector graphics (SVG) are preferred for creating such visualizations, as SVGs can be easily altered in post-production and exported to other formats. A wide spectrum of software applications already…
Phyllipe Lima, Jorge Melegati, Everaldo Gomes, Nathalya Stefhany Pereira + 2 more
'Nathalya Stefhany Pereira' 'Eduardo Guerra' 'Paulo Meirelles'] Context: Code annotations is a widely used feature in Java systems to configure custom metadata on programming elements. Their increasing presence creates the need for approaches to assess and comprehend their usage and distribution. In this context…
Kyra Dalbo, Yumna Ahmed, HeuiChan Lim
—The complexity of modern Just-In-Time (JIT) compiler optimization poses significant challenges for developers seeking to understand and debug intermediate representation (IR) behavior. This work introduces JITScope, an interactive visualization framework that illustrates how IR nodes and instructions evolve across…
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…
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
—Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate bottlenecks, and implement new desired features. Thus, software developers spend a large percentage…
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…
Oliver Lee, Malte Gather, Eli Zysman-Colman
We describe a new tool for the efficient management of computational chemistry. Digichem is a program that automates and simplifies nearly the entire computational pipeline, including large-scale batch submission of calculations, analysis and results parsing, the generation of 3D density plots and 2D graphs of…
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…
Althea Hansel-Harris, Andreas Tillack, Diogo Santos-Martins, Matthew Holcomb + 1 more
Virtual screening using molecular docking is now routinely used for the rapid evaluation of very large ligand libraries. As such, it has become an increasingly common approach in early-stage drug discovery. These screenings generate large amounts of data proportional to the size of the compound library used, which must…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Vicente Martí-Centelles, Tomasz Krzysztof Piskorz, Fernanda Duarte
Organic(porous) and metal-organic cages are promising biomimetic platforms with diverse applications spanning recognition, sensing and catalysis. The key to the emergence of these functions is the presence of well-defined inner cavities capable of binding a wide range of guest molecules and modulating their properties.…
Babu Bassa
In this communication the author describes a software tool named "ChameleonSort". The software program, developed by the present author is useful in the sorting of biological sequence variants like those accumulating mutations while diverging from the common ancestors. Examples include viral protein variants, protein…