Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Enumeration

Related publications (10)

Non-planarity of Markoff graphs mod p

Matthew De Courcy-Ireland

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Enumeration of Border-Strip Decompositions and Weil-Petersson Volumes

We describe an injection from border-strip decompositions of certain diagrams to permutations. This allows us to provide enumeration results as well as q-analogues of enumeration formulas. Finally, we use this injection to prove a connection between the nu ...

2019

Historical Map of Albanian Villages: a Tool for Harmonizing Census Data throughout the 20th Century

Martin Schuler, Alain Nicolas Jarne

The present article deals with conceptual and methodological questions at the base of a research project of settlement history of Albania in the 20th century. We focus our interest on the identification of all local units and their population. In order to ...

2017

Enumeration of reversible functions and its application to circuit complexity

Giovanni De Micheli, Mathias Soeken

We review combinational results to enumerate and classify reversible functions and investigate the application to circuit complexity. In particularly, we consider the effect of negating and permuting input and output variables and the effect of applying li ...

Springer2016

Programming with Enumerable Sets of Structures

Viktor Kuncak, Ivan Kuraj

We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...

Assoc Computing Machinery2015

A reduced basis hybrid method for the coupling of parametrized domains represented by fluidic networks

Alfio Quarteroni, Gianluigi Rozza, Laura Iapichino

In this paper we propose a reduced basis hybrid method (RBHM) for the approximation of partial differential equations in domains represented by complex networks where topological features are recurrent. The RBHM is applied to Stokes equations in domains wh ...

Elsevier2012

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

2012

On the Impossibility of Strong Encryption over ℵ0

Serge Vaudenay

We give two impossibility results regarding strong encryption over an infinite enumerable domain. The first one relates to statistically secure one-time encryption. The second one relates to computationally secure encryption resisting adaptive chosen ciphe ...

Springer Berlin / Heidelberg2009

A method for the enumeration of the floppy modes and the calculation of the associated entropy

Giuseppe Foffi

We present a method that is based on the Ladd-Frenkel (LF) thermodynamic integration for the study of the rigidity of networks of particles bonded together by short-ranged square well attractive potentials. We show that, by taking the limit of the attracti ...

2008

Undecidable propositions by ODE's

Jürgpeter Buser

The authors define a family of functions by starting with (complex) exponentials and closing under some basic algebraic operations, integration, and solution of certain systems of differential equations. They then show that for every recursively (computabl ...

2007

Related publications (10)