Filters








3 Hits in 9.4 sec

From Research to Innovation: Exploring the Translation Journey with OpenInnoTrain [article]

Anne-Laure Mention, Massimo Menichinelli
2021 Zenodo  
As we cross the 2-year mark of the project, the intent of this book is to provide glimpses on OpenInnoTrain's current reflections and achievements with a variety of illustrations featuring activities across  ...  Over the last 18 months of COVID-19 pandemic, we have experienced unprecedented circumstances in our lifetime that have demonstrated the critical role of knowledge creation and transmission across industries  ...  The content of this publication does not reflect the official opinion of the European Union.  ... 
doi:10.5281/zenodo.5536932 fatcat:7pfwvjaznfagjgcapb2bm2zkuu

Formal Techniques for Java-Like Programs [chapter]

John Boyland, Dave Clarke, Gary Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
Object-Oriented Technology. ECOOP 2007 Workshop Reader  
of a program, by instrumenting different parts of the code for different test executions and then correlating the results.  ...  Acknowledgements We are very grateful to Giovanni Lagorio, Mariangiola Dezani and Paola Giannini, and the two anonymous FTfJP referees for their feedback, suggestions, and careful checking and repairs to the formal  ...  .), FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, Sept. 8-14, 2003, Proceedings (to appear). [Chalin03b] Patrice Chalin.  ... 
doi:10.1007/978-3-540-78195-0_10 dblp:conf/ecoopw/BoylandCLLP07 fatcat:rqb7j5i3uvdu7cepqb4bxtmjja

As fórmulas na arquitectura

Seminário internacional de arquitectura e matemática, 4º, 2019
2020
, without which the relief and the reconstruction of the original spaces and of the subsequent evolutions would have been much more difficult.  ...  Acknowledgments We thank the Biblioteca Comunale Ariostea and the Archivio Storico Comunale di Ferrara for having allowed the consultation and the study of the rich documentation and the iconographic apparatuses  ...  Rome, Italy: Gangemi Editore International. 19 September 2019. p. 33-40. ISBN 978-88-492-3762-7.  ... 
doi:10.34628/2e7f-jg07 fatcat:h2m67l53w5gpfogtgfxjjjylvu