Publications related to Logical matrix

First-principles thermodynamics of precipitation in aluminum-containing refractory alloys

Materials for high -temperature environments are actively being investigated for deployment in aerospace and nuclear applications. This study uses computational approaches to unravel the crystallography and thermodynamics of a promising class of refractory ...

Pergamon-Elsevier Science Ltd2024

Dispatch-aware Optimal Planning of Active Distribution Networks including Energy Storage Systems

Ji Hyun Yi

The thesis develops a planning framework for ADNs to achieve their dispatchability by means of ESS allocation while ensuring a reliable and secure operation of ADNs. Second, the framework is extended to include grid reinforcements and ESSs planning. Finall ...

EPFL2023

Duality and bicrystals on infinite binary matrices

Thomas Gerber

The set of finite binary matrices of a given size is known to carry a finite type AA bicrystal structure. We first review this classical construction, explain how it yields a short proof of the equality between Kostka polynomials and one-dimensional sums t ...

2023

Learning V1 Simple Cells with Vector Representation of Local Content and Matrix Representation of Local Motion

Yufan Ren, Siyuan Huang

This paper proposes a representational model for image pairs such as consecutive video frames that are related by local pixel displacements, in the hope that the model may shed light on motion perception in primary visual cortex (V1). The model couples the ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

Eigendecomposition-Free Training of Deep Networks for Linear Least-Square Problems

Pascal Fua, Mathieu Salzmann, Zheng Dang, Kwang Moo Yi, Fei Wang, Yinlin Hu

Many classical Computer Vision problems, such as essential matrix computation and pose estimation from 3D to 2D correspondences, can be tackled by solving a linear least-square problem, which can be done by finding the eigenvector corresponding to the smal ...

IEEE COMPUTER SOC2021

Community-Aware Graph Signal Processing: Modularity Defines New Ways of Processing Graph Signals

Dimitri Nestor Alice Van De Ville, Thomas William Arthur Bolton, Raphaël Pierre Liégeois, Miljan Petrovic

The emerging field of graph signal processing (GSP) allows one to transpose classical signal processing operations (e.g., filtering) to signals on graphs. The GSP framework is generally built upon the graph Laplacian, which plays a crucial role in studying ...

2020

Online Distributed Learning Over Graphs With Multitask Graph-Filter Models

Ali H. Sayed, Roula Nassif

In this article, we are interested in adaptive and distributed estimation of graph filters from streaming data. We formulate this problem as a consensus estimation problem over graphs, which can be addressed with diffusion LMS strategies. Most popular grap ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Evaporation of Metals during the Thermal Treatment of Oxide Nanomaterials in Cellulose-Based Matrices

Christian Ludwig, Mohamed Tarik

Like conventional material products, waste is the last stage of the life cycle of engineered nanomaterials, which are then incinerated or stabilized before disposal. However, because of their special physical characteristics, the fate of the thermally trea ...

2020

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Hubert Pierre-Marie Benoît Schneegans, Ilan Vardi, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

AMER SOC MECHANICAL ENGINEERS2020

A hierarchical preconditioner for wave problems in quasilinear complexity

Jan Sickmann Hesthaven, Boris Bonev

The paper introduces a novel, hierarchical preconditioner based on nested dissection and hierarchical matrix compression. The preconditioner is intended for continuous and discontinuous Galerkin formulations of elliptic problems. We exploit the property th ...

2022

The algebra of Boolean matrices, correspondence functors, and simplicity

Jacques Thévenaz, Serge Bouc

We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence ...

2020

Dynamical Reduced Basis Methods for Hamiltonian Systems

Cecilia Pagliantini

We consider model order reduction of parameterized Hamiltonian systems describing nondissipative phenomena, like wave-type and transport dominated problems. The development of reduced basis methods for such models is challenged by two main factors: the ric ...

Springer2021

A systematic investigation on the bactericidal transient species generated by photo-sensitization of natural organic matter (NOM) during solar and photo Fenton disinfection of surface waters

César Pulgarin, Stefanos Giannakis, Mona Kohantorabi, Ling Feng

In this work, the role of dissolved oxygen in the solar and the photo-Fenton-mediated E. coli inactivation process was put under scrutiny. The effect of transient species that were produced in the presence of various natural organic matter isolates (NOM), ...

ELSEVIER SCIENCE BV2019

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

Method of displaying an image on a see-through display

Sabine Süsstrunk, Adrien Birbaumer, Martinus Bosch

The present invention concerns a method of displaying an image on a see-through display. The method comprises: obtaining (101) a first electromagnetic radiation matrix of an object, the first matrix comprising first matrix elements representing radiation i ...

2019

A Preconditioned Graph Diffusion LMS for Adaptive Graph Signal Processing

Ali H. Sayed, Roula Nassif

Graph filters, defined as polynomial functions of a graph-shift operator (GSO), play a key role in signal processing over graphs. In this work, we are interested in the adaptive and distributed estimation of graph filter coefficients from streaming graph s ...

IEEE COMPUTER SOC2018

Eigendecomposition-free Training of Deep Networks with Zero Eigenvalue-based Losses

Pascal Fua, Mathieu Salzmann, Kwang Moo Yi, Zheng Dang, Yinlin Hu, Fei Wang

Many classical Computer Vision problems, such as essential matrix computation and pose estimation from 3D to 2D correspondences, can be solved by ﬁnding the eigenvector corresponding to the smallest, or zero, eigenvalue of a matrix representing a linear sy ...

2018

Learning of robust spectral graph dictionaries for distributed processing

Pascal Frossard, Ntorina Thanou

We consider the problem of distributed representation of signals in sensor networks, where sensors exchange quantized information with their neighbors. The signals of interest are assumed to have a sparse representation with spectral graph dictionaries. We ...

SPRINGEROPEN2018

On sums of graph eigenvalues

Joachim Stubbe

We use two variational techniques to prove upper bounds for sums of the lowest several eigenvalues of matrices associated with finite, simple, combinatorial graphs. These include estimates for the adjacency matrix of a graph and for both the standard combi ...

Elsevier Science Inc2014

Whole-brain structural connectivity in temporal lobe epilepsy: a Diffusion Spectrum Imaging study

Jean-Philippe Thiran, Alessandra Griffa, Alessandro Daducci, Alia Lemkaddem, François Lazeyras

Introduction: Medial Temporal Lobe Epilepsy (mTLE) with hippocampal sclerosis is the most frequent cause of drug-resistant focal epilepsy in adults. These patients suffer from widespread subtle white matter abnormalities and abnormal functional connectivit ...

2012