Pedro Ferreira - Böcker

A masterly overview of the development of cosmological thinking from the Greeks, via Newton and Einstein, to the present day.It is science's last and greatest challenge: fathoming the depths of the night sky. The objective: to crack the cosmic code, to unravel the blueprint for nature's grandest conception, a machine constructed on an unimaginably vast scale - the Universe itself. Today's model of an expanding Universe - the big bang cosmology - is actually built on principles derived from a few simple mathematical equations. Gravity-warped space time, quantum mechanics, the physics of the subatomic, these crucial insights, stemming from Einstein's revolutionary theories of relativity, have led to a simple and elegant framework within which the whole of the Universe, over billions of years, has been described.But recent evidence has begun to make wrinkles in the neat fabric of the big bang cosmology. There is now overwhelming evidence that there is far more stuff in the Universe than we can see. What, and where, is this 'dark matter'? And it now appears that the expansion of the Universe is accelerating: something out there - some exotic 'dark energy' - is acting against gravity to push space and time apart. While offering a critical view of how all the pieces in our current model fit together, Pedro Ferreira argues that Einstein's Universe may be just another stepping stone towards a new, more profound and effective cosmology in the future.

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020.The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are:DECSoS 2020:15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems.DepDevOps 2020:First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems.USDAI 2020:First International Workshop on Underpinnings for Safe Distributed AI.WAISE 2020:Third International Workshop on Artificial Intelligence Safety Engineering.The workshops were held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, held in Costa de Caparica, Portugal, in July 2021.*The 34 papers presented were carefully reviewed and selected from 92 submissions.

This book constitutes the refereed proceedings of the 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, held in Costa de Caparica, Portugal, in July 2021.*The 34 papers presented were carefully reviewed and selected from 92 submissions.