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. 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.

This book presents together a number of path-breaking essays on different aspects of medieval music in France written by Manuel Pedro Ferreira, who is well known for his work on the medieval cantigas and Iberian liturgical sources. The first essay is a tour-de-force of detective work: an odd E-flat in two 16th-century antiphoners leads to the identification of a Gregorian responsory as a Gallican version of a seventh-century Hispanic melody. The second rediscovers a long-forgotten hypothesis concerning the microtonal character of some French 11th-century neumes. In the paper "Is it polyphony?" an even riskier hypothesis is arrived at: Do the origins of Aquitanian free organum lie on the instrumental accompaniment of newly composed devotional versus? The Cistercian attitude towards polyphonic singing, mirrored in musical sources kept in peripheral nunneries, is the subject of the following essay. The intellectual and sociological nature of the Parisian motet is the central concern of the following two essays, which, after a survey of concepts of temporality in the trouvere and polyphonic repertories, establish it as the conceptual foundation of subsequent European schools of composition. It is possible then to assess the real originality of Philippe de Vitry and his Ars nova, which is dealt with in the following chapter. A century later, the role of Guillaume Dufay in establishing a chord-based alternative to contrapuntal writing is laboriously put into evidence. Finally, an informative synthesis is offered concerning the mathematical underpinnings of musical composition in the Middle Ages.

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. 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.

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 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.

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 presents together a number of path-breaking essays on different aspects of medieval music in France written by Manuel Pedro Ferreira, who is well known for his work on the medieval cantigas and Iberian liturgical sources. The first essay is a tour-de-force of detective work: an odd E-flat in two 16th-century antiphoners leads to the identification of a Gregorian responsory as a Gallican version of a seventh-century Hispanic melody. The second rediscovers a long-forgotten hypothesis concerning the microtonal character of some French 11th-century neumes. In the paper "Is it polyphony?" an even riskier hypothesis is arrived at: Do the origins of Aquitanian free organum lie on the instrumental accompaniment of newly composed devotional versus? The Cistercian attitude towards polyphonic singing, mirrored in musical sources kept in peripheral nunneries, is the subject of the following essay. The intellectual and sociological nature of the Parisian motet is the central concern of the following two essays, which, after a survey of concepts of temporality in the trouvere and polyphonic repertories, establish it as the conceptual foundation of subsequent European schools of composition. It is possible then to assess the real originality of Philippe de Vitry and his Ars nova, which is dealt with in the following chapter. A century later, the role of Guillaume Dufay in establishing a chord-based alternative to contrapuntal writing is laboriously put into evidence. Finally, an informative synthesis is offered concerning the mathematical underpinnings of musical composition in the Middle Ages.