Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program

We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method errors, and floating-point computations lead to round-off errors. We annotate this C program to specify both method error and round-off error. We use Frama-C to generate theorems that guarantee the soundness of the code. We discharge these theorems using SMT solvers, Gappa, and Coq. This involves a large Coq development to prove the adequacy of the C program to the numerical scheme and to bound errors. To our knowledge, this is the first time such a numerical analysis program is fully machine-checked.Comment: No. RR-7826 (2011

Complexity Theory for a New Managerial Paradigm: A Research Framework

In this work, we supply a theoretical framework of how organizations can embed complexity management and sustainable development into their policies and actions. The proposed framework may lead to a new management paradigm, attempting to link the main concepts of complexity theory, change management, knowledge management, sustainable development, and cybernetics. We highlight how the processes of organizational change have occurred as a result of the move to adapt to the changes in the various global and international business environments and how this transformation has led to the shift toward the present innovation economy. We also point how organizational change needs to deal with sustainability, so that the change may be consistent with present needs, without compromising the future

Does corporate reputation matter? Role of social media in consumer intention to purchase innovative food product

The exponential growth of the corporate reputation in food industry has resulted in innovations in every link of its supply chain. There have been studies that have characterized innovation in various industries from the perspective of technology, but far fewer in the area of corporate reputation, consumer perception, and intention towards innovations in food products. This research analyses the innovations in the food industry from the perspective of the consumer and provides a conceptual framework of food innovation stages. The study also investigates the relationship between corporate reputation and intention towards food innovation along with the other components of TPB model with an extension of social media engagement. The results from India and US samples confirm that social media engagement have a significant role to play in creating intention to purchase innovative food products. The study compares the US and Indian samples and identifies differences in subjective norms and perceived behavioural control

Efforts at the boundaries : Social media use in Swedish municipalities

Social media is used by the majority of Swedish municipalities. However, the highly interactive features of social media are often not taken advantage of. The study aims to get a better understanding of why social media is not used to its full potential in the municipality. Findings from an interview study with communicators in three Swedish municipalities reveal that the motivation for using social media is often difficult to turn into action. Tensions emerging in the use of social media result in hesitation, uncertainty and a slowing down of work practice. The processes of managing the tensions are characterized by boundary crossing between different communities, such as municipal communicators, elected officials and citizens, with social media itself as an equally important actor. The processes of boundary crossing by the municipal communicators are discussed in terms of learning processes and new emerging competences that might redefine the role of the municipal communicator and hence perhaps the public servant in general. © IFIP International Federation for Information Processing 2016

Assessment of the transparency of Spanish local public administrations : methodology and results

The availability of information about public management is a key factor in the democratic participation of citizens, as it enables public management to be assessed and makes contributions to the decision-making processes regarding public affairs. In this article, we present some results of the Infoparticipa Project, whose objective was to determine to what extent local public institutions meet the minimal requirements of transparency and whether there is a relationship between the behaviour of municipal governments and the number of inhabitants, the governing political party and the mayor's gender. In order to do this, in a first phase, the information published by the websites of the local public administrations was analysed through 41 indicators. In a second phase, the geolocalized outcomes were published and disseminated through the media and a consultancy procedure was offered to the administrations' politicians and policymakers. The results of the evaluation of municipalities with more than 20,000 inhabitants in six Spanish Autonomous Communities indicate that the information published by the councils is still very scarce, especially in those with fewer inhabitants. No clear relationships could be established between the political party governing in each municipality or the mayor's gender and the level of transparency on their websites. However, we have been able to confirm that the full application of the Project, including the consultancy phase, has led to an improvement in the information published by the municipalities in which it was applied

Virtual Social Networks as Public Sphere: Relating E-government Maturity, ICT Laws, and Corruption

Part 4: Security, Privacy, Ethics and MisinformationInternational audienceThe role of e-government in reducing corruption is an active area of research in information systems (IS). Drawing on the concept of public sphere from political science literature, we seek to explore how the diffusion of virtual social networks (VSNs) influence the relationships between e-government maturity in a country, its ICT laws and corruption. Our analyses based on publicly available archival data substantiates the (1) relationship between e-government maturity in a country and its corruption through the indirect effect of ICT laws; (2) interaction effect of VSN diffusion in a country on its e-government maturity and ICT laws; and (3) interaction effect of VSN diffusion in a country on its ICT laws and corruption. The key contribution of this research is the reestablishment of the idea of public sphere in the context of VSN diffusion, and how it affects e-government outcomes of a country

Trusting Datification Through Labification

Trust is both an ongoing challenge for governments, and a ubiquitous term among civil servants with public debates around whether trust in government is declining. This has been exacerbated by big data and different technology and communications platforms, with public failures in privacy or use of the data potentially contributing to declining trust in government. Big data presents new opportunities and challenges for government agencies in how they function and deliver services. This chapter examines the trust and big data literature, describing the current state of play internationally. It then questions whether the trend of policy innovation labs (PILs) can provide new pathways forward for government in the management of data, and retaining citizen trust. PILs play a critical role in governments’ attempts to address big data issues. They often provide an experimental environment where innovative tools and techniques can be employed. Critically, they use tools and techniques that foster trust and collaboration, which means they may go some way to address the much-debated trust deficit around big data