Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG) and packrat parsing. The PEG formalism is similar to BNF, but defines syntax in ter...
A class of trust-region methods is presented for solving unconstrained nonlinear and possibly nonconvex discretized optimization problems, like those arising in systems governed by...
Serge Gratton, Annick Sartenaer, Philippe L. Toint
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
— In this paper we recursively estimate the magnetic and electric potential of the Earth’s Arctic region. We construct estimates based on data gathered from over 85 magnetomete...
We present a computationally efficient demosaicing algorithm based on a luminance-chrominance model of the Color Filter Array (CFA) image. We show that the chrominance information ...