Related papers: Validation of compact models of microcantilever ac…
Micro- and nanoelectromechanical system (MEMS and NEMS) resonators can exhibit rich nonlinear dynamics as they are often operated at large amplitudes with high quality factors and possess a high mode density with a variety of nonlinear…
Polynomial functions are a usual choice to model the nonlinearity of lenses. Typically, these models are obtained through physical analysis of the lens system or on purely empirical grounds. The aim of this work is to facilitate an…
The reliability assessment of a machine learning model's prediction is an important quantity for the deployment in safety critical applications. Not only can it be used to detect novel sceneries, either as out-of-distribution or anomaly…
Real-world applications of machine learning models are often subject to legal or policy-based regulations. Some of these regulations require ensuring the validity of the model, i.e., the approximation error being smaller than a threshold. A…
We present a new application of model checking which achieves real-time multi-step planning and obstacle avoidance on a real autonomous robot. We have developed a small, purpose-built model checking algorithm which generates plans in situ…
Morphing multirotors, such as the Foldable Drone , can increase the versatility of drones employing in-flight-adaptive-morphology. To further increase precision in their tasks, recent works have investigated stable flight in asymmetric…
Molecular rectifiers, as prototypical components of molecular electronics, present unique opportunities for pushing device miniaturization to its ultimate limits. Nevertheless, challenges including limited rectification ratios (RR),…
A key question in evaluation of computer models is Does the computer model adequately represent reality? A six-step process for computer model validation is set out in Bayarri et al. [Technometrics 49 (2007) 138--154] (and briefly…
The paper deals with the modeling and identification of the gravity compensators used in heavy industrial robots. The main attention is paid to the geometrical parameters identification and calibration accuracy. To reduce impact of the…
Practical structural engineering problems often exhibit a significant degree of uncertainty in the material properties being used, the dimensions of the modeled structures, etc. In this paper, we consider a cantilever beam and a beam…
In this paper, we present INertial Lidar Localisation Autocalibration And MApping (IN2LAAMA): an offline probabilistic framework for localisation, mapping, and extrinsic calibration based on a 3D-lidar and a 6-DoF-IMU. Most of today's…
We propose an energy-based framework to analyze the statics and dynamics of a ferroelectric negative capacitance-hybrid Microelectromechanical System (MEMS) actuator. A mapping function that relates the charge on the ferroelectric to…
The integration of artificial intelligence into clinical workflows requires reliable and robust models. Repeatability is a key attribute of model robustness. Repeatable models output predictions with low variation during independent tests…
3D scatterplots are a well-established plotting technique that can be used to represent data with three or more dimensions. On paper and computer monitors they are essentially two-dimensional projections of the three-dimensional Cartesian…
The second order Killing and conformal tensors are analyzed in terms of their spectral decomposition, and some properties of the eigenvalues and the eigenspaces are shown. When the tensor is of type I with only two different eigenvalues,…
One of the central appealing properties of magnetic gels and elastomers is that their elastic moduli can reversibly be adjusted from outside by applying magnetic fields. The impact of the internal magnetic particle distribution on this…
White paper: The aim of this work is to apply and analyze machine learning methods for uncertainty quantification of turbulence models. In this work we investigate the classical and data-driven variants of the eigenspace perturbation…
This work is focused on investigating the impact of out-of-plane stitches on enhancing mode-II interlaminar fracture toughness (or energy) and characterizing damage progression and crack arrestment in stitched resin-infused composites. For…
A nano-magnetomechanical system consisting of a cantilever and a thin magnetic film is predicted to display magnetovibrational modes, which should enable applications for sensors and actuators. The {}``polaritonic{}'' modes can be detected…
Two configurations typical of fixed-wing aircraft are simulated with the actuator line method (ALM): a wing with winglets and a T-tail. The ALM is extensively used in rotor simulations to model the blades by body forces, which are…