Related papers: Synthesis of parametrically-coupled networks
Broadband spectral filters are highly sought-after in many integrated photonics applications such as ultra-broadband wavelength division multiplexing, multi-band spectroscopy, and broadband sensing. In this study, we present the design,…
Program synthesis techniques construct or infer programs from user-provided specifications, such as input-output examples. Yet most specifications, especially those given by end-users, leave the synthesis problem radically ill-posed,…
One of the biggest challenges in multi-microphone applications is the estimation of the parameters of the signal model such as the power spectral densities (PSDs) of the sources, the early (relative) acoustic transfer functions of the…
A tunable, multi-degree-of-freedom, parametrically excited amplifier is introduced as an apparatus capable of shifting slow, weak signals to higher frequencies, by exploiting the amplifier natural resonances via controlled parametric…
Pathwise predictability of continuous time processes is studied in deterministic setting. We discuss uniform prediction in some weak sense with respect to certain classes of inputs. More precisely, we study possibility of approximation of…
We investigate a new structure for machine learning classifiers applied to problems in high-energy physics by expanding the inputs to include not only measured features but also physics parameters. The physics parameters represent a…
This paper presents a method of decoupled pronunciation and prosody modeling to improve the performance of meta-learning-based multilingual speech synthesis. The baseline meta-learning synthesis method adopts a single text encoder with a…
This paper gives convex conditions for synthesis of a distributed control system for large-scale networked nonlinear dynamic systems. It is shown that the technique of control contraction metrics (CCMs) can be extended to this problem by…
Complex networks are a successful framework to describe collective behaviour in many applications, but a notable gap remains in the current literature, that of proving asymptotic convergence in networks of piecewise-smooth systems. Indeed,…
Despite longstanding interest, controller synthesis remains challenging for networks of heterogeneous, nonlinear agents. Moreover, the requirements for computational scalability and information privacy have become increasingly critical.…
The paper studies the output-feedback synchronization problem for a network of identical, linear time-invariant systems. A criterion to test network synchronization is derived and the class of output-feedback synchronizable systems is…
Information flow guided synthesis is a compositional approach to the automated construction of distributed systems where the assumptions between the components are captured as information-flow requirements. Information-flow requirements are…
A major issue in harmonic analysis is to capture the phase dependence of frequency representations, which carries important signal properties. It seems that convolutional neural networks have found a way. Over time-series and images,…
The quest for topological superconductors triggers revived interests in resolving non-s-wave pairing channels mediated by phonons. While density functional theory and density functional perturbtaion theory have established a powerful…
We report the parametric amplification of a microwave signal in a Kerr medium formed from superconducting qubits. Two mutually coupled flux qubits, embedded in the current antinode of a superconducting coplanar waveguide resonator, are used…
We present a semi-parametric approach to photographic image synthesis from semantic layouts. The approach combines the complementary strengths of parametric and nonparametric techniques. The nonparametric component is a memory bank of image…
Recently, a circuits-based approach for modeling the mutual coupling of reconfigurable surfaces, which comprise sub-wavelength spaced passive scattering elements coupled with electronic circuits for enabling the reconfiguration of the…
The conversion between amplitude modulation and phase modulation as a modulated signal goes thrugh a filter is analyzed. The difference in how the modulated sideband ampitude experience the filter, and how AM and PM has opposite signs for…
In this paper, a definition of the gain and added noise of impedance matching networks for scanning microwave microscopy is given. This definition can be used to compare different impedance matching techniques independently of the…
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different…