English
Related papers

Related papers: Haydi: Rapid Prototyping and Combinatorial Objects

200 papers

Yade is an extensible open-source framework for discrete numerical models, focused on the Discrete Element Method. The computation parts are written in c++ using a flexible object model and allowing independent implementation of new…

Transferring composite data structures with variable-length fields often requires designing unique protocols, causing incompatibility issues and decreased collaboration among hardware developers, especially in the open-source community.…

Hardware Architecture · Computer Science 2023-11-15 Yongding Tian , Matthijs A. Reukers , Zaid Al-Ars , Peter Hofstee , Matthijs Brobbel , Johan Peltenburg , Jeroen van Straten

Qudi is a general, modular, multi-operating system suite written in Python 3 for controlling laboratory experiments. It provides a structured environment by separating functionality into hardware abstraction, experiment logic and user…

Transferring composite data structures with variable-length fields often requires designing non-trivial protocols that are not compatible between hardware designs. When each project designs its own data format and protocols the ability to…

Programming Languages · Computer Science 2022-12-22 Yongding Tian , Zaid Al-Ars , Peter Hofstee

Integrated information theory provides a mathematical framework to fully characterize the cause-effect structure of a physical system. Here, we introduce PyPhi, a Python software package that implements this framework for causal analysis…

Neurons and Cognition · Quantitative Biology 2018-08-16 William G. P. Mayner , William Marshall , Larissa Albantakis , Graham Findlay , Robert Marchman , Giulio Tononi

We introduce a new method to reconstruct 3D objects using a set of volumetric primitives, i.e., superquadrics. The method hierarchically decomposes a target 3D object into pairs of superquadrics recovering finer and finer details. While…

Computer Vision and Pattern Recognition · Computer Science 2022-09-19 Jaka Šircelj , Peter Peer , Franc Solina , Vitomir Štruc

partycls is a Python framework for cluster analysis of systems of interacting particles. By grouping particles that share similar structural or dynamical properties, partycls enables rapid and unsupervised exploration of the system's…

Computational Physics · Physics 2021-11-22 Joris Paret , Daniele Coslovich

A composite likelihood is a combination of low-dimensional likelihood objects useful in applications where the data have complex structure. Although composite likelihood construction is a crucial aspect influencing both computing and…

Methodology · Statistics 2022-04-26 Zhendong Huang , Davide Ferrari

SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose…

Logic in Computer Science · Computer Science 2014-04-29 David R. Cok , Scott C. Johnson

Nanoparticles with "sticky patches" have long been proposed as building blocks for the self-assembly of complex structures. The synthetic realizability of such patchy particles, however, greatly lags behind predictions of patterns they…

Soft Condensed Matter · Physics 2013-10-03 Michael Grünwald , Phillip L. Geissler

The COmputational MODule Integrator (COMODI) is an initiative aiming at a component based framework, component developer tool and component repository for scientific computing. We identify the main ingredients to a solution that would be…

Computational Engineering, Finance, and Science · Computer Science 2016-08-16 Zsolt I. Lázár , Lehel István Kovács , Bazil Pârv

We present a framework for generating physically realizable assembly instructions from natural language descriptions. Unlike unconstrained text-to-3D approaches, our method operates within a discrete parts vocabulary, enforcing geometric…

Artificial Intelligence · Computer Science 2025-12-19 David Noever

We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.

Category Theory · Mathematics 2016-04-26 Richard Williamson

We present PyRigi, a novel Python package designed to study the rigidity properties of graphs and frameworks. Among many other capabilities, PyRigi can determine whether a graph admits only finitely many ways, up to isometries, of being…

Metric Geometry · Mathematics 2025-06-06 Matteo Gallet , Georg Grasegger , Matthias Himmelmann , Jan Legerský

Automated tutoring systems offer the flexibility and scalability necessary to facilitate the provision of high quality and universally accessible programming education. In order to realise the full potential of these systems, recent work…

Human-Computer Interaction · Computer Science 2021-10-08 Jessica McBroom , Irena Koprinska , Kalina Yacef

Design prototyping involves creating mockups of products or concepts to gather feedback and iterate on ideas. While prototyping often requires specific parts of objects, such as when constructing a novel creature for a video game, existing…

Computer Vision and Pattern Recognition · Computer Science 2025-04-09 Mo Zhou , Josh Myers-Dean , Danna Gurari

It has been increasingly recognized that effective human-AI co-creation requires more than prompts and results, but an environment with empowering structures that facilitate exploration, planning, iteration, as well as control and…

Human-Computer Interaction · Computer Science 2025-03-07 Yining Cao , Yiyi Huang , Anh Truong , Hijung Valentina Shin , Haijun Xia

This paper introduces open-source contributions designed to accelerate research in volumetric multi-material additive manufacturing and metamaterial design. We present a flexible Python-based API facilitating parametric expression of…

Graphics · Computer Science 2025-09-22 Charles Wade , Devon Beck , Robert MacCurdy

Language model applications are becoming increasingly popular and complex, often including features like tool usage and retrieval augmentation. However, existing frameworks for such applications are often opinionated, deciding for…

Software Engineering · Computer Science 2023-09-12 Andrew Zhu , Liam Dugan , Alyssa Hwang , Chris Callison-Burch

Temporal HAL-API Dependencies (THADs) can be useful to capture an interesting class of correctness properties in embedded software development. They demand a moderate effort for specification (which can be done via program annotations) and…

Software Engineering · Computer Science 2025-12-16 Manuel Bentele , Andreas Podelski , Axel Sikora , Bernd Westphal
‹ Prev 1 2 3 10 Next ›