English
Related papers

Related papers: MPAT: Modular Petri Net Assembly Toolkit

200 papers

Over the last few years, with the growth of time-series collecting and storing, there has been a great demand for tools and software for temporal data engineering and modeling. This paper presents a generic workflow for time series data…

Computational Engineering, Finance, and Science · Computer Science 2023-10-24 Pejman Farhadi Ghalati , Andreas Schuppert

Modular Reconfigurable Robots (MRRs) represent an exciting path forward for industrial robotics, opening up new possibilities for robot design. Compared to monolithic manipulators, they promise greater flexibility, improved maintainability,…

Robotics · Computer Science 2023-09-18 Jonathan Külz , Matthias Mayer , Matthias Althoff

This paper presents the HiPart package, an open-source native python library that provides efficient and interpret-able implementations of divisive hierarchical clustering algorithms. HiPart supports interactive visualizations for the…

Machine Learning · Statistics 2023-05-02 Panagiotis Anagnostou , Sotiris Tasoulis , Vassilis Plagianakos , Dimitris Tasoulis

We describe a molecule-oriented modelling approach based on a collection of Petri net models organized in the form of modules into a prototype database accessible through a web interface. The JAK/STAT signalling pathway with the extensive…

Molecular Networks · Quantitative Biology 2012-06-06 Mary Ann Blätke , Anna Dittrich , Christian Rohr , Monika Heiner , Fred Schaper , Wolfgang Marwan

We present the Open MatSci ML Toolkit: a flexible, self-contained, and scalable Python-based framework to apply deep learning models and methods on scientific data with a specific focus on materials science and the OpenCatalyst Dataset. Our…

Machine Learning · Computer Science 2023-09-01 Santiago Miret , Kin Long Kelvin Lee , Carmelo Gonzales , Marcel Nassar , Matthew Spellings

Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax trees, and XML and JSON data. It also allows for an intuitive…

Programming Languages · Computer Science 2017-10-09 Manuel Krebber , Henrik Barthels , Paolo Bientinesi

We describe NumBAT, an open-source software tool for modelling stimulated Brillouin scattering in waveguides of arbitrary cross-section. It provides rapid calculation of optical and elastic dispersion relations, field profiles and gain with…

RooFit is a library of C++ classes that facilitate data modeling in the ROOT environment. Mathematical concepts such as variables, (probability density) functions and integrals are represented as C++ objects. The package provides a flexible…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Wouter Verkerke , David Kirkby

Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conversion of safe Petri nets to NUPNs (Nested-Unit Petri Nets),…

Logic in Computer Science · Computer Science 2021-01-22 Hubert Garavel

Small and wide angle x-ray scattering tensor tomography are powerful methods for studying anisotropic nanostructures in a volume-resolved manner, and are becoming increasingly available to users of synchrotron facilities. The analysis of…

Materials Science · Physics 2025-04-24 Leonard C. Nielsen , Mads Carlsen , Sici Wang , Arthur Baroni , Torne Tänzer , Marianne Liebi , Paul Erhart

The statistical analysis of the structure of bipartite ecological networks has increased in importance in recent years. Yet, both algorithms and software packages for the analysis of network structure focus on properties of unipartite…

Quantitative Methods · Quantitative Biology 2014-07-18 Cesar O. Flores , Timothée Poisot , Sergi Valverde , Joshua S. Weitz

In this paper we discuss the theory used in the design of an open source lightmorphic signatures analysis toolkit (LSAT). In addition to providing a core functionality, the software package enables specific optimizations with its modular…

Machine Learning · Computer Science 2023-01-03 D. Damian

Due to the complex specifications of current electronic systems, design decisions need to be explored automatically. However, the exploration process is a complex task given the plethora of design choices such as the selection of…

Hardware Architecture · Computer Science 2023-06-22 Sergio Vinagrero Gutiérrez , Giorgio Di Natale , Elena-Ioana Vatajelu

The rise of social media platforms has brought about a new digital culture called memes. Memes, which combine visuals and text, can strongly influence public opinions on social and cultural issues. As a result, people have become interested…

Computation and Language · Computer Science 2023-12-12 Ming Shan Hee , Aditi Kumaresan , Nguyen Khoi Hoang , Nirmalendu Prakash , Rui Cao , Roy Ka-Wei Lee

Reliable periodic patterns serve as a fundamental basis for accurate multivariate time series forecasting. However, existing methods either implicitly extract periodicity through complex model architectures (e.g., Transformers) with high…

Machine Learning · Computer Science 2026-05-06 Yingbo Zhou , Yutong Ye , Zhiwei Ling , Shuhao Li , Rui Qian , Jian Xiong , Li Sun , Dejing Dou

Nonstationarity in spatial and spatio-temporal processes is ubiquitous in environmental datasets, but is not often addressed in practice, due to a scarcity of statistical software packages that implement nonstationary models. In this…

Computation · Statistics 2025-12-10 Quan Vu , Xuanjie Shao , Raphaël Huser , Andrew Zammit-Mangion

Fermipy is an open-source python framework that facilitates analysis of data collected by the Fermi Large Area Telescope (LAT). Fermipy is built on the Fermi Science Tools, the publicly available software suite provided by NASA for the LAT…

Instrumentation and Methods for Astrophysics · Physics 2019-08-14 Matthew Wood , Regina Caputo , Eric Charles , Mattia Di Mauro , Jeffrey Magill , Jeremy Perkins

The mplot package provides an easy to use implementation of model stability and variable inclusion plots (M\"uller and Welsh 2010; Murray, Heritier, and M\"uller 2013) as well as the adaptive fence (Jiang, Rao, Gu, and Nguyen 2008; Jiang,…

Methodology · Statistics 2018-03-05 Garth Tarr , Samuel Müller , Alan Welsh

Mathematical models are increasingly used in both academia and the pharmaceutical industry to understand how phenotypes emerge from systems of molecular interactions. However, their current construction as monolithic sets of equations…

Molecular Networks · Quantitative Biology 2007-10-19 Aneil Mallavarapu , Matthew Thomson , Benjamin Ullian , Jeremy Gunawardena

MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a…

Logic in Computer Science · Computer Science 2020-03-23 Silvano Dal Zilio
‹ Prev 1 3 4 5 6 7 10 Next ›