A guided tour of asynchronous cellular automata

Research on asynchronous cellular automata has received a great amount of attention these last years and has turned to a thriving field. We survey the recent research that has been carried out on this topic and present a wide state of the art where computing and modelling issues are both represented.Comment: To appear in the Journal of Cellular Automat

What Drives Students' Loyalty-Formation in Social Media Learning Within a Personal Learning Environment Approach? The Moderating Role of Need for Cognition

Our study analyzes an educational experience based on the integrated use of social media within a higher education course under a personal learning environment approach and investigates the factors that determine students' loyalty to social media learning. We examined the moderating role of need for cognition (NFC) in students' formation of attitudes, satisfaction, and loyalty toward this learning experience. The results indicate that NFC has an influence on these variables, significantly moderating how loyalty toward social media learning is formed. For high-NFC students, satisfaction with the learning experience is the most important variable to explain loyalty; whereas for low-NFC students, attitudes have a stronger effect. Different strategies are suggested, according to the learners' NFC levels, for increasing the use of social media in personal learning environments. Practical implications for improving the integration of such informal resources into formal education are discussed.Junta de Andalucía – Programa Andaluz de I + D P12 SEJ 259

Status and Future Perspectives for Lattice Gauge Theory Calculations to the Exascale and Beyond

In this and a set of companion whitepapers, the USQCD Collaboration lays out a program of science and computing for lattice gauge theory. These whitepapers describe how calculation using lattice QCD (and other gauge theories) can aid the interpretation of ongoing and upcoming experiments in particle and nuclear physics, as well as inspire new ones.Comment: 44 pages. 1 of USQCD whitepapers

Formal analysis techniques for gossiping protocols

We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them

Climbing Mount Scalable: Physical-Resource Requirements for a Scalable Quantum Computer

The primary resource for quantum computation is Hilbert-space dimension. Whereas Hilbert space itself is an abstract construction, the number of dimensions available to a system is a physical quantity that requires physical resources. Avoiding a demand for an exponential amount of these resources places a fundamental constraint on the systems that are suitable for scalable quantum computation. To be scalable, the effective number of degrees of freedom in the computer must grow nearly linearly with the number of qubits in an equivalent qubit-based quantum computer.Comment: LATEX, 24 pages, 1 color .eps figure. This new version has been accepted for publication in Foundations of Physic

Computers and Liquid State Statistical Mechanics

The advent of electronic computers has revolutionised the application of statistical mechanics to the liquid state. Computers have permitted, for example, the calculation of the phase diagram of water and ice and the folding of proteins. The behaviour of alkanes adsorbed in zeolites, the formation of liquid crystal phases and the process of nucleation. Computer simulations provide, on one hand, new insights into the physical processes in action, and on the other, quantitative results of greater and greater precision. Insights into physical processes facilitate the reductionist agenda of physics, whilst large scale simulations bring out emergent features that are inherent (although far from obvious) in complex systems consisting of many bodies. It is safe to say that computer simulations are now an indispensable tool for both the theorist and the experimentalist, and in the future their usefulness will only increase. This chapter presents a selective review of some of the incredible advances in condensed matter physics that could only have been achieved with the use of computers.Comment: 22 pages, 2 figures. Chapter for a boo