|
|
|
|
|
Song Zhang, Anne Jahn, Lucas Jauer and Johannes Henrich Schleifenbaum
Laser powder bed fusion (LPBF) is a promising technique used to manufacture complex geometries in a layer-wised manner. Radiation during the LPBF process is influenced by the part geometry, e.g., the overhang angle and the wall thickness. Locally varying...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chih-Chang Chang, Chao-Hung Kuo, Hsuan-Kan Chang, Tsung-Hsi Tu, Li-Yu Fay, Jau-Ching Wu, Henrich Cheng and Wen-Cheng Huang
Percutaneous pedicle screw instrumentation is the keystone of minimally invasive spine surgery. Percutaneous screw placement demands experience and relies greatly on intra-operative image guidance. This study aims to validate the feasibility and accuracy...
ver más
|
|
|
|
|
|
|
|
|
|
|
Inga Preiss-Daimler, Stergios D. Zarkogiannis, George Kontakiotis, Rüdiger Henrich and Assimina Antonarakou
This study intends to review and assess the middle to late Miocene Carbonate Crash (CC) events in the low to mid latitudes of the Pacific, Indian, Caribbean and Atlantic Oceans as part of the global paleoceanographic reorganisations between 12 and 9 Ma w...
ver más
|
|
|
|
|
|
|
|
|
|
|
Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc?kai
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is...
ver más
|
|
|
|
|
|