English
Related papers

Related papers: A Graph-Based Tool to Embed the {\pi}-Calculus int…

200 papers

We develop Process Execution Graphs (PEG), a document-level representation of real-world wet lab biochemistry protocols, addressing challenges such as cross-sentence relations, long-range coreference, grounding, and implicit arguments. We…

Computation and Language · Computer Science 2021-04-15 Ronen Tamari , Fan Bai , Alan Ritter , Gabriel Stanovsky

Molecular property calculations are the bedrock of chemical physics. High-fidelity \textit{ab initio} modeling techniques for computing the molecular properties can be prohibitively expensive, and motivate the development of…

Machine Learning · Computer Science 2022-11-28 Hatem Helal , Jesun Firoz , Jenna Bilbrey , Mario Michael Krell , Tom Murray , Ang Li , Sotiris Xantheas , Sutanay Choudhury

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling,…

Formal Languages and Automata Theory · Computer Science 2020-12-03 Berthold Hoffmann , Mark Minas

A graph is a powerful concept for representation of relations between pairs of entities. Data with underlying graph structure can be found across many disciplines and there is a natural desire for understanding such data better. Deep…

Machine Learning · Computer Science 2019-01-25 Martin Simonovsky

Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spaces, models such as UML and other types of domain-specific…

Logic in Computer Science · Computer Science 2017-12-25 Timo Kehrer , Alice Miller

This work presents the use of graph learning for the prediction of multi-step experimental outcomes for applications across experimental research, including material science, chemistry, and biology. The viability of geometric learning for…

Machine Learning · Computer Science 2024-08-13 Amanda A. Volk , Robert W. Epps , Jeffrey G. Ethier , Luke A. Baldwin

In software and hardware development MATLAB and Simulink are used to model cyber physical systems for many years, , especially in automation technology and the automotive industry. Compliance with the required product quality and project…

Software Engineering · Computer Science 2014-08-22 Carsten Kolassa , David Dieckow , Michael Hirsch , Uwe Creutzburg , Christian Siemers , Bernhard Rumpe

The recent rise of cryo-EM and X-ray high-throughput techniques is providing a wealth of new structures trapped in different conformations. Understanding how proteins transition between different conformers, and how they relate to each…

Biomolecules · Quantitative Biology 2018-03-20 Laura Orellana , Johan Gustavsson , Cathrine Bergh , Ozge Yoluk , Erik Lindahl

Graph transformation systems have the potential to be realistic models of chemistry, provided a comprehensive collection of reaction rules can be extracted from the body of chemical knowledge. A first key step for rule learning is the…

Discrete Mathematics · Computer Science 2016-04-22 Christoph Flamm , Daniel Merkle , Peter F. Stadler , Uffe Thorsen

Modern scientific applications predominantly run on large-scale computing platforms, necessitating collaboration between scientific domain experts and high-performance computing (HPC) experts. While domain experts are often skilled in…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-04-03 Yu Zhang , Zixiao Wang , Jin Zhao , Yuluo Guo , Hui Yu , Zhiying Huang , Xuanhua Shi , Xiaofei Liao

We present a fully modular and scalable software pipeline for processing electron microscope (EM) images of brain slices into 3D visualization of individual neurons and demonstrate an end-to-end segmentation of a large EM volume using a…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-20 Rafael Vescovi , Hanyu Li , Jeffery Kinnison , Murat Keceli , Misha Salim , Narayanan Kasthuri , Thomas D. Uram , Nicola Ferrier

The various algorithms used to extrapolate particle trajectories from measurements are often very time-consuming with computational complexities which are typically quadratic. In this article, we propose a new algorithm called GEM with a…

Data Analysis, Statistics and Probability · Physics 2018-06-22 Frédéric Magniette

Designing molecular structures with desired chemical properties is an essential task in drug discovery and material design. However, finding molecules with the optimized desired properties is still a challenging task due to combinatorial…

Biomolecules · Quantitative Biology 2023-02-02 Masatsugu Yamada , Mahito Sugiyama

We present EPITIME (EPidemic Integral models TIMe profile Explorer), a computational framework for the simulation of two classes of integral epidemic models: an age of infection model and an information dependent behavioural model. The…

Quantitative Methods · Quantitative Biology 2026-05-04 Bruno Buonomo , Eleonora Messina , Claudia Panico , Mario Pezzella , Gaetano Zanghirati

Modeling deformable objects - especially continuum materials - in a way that is physically plausible, generalizable, and data-efficient remains challenging across 3D vision, graphics, and robotic manipulation. Many existing methods…

Robotics · Computer Science 2026-01-27 Yunuo Chen , Yafei Hu , Lingfeng Sun , Tushar Kusnur , Laura Herlant , Chenfanfu Jiang

With the unprecedented proliferation of machine learning software, there is an ever-increasing need to generate efficient code for such applications. State-of-the-art deep-learning compilers like TVM and Halide incorporate a learning-based…

Machine Learning · Computer Science 2021-08-31 Shikhar Singh , Benoit Steiner , James Hegarty , Hugh Leather

Graph signal processing has become an essential tool for analyzing data structured on irregular domains. While conventional graph shift operators (GSOs) are effective for certain tasks, they inherently lack flexibility in modeling…

Machine Learning · Computer Science 2025-08-26 Yunyan Zheng , Zhichao Zhang , Wei Yao

Simulation has become an essential component of designing and developing scientific experiments. The conventional procedural approach to coding simulations of complex experiments is often error-prone, hard to interpret, and inflexible,…

Computational Physics · Physics 2023-08-09 Peter Sun , John A. Marohn

High parallel framework has been proved to be very suitable for graph processing. There are various work to optimize the implementation in FPGAs, a pipeline parallel device. The key to make use of the parallel performance of FPGAs is to…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-02 Chengbo Yang

Many computational chemistry and molecular simulation workflows can be expressed as graphs. This abstraction is useful to modularize and potentially reuse existing components, as well as provide parallelization and ease reproducibility.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-05 Thomas Löhr , Michele Assante , Michael Dodds , Lili Cao , Mikhail Kabeshov , Jon-Paul Janet , Marco Klähn , Ola Engkvist