This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, Th...
byIrek Ulidowski,Ivan Lanese,Ulrik Schultz,Carla Ferreira
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged...
byCarla Ferreira,Helena Barros,Joaquim Figueiras,Mário Pimentel
This book contains auxiliary calculation tools to facilitate the safety assessment of reinforced concrete sections. Essential parameters in the design to the ul...
byDaniel Olsen, Associate Professor Anna Trono,Raffaella Afferni,Stephen Boyd,Valentina Castronuovo,Jaeyeon Choe,Tomasz Duda,Vreny Enongene,Carla Ferrario,Paul Fidgeon,Brian Hill,Michael Hitchcock,Marco Imperiale,Darius Liutikas, Rubén C. Lois-González,Pravin Rana, Pilar Taboada-de-Zúñiga Romero,Rodrigo Sanchez,Xosé Santos,Kiran Shinde,Rana Singh,Dallen Timothy,Gabriella Trombino,Greg Wilkinson
For millennia people have travelled to religious sites for worship, initiatory and leisure purposes. Today there are hundreds, if not thousands, of religious pi...
byRaffaella Afferni,Stephen Boyd,Valentina Castronuovo,Jaeyeon Choe,Tomasz Duda,Vreny Enongene,Carla Ferrario,Paul Fidgeon,Brian Hill,Michael Hitchcock,Marco Imperiale,Darius Liutikas, Rubén C. Lois-González,Daniel Olsen,Pravin Rana, Pilar Taboada-de-Zúñiga Romero,Rodrigo Sanchez,Xosé Santos,Kiran Shinde,Rana Singh,Dallen Timothy,Gabriella Trombino, Associate Professor Anna Trono,Greg Wilkinson
For millennia people have travelled to religious sites for worship, initiatory and leisure purposes. Today there are hundreds, if not thousands, of religious pi...
byMarlene Amorim,Carlos Ferreira,Milton Junior,Carlos Prado
This book gathers a selection of the best papers presented at the joint international conference ICIEOM-CIO-IIE 2015, offering recent research on industrial eng...
byJoao Ferreira,Ana Martins,Vitor Monteiro
This book constitutes the proceedings of the Second EAI International Conference on Intelligent Transport Systems, INTSYS 2108, which was held in Guimarães, Po...
byJoao Ferreira,Ana Martins,Alexander Kocian
This book constitutes the proceedings of the Third EAI International Conference on Intelligent Transport Systems, INTSYS 2019, which was held in Braga, Portugal...
byAjith Abraham,Ana Madureira,Arturas Kaklauskas,Niketa Gandhi,Anu Bajaj,Azah Muda,Dalia Kriksciuniene,João Ferreira
This book highlights recent research on bio-inspired computing and its various innovative applications in information and communication technologies. It present...
bySandro Zonta,Adele Sgarella,Alberta Ferrari
This book describes in detail three different techniques for minimally invasive video-assisted breast surgery: nipple-sparing mastectomy with a hand-held extern...
byMiriam Rabaçal,Ana Ferreira,Mário Costa,Carla Silva
This book addresses the potential of the transformation of biomass into a wide range of marketable products, and examines the biological, biochemical, physical ...
byCarla Osthoff,Calebe Bianchini,Paulo Souza,Renato Ferreira
This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in São Paulo, Brazil, in October 2...
byCarla Ferreira,Zahra Kalantari,Thomas Hartmann,Paulo Pereira
This book provides an overview of the typical nature-based solutions (NBS) used for flood mitigation at different scales and in different areas (e.g. from catch...
byAnton Kiss, Carlos A. Infante Ferreira
As the chemical process industry is among the most energy demanding sectors, chemical engineers are endeavoring to contribute towards sustainable future. Due to...
byFrancisco Silva,Luís Ferreira,José Sá,Maria Pereira,Carla Pinto
This book reports on cutting-edge research and developments in manufacturing, giving a special emphasis to solutions fostering automation, sustainability and he...