IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023
Nonspecific protein adhesion to nanoparticle (NP) has been proven to have important implications in nanomedicine. However, there are only a few examples of careful studies relating protein binding thermodynamics to NP physicochemical features. In particula ...
In this work, various aspects concerning the numerical simulation of a sailing boat are investigated. The attention is focused on simulation of the free-surface, the fluid-structure interaction (FSI) between wind and sails, and the dynamics of the whole bo ...
A new method for measuring shape rectangularity is introduced. The new shape measure is invariant with respect to similarity transformations, ranges over the interval (0,1] and picks the value 1 if and only if the measured shape is a rectangle. The measure ...
Acoustic tomography aims at recovering the unknown parameters that describe a field of interest by studying the physical characteristics of sound propagating through the considered field. The tomographic approach is appealing in that it is non-invasive and ...
Thin ultra high performance fibre reinforced concretes overlays are suitable for rehabilitation of structures thanks to their enhanced properties. However, in such composite structures, restrained differential shrinkage cracking is an important concern. To ...
