Abstract A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same object. Intended as the basis for a comprehensive solution to the “frame problem” and as an alternative (for the specific issue of determining aliases) to separation logic, shape analysis, ownership types and dyn...

Because of installation for local consumers and since it is free of all contaminations, connecting photovoltaic cells to the grid via single-phase inverter is significantly on the rise. In this paper, a new simple current control is proposed for a single-phase grid-connected voltage source inverter. Using the PQ theory and modelling a single-phase system as an unbalanced three-phase system, a m...

Abstract. A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same object. Intended as the basis for a comprehensive solution to the “frame problem” and as an alternative (for the specific issue of determining aliases) to separation logic, shape analysis, ownership types and dy...

The problem of hand shape classification is challenging since a hand is characterized by a large number of degrees of freedom. Numerous shape descriptors have been proposed and applied over the years to estimate and classify hand poses in reasonable time. In this paper we discuss our parallel framework for real-time hand shape classification applicable in real-time applications. We show how the...

We consider a mathematical model of a high contrast two phase composite material with inclusions (fibres) close to touching in two space dimensions. The inclusions form a periodic array and have an optimal shape which is a curvilinear square with rounded-off angles (‘nearly square’ shape) described by a flattening parameter m. We derive an asymptotic formula for the effective conductivity Âδ of...

Children are guided by constraints and biases in word learning. In the case of the shape bias—the tendency to extend count nouns by similarity in shape—previous findings have revealed that learning plays an important role in its development (e.g., Smith et al., 2002). Some have proposed that children acquire inductive constraints like the shape bias by making inferences about observed data on m...

Dynamic shapes represent an important issue in several scientific and technological contexts. The current article presents a model-based mathematic-computational approach for inferring the processes of neural evolution, including analytical mappings, convolution models and normal wavefront propagation, illustrated with respect to stationary and non-stationary evolutions along time and space. 20...

This paper deals with an indirect current controlled shunt active power filter (SAPF) for improving power quality by reactive power compensation and harmonic filtering. The presence of harmonics and reactive power in the power source because it will cause additional power losses and malfunctions. The proposed APF is based on a voltage source inverter (VSI). The VSI is controlled by two loops, t...

Abstract Wave propagation problems arise in a wide range of applications. The energy conserving property is one of the guiding principles for numerical algorithms, in order to minimize the phase or shape errors after long time integration. In this paper, we develop and analyze a local discontinuous Galerkin (LDG) method for solving the wave equation. We prove optimal error estimates, superconve...