Cover Image
Read Now

1
by Shoham, Sharon
Published 2022
Springer Nature
“...: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks...”
Cover Image
Read Now

2
by Shoham, Sharon
Published 2022
Springer Nature
“...: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks...”
Cover Image
Read Now

3
by Casalbordino, Francesco
Published 2022
FedOA - Federico II University Press
“... Santangelo, held in the academic year 2019/2020 as part of the fifth year of the DiARC degree course...”
Cover Image
Read Now

4
by Kiełbasa, Paweł
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
“... this part of science as highly interdisciplinary, multifaceted, and technologically advanced. The need...”
Cover Image
Read Now

5
by Vanaei, Hamid Reza
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
“... in successive X-Y planes along the Z direction to fabricate a 3D part in a layer-by-layer process. Due...”
Cover Image
Read Now

6
by Viswanath, Divakar
Published 2017
The MIT Press
“... programming constructs map to parts of the computer.What makes computer programs fast or slow? To answer...”
Cover Image
Read Now

7
by Bayraktar, Emin
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
“.... It can be used to manufacture complex parts and enables manufacturers to reduce their inventory, make...”
Cover Image
Read Now

8
by Burt, Graeme
Published 2019
MDPI - Multidisciplinary Digital Publishing Institute
“... incorporating these diverse constituent parts remains evasive. The currently available validation approaches...”