Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, details equality in proof assistants based on type theory, which falls under the umbrella of computer science and mathematics.
Norway has set out a clear ambition to reduce the emissions from the transport, maritime and industry sectors. This requires multiple solutions where hydrogen plays a vital role. There is a strong focus to reduce emissions within the maritime sector and hydrogen is seen as a vital part of the solution.
Rodrigo López, Energy Management Deputy Director, Feníe Energía, provides a detailed article about Demand Response, highlighting how you can save money on utility bills during periods of reduced energy use.
Here, Jen-Yuan (James) Chang discusses pioneering research and innovation by National Tsing Hua University of robot assisted rehabilitation for those who have suffered a stroke.
Rob Fotheringham, Managing Director at Fotheringham Associates, offers advice on how to get the most out of your digital transformation strategy with the potential to save money on unnecessary investment.
Dr Emma Carmel, Associate Professor, University of Bath, offers her expert insight into the use of artificial intelligence technologies (AITs) within government to transform public policy.
Gideon Bolt & Rutger Pierik from Utrecht University share their expert thoughts on social interaction in mixed building blocks when it comes to finding the ‘magic mix’ in the academic literature concerning the housing market.
Herman de Jong from the University of Groningen, explores health and human welfare in the 20th century, with a focus on escaping early death, poverty and poor health.
Peder Vejsig Pedersen from European Green Cities tells us about the use of ATES technology with groundwater cooling and heating at Bispebjerg Hospital, Copenhagen.
Beth Perry, Catherine Durose and Liz Richardson reflect on the findings of the Jam and Justice Action Research Collective in Greater Manchester and discuss how social innovation can support citizen participation.
Here, the EMBRC-ERIC (European Marine Biological Resource Centre) explores the need to develop research activities by focusing on innovation ecosystems.
