Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

For the EU DEMO conductor testing, a temperature sensor based on Fiber Bragg Grating (FBG) optical fiber is studied at the EPFL Swiss Plasma Center. The SULTAN test facility has been upgraded to use fiber optic sensor for temperature monitoring and quench ...

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

Despite the widespread empirical success of ResNet, the generalization properties of deep ResNet are rarely explored beyond the lazy training regime. In this work, we investigate scaled ResNet in the limit of infinitely deep and wide neural networks, of wh ...

This paper deals with the initial value problem for a semilinear wave equation on a bounded domain and solutions are required to vanish on the boundary of this domain. The essential feature of the situation considered here is that the ellipticity of the sp ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Previously, space-time wave packets (STWPs) have been gen-erated in free space with reduced diffraction and a tunable group velocity by combining multiple frequency comb lines each carrying a single Bessel mode with a unique wave num-ber. It might be poten ...

Spatiotemporal mode-locking in multimode fiber lasers is intriguing for the complex nonlinear dynamics and the increase of theoretical energy limit. In this paper, we enrich spatiotemporal mode-locking with dissipative soliton resonances, a kind of soliton ...

We demonstrate tunable dispersion compensation of femtosecond pulses at telecom wavelengths for broadband Terahertz generation in 7.5-meter fiber link using a Silicon prism pair. The prism pair enhances the amplitude of the THz E-field in InGaAs photocondu ...

Humidity is a critical environmental factor in various applications, and its temperature dependence must be considered when developing thermo-hygrometer fiber sensors. The optical fibers that constitute the sensor must have a temperature reference, which s ...

Integrated optics has shown itself very convenient for exploiting nonlinear processes as it results in high confinement factor, freedom of dispersion engineering and compactness. However, the choice of materials is crucial for the development of nonlinear ...

Thin-ply composites, obtained with recently developed fiber spreading techniques, rapidly gained industrial interest because they offer a large composite design freedom, and lead to a composite tensile strength that is close to that of the individual fiber ...

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

The backscattering process in hollow core fibres shows a large similarity with Rayleigh scattering, offering the potential to be exploited for distributed sensing. A classical Φ-OTDR implementation is used to observe the backscattering signal from the surf ...

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

Optical resonators enable the generation, manipulation, and storage of electromagnetic waves. The physics underlying their operation is determined by the interference of electromagnetic waves, giving rise to the resonance spectrum. This mechanism causes th ...

The intrinsic random amplitude and phase modulation of 40 distinct lines of a microresonator frequency comb operated in the modulation instability regime are used to realize massively parallel random-modulation continuous-wave light detection and ranging, ...

Ultrasensitive nanomechanical instruments, e.g. atomic force microscopy (AFM), can be used to perform delicate biomechanical measurements and reveal the complex mechanical environment of biological processes. However, these instruments are limited because ...

. High-resolution simulations of particle-based kinetic plasma models typically require a high number of particles and thus often become computationally intractable. This is exacerbated in multi-query simulations, where the problem depends on a set of para ...

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Chat with Graph Search

Quench Detection and Temperature Measurement With Fiber Optic Sensors

Orthologic with Axioms

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Generalization of Scaled Deep ResNets in the Mean-Field Regime

Critical degeneracy in a nonlinear hyperbolic equation can produce atypical instability

LISA – A Modern Proof System

Space-time wave packets with reduced divergence and tunable group velocity generated in free space after multi-mode fiber propagation

Spatiotemporal dissipative soliton resonances in multimode fiber lasers

Tunable pump compression and fast modulation for pulsed THz generation

Humidity-insensitive optical fibers for distributed sensing applications

Hybrid lithium niobate-on-silicon nitride platform for mid-IR supercontinuum generation

Process development of pre-impregnated hybrid thin-ply composites

Computer-assisted proof of kernel inequalities

Study on the possibility of Φ-OTDR sensing in hollow-core fibres

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Resonators with tailored optical path by cascaded-mode conversions

Chaotic microcomb-based parallel ranging

3D printed fiber-optic nanomechanical bioprobe

Adaptive Symplectic Model Order Reduction Of Parametric Particle-Based Vlasov-Poisson Equation