English
Related papers

Related papers: Symmetric Logic Synthesis with Phase Assignment

200 papers

We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact combinational logic circuit synthesizer is described as a…

Data Structures and Algorithms · Computer Science 2008-08-07 Paul Tarau

In deep learning, classification tasks are formalized as optimization problems often solved via the minimization of the cross-entropy. However, recent advancements in the design of objective functions allow the usage of the $f$-divergence…

Machine Learning · Computer Science 2024-05-17 Nicola Novello , Andrea M. Tonello

The problem of phase synchronization is to estimate the phases (angles) of a complex unit-modulus vector $z$ from their noisy pairwise relative measurements $C = zz^* + \sigma W$, where $W$ is a complex-valued Gaussian random matrix. The…

Optimization and Control · Mathematics 2018-04-10 Yiqiao Zhong , Nicolas Boumal

We present a new approach for the design of a synthetic biological circuit whose behaviour is specified in terms of signal temporal logic (STL) formulae. We first show how to characterise with STL formulae the input/output behaviour of…

Logic in Computer Science · Computer Science 2013-06-20 Ezio Bartocci , Luca Bortolussi , Laura Nenzi

In recent years, the paradigm of cloud computing has emerged as an architecture for computing that makes use of distributed (networked) computing resources. In this paper, we consider a distributed computing algorithmic scheme for…

Optimization and Control · Mathematics 2017-09-22 Shi Pu , Alfredo Garcia

The well-known spatial integration schemes in molecular electronic structure theory, immune to cusps and point singularities of some kind at atomic positions, use a set of weighting functions to split the integrand into a sum of…

Chemical Physics · Physics 2022-09-14 Dimitri N. Laikov

We develop and analyze stochastic approximation algorithms for solving nested compositional bi-level optimization problems. These problems involve a nested composition of $T$ potentially non-convex smooth functions in the upper-level, and a…

Optimization and Control · Mathematics 2023-07-12 Xuxing Chen , Krishnakumar Balasubramanian , Saeed Ghadimi

We study optimal synchronization in networks of heterogeneous phase oscillators. Our main result is the derivation of a synchrony alignment function that encodes the interplay between network structure and oscillators' frequencies and can…

Adaptation and Self-Organizing Systems · Physics 2014-10-21 Per Sebastian Skardal , Dane Taylor , Jie Sun

This paper presents a comprehensive exploration of Fast Fourier Transform (FFT) and linear convolution implementations, integrating both conventional methods and novel approaches leveraging the Bit Slicing Multiplier (BSM) technique. The…

Signal Processing · Electrical Eng. & Systems 2024-07-03 Aravind Kumar N , Hari Krishna S , Anita Angeline A

We obtain better algorithms for computing more balanced orientations and degree splits in LOCAL. Important to our result is a connection to the hypergraph sinkless orientation problem [BMNSU, SODA'25] We design an algorithm of complexity…

Data Structures and Algorithms · Computer Science 2026-04-03 Yannic Maus , Alexandre Nolin , Florian Schager

In this paper, we use reinforcement learning to find effective decoding strategies for binary linear codes. We start by reviewing several iterative decoding algorithms that involve a decision-making process at each step, including…

Information Theory · Computer Science 2019-12-10 Fabrizio Carpi , Christian Häger , Marco Martalò , Riccardo Raheli , Henry D. Pfister

Certain optimization problems in communication systems, such as limited-feedback constant-envelope beamforming or noncoherent $M$-ary phase-shift keying ($M$PSK) sequence detection, result in the maximization of a fixed-rank positive…

Information Theory · Computer Science 2014-01-28 Anastasios Kyrillidis , George N. Karystinos

A novel concept of self-phasematched optical frequency conversion in dispersive dielectric microcavities is studied theoretically and experimentally. We develop a time-dependent model, incorporating the dispersion into the structure of the…

Optics · Physics 2009-11-13 Alex Hayat , Meir Orenstein

Recent experimental advances in Floquet engineering and controlling dissipation in open systems have brought about unprecedented flexibility in tailoring novel phenomena without any static and Hermitian analogues. It can be epitomized by…

Mesoscale and Nanoscale Physics · Physics 2022-06-22 Chun-Hui Liu , Haiping Hu , Shu Chen

In this paper, we show empirical evidence on how to construct the optimal feature selection or input representation used by the input layer of a feedforward neural network for the propose of forecasting spatial-temporal signals. The…

Neural and Evolutionary Computing · Computer Science 2019-07-24 Eurico Covas , Emmanouil Benetos

Programmable optical devices provide performance enhancement and flexibility to spatial multiplexing systems enabling transmission of tributaries in high-order eigenmodes of spatially-diverse transmission media, like multimode fiber (MMF).…

This paper presents two main theoretical results concerning shallow neural networks with ReLU$^k$ activation functions. We establish a novel integral representation for Sobolev spaces, showing that every function in…

Numerical Analysis · Mathematics 2025-05-13 Xinliang Liu , Tong Mao , Jinchao Xu

We introduce and experimentally implement Fourier-plane phase synchronization for optical microscopy, and demonstrate its performance with interferometric scattering microscopy. By combining a photothermal phase plate and laser beam…

The high computation complexity of nonlinear adaptive filtering algorithms poses significant challenges at the hardware implementation level. In order to tackle the computational complexity problem, this paper proposes a novel…

Signal Processing · Electrical Eng. & Systems 2024-01-17 Pavankumar Ganjimala , Subrahmanyam Mula

Linear processing in the spatial domain at the base stations (BSs) and at the users of MIMO cellular systems enables the control of both inter-cell and intra-cell interference. A number of iterative algorithms have been proposed that allow…

Information Theory · Computer Science 2014-08-25 Tariq Elkourdi , Osvaldo Simeone , Onur Sahin , Shlomo Shamai
‹ Prev 1 8 9 10 Next ›