English
Related papers

Related papers: Egglog Python: A Pythonic Library for E-graphs

200 papers

We review design and development decisions and their impact for the open source code Nmag from a software engineering in computational science point of view. We summarise lessons learned and recommendations for future computational science…

Software Engineering · Computer Science 2016-07-14 Hans Fangohr , Maximilian Albert , Matteo Franchin

The search for symbolic regression models with genetic programming (GP) has a tendency of revisiting expressions in their original or equivalent forms. Repeatedly evaluating equivalent expressions is inefficient, as it does not immediately…

Machine Learning · Computer Science 2025-04-09 Fabricio Olivetti de Franca , Gabriel Kronberger

The Python library FatGHol FatGHoL used in Murri2012 to reckon the rational homology of the moduli space of Riemann surfaces is an example of a non-numeric scientific code: most of the processing it does is generating graphs (represented by…

Mathematical Software · Computer Science 2014-04-30 Riccardo Murri

PyMilo is an open-source Python package that addresses the limitations of existing Machine Learning (ML) model storage formats by providing a transparent, reliable, and safe method for exporting and deploying trained models. Current…

Machine Learning · Computer Science 2025-01-03 AmirHosein Rostami , Sepand Haghighi , Sadra Sabouri , Alireza Zolanvari

Machine learning solutions are very popular in the field of chemoinformatics, where they have numerous applications, such as novel drug discovery or molecular property prediction. Molecular fingerprints are algorithms commonly used for…

Quantitative Methods · Quantitative Biology 2024-04-01 Michał Szafarczyk , Piotr Ludynia , Przemysław Kukla

The purpose of this paper is to show how existing scientific software can be parallelized using a separate thin layer of Python code where all parallel communication is implemented. We provide specific examples on such layers of code, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-18 Jon K. Nilsen , Xing Cai , Bjorn Hoyland , Hans Petter Langtangen

Openly sharing data with sensitive attributes and privacy restrictions is a challenging task. In this document we present the implementation of pyCANON, a Python library and command line interface (CLI) to check and assess the level of…

Cryptography and Security · Computer Science 2023-05-15 Judith Sáinz-Pardo Díaz , Álvaro López García

Telegram is a popular platform for public communication, generating large amounts of messages through its channels. pytopicgram is a Python library that helps researchers collect, organize, and analyze these Telegram messages. The library…

Computation and Language · Computer Science 2025-04-09 J. Gómez-Romero , J. Cantón Correa , R. Pérez Mercado , F. Prados Abad , M. Molina-Solana , W. Fajardo

Dealing with biased data samples is a common task across many statistical fields. In survey sampling, bias often occurs due to unrepresentative samples. In causal studies with observational data, the treated versus untreated group…

Computation · Statistics 2019-07-29 Xiaojing Wang , Jingang Miao , Yunting Sun

The complexity of modern hardware designs necessitates advanced methodologies for optimizing and analyzing modern digital systems. In recent times, machine learning (ML) methodologies have emerged as potent instruments for assessing design…

Machine Learning · Computer Science 2023-11-13 Yingjie Li , Mingju Liu , Alan Mishchenko , Cunxi Yu

E-graphs are a data structure that compactly represents equivalent expressions. They are constructed via the repeated application of rewrite rules. Often in practical applications, conditional rewrite rules are crucial, but their…

Data Structures and Algorithms · Computer Science 2023-08-16 Samuel Coward , George A. Constantinides , Theo Drane

We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the…

Programming Languages · Computer Science 2021-09-20 Paul Tarau

Grid diagrams are a combinatorial version of classical link diagrams, widely used in theoretical, computational and applied knot theory. Motivated by questions from (bio)-physical knot theory, we introduce GridPyM, a Sage compatible Python…

Geometric Topology · Mathematics 2024-03-27 Agnese Barbensi , Daniele Celoria

We present a new approach to e-matching based on relational join; in particular, we apply recent database query execution techniques to guarantee worst-case optimal run time. Compared to the conventional backtracking approach that always…

Databases · Computer Science 2022-01-07 Yihong Zhang , Yisu Remy Wang , Max Willsey , Zachary Tatlock

We present srlearn, a Python library for boosted statistical relational models. We adapt the scikit-learn interface to this setting and provide examples for how this can be used to express learning and inference problems.

Machine Learning · Computer Science 2019-12-19 Alexander L. Hayes

We introduce pygrank, an open source Python package to define, run and evaluate node ranking algorithms. We provide object-oriented and extensively unit-tested algorithm components, such as graph filters, post-processors, measures,…

Machine Learning · Computer Science 2021-10-19 Emmanouil Krasanakis , Symeon Papadopoulos , Ioannis Kompatsiaris , Andreas Symeonidis

Python is a particularly appealing language to carry out data analysis, owing in part to its user-friendly character as well as its access to well maintained and powerful libraries like NumPy and SciPy. Still, for the purpose of analyzing…

High Energy Physics - Lattice · Physics 2024-02-01 Luis Altenkort , David Anthony Clarke , Jishnu Goswami , Hauke Sandmeyer

There are numerous approaches to building analysis applications across the high-energy physics community. Among them are Python-based, or at least Python-driven, analysis workflows. We aim to ease the adoption of a Python-based analysis…

Computational Physics · Physics 2018-04-25 David Lange

PyLog is a minimal experimental proof assistant based on linearised natural deduction for intuitionistic and classical first-order logic extended with a comprehension operator. PyLog is interesting as a tool to be used in conjunction with…

Logic · Mathematics 2023-06-06 Clarence Lewis Protin

This paper introduces PyGAD, an open-source easy-to-use Python library for building the genetic algorithm. PyGAD supports a wide range of parameters to give the user control over everything in its life cycle. This includes, but is not…

Neural and Evolutionary Computing · Computer Science 2021-06-14 Ahmed Fawzy Gad
‹ Prev 1 3 4 5 6 7 10 Next ›