We study the Cauchy problem for the Korteweg de Vries (KdV) equation with small dispersion and with monotonically increasing initial data using the Riemann-Hilbert (RH) approach. The solution of the Cauchy problem, in the zero dispersion limit, is obtained using the steepest descent method for oscillatory Riemann-Hilbert problems. The asymptotic solution is completely described by a scalar func...

We analyse the philosopher Davidson’s semantics of actions, using a strongly typed logic with contexts given by sets of partial equations between the outcomes of actions. This provides a perspicuous and elegant treatment of reasoning about action, analogous to Reiter’s work on artificial intelligence. We define a sequent calculus for this logic, prove cut elimination, and give a semantics based...

The rational solutions of the Painlevé-II equation appear in several applications and are known to have many remarkable algebraic and analytic properties. They also have several different representations, useful in different ways for establishing these properties. In particular, Riemann–Hilbert representations have proven to be useful for extracting the asymptotic behavior of the rational solut...

In recent years, there has been a series of results of Fokas and collaborators on boundary value problems for soliton equations (see [3] for a comprehensive review). The method of Fokas in [3] goes beyond existence and uniqueness. In fact, it reduces these problems to Riemann-Hilbert factorisation problems in the complex plane, thus generalising the existing theory which reduces initial value p...

The rational solutions of the Painlevé-II equation appear in several applications and are known to have many remarkable algebraic and analytic properties. They also have several different representations, useful in different ways for establishing these properties. In particular, Riemann–Hilbert representations have proven to be useful for extracting the asymptotic behavior of the rational solut...

in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

Construction site managers could benefit from being able to visualize on-site construction objects. Radio frequency identification (RFID) technology has been shown to improve the efficiency of construction object management. The objective of this study is to develop a 3D-Web-GIS RFID location sensing system for construction objects. An RFID 3D location sensing algorithm combining Simulated Anne...

In computer image processing, traditional object classification methods focus on visual objects such as cars, dogs, and airplanes. However, these objects are not easy to scale, require extensive training for all classes, and are susceptible to unseen object classification failure. Recently, a new object classification approach called attribute-based object classification has been introduced by ...