English
Related papers

Related papers: inMOTIFin: a lightweight end-to-end simulation sof…

200 papers

Current genomic foundation models (GFMs) rely on extensive neural computation to implicitly approximate conserved biological motifs from single-nucleotide inputs. We propose Gengram, a conditional memory module that introduces an explicit…

Scientists and engineers use simulators to model empirically observed phenomena. However, tuning the parameters of a simulator to ensure its outputs match observed data presents a significant challenge. Simulation-based inference (SBI)…

Motivation: This paper presents libRoadRunner 2.0, an extensible, high-performance, cross-platform, open-source software library for the simulation and analysis of models expressed using Systems Biology Markup Language SBML). Results:…

Quantitative Methods · Quantitative Biology 2022-03-03 Ciaran Welsh , Jin Xu , Lucian Smith , Matthias König , Kiri Choi , Herbert M. Sauro

Continuous reconstructions of periodic phenomena provide powerful tools to understand, predict and model natural situations and engineering problems. In line with the recent method called Physics-Informed Neural Networks (PINN) where a…

Fluid Dynamics · Physics 2022-06-15 Gaetan Raynaud , Sebastien Houde , Frederick P. Gosselin

TEMPO (Time-dependent Evolution of Multiple Pulse Operations) offers accessible and efficient simulations of pulse sequences in Python, using the suite of master equation solvers available in the Quantum Toolbox in Python (QuTiP). It…

Quantum Physics · Physics 2025-02-18 Jner Tzern Oon , Sonja A. Hakala , George A. Witt , Ronald Walsworth

Online system identification algorithms are widely used for monitoring, diagnostics and control by continuously adapting to time-varying dynamics. Typically, these algorithms consider a model structure that lacks parsimony and offers…

Systems and Control · Electrical Eng. & Systems 2025-04-28 Koen Classens , Rodrigo A. González , Tom Oomen

Complex software-driven systems often interleave distributed, concurrent computation processes with physical interactions with the environment. Developing these systems more efficiently and safely can be achieved by employing actionable,…

Software Engineering · Computer Science 2025-11-20 Hiep Hong Trinh , Federico Ciccozzi , Abu Naser Masud , Marjan Sirjani , Mikael Sjödin

DNA language models have advanced genomics, but their downstream performance varies widely due to differences in tokenization, pretraining data, and architecture. We argue that a major bottleneck lies in tokenizing sparse and unevenly…

Genomics · Quantitative Biology 2025-12-23 Xiaoxiao Zhou , Zihan Wang , Jingbo Shang , Yang E. Li

Verification of microkernels, device drivers, and crypto routines requires analyses at the binary level. In order to automate these analyses, in the last years several binary analysis platforms have been introduced. These platforms share a…

Programming Languages · Computer Science 2019-01-23 Andreas Lindner , Roberto Guanciale , Roberto Metere

Lightweight language models remain attractive for on-device and privacy-sensitive applications, but their responses are highly sensitive to prompt quality. For open-ended generation, non-expert users often lack the knowledge or time to…

Computation and Language · Computer Science 2025-12-01 Yizhou Xu , Janet Davis

By simply composing prompts, developers can prototype novel generative applications with Large Language Models (LLMs). To refine prototypes into products, however, developers must iteratively revise prompts by evaluating outputs to diagnose…

Human-Computer Interaction · Computer Science 2024-02-28 Tae Soo Kim , Yoonjoo Lee , Jamin Shin , Young-Ho Kim , Juho Kim

Interpretation of vibrational inelastic neutron scattering spectra of complex systems is frequently reliant on accompanying simulations from theoretical models. Ab-initio codes can routinely generate force constants, but additional steps…

Materials Science · Physics 2022-08-11 Rebecca Fair , Adam Jackson , David Voneshen , Dominik Jochym , Duc Le , Keith Refson , Toby Perring

This paper introduces ROmodel, an open source Python package extending the modeling capabilities of the algebraic modeling language Pyomo to robust optimization problems. ROmodel helps practitioners transition from deterministic to robust…

Optimization and Control · Mathematics 2021-05-19 Johannes Wiebe , Ruth Misener

The field of Language Reasoning Models (LRMs) has been very active over the past few years with advances in training and inference techniques enabling LRMs to reason longer, and more accurately. However, a growing body of studies show that…

Computation and Language · Computer Science 2025-12-17 Yannis Belkhiter , Seshu Tirupathi , Giulio Zizzo , John D. Kelleher

MicroRNAs are endogenous non-coding RNAs which negatively regulate the expression of protein-coding genes in plants and animals. They are known to play an important role in several biological processes and, together with transcription…

Molecular Networks · Quantitative Biology 2015-03-13 Matteo Osella , Carla Bosia , Davide Cora' , Michele Caselle

Submodular functions are a special class of set functions which naturally model the notion of representativeness, diversity, coverage etc. and have been shown to be computationally very efficient. A lot of past work has applied submodular…

Machine Learning · Computer Science 2022-02-24 Vishal Kaushal , Ganesh Ramakrishnan , Rishabh Iyer

Prompts used in recent large language model based applications are often fixed and lengthy, leading to significant computational overhead. To address this challenge, we propose Generative Prompt Internalization (GenPI), a lightweight method…

Computation and Language · Computer Science 2026-02-12 Haebin Shin , Lei Ji , Yeyun Gong , Sungdong Kim , Eunbi Choi , Minjoon Seo

Memory profiling captures programs' dynamic memory behavior, assisting programmers in debugging, tuning, and enabling advanced compiler optimizations like speculation-based automatic parallelization. As each use case demands its unique…

Performance · Computer Science 2023-11-07 Ziyang Xu , Yebin Chon , Yian Su , Zujun Tan , Sotiris Apostolakis , Simone Campanoni , David I. August

Robust estimation provides essential tools for analyzing data that contain outliers, ensuring that statistical models remain reliable even in the presence of some anomalous data. While robust methods have long been available in R, users of…

Computation · Statistics 2024-11-05 Sarah Leyder , Jakob Raymaekers , Peter J. Rousseeuw , Thomas Servotte , Tim Verdonck

Deep learning has achieved great success in a wide spectrum of multimedia applications such as image classification, natural language processing and multimodal data analysis. Recent years have seen the development of many deep learning…

Machine Learning · Computer Science 2021-08-06 Naili Xing , Sai Ho Yeung , Chenghao Cai , Teck Khim Ng , Wei Wang , Kaiyuan Yang , Nan Yang , Meihui Zhang , Gang Chen , Beng Chin Ooi