Related papers: The Poster Session of SSS 2005
During the five days of this conference a very dense scientific program has enlighted our research fields, with the presentation of large number of interesting lectures. I will try to summarize the theoretical aspects of some of these new…
Talk dedicated to the 110th anniversary of L.S.Pontryagin. Steklov Mathematical Institute of Russian Academy of Sciences, Moscow.
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…
This paper develops a semidefinite-programming-based method for online feedback control of nonlinear systems using a state-dependent representation. We formulate sequences of time-varying SDPs whose optimal solutions jointly yield a…
Poor sitting habits have been identified as a risk factor to musculoskeletal disorders and lower back pain especially on the elderly, disabled people, and office workers. In the current computerized world, even while involved in leisure or…
These are the revised accepted papers from the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018), Barcelona, Spain, September 26 - September 28, 2018. Proceedings are also to be published by Springer in the…
A brief summary is given of studies on supersymmetry and the spectrum of superparticles presented at the Linear Collider Workshop 2000.
This is the proceedings of the 5th International Workshop on Adaptive Self-tuning Computing Systems 2015 (ADAPT'15).
We present an overview of the SciVer shared task, presented at the 2nd Scholarly Document Processing (SDP) workshop at NAACL 2021. In this shared task, systems were provided a scientific claim and a corpus of research abstracts, and asked…
1 First Lecture: Basics 1.1 Physical Derivation of the Master Equation 1.2 Some Simple Implications 1.3 Steady State 1.4 Action to the Left 2 Second Lecture: Eigenvalues and Eigenvectors of L 2.1 A Simple Case First 2.2 The General Case 3…
Characterization of classes of switching signals that ensure stability of switched systems occupies a significant portion of the switched systems literature. This article collects a multitude of stabilizing switching signals under an…
We address the problem of designing stabilizing control policies for nonlinear systems in discrete-time, while minimizing an arbitrary cost function. When the system is linear and the cost is convex, the System Level Synthesis (SLS)…
Many recently published Text-to-Speech (TTS) systems produce audio close to real speech. However, TTS evaluation needs to be revisited to make sense of the results obtained with the new architectures, approaches and datasets. We propose…
Conducting systematic reviews (SR) is a time consuming endeavor that requires several iterations to setup right. We present ReLiS, a framework to configure and deploy projects while conducting a SR. It features a domain-specific modeling…
We present an analysis of the stability spectrum of all stationary elliptic-type solutions to the focusing Nonlinear Schr\"{o}dinger equation (NLS). An analytical expression for the spectrum is given. From this expression, various…
Recent developments in Self-Supervised Learning (SSL) have demonstrated significant potential for Speaker Verification (SV), but closing the performance gap with supervised systems remains an ongoing challenge. SSL frameworks rely on…
As a genuine many-body entanglement, spin squeezing (SS) can be used to realize the highly precise measurement beyond the limit constrained by classical physics. Its generation has attracted much attention recently. It was reported that $N$…
The TSNLP project has investigated various aspects of the construction, maintenance and application of systematic test suites as diagnostic and evaluation tools for NLP applications. The paper summarizes the motivation and main results of…
This paper is concerned with the problem of robust stabilization for a class of uncertain 2D discrete switched systems with state delays represented by a model of Roesser type, where the switching instants of the controller experience…
This document summarizes the presentation on Quantum-centric Supercomputing given at the 22nd International Workshop on Advanced Computing and Analysis Techniques in Physics Research, hosted at Stony Brook University.