Pedro Ferreira – författare

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. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.

*The conference was held virtually due to the COVID-19 pandemic.

The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.

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.

The 34 papers presented were carefully reviewed and selected from 92 submissions. The papers present selected results produced in engineering doctoral programs and focus on technological innovation for industry and service systems. Research results and ongoing work are presented, illustrated and discussed in the following areas: collaborative networks; smart manufacturing; cyber-physical systems and digital twins; intelligent decision making; smart energy management; communications and electronics; classification systems; smart healthcare systems; and medical devices.

*The conference was held virtually.

Chapters “Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing” and “Predictive Manufacturing: Enabling Technologies, Frameworks and Applications” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.