Duality and bicrystals on infinite binary matrices

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A key challenge across many disciplines is to extract meaningful information from data which is often obscured by noise. These datasets are typically represented as large matrices. Given the current trend of ever-increasing data volumes, with datasets grow ...

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

The numerical solution of the generalized eigenvalue problem for a singular matrix pencil is challenging due to the discontinuity of its eigenvalues. Classically, such problems are addressed by first extracting the regular part through the staircase form a ...

We present two open-source Python packages: "electron spectro-microscopy"(espm) and "electron microscopy tables"(emtables). The espm software enables the simulation of scanning transmission electron microscopy energy-dispersive X-ray spectroscopy datacubes ...

The accurate, robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. This paper presents a novel method that combines rescaled localized Radial Basis Funct ...

Superoxide radicals (O-2(center dot-)) have been suggested as an important chain carrier in the radical chain reaction that promotes ozone (O-3) decomposition to hydroxyl radicals ((OH)-O-center dot) during ozonation. However, due to the difficulty in meas ...

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

In this thesis, we discuss the problems of scattering and optical manipulation related to nanosystems of different complexities. The multipolar decomposition method is used to represent scattering processes in nanosystems as a series of elementary excitati ...

Fast camera imaging is used to study ion acoustic waves propagating azimuthally in a magnetized plasma column. The high-speed image sequences are analyzed using proper orthogonal decomposition and 2D Fourier transform, allowing to evaluate the assets and d ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

Transition from fossils to renewables is leading to radical societal changes. Shifting the capital from fossils to renewables is commonly accompanied with political concerns, such as energy autonomy, domestic employment etc. Despite a decreasing trend in r ...

In this paper, we formulate a mixed integer linear program (MILP) for the simulated maximum likelihood estimation (MLSE) problem and devise a Benders decomposition approach to speed up the solution process. This framework can be applied to any advanced dis ...

Polyoxymethylene dimethyl ethers (OME) produced from methanol are considered as potential substitutes of Diesel fuel. Emissions of formaldehyde and other components have been observed, particularly under cold-start conditions in engine test-bench experimen ...

Approximate logic synthesis is an emerging field that tolerates errors in the synthesized logic circuits for better optimization quality. Indeed, in many computing problems, the requirement of preserving the exact functionality either results in unnecessar ...

In light of the energy transition, it becomes a widespread solution to decentralize and to decarbonize energy systems. However, limited transformer capacities are a hurdle for large-scale integration of solar energy in the electricity grid. The aim of this ...

In this manuscript we consider denoising of large rectangular matrices: given a noisy observation of a signal matrix, what is the best way of recovering the signal matrix itself? For Gaussian noise and rotationally-invariant signal priors, we completely ch ...

We consider fundamental algorithmic number theoretic problems and their relation to a class of block structured Integer Linear Programs (ILPs) called 2-stage stochastic. A 2-stage stochastic ILP is an integer program of the form min{c(T)x vertical bar Ax = ...

We consider increasingly complex models of matrix denoising and dictionary learning in the Bayes-optimal setting, in the challenging regime where the matrices to infer have a rank growing linearly with the system size. This is in contrast with most existin ...

The current leading 6D object pose estimation methods rely heavily on annotated real data, which is highly costly to acquire. To overcome this, many works have proposed to introduce computer-generated synthetic data. However, bridging the gap between the s ...

Duality and bicrystals on infinite binary matrices

Chat with Graph Search

Spectral Estimators for High-Dimensional Matrix Inference

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Analysis of eigenvalue condition numbers for a class of randomized numerical methods for singular matrix pencils

espm: A Python library for the simulation of STEM-EDXS datasets

Preserving the positivity of the deformation gradient determinant in intergrid interpolation by combining RBFs and SVD: Application to cardiac electromechanics

Evaluation of the role of superoxide radical as chain carrier for the formation of hydroxyl radical during ozonation

A mixed precision LOBPCG algorithm

Frequency and time domains interactions in nanophotonics

Nonlinear interactions of ion acoustic waves explored using fast imaging decompositions

LISA – A Modern Proof System

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Where is the money ? A decomposition of monetary flows behind fossil fuels

A Benders decomposition for maximum simulated likelihood estimation of advanced discrete choice models

Stability and Reactivity of a Polyoxymethylene Dimethyl Ether over Typical Catalysts for Diesel Emission Control

Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition

Decomposition Strategy for Districts as Renewable Energy Hubs

Optimal denoising of rotationally invariant rectangular matrices

The double exponential runtime is tight for 2-stage stochastic ILPs

Statistical limits of dictionary learning: Random matrix theory and the spectral replica method

SD-Pose: Semantic Decomposition for Cross-Domain 6D Object Pose Estimation