We introduce the concept of two-color multistep cascading for vectorial parametric wave mixing in optical media with quadratic (second-order or chi(2)) nonlinear response. We demonstrate that the multistep cascading allows light-guiding-light effects with quadratic spatial solitons. With the help of the so-called "almost exact" analytical solutions, we describe the properties of parametric wave...

In this paper, the transient response of a viscoelastic annular plate which has time-dependent properties is determined mathematically under dynamic transverse load. The axisymmetric conditions are considered in the problem. The viscoelastic properties obey the standard linear solid model in shear and the bulk behavior in elastic. The equations of motion are extracted using Hamilton’s principle...

We address the verification of timed concurrent systems with unknown or uncertain constants considered as parameters. First, we introduce parametric event-recording automata (PERAs), as a new subclass of parametric timed automata (PTAs). Although in the nonparametric setting event-recording automata yield better decidability results than timed automata, we show that the most common decision pro...

This paper presents an approach to mine parametric state-based specifications from execution traces, which can involve multiple components. We first discuss a general framework for mining parametric properties from execution traces, which allows one to apply non-parametric mining algorithms to infer parametric specifications without any modification. Then we propose a novel mining algorithm tha...

The parameterization of rational Bézier surfaces greatly affects rendering and tessellation results. The uniformity and orthogonality of iso-parametric curves are two key properties of the optimal parameterization. The only rational Bézier surfaces with uniform iso-parametric curves are bilinear surfaces, and the only rational Bézier surfaces with uniform and orthogonal iso-parametric curves ar...

Most of the literature related to the measurement of economic efficiency has based its analysis either on parametric or on non-parametric frontier methods. The choice of estimation method has been an issue of debate, with some researchers preferring the parametric and others the non-parametric approach. The aim of this paper is to provide a critical and detailed review of both core frontier met...

Many of the remarkable physical and chemical properties of liquid water are due to the strong influence hydrogen bonds have on its microscopic dynamics. However, because of the fast timescales involved, there are relatively few experimental techniques capable of directly probing rearrangements of water’s hydrogen bonded network. In this thesis, I investigate ultrafast intermolecular dynamics of...