This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for classic weakly compressible SPH (WCSPH). Using a convenient and readily parallelizable block-based approach, different regions of the fluid are assigned differing time steps and solved at different rates to minimize computationa...

Satisfiability (SAT) and Max-SAT problems have been the object of considerable research effort over the past few decades. They remain a very important research area today due to their computational challenge and application importance. In this paper we investigate the use of penalty functions to recast SAT problems into the modelling framework offered by the unconstrained quadratic binary progr...

This work focuses on the finite element discretization of boundary value problems whose solution features either a discontinuity or a discontinuous conormal derivative across an interface inside the computational domain. The interface is characterized via a level-set function. The discontinuities are accounted for by using suitable extension operators whose numerical implementation requires a v...

As part of an effort to define a unified formal semantics for beliefs, desires and action, this paper sketches a model theory for the axiological aspects of agent theory: hedonic states, likes, goals and values. Particular attention is paid to modelling the intensity of likes. The main intuition underlying the model theory is that the axiological aspects of agent theory can be modelled through ...

The purpose of this short paper is to give a reader acquainted with combinatorial optimization enough background in Constraint Programming to appreciate the other papers in this special issue. We will cover modelling, inference, and search. Whenever appropriate we will make an effort to relate some of the concepts to that of other computational approaches. Those interested to learn more about t...

This paper shows that the weighting coefficient matrices of the differential quadrature method (DQM) are centrosymmetric or skew-centrosymmetric if the grid spacings are symmetric irrespective of whether they are equal or unequal. A new skew centrosymmetric matrix is also discussed. The application of the properties of centrosymmetric and skew centrosymmetric matrix can reduce the computational...

Recently, coherent-detection (CoD) polarization multiplexed (PM) transmission has attracted considerable interest, specifically as a possible solution for next-generation systems transmitting 100 Gb/s per channel and beyond. In this context, enabled by progress in ultra-fast digital signal processing (DSP) electronics, both multilevel phase/amplitude modulated formats (such as QAM) and orthogon...

Deep Neural Networks (DNNs) have advanced the state-of-the-art in a variety of machine learning tasks and are deployed in increasing numbers of products and services. However, the computational requirements of training and evaluating large-scale DNNs are growing at a much faster pace than the capabilities of the underlying hardware platforms that they are executed upon. In this work, we propose...

Two new fixed effort two-stage detection algorithms for Multiple Input Multiple Output (MIMO) systems using orthogonal frequency division multiplexing (OFDM) are proposed, reaching near maximum likelihood (ML) performance with a significantly reduced complexity. For enhancing the data rates in wireless communication systems a higher bandwidth is needed, resulting in a frequency selective channe...