Search

We develop a method for the efficient verification of neural networks against convolutional perturbations such as blurring or sharpening. To define input perturbations we use well-known camera shake, box blur and sharpen kernels. We demonstrate that these kernels can be linearly parameterised in a way that allows for a variation of the perturbation strength while preserving desired kernel properties. To facilitate their use in neural network verification, we develop an efficient way of convolving a given input with these parameterised kernels. The result of this convolution can be used to encode the perturbation in a verification setting by prepending a linear layer to a given network. This leads to tight bounds and a high effectiveness in the resulting verification step. We add further precision by employing input splitting as a branch and bound strategy. We demonstrate that we are able to verify robustness on a number of standard benchmarks where the baseline is unable to provide any safety certificates. To the best of our knowledge, this is the first solution for verifying robustness against specific convolutional perturbations such as camera shake.

This work introduces JEMA (Joint Embedding with Multimodal Alignment), a novel co-learning framework tailored for laser metal deposition (LMD), a pivotal process in metal additive manufacturing. As Industry 5.0 gains traction in industrial applications, efficient process monitoring becomes increasingly crucial. However, limited data and the opaque nature of AI present challenges for its application in an industrial setting. JEMA addresses this challenges by leveraging multimodal data, including multi-view images and metadata such as process parameters, to learn transferable semantic representations. By applying a supervised contrastive loss function, JEMA enables robust learning and subsequent process monitoring using only the primary modality, simplifying hardware requirements and computational overhead. We investigate the effectiveness of JEMA in LMD process monitoring, focusing specifically on its generalization to downstream tasks such as melt pool geometry prediction, achieved without extensive fine-tuning. Our empirical evaluation demonstrates the high scalability and performance of JEMA, particularly when combined with Vision Transformer models. We report an 8% increase in performance in multimodal settings and a 1% improvement in unimodal settings compared to supervised contrastive learning. Additionally, the learned embedding representation enables the prediction of metadata, enhancing interpretability and making possible the assessment of the added metadata's contributions. Our framework lays the foundation for integrating multisensor data with metadata, enabling diverse downstream tasks within the LMD domain and beyond., Comment: 26 pages, 14 figures

This paper proposes a novel regularization approach to bias Convolutional Neural Networks (CNNs) toward utilizing edge and line features in their hidden layers. Rather than learning arbitrary kernels, we constrain the convolution layers to edge and line detection kernels. This intentional bias regularizes the models, improving generalization performance, especially on small datasets. As a result, test accuracies improve by margins of 5-11 percentage points across four challenging fine-grained classification datasets with limited training data and an identical number of trainable parameters. Instead of traditional convolutional layers, we use Pre-defined Filter Modules, which convolve input data using a fixed set of 3x3 pre-defined edge and line filters. A subsequent ReLU erases information that did not trigger any positive response. Next, a 1x1 convolutional layer generates linear combinations. Notably, the pre-defined filters are a fixed component of the architecture, remaining unchanged during the training phase. Our findings reveal that the number of dimensions spanned by the set of pre-defined filters has a low impact on recognition performance. However, the size of the set of filters matters, with nine or more filters providing optimal results.

To enhance the spatial resolution of the M\"ONCH 25 \textmu m pitch hybrid pixel detector, deep learning models have been trained using both simulation and measurement data. Challenges arise when comparing simulation-based deep learning models to measurement-based models for electrons, as the spatial resolution achieved through simulations is notably inferior to that from measurements. Discrepancies are also observed when directly comparing X-ray simulations with measurements, particularly in the spectral output of single pixels. These observations collectively suggest that current simulations require optimization. To address this, the dynamics of charge carriers within the silicon sensor have been studied using Monte Carlo simulations, aiming to refine the charge transport modeling. The simulation encompasses the initial generation of the charge cloud, charge cloud drift, charge diffusion and repulsion, and electronic noise. The simulation results were validated with measurements from the M\"ONCH detector for X-rays, and the agreement between measurements and simulations was significantly improved by accounting for the charge repulsion., Comment: Prepared for submission to JINST as a proceeding for 25th International Workshops on Radiation Imaging Detectors

The migration behavior of colliding cells is critically determined by transient contact-interactions. During these interactions, the motility machinery, including the front-rear polarization of the cell, dynamically responds to surface protein-mediated transmission of forces and biochemical signals between cells. While biomolecular details of such contact-interactions are increasingly well understood, it remains unclear what biophysical interaction mechanisms govern the cell-level dynamics of colliding cells and how these mechanisms vary across cell types. Here, we develop a phenomenological theory based on eleven candidate contact-interaction mechanisms coupling cell position, shape, and polarity. Using high-throughput micropattern experiments, we detect which of these phenomenological contact-interactions captures the interaction behaviors of cells. We find that various cell types - ranging from mesenchymal to epithelial cells - are accurately captured by a single model with only two interaction mechanisms: polarity-protrusion coupling and polarity-polarity coupling. The qualitatively different interaction behaviors of distinct cells, as well as cells subject to molecular perturbations of surface protein-mediated signaling, can all be quantitatively captured by varying the strength and sign of the polarity-polarity coupling mechanism. Altogether, our data-driven phenomenological theory of cell-cell interactions reveals polarity-polarity coupling as a versatile and general contact-interaction mechanism, which may underlie diverse collective migration behavior of motile cells.

The probabilities for gamma-ray and particle emission as a function of the excitation energy of a decaying nucleus are valuable observables for constraining the ingredients of the models that describe the de-excitation of nuclei near the particle emission threshold. These models are essential in nuclear astrophysics and applications. In this work, we have for the first time simultaneously measured the gamma-ray and neutron emission probabilities of 208Pb. The measurement was performed in inverse kinematics at the Experimental Storage Ring (ESR) of the GSI/FAIR facility, where a 208Pb beam interacted through the 208Pb(p,p') reaction with a hydrogen gas jet target. Instead of detecting the gamma-rays and neutrons emitted by 208Pb, we detected the heavy beam-like residues produced after gamma and neutron emission. These heavy residues were fully separated by a dipole magnet of the ESR and were detected with outstanding efficiencies. The comparison of the measured probabilities with model calculations has allowed us to test and select different descriptions of the gamma-ray strength function and the nuclear level density available in the literature., Comment: 23 pages, 14 figures

Neutron-induced reaction cross sections of short-lived nuclei are imperative to understand the origin of heavy elements in stellar nucleosynthesis and for societal applications, but their measurement is extremely complicated due to the radioactivity of the targets involved. One way of overcoming this issue is to combine surrogate reactions with the unique possibilities offered by heavy-ion storage rings. In this work, we describe the first surrogate-reaction experiment in inverse kinematics, which we successfully conducted at the Experimental Storage Ring (ESR) of the GSI/FAIR facility, using the 208Pb(p,p') reaction as a surrogate for neutron capture on 207Pb. Thanks to the outstanding detection efficiencies possible at the ESR, we were able to measure for the first time the neutron-emission probability as a function of the excitation energy of 208Pb. We have used this probability to select different descriptions of the gamma-ray strength function and nuclear level density, and provide reliable results for the neutron-induced radiative capture cross section of 207Pb at energies for which no experimental data exist., Comment: 10 pages and 5 figures

A key feature of many developmental systems is their ability to self-organize spatial patterns of functionally distinct cell fates. To ensure proper biological function, such patterns must be established reproducibly, by controlling and even harnessing intrinsic and extrinsic fluctuations. While the relevant molecular processes are increasingly well understood, we lack a principled framework to quantify the performance of such stochastic self-organizing systems. To that end, we introduce a new information-theoretic measure for self-organized fate specification during embryonic development. We show that the proposed measure assesses the total information content of fate patterns, and decomposes it into interpretable contributions corresponding to the positional and correlational information. By optimizing the proposed measure, our framework provides a normative theory for developmental circuits, which we demonstrate on lateral inhibition, cell type proportioning, and reaction-diffusion models of self-organization. This paves a way towards a classification of developmental systems based on a common information-theoretic language, thereby organizing the zoo of implicated chemical and mechanical signaling processes.

Integrating different functionalities, conventionally implemented as dedicated systems, into a single platform allows utilising the available resources more efficiently. We consider an integrated sensing and power transfer (ISAPT) system and propose the joint optimisation of the rectangular pulse-shaped transmit signal and the beamforming vector to combine sensing and wireless power transfer (WPT) functionalities efficiently. In contrast to prior works, we adopt an accurate non-linear circuit-based energy harvesting (EH) model. We formulate and solve a non-convex optimisation problem for a general number of EH receivers to maximise a weighted sum of the average harvested powers at the EH receivers while ensuring the received echo signal reflected by a sensing target (ST) has sufficient power for estimating the range to the ST with a prescribed accuracy within the considered coverage region. The average harvested power is shown to monotonically increase with the pulse duration when the average transmit power budget is sufficiently large. We discuss the trade-off between sensing performance and power transfer for the considered ISAPT system. The proposed approach significantly outperforms a heuristic baseline scheme based on a linear EH model, which linearly combines energy beamforming with the beamsteering vector in the direction to the ST as its transmit strategy., Comment: 7 pages, 2 figures, six page version of this paper has been submitted to IEEE ICC 2024

Experiments at synchrotron radiation sources and X-ray Free-Electron Lasers in the soft X-ray energy range ($250$eV--$2$keV) stand to benefit from the adaptation of the hybrid silicon detector technology for low energy photons. Inverse Low Gain Avalanche Diode (iLGAD) sensors provide an internal gain, enhancing the signal-to-noise ratio and allowing single photon detection below $1$keV using hybrid detectors. In addition, an optimization of the entrance window of these sensors enhances their quantum efficiency (QE). In this work, the QE and the gain of a batch of different iLGAD diodes with optimized entrance windows were characterized using soft X-rays at the Surface/Interface:Microscopy beamline of the Swiss Light Source synchrotron. Above $250$eV, the QE is larger than $55\%$ for all sensor variations, while the charge collection efficiency is close to $100\%$. The average gain depends on the gain layer design of the iLGADs and increases with photon energy. A fitting procedure is introduced to extract the multiplication factor as a function of the absorption depth of X-ray photons inside the sensors. In particular, the multiplication factors for electron- and hole-triggered avalanches are estimated, corresponding to photon absorption beyond or before the gain layer, respectively., Comment: 16 pages, 8 figures

Agents often exert influence when interacting with humans and non-human agents. However, the ethical status of such influence is often unclear. In this paper, we present the SHAPE framework, which lists reasons why influence may be unethical. We draw on literature from descriptive and moral philosophy and connect it to machine learning to help guide ethical considerations when developing algorithms with potential influence. Lastly, we explore mechanisms for governing algorithmic systems that influence people, inspired by mechanisms used in journalism, human subject research, and advertising., Comment: An earlier version of this paper was accepted at EUMAS 2023

Single and collective cell migration are fundamental processes critical for physiological phenomena ranging from embryonic development and immune response to wound healing and cancer metastasis. To understand cell migration from a physical perspective, a broad variety of models for the underlying physical mechanisms that govern cell motility have been developed. A key challenge in the development of such models is how to connect them to experimental observations, which often exhibit complex stochastic behaviours. In this review, we discuss recent advances in data-driven theoretical approaches that directly connect with experimental data to infer dynamical models of stochastic cell migration. Leveraging advances in nanofabrication, image analysis, and tracking technology, experimental studies now provide unprecedented large datasets on cellular dynamics. In parallel, theoretical efforts have been directed towards integrating such datasets into physical models from the single cell to the tissue scale with the aim of conceptualizing the emergent behaviour of cells. We first review how this inference problem has been addressed in both freely migrating and confined cells. Next, we discuss why these dynamics typically take the form of underdamped stochastic equations of motion, and how such equations can be inferred from data. We then review applications of data-driven inference and machine learning approaches to heterogeneity in cell behaviour, subcellular degrees of freedom, and to the collective dynamics of multicellular systems. Across these applications, we emphasize how data-driven methods can be integrated with physical active matter models of migrating cells, and help reveal how underlying molecular mechanisms control cell behaviour.