Introduced by Peter Andrews in the 1960’s, Q0 is a classical higher-order logic based on simply-typed lambda calculus. This paper presents our work in progress on the formalizing of Q0 in a programming language, Rogue-Sigma-Pi (RSP), with the aim of validating its meta-theory. The main challenge of this project arises from the fact that while all logical derivations are carried out in much deta...

A coherent study of $e^{+}e^{-}$ annihilation into two ($\pi^{+}\pi^{-}$,$K^{+}K^{-}$) and three ($\pi^{+}\pi^{-}\pi^{0},\pi^{+}\pi^{-}\eta$) pseudoscalar meson production is carried out within the framework resonance chiral theory in energy region $E\lesssim 2 \, \mathrm{GeV}$. The work {[}L. Y. Dai, J. Portol\'es, O. Shekhovtsova, Phys. Rev. D 88,056001 (2013){]} revisited with latest experim...

The HyperNet (Hypercube based neural Network) architecture uses higher-order sigmapi units which are realisable with conventional memory technology. Real-valued node input and output vectors promote automatic generalisation and allow the architecture to interface to analogue data. Hardware implementation of real-valued inputs as parallel stochastic bit streams provides a cost effective realisat...

Given a Πμ 2 formula of the modal μ calculus, it is decidable whether it is equivalent to a Σμ 2 formula.

Several evolutionary algorithms make use of hierarchical representations of variable size rather than linear strings of xed length. Variable complexity of the structures provides an additional representa-tional power which may widen the application domain of evolutionary algorithms. The price for this is, however, that the search space is open-ended and solutions may grow to arbitrarily large s...

Psychoacoustical and neurophysiological results indicate that spectro-temporal modulations play an important role in sound perception. Speech signals, in particular, exhibit distinct spectro-temporal patterns which are well matched by receptive fields of cortical neurons. In order to improve the performance of automatic speech recognition (ASR) systems a number of different approaches are prese...

The three pentaquark states, ${P}_{c}(4312)$, ${P}_{c}(4440)$, and ${P}_{c}(4457)$, discovered by the LHCb Collaboration in 2019, can be nicely arranged into a multiplet of ${\overline{D}}^{(*)}{\mathrm{\ensuremath{\Sigma}}}_{c}^{(*)}$ seven molecules dictated heavy quark spin symmetry. In this work we employ effective Lagrangian approach to investigate two decay modes ${P}_{c}(4457)\ensuremath...

We present an updated global fit of neutrino oscillation data in the simplest three-neutrino framework. In study we include up-to-date analyses from a number experiments. Concerning atmospheric and solar sectors, give DeepCore SNO data, respectively. have also included latest electron antineutrino collected by Daya Bay RENO reactor experiments, long-baseline T2K NO$\nu$A measurements. These new...