相关论文: Formal specification of the FlexRay protocol using…

Having shown early promise, free-space optical communications (FSO) face formidable challenges in the age of information explosion. The ever-growing demand for greater channel communication capacity is one of the challenges. The…

A many-body Fourier transformation with logarithmic scaling in the number of necessary two-site gates is implemented. The protocol is applied to study the Bethe chain as a prototype of a translationally invariant system. The resulting band…

We report on a matrix-based diffraction integral that evaluates the focal field of any diffraction-limited axisymmetric complex system. This diffraction formula is a generalization of the Debye integral applied to apertured focused beams,…

Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally described, making it hard to ensure correctness, especially…

Fluorescence correlation and cross-correlation spectroscopy (FCS, FCCS) are widely used techniques to study the diffusion properties and interactions of fluorescent molecules. Autocorrelation (ACFs) and cross-correlation functions (CCFs)…

While beam search improves speech recognition quality over greedy decoding, standard implementations are slow, often sequential, and CPU-bound. To fully leverage modern hardware capabilities, we present a novel open-source FlexCTC toolkit…

Dark-field X-ray microscopy is a new full-field imaging technique that nondestructively maps the structure and local strain inside deeply embedded crystalline elements in three dimensions. Placing an objective lens in the diffracted beam…

Resolution investigation of multiplexed displacement sensors based on extrinsic fiber Fabry-Perot interferometers (EFPI) was carried out. The cases of serial and parallel configurations were considered, the analysis of the problems and the…

Non-overshooting stabilization is a form of safe control where the setpoint chosen by the user is at the boundary of the safe set. Exponential non-overshooting stabilization, including suitable extensions to systems with deterministic and…

A novel fabrication method for soft x-ray transmission grating and other optical elements is presented. The method uses Focused-Ion-Beam (FIB) technology to fabricate high-quality free standing grating bars on Transmission Electron…

Grammar-based fuzzing is a technique used to find software vulnerabilities by injecting well-formed inputs generated following rules that encode application semantics. Most grammar-based fuzzers for network protocols rely on human experts…

Simulating Clifford and near-Clifford circuits using the extended stabilizer formalism has become increasingly popular, particularly in quantum error correction. Compared to the state-vector approach, the extended stabilizer formalism can…

Finite (or Discrete) Fourier Transforms (FFT) are essential tools in engineering disciplines based on signal transmission, which is the case in most of them. FFT are related with circulant matrices, which can be viewed as group matrices of…

Diffraction of coherent x-ray beams is treated through the Fractionnal Fourier transform. The transformation allow us to deal with coherent diffraction experiments from the Fresnel to the Fraunhofer regime. The analogy with the…

This paper presents a comprehensive physical layer security (PLS) framework for fluid antenna system (FAS)-aided short-packet communications under the variable block-correlation model (VBCM). We consider a downlink wiretap scenario in which…

Dark-field X-ray microscopy (DFXM) is a novel X-ray imaging technique developed at synchrotrons to image along the diffracted beam with a real space resolution of ~100 nm and reciprocal space resolution of $10^{-4}$. Recent implementations…

Multiplexed surveys have the ambition to grow larger for the next generation of focal plane instruments. Future projects such as Spec-S5, MUST, and WST have an ever-growing need for multi-object spectroscopy (13,000 - 20,000 simultaneous…

This paper presents a novel control design for vehicular formations, which is an alternative to the conventional second-order consensus protocol. The design is motivated by the closed-loop system, which we construct as first-order systems…

We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare triples, \thetool can specify the coordination of…

Referring image segmentation is an advanced semantic segmentation task where target is not a predefined class but is described in natural language. Most of existing methods for this task rely heavily on convolutional neural networks, which…