Opinion formation models based on game theory

A way to simulate the basic interactions between two individuals with different opinions, in the context of strategic game theory, is proposed. Various games are considered, which produce different kinds of opinion formation dynamics. First, by assuming that all individuals (players) are equals, we obtain the bounded confidence model of continuous opinion dynamics proposed by Deffuant et al. In such a model a tolerance threshold is defined, such that individuals with difference in opinion larger than the threshold can not interact. Then, we consider that the individuals have different inclinations to change opinion and different abilities in convincing the others. In this way, we obtain the so-called ``Stubborn individuals and Orators'' (SO) model, a generalization of the Deffuant et al. model, in which the threshold tolerance is different for every couple of individuals. We explore, by numerical simulations, the dynamics of the SO model, and we propose further generalizations that can be implemented.Comment: 18 pages, 4 figure

Centrality Measures in Spatial Networks of Urban Streets

We study centrality in urban street patterns of different world cities represented as networks in geographical space. The results indicate that a spatial analysis based on a set of four centrality indices allows an extended visualization and characterization of the city structure. Planned and self-organized cities clearly belong to two different universality classes. In particular, self-organized cities exhibit scale-free properties similar to those found in the degree distributions of non-spatial networks.Comment: 4 pages, 3 figure

Predicting life engagement and happiness from gaming motives and primary emotional traits before and during the COVID pandemic: a machine learning approach

The present study investigated whether life engagement and happiness can be predicted from gaming motives and primary emotional traits. Two machine learning algorithms (random forest model and one-dimensional convolutional neural network) were applied using a dataset from before the COVID-19 pandemic as the training dataset. The algorithms derived were then applied to test if they would be useful in predicting life engagement and happiness from gaming motives and primary emotional systems on a dataset collected during the pandemic. The best prediction values were observed for happiness with ρ = 0.758 with explained variance of R2 = 0.575 when applying the best performing algorithm derived from the pre-COVID dataset to the COVID dataset. Hence, this shows that the derived algorithm based on the pre-pandemic data set, successfully predicted happiness (and life engagement) from the same set of variables during the pandemic. Overall, this study shows the feasibility of applying machine learning algorithms to predict life engagement and happiness from gaming motives and primary emotional systems

Verification of loop parallelisations

Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to parallelise. This paper addresses the correctness of such compiler directives for loop parallelisation. Specifically, we propose a technique based on separation logic to verify whether a loop can be parallelised. Our approach requires each loop iteration to be specified with the locations that are read and written in this iteration. If the specifications are correct, they can be used to draw conclusions about loop (in)dependences. Moreover, they also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic and seamlessly integrate with functional behaviour specifications. We formally prove the correctness of our approach and we discuss automated tool support for our technique. Additionally, we also discuss how the loop iteration contracts can be compiled into specifications for the code coming out of the parallelising compiler

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks

International audienceIn recent years, numerical simulation has attracted increasing interest within industry and among academics. Paradoxically, the development and maintenance of high performance scientific computing software has become more complex due to the diversification of hardware architectures and their related programming languages and libraries. In this paper, we share our experience in using model-driven development for numerical simulation software. Our approach called MDE4HPC proposes to tackle development complexity by using a domain specific modeling language to describe abstract views of the software. We present and analyse the results obtained with its implementation when deriving this abstract model to target Arcane, a development framework for 2D and 3D numerical simulation software

The Network Analysis of Urban Streets: A Primal Approach

The network metaphor in the analysis of urban and territorial cases has a long tradition especially in transportation/land-use planning and economic geography. More recently, urban design has brought its contribution by means of the "space syntax" methodology. All these approaches, though under different terms like accessibility, proximity, integration,connectivity, cost or effort, focus on the idea that some places (or streets) are more important than others because they are more central. The study of centrality in complex systems,however, originated in other scientific areas, namely in structural sociology, well before its use in urban studies; moreover, as a structural property of the system, centrality has never been extensively investigated metrically in geographic networks as it has been topologically in a wide range of other relational networks like social, biological or technological. After two previous works on some structural properties of the dual and primal graph representations of urban street networks (Porta et al. cond-mat/0411241; Crucitti et al. physics/0504163), in this paper we provide an in-depth investigation of centrality in the primal approach as compared to the dual one, with a special focus on potentials for urban design.Comment: 19 page, 4 figures. Paper related to the paper "The Network Analysis of Urban Streets: A Dual Approach" cond-mat/041124

The Lamé Class of Lorenz Curves.

In this paper, the class of Lamé Lorenz curves is studied. This family has the advantage of modeling inequality with a single parameter. The family has a double motivation: it can be obtain from an economic model and from simple transformations of classical Lorenz curves. The underlying cumulative distribution functions have a simple closed form, and correspond to the Singh-Maddala and Dagum distributions, which are well known in the economic literature. The Lorenz order is studied and several inequality and polarization measures are obtained, including Gini, Donaldson-Weymark-Kakwani, Pietra and Wolfson indices. Some extensions of the Lamé family are obtained. Fitting and estimation methods under two different data configuration are proposed. Empirical applications with real data are given. Finally, some relationships with other curves are included.The authors thank to Ministerio de Econom a y Competitividad, project ECO2010-15455, for partial support. The second author thanks to the Ministerio de Educaci on (FPU AP-2010-4907) for partial support. We are grateful for the constructive suggestions provided by the reviewers, which improved the paper

TomograPy: A Fast, Instrument-Independent, Solar Tomography Software

Solar tomography has progressed rapidly in recent years thanks to the development of robust algorithms and the availability of more powerful computers. It can today provide crucial insights in solving issues related to the line-of-sight integration present in the data of solar imagers and coronagraphs. However, there remain challenges such as the increase of the available volume of data, the handling of the temporal evolution of the observed structures, and the heterogeneity of the data in multi-spacecraft studies. We present a generic software package that can perform fast tomographic inversions that scales linearly with the number of measurements, linearly with the length of the reconstruction cube (and not the number of voxels) and linearly with the number of cores and can use data from different sources and with a variety of physical models: TomograPy (http://nbarbey.github.com/TomograPy/), an open-source software freely available on the Python Package Index. For performance, TomograPy uses a parallelized-projection algorithm. It relies on the World Coordinate System standard to manage various data sources. A variety of inversion algorithms are provided to perform the tomographic-map estimation. A test suite is provided along with the code to ensure software quality. Since it makes use of the Siddon algorithm it is restricted to rectangular parallelepiped voxels but the spherical geometry of the corona can be handled through proper use of priors. We describe the main features of the code and show three practical examples of multi-spacecraft tomographic inversions using STEREO/EUVI and STEREO/COR1 data. Static and smoothly varying temporal evolution models are presented.Comment: 21 pages, 6 figures, 5 table

Sequential schemes for frequentist estimation of properties in statistical model checking

National Research Foundation (NRF) Singapor

An statistical analysis of stratification and inequity in the income distribution

The analysis of the USA 2001 income distribution shows that it can be described by at least two main components, which obey the generalized Tsallis statistics with different values of the q parameter. Theoretical calculations using the gas kinetics model with a distributed saving propensity factor and two ensembles reproduce the empirical data and provide further information on the structure of the distribution, which shows a clear stratification. This stratification is amenable to different interpretations, which are analyzed. The distribution function is invariant with the average individual income, which implies that the inequity of the distribution cannot be modified by increasing the total income.Comment: 22 pages, 3 figure