Although the Turing-machine model of computation is widely used in computer science it is fundamentally inadequate as a foundation for the theory of modern scientific computation. The real-number model is described as an alternative. Physicists often choose continuous mathematical models for problems ranging from the dynamical systems of classical physics to the operator equations and path inte...

On June 29, 2011, Vicente García-Díaz defended his PhD thesis at Oviedo University, titled: “MDCI: Model-Driven Continuous Integration”. The research was funded by the Government of the Principality of Asturias (Spain). Vicente García-Díaz defended his dissertation in a publicly open presentation held in the School of Computer Engineering at Oviedo University, and was able to comment on every q...

It is always attractive and challenging to explore the intricate behavior data and uncover people’s motivations, preference and habits, which can greatly benefit many tasks including link prediction, item recommendation, etc. Traditional work usually studies people’s behaviors without time information in a static or discrete manner, assuming the underlying factors stay invariant in a long perio...

To develop the future CAD systems that support functions of design process modeling, an evolutionary design database model is introduced in this research to describe design requirements and design results developed at different design stages from conceptual design to detailed design. In this model, the evolutionary design database is represented by a sequence of worlds corresponding to the desi...

For enterprises to be able to use information technologies and communications with guarantees, it is necessary to have an adequate security management system and tools which allow them to manage it. In small and medium-sized enterprises, the application of security standards has an additional problem, which is the fact that they do not have enough resources to carry out an appropriate managemen...

This paper describes the use of a genetic algorithm (GA) to find optimal parameter-values for trading agents that operate in virtual online auction ‘e-marketplaces’, where the rules of those marketplaces are also under simultaneous control of the GA. The aim is to use the GA to automatically design new mechanisms for agent-based e-marketplaces that are more efficient than online markets designe...

Charge–discharge behavior of SONY 18650 lithium-ion batteries for aerospace applications was simulated under low-earth-orbit (LEO) condiions, by using a first-principles based mathematical model. The model determines the capacity fade on the basis of the irreversible loss of active ithium ions due to electrolyte reduction. The capacity fade during LEO cycling was studied for 5 years of continuo...

We consider the AR(1) time series model Xt − βXt−1 = ξt, β−p ∈ N {1}, when Xt has Beta distribution B(p, q), p ∈ (0, 1], q > 1. Special attention is given to the case p = 1 when the marginal distribution is approximated by the power law distribution closely connected with the Kumaraswamy distribution Kum(p, q), p ∈ (0, 1], q > 1. Using the Laplace transform technique, we prove that for p = 1 th...

Due to the equivalence of the statistical ensembles thermostatic properties of physical systems with short-range interactions can be calculated in different ensembles leading to the same physics. In particular, the ensemble equivalence holds for systems that undergo a continuous phase transition in the infinite volume limit so that the properties of the transition can also be investigated in th...

Recently, the reference functions for the synthesis and analysis of the autostereoscopic multiview and integral images in three-dimensional displays were introduced. In the current paper, we propose the wavelets to analyze such images. The wavelets are built on these reference functions as on the scaling functions of the wavelet analysis. The continuous wavelet transform was successfully applie...