Search

We study random interpolating sequences with prescribed radii in the Nevanlinna and Smirnov classes. As it turns out these are characterized by the Blaschke condition. This follows from a more general result. Indeed, we show that this characterization is true in so-called big Hardy-Orlicz spaces. It is noteworthy to mention that conditions for deterministic interpolation in these spaces are given by harmonic majorants, the existence of which is difficult to check in general.

We consider a natural eigenvalue problem for the vector Laplacian related to stationary Maxwell's equations in a cavity and we prove that an analog of the celebrated Faber-Krahn inequality doesn't hold., Comment: references added; 9 pages, 2 figures

Nano-sized unmanned aerial vehicles (UAVs) are ideal candidates for flying Internet-of-Things smart sensors to collect information in narrow spaces. This requires ultra-fast navigation under very tight memory/computation constraints. The PULP-Dronet convolutional neural network (CNN) enables autonomous navigation running aboard a nano-UAV at 19 frame/s, at the cost of a large memory footprint of 320 kB -- and with drone control in complex scenarios hindered by the disjoint training of collision avoidance and steering capabilities. In this work, we distill a novel family of CNNs with better capabilities than PULP-Dronet, but memory footprint reduced by up to 168x (down to 2.9 kB), achieving an inference rate of up to 139 frame/s; we collect a new open-source unified collision/steering 66 k images dataset for more robust navigation; and we perform a thorough in-field analysis of both PULP-Dronet and our tiny CNNs running on a commercially available nano-UAV. Our tiniest CNN, called Tiny-PULP-Dronet v3, navigates with a 100% success rate a challenging and never-seen-before path, composed of a narrow obstacle-populated corridor and a 180{\deg} turn, at a maximum target speed of 0.5 m/s. In the same scenario, the SoA PULP-Dronet consistently fails despite having 168x more parameters., Comment: 13 pages, 6 figures, 7 tables, accepted for publication at IEEE Internet of Things Journal, July 2024

Social networks are creating a digital world in which the cognitive, emotional, and pragmatic value of the imagery of human faces and bodies is arguably changing. However, researchers in the digital humanities are often ill-equipped to study these phenomena at scale. This work presents FRESCO (Face Representation in E-Societies through Computational Observation), a framework designed to explore the socio-cultural implications of images on social media platforms at scale. FRESCO deconstructs images into numerical and categorical variables using state-of-the-art computer vision techniques, aligning with the principles of visual semiotics. The framework analyzes images across three levels: the plastic level, encompassing fundamental visual features like lines and colors; the figurative level, representing specific entities or concepts; and the enunciation level, which focuses particularly on constructing the point of view of the spectator and observer. These levels are analyzed to discern deeper narrative layers within the imagery. Experimental validation confirms the reliability and utility of FRESCO, and we assess its consistency and precision across two public datasets. Subsequently, we introduce the FRESCO score, a metric derived from the framework's output that serves as a reliable measure of similarity in image content.

Pocket-sized autonomous nano-drones can revolutionize many robotic use cases, such as visual inspection in narrow, constrained spaces, and ensure safer human-robot interaction due to their tiny form factor and weight -- i.e., tens of grams. This compelling vision is challenged by the high level of intelligence needed aboard, which clashes against the limited computational and storage resources available on PULP (parallel-ultra-low-power) MCU class navigation and mission controllers that can be hosted aboard. This work moves from PULP-Dronet, a State-of-the-Art convolutional neural network for autonomous navigation on nano-drones. We introduce Tiny-PULP-Dronet: a novel methodology to squeeze by more than one order of magnitude model size (50x fewer parameters), and number of operations (27x less multiply-and-accumulate) required to run inference with similar flight performance as PULP-Dronet. This massive reduction paves the way towards affordable multi-tasking on nano-drones, a fundamental requirement for achieving high-level intelligence., Comment: 3 Figures, 1 table. Accepted for publication at IEEE Artificial Intelligence Circuits and Systems (AICAS), 2022

We study sub and supersolutions for the $p$-Laplace type elliptic equation of the form $$-\Delta_p u-V|u|^{p-2}u=0\quad\text{in $\Omega$},$$ where $\Omega$ is a radially symmetric domain in ${\mathbb{R}}^N$ and $V(x)\ge 0$ is a continuous potential such that the solutions of the equation satisfy the comparison principle on bounded subdomains of $\Omega$. In this work we establish a superposition principle and then use it to develop a version of a Phragm\'{e}n-Lindel\"{o}f comparison principle in the case $p\ge 2$. Moreover, by applying this principle to the case of Hardy-type potentials we recover and improve a number of known lower and upper estimates for sub and supersolutions.

We give a capacitary type characterization of Carleson measures for a class of Hardy-Sobolev spaces (also known as weighted Dirichlet spaces) on the Siegel upper half-space, introduced by Arcozzi et al. This answers in part a question raised by the same authors.

Deep neural networks are increasingly used in a wide range of technologies and services, but remain highly susceptible to out-of-distribution (OOD) samples, that is, drawn from a different distribution than the original training set. A common approach to address this issue is to endow deep neural networks with the ability to detect OOD samples. Several benchmarks have been proposed to design and validate OOD detection techniques. However, many of them are based on far-OOD samples drawn from very different distributions, and thus lack the complexity needed to capture the nuances of real-world scenarios. In this work, we introduce a comprehensive benchmark for OOD detection, based on ImageNet and Places365, that assigns individual classes as in-distribution or out-of-distribution depending on the semantic similarity with the training set. Several techniques can be used to determine which classes should be considered in-distribution, yielding benchmarks with varying properties. Experimental results on different OOD detection techniques show how their measured efficacy depends on the selected benchmark and how confidence-based techniques may outperform classifier-based ones on near-OOD samples.

We establish regularity results for almost-minimizers of a class of variational problems involving both bulk and interface energies. The bulk energy is of Dirichlet type. The surface energy exhibits anisotropic behaviour and is defined by means of an ellipsoidal density that is H\"older continuous with respect to the position variable.

Generative techniques for image anonymization have great potential to generate datasets that protect the privacy of those depicted in the images, while achieving high data fidelity and utility. Existing methods have focused extensively on preserving facial attributes, but failed to embrace a more comprehensive perspective that considers the scene and background into the anonymization process. This paper presents, to the best of our knowledge, the first approach to image anonymization based on Latent Diffusion Models (LDMs). Every element of a scene is maintained to convey the same meaning, yet manipulated in a way that makes re-identification difficult. We propose two LDMs for this purpose: CAMOUFLaGE-Base exploits a combination of pre-trained ControlNets, and a new controlling mechanism designed to increase the distance between the real and anonymized images. CAMOFULaGE-Light is based on the Adapter technique, coupled with an encoding designed to efficiently represent the attributes of different persons in a scene. The former solution achieves superior performance on most metrics and benchmarks, while the latter cuts the inference time in half at the cost of fine-tuning a lightweight module. We show through extensive experimental comparison that the proposed method is competitive with the state-of-the-art concerning identity obfuscation whilst better preserving the original content of the image and tackling unresolved challenges that current solutions fail to address.

A critical challenge in deploying unmanned aerial vehicles (UAVs) for autonomous tasks is their ability to navigate in an unknown environment. This paper introduces a novel vision-depth fusion approach for autonomous navigation on nano-UAVs. We combine the visual-based PULP-Dronet convolutional neural network for semantic information extraction, i.e., serving as the global perception, with 8x8px depth maps for close-proximity maneuvers, i.e., the local perception. When tested in-field, our integration strategy highlights the complementary strengths of both visual and depth sensory information. We achieve a 100% success rate over 15 flights in a complex navigation scenario, encompassing straight pathways, static obstacle avoidance, and 90{\deg} turns., Comment: 5 pages, 2 figures, 1 table, 1 video

We study the Kolmogorov 0-1 law for a random sequence with prescribed radii so that it generates a Carleson measure almost surely, both for the Hardy space on the polydisc and the Hardy space on the unit ball, thus providing improved versions of previous results of the first two authors and of a separate result of Massaneda. In the polydisc, the geometry of such sequences is not well understood, so we proceed by studying the random Gramians generated by random sequences, using tools from the theory of random matrices. Another result we prove, and that is of its own relevance, is the 0-1 law for a random sequence to be partitioned into M separated sequences with respect to the pseudo-hyperbolic distance, which is used also to describe the random sequences that are interpolating for the Bloch space on the unit disc almost surely.

The LiFr diatomic represents a promising candidate for indirect laser cooling that has not yet been investigated not theoretically or experimentally. The potential energy curves of the ground and low_lying excited states of the LiFr heteronuclear alkali metal dimer are calculated using the Fock_space relativistic coupled cluster theory for the first time. A number of properties such as the electronic term energies, equilibrium internuclear distances, transition and permanent dipole moments, sequences of vibrational energies, harmonic vibrational frequencies, Franck_Condon factors, and radiative lifetimes (including bound and free transitions) are predicted. The probabilities of the two_step schemes (optical cycles) for the transfer process of the LiFr molecules from high excited vibrational states to the ground vibronic state are also predicted. The data obtained would be useful for laser cooling and spectral experiments with LiFr molecules., Comment: 10 pages, 11 figures

This work presents a multi-sensory anti-collision system design to achieve robust autonomous exploration capabilities for a swarm of 10 cm-side nano-drones operating on object detection missions. We combine lightweight single-beam laser ranging to avoid proximity collisions with a long-range vision-based obstacle avoidance deep learning model (i.e., PULP-Dronet) and an ultra-wide-band (UWB) based ranging module to prevent intra-swarm collisions. An in-field study shows that our multisensory approach can prevent collisions with static obstacles, improving the mission success rate from 20% to 80% in cluttered environments w.r.t. a State-of-the-Art (SoA) baseline. At the same time, the UWB-based sub-system shows a 92.8% success rate in preventing collisions between drones of a four-agent fleet within a safety distance of 65 cm. On a SoA robotic platform extended by a GAP8 multi-core processor, the PULP-Dronet runs interleaved with an objected detection task, which constraints its execution at 1.6 frame/s. This throughput is sufficient for avoiding obstacles with a probability of about 40% but shows a need for more capable processors for the next-generation nano-drone swarms.

Autonomous drone racing competitions are a proxy to improve unmanned aerial vehicles' perception, planning, and control skills. The recent emergence of autonomous nano-sized drone racing imposes new challenges, as their ~10cm form factor heavily restricts the resources available onboard, including memory, computation, and sensors. This paper describes the methodology and technical implementation of the system winning the first autonomous nano-drone racing international competition: the IMAV 2022 Nanocopter AI Challenge. We developed a fully onboard deep learning approach for visual navigation trained only on simulation images to achieve this goal. Our approach includes a convolutional neural network for obstacle avoidance, a sim-to-real dataset collection procedure, and a navigation policy that we selected, characterized, and adapted through simulation and actual in-field experiments. Our system ranked 1st among seven competing teams at the competition. In our best attempt, we scored 115m of traveled distance in the allotted 5-minute flight, never crashing while dodging static and dynamic obstacles. Sharing our knowledge with the research community, we aim to provide a solid groundwork to foster future development in this field., Comment: 8 pages, 10 Figures, 3 Tables, This paper has been accepted for publication in the IEEE Robotics and Automation Letters (RAL). Copyright 2023 IEEE

We investigate bounds in the transmission of classical information through quantum systems. Our focus lies in the generalized Holevo theorem, which provides a single-letter Holevo-like inequality from arbitrary quantum distance measures. Through the introduction of the $\alpha$-$z$-R\'enyi relative entropies, which comprise known relevant quantities such as the R\'enyi relative entropy and the sandwiched R\'enyi relative entropy, we establish the Holevo-R\'enyi inequality. This result leads to a quantum bound for the $\alpha$-mutual information, suggesting new insights into communication channel performance and the fundamental limits for reliability functions in memoryless multi-letter communication channels.

Neuro-symbolic integration aims at harnessing the power of symbolic knowledge representation combined with the learning capabilities of deep neural networks. In particular, Logic Tensor Networks (LTNs) allow to incorporate background knowledge in the form of logical axioms by grounding a first order logic language as differentiable operations between real tensors. Yet, few studies have investigated the potential benefits of this approach to improve zero-shot learning (ZSL) classification. In this study, we present the Fuzzy Logic Visual Network (FLVN) that formulates the task of learning a visual-semantic embedding space within a neuro-symbolic LTN framework. FLVN incorporates prior knowledge in the form of class hierarchies (classes and macro-classes) along with robust high-level inductive biases. The latter allow, for instance, to handle exceptions in class-level attributes, and to enforce similarity between images of the same class, preventing premature overfitting to seen classes and improving overall performance. FLVN reaches state of the art performance on the Generalized ZSL (GZSL) benchmarks AWA2 and CUB, improving by 1.3% and 3%, respectively. Overall, it achieves competitive performance to recent ZSL methods with less computational overhead. FLVN is available at https://gitlab.com/grains2/flvn., Comment: Accepted for publication at ICIAP 2023

The Jensen-Shannon divergence has been successfully applied as a segmentation tool for symbolic sequences, that is to separate the sequence into subsequences with the same symbolic content. In this work, we propose a method, based on the the Jensen-Shannon divergence, for segmentation of what we call \textit{quantum generated sequences}, which consist in symbolic sequences generated from measuring a quantum system. For one-qubit and two-qubit systems, we show that the proposed method is adequate for segmentation.

We analyze two ways to obtain distinguishability measures between quantum maps by employing the square root of the quantum Jensen-Shannon divergence, which forms a true distance in the space of density operators. The arising measures are the transmission distance between quantum channels and the entropic channel divergence. We investigate their mathematical properties and discuss their physical meaning. Additionally, we establish a chain rule for the entropic channel divergence, which implies the amortization collapse, a relevant result with potential applications in the field of discrimination of quantum channels and converse bounds. Finally, we analyze the distinguishability between two given Pauli channels and study exemplary Hamiltonian dynamics under decoherence.

Instance-level object re-identification is a fundamental computer vision task, with applications from image retrieval to intelligent monitoring and fraud detection. In this work, we propose the novel task of damaged object re-identification, which aims at distinguishing changes in visual appearance due to deformations or missing parts from subtle intra-class variations. To explore this task, we leverage the power of computer-generated imagery to create, in a semi-automatic fashion, high-quality synthetic images of the same bike before and after a damage occurs. The resulting dataset, Bent & Broken Bicycles (BBBicycles), contains 39,200 images and 2,800 unique bike instances spanning 20 different bike models. As a baseline for this task, we propose TransReI3D, a multi-task, transformer-based deep network unifying damage detection (framed as a multi-label classification task) with object re-identification. The BBBicycles dataset is available at https://huggingface.co/datasets/GrainsPolito/BBBicycles

We consider the problem of designing agents able to compute optimal decisions by composing data from multiple sources to tackle tasks involving: (i) tracking a desired behavior while minimizing an agent-specific cost; (ii) satisfying safety constraints. After formulating the control problem, we show that this is convex under a suitable assumption and find the optimal solution. The effectiveness of the results, which are turned in an algorithm, is illustrated on a connected cars application via in-silico and in-vivo experiments with real vehicles and drivers. All the experiments confirm our theoretical predictions and the deployment of the algorithm on a real vehicle shows its suitability for in-car operation.

We consider Campanato spaces with exponents $\lambda , p$ on domains of class $C^{0,\gamma}$ in the N-dimensional Euclidean space endowed with a natural anisotropic metric depending on $\gamma$. We discuss several results including the appropriate Campanato's embedding theorem and we prove that functions of those spaces can be extended to the whole of the Euclidean space without deterioration of the exponents $\lambda, p$.

Nano-sized drones, with palm-sized form factor, are gaining relevance in the Internet-of-Things ecosystem. Achieving a high degree of autonomy for complex multi-objective missions (e.g., safe flight, exploration, object detection) is extremely challenging for the onboard chip-set due to tight size, payload (<10g), and power envelope constraints, which strictly limit both memory and computation. Our work addresses this complex problem by combining bio-inspired navigation policies, which rely on time-of-flight distance sensor data, with a vision-based convolutional neural network (CNN) for object detection. Our field-proven nano-drone is equipped with two microcontroller units (MCUs), a single-core ARM Cortex-M4 (STM32) for safe navigation and exploration policies, and a parallel ultra-low power octa-core RISC-V (GAP8) for onboard CNN inference, with a power envelope of just 134mW, including image sensors and external memories. The object detection task achieves a mean average precision of 50% (at 1.6 frame/s) on an in-field collected dataset. We compare four bio-inspired exploration policies and identify a pseudo-random policy to achieve the highest coverage area of 83% in a ~36m^2 unknown room in a 3 minutes flight. By combining the detection CNN and the exploration policy, we show an average detection rate of 90% on six target objects in a never-seen-before environment., Comment: 6 pages, 6 figures, 4 tables, conference: DATE: Design, Automation, and Test in Europe (2023)

Neural Architecture Search (NAS) is quickly becoming the go-to approach to optimize the structure of Deep Learning (DL) models for complex tasks such as Image Classification or Object Detection. However, many other relevant applications of DL, especially at the edge, are based on time-series processing and require models with unique features, for which NAS is less explored. This work focuses in particular on Temporal Convolutional Networks (TCNs), a convolutional model for time-series processing that has recently emerged as a promising alternative to more complex recurrent architectures. We propose the first NAS tool that explicitly targets the optimization of the most peculiar architectural parameters of TCNs, namely dilation, receptive-field and number of features in each layer. The proposed approach searches for networks that offer good trade-offs between accuracy and number of parameters/operations, enabling an efficient deployment on embedded platforms. We test the proposed NAS on four real-world, edge-relevant tasks, involving audio and bio-signals. Results show that, starting from a single seed network, our method is capable of obtaining a rich collection of Pareto optimal architectures, among which we obtain models with the same accuracy as the seed, and 15.9-152x fewer parameters. Compared to three state-of-the-art NAS tools, ProxylessNAS, MorphNet and FBNetV2, our method explores a larger search space for TCNs (up to 10^12x) and obtains superior solutions, while requiring low GPU memory and search time. We deploy our NAS outputs on two distinct edge devices, the multicore GreenWaves Technology GAP8 IoT processor and the single-core STMicroelectronics STM32H7 microcontroller. With respect to the state-of-the-art hand-tuned models, we reduce latency and energy of up to 5.5x and 3.8x on the two targets respectively, without any accuracy loss., Comment: Accepted for publication at the IEEE Transactions on Computers

Divergences or similarity measures between probability distributions have become a very useful tool for studying different aspects of statistical objects such as time series, networks and images. Notably not every divergence provides identical results when applied to the same problem. Therefore it is convenient to have the widest possible set of divergences to be applied to the problems under study. Besides this choice an essential step in the analysis of every statistical object is the mapping of each one of their representing values into an alphabet of symbols conveniently chosen. In this work we attack both problems, that is, the choice of a family of divergences and the way to do the map into a symbolic sequence. For advancing in the first task we work with the family of divergences known as the Burbea-Rao centroids (BRC) and for the second one we proceed by mapping the original object into a symbolic sequence through the use of ordinal patterns. Finally we apply our proposals to analyse simulated and real time series and to real textured images. The main conclusion of our work is that the best BRC, at least in the studied cases, is the Jensen Shannon divergence, besides the fact that it verifies some interesting formal properties., Comment: 11 pages, 4 figures

Working with SEM and crosssectional data, and depending on the studied phenomenon, assuming an acyclic model may mean that we obtain only a partial view of the mechanisms that explain causal relationships between a set of theoretical constructs, treated as antecedents and consequences. Our twogiven that variables are step approach allows researchers to identify and measure cyclic effects when working with cross algorithm. Using the resources and appropriation tsectional data and a PLS modelling heory and the sequential model of internet appropriation, w e demonstrate the importance of considering cyclic effects. Our results show that opportunities for physical access followed by digital skills acquisition enhance internet usage (acyclic effects), but also that internet usage intensity, in reverse, reinforces both digital skills and physical access (cyclic effects), supporting Norris (2001) social stratification hypothesis regarding future evolution of the digital divide.

We study a class of variational problems involving both bulk and interface energies. The bulk energy is of Dirichlet type albeit of very general form allowing the dependence from the unknown variable $u$ and the position $x$. We employ the regularity theory of $\Lambda$-minimizers to study the regularity of the free interface. The hallmark of the paper is the mild regularity assumption concerning the dependence of the coefficients with respect to $x$ and $u$ that is of H\"{o}lder type.

Having the Fifth Generation (5G) mobile communication system recently rolled out in many countries, the wireless community is now setting its eyes on the next era of Sixth Generation (6G). Inheriting from 5G its focus on industrial use cases, 6G is envisaged to become the infrastructural backbone of future intelligent industry. Especially, a combination of 6G and the emerging technologies of Digital Twins (DT) will give impetus to the next evolution of Industry 4.0 (I4.0) systems. This article provides a survey in the research area of 6G-empowered industrial DT system. With a novel vision of 6G industrial DT ecosystem, this survey discusses the ambitions and potential applications of industrial DT in the 6G era, identifying the emerging challenges as well as the key enabling technologies. The introduced ecosystem is supposed to bridge the gaps between humans, machines, and the data infrastructure, and therewith enable numerous novel application scenarios., Comment: Accepted for publication in IEEE Open Journal of Vehicular Technology

Shape metrics for objects in high dimensions remain sparse. Those that do exist, such as hyper-volume, remain limited to objects that are better understood such as Platonic solids and $n$-Cubes. Further, understanding objects of ill-defined shapes in higher dimensions is ambiguous at best. Past work does not provide a single number to give a qualitative understanding of an object. For example, the eigenvalues from principal component analysis results in $n$ metrics to describe the shape of an object. Therefore, we need a single number which can discriminate objects with different shape from one another. Previous work has developed shape metrics for specific dimensions such as two or three dimensions. However, there is an opportunity to develop metrics for any desired dimension. To that end, we present two new shape metrics for objects in a given number of dimensions: hyper-Sphericity and hyper-Shape Proportion (SP). We explore the proprieties of these metrics on a number of different shapes including $n$-balls. We then connect these metrics to applications of analyzing the shape of multidimensional data such as the popular Iris dataset.

We study the energy of a ferromagnetic/antiferromagnetic frustrated spin system with values on two disjoint circumferences of the 3-dimensional unit sphere in a one-dimensional and two-dimensional domain. It consists on the sum of a term that depends on the nearest and next-to-nearest interactions and a penalizing term that counts the spin's magnetic anisotropy transitions. We analyze the asymptotic behaviour of the energy, that is when the system is close to the helimagnet/ferromagnet transition point as the number of particles diverges. In the one-dimensional setting we compute the $\Gamma$-limit of renormalizations of the energy at first and second order. As a result, it is shown how much energy the system spends for any magnetic anistropy transition and chirality transition. In the two-dimensional setting, by computing the $\Gamma$-limit of the renormalization of the energy at second order, we we prove the emergence and study the geometric rigidity of chirality transitions.

Semantic image interpretation can vastly benefit from approaches that combine sub-symbolic distributed representation learning with the capability to reason at a higher level of abstraction. Logic Tensor Networks (LTNs) are a class of neuro-symbolic systems based on a differentiable, first-order logic grounded into a deep neural network. LTNs replace the classical concept of training set with a knowledge base of fuzzy logical axioms. By defining a set of differentiable operators to approximate the role of connectives, predicates, functions and quantifiers, a loss function is automatically specified so that LTNs can learn to satisfy the knowledge base. We focus here on the subsumption or \texttt{isOfClass} predicate, which is fundamental to encode most semantic image interpretation tasks. Unlike conventional LTNs, which rely on a separate predicate for each class (e.g., dog, cat), each with its own set of learnable weights, we propose a common \texttt{isOfClass} predicate, whose level of truth is a function of the distance between an object embedding and the corresponding class prototype. The PROTOtypical Logic Tensor Networks (PROTO-LTN) extend the current formulation by grounding abstract concepts as parametrized class prototypes in a high-dimensional embedding space, while reducing the number of parameters required to ground the knowledge base. We show how this architecture can be effectively trained in the few and zero-shot learning scenarios. Experiments on Generalized Zero Shot Learning benchmarks validate the proposed implementation as a competitive alternative to traditional embedding-based approaches. The proposed formulation opens up new opportunities in zero shot learning settings, as the LTN formalism allows to integrate background knowledge in the form of logical axioms to compensate for the lack of labelled examples.

After presenting various concepts and results concerning the classical Steklov eigenproblem, we focus on analogous problems for time-harmonic Maxwell's equations in a cavity. In this direction, we discuss recent rigorous results concerning natural Steklov boundary value problems for the curlcurl operator. Moreover, we explicitly compute eigenvalues and eigenfunctions in the unit ball of the three-dimensional Euclidean space by using classical vector spherical harmonics.

The computational demands of neural architecture search (NAS) algorithms are usually directly proportional to the size of their target search spaces. Thus, limiting the search to high-quality subsets can greatly reduce the computational load of NAS algorithms. In this paper, we present Clustering-Based REDuction (C-BRED), a new technique to reduce the size of NAS search spaces. C-BRED reduces a NAS space by clustering the computational graphs associated with its architectures and selecting the most promising cluster using proxy statistics correlated with network accuracy. When considering the NAS-Bench-201 (NB201) data set and the CIFAR-100 task, C-BRED selects a subset with 70% average accuracy instead of the whole space's 64% average accuracy.

Temporal Convolutional Networks (TCNs) are promising Deep Learning models for time-series processing tasks. One key feature of TCNs is time-dilated convolution, whose optimization requires extensive experimentation. We propose an automatic dilation optimizer, which tackles the problem as a weight pruning on the time-axis, and learns dilation factors together with weights, in a single training. Our method reduces the model size and inference latency on a real SoC hardware target by up to 7.4x and 3x, respectively with no accuracy drop compared to a network without dilation. It also yields a rich set of Pareto-optimal TCNs starting from a single model, outperforming hand-designed solutions in both size and accuracy.

We prove spectral stability results for the $curl curl$ operator subject to electric boundary conditions on a cavity upon boundary perturbations. The cavities are assumed to be sufficiently smooth but we impose weak restrictions on the strength of the perturbations. The methods are of variational type and are based on two main ingredients: the construction of suitable Piola-type transformations between domains and the proof of uniform Gaffney inequalities obtained by means of uniform a priori $H^2$-estimates for the Poisson problem of the Dirichlet Laplacian. The uniform a priori estimates are proved by using the results of V. Maz'ya and T. Shaposhnikova based on Sobolev multipliers. Connections to boundary homogenization problems are also indicated., Comment: To appear in the journal Mathematics in Engineering

White Blood Cell (WBC) Leukaemia is detected through image-based classification. Convolutional Neural Networks are used to learn the features needed to classify images of cells a malignant or healthy. However, this type of model requires learning a large number of parameters and is difficult to interpret and explain. Explainable AI (XAI) attempts to alleviate this issue by providing insights to how models make decisions. Therefore, we present an XAI model which uses only 24 explainable and interpretable features and is highly competitive to other approaches by outperforming them by about 4.38\%. Further, our approach provides insight into which variables are the most important for the classification of the cells. This insight provides evidence that when labs treat the WBCs differently, the importance of various metrics changes substantially. Understanding the important features for classification is vital in medical imaging diagnosis and, by extension, understanding the AI models built in scientific pursuits.

Traditional machine learning (ML) algorithms, such as multiple regression, require human analysts to make decisions on how to treat the data. These decisions can make the model building process subjective and difficult to replicate for those who did not build the model. Deep learning approaches benefit by allowing the model to learn what features are important once the human analyst builds the architecture. Thus, a method for automating certain human decisions for traditional ML modeling would help to improve the reproducibility and remove subjective aspects of the model building process. To that end, we propose to use shape metrics to describe 2D data to help make analyses more explainable and interpretable. The proposed approach provides a foundation to help automate various aspects of model building in an interpretable and explainable fashion. This is particularly important in applications in the medical community where the `right to explainability' is crucial. We provide various simulated data sets ranging from probability distributions, functions, and model quality control checks (such as QQ-Plots and residual analyses from ordinary least squares) to showcase the breadth of this approach.

We study the regularity of the interface for optimal energy configurations of functionals involving bulk energies with an additional perimeter penalization of the interface. It is allowed the dependence on $(x,u)$ for the bulk energy. For a minimal configuration $(E,u)$, the H\"{o}lder continuity of $u$ is well known. We give an estimate for the singular set of the boundary $\partial E$. Namely we show that the Hausdorff dimension of the singular set is strictly smaller than $n-1$.

Nanoelectromechanical resonators have been successfully used for a variety of sensing applications. Their extreme resolution comes from their small size at the cost of low capture area, making the "needle in a haystack" issue acute. This leads to poor instrument sensitivity and long analysis time. Moreover, electrical transductions are limited in frequency, which limits the achievable mechanical bandwidth again limiting throughput. Multiplexing a large number of high-frequency resonators appears as a solution, but this is complex with electrical transductions. We propose here a route to solve these issues, with a multiplexing scheme for very high frequency optomechanical resonators. We demonstrate the simultaneous frequency measurement of three silicon microdisks resonators fabricated through a Very Large Scale Integration process. The readout architecture is simple and does not degrade the sensing resolutions. This paves the way towards the realization of sensors for multi-parametric analysis, extremely low limit of detection and response time.

The detection of semantic relationships between objects represented in an image is one of the fundamental challenges in image interpretation. Neural-Symbolic techniques, such as Logic Tensor Networks (LTNs), allow the combination of semantic knowledge representation and reasoning with the ability to efficiently learn from examples typical of neural networks. We here propose Faster-LTN, an object detector composed of a convolutional backbone and an LTN. To the best of our knowledge, this is the first attempt to combine both frameworks in an end-to-end training setting. This architecture is trained by optimizing a grounded theory which combines labelled examples with prior knowledge, in the form of logical axioms. Experimental comparisons show competitive performance with respect to the traditional Faster R-CNN architecture., Comment: accepted for presentation at ICANN 2021

In this work we study the impact of noise on the training of object detection networks for the medical domain, and how it can be mitigated by improving the training procedure. Annotating large medical datasets for training data-hungry deep learning models is expensive and time consuming. Leveraging information that is already collected in clinical practice, in the form of text reports, bookmarks or lesion measurements would substantially reduce this cost. Obtaining precise lesion bounding boxes through automatic mining procedures, however, is difficult. We provide here a quantitative evaluation of the effect of bounding box coordinate noise on the performance of Faster R-CNN object detection networks for breast mass detection. Varying degrees of noise are simulated by randomly modifying the bounding boxes: in our experiments, bounding boxes could be enlarged up to six times the original size. The noise is injected in the CBIS-DDSM collection, a well curated public mammography dataset for which accurate lesion location is available. We show how, due to an imperfect matching between the ground truth and the network bounding box proposals, the noise is propagated during training and reduces the ability of the network to correctly classify lesions from background. When using the standard Intersection over Union criterion, the area under the FROC curve decreases by up to 9%. A novel matching criterion is proposed to improve tolerance to noise.

This paper demonstrates a system comprised of infrared beacons and a camera equipped with an optical band-pass filter. Our system can reliably detect and identify individual beacons at 100m distance regardless of lighting conditions. We describe the camera and beacon design as well as the image processing pipeline in detail. In our experiments, we investigate and demonstrate the ability of the system to recognize our beacons in both daytime and nighttime conditions. High precision localization is a key enabler for automated vehicles but remains unsolved, despite strong recent improvements. Our low-cost, infrastructure-based approach is a potential step towards solving the localization problem. All datasets are made available here https://embedded.rwth-aachen.de/doku.php?id=forschung:mobility:infralocalization:concept., Comment: Accepted at IEEE Intelligent Vehicle 2022

Effective communication is a crucial skill for healthcare providers since it leads to better patient health, satisfaction and avoids malpractice claims. In standard medical education, students' communication skills are trained with role-playing and Standardized Patients (SPs), i.e., actors. However, SPs are difficult to standardize, and are very resource consuming. Virtual Patients (VPs) are interactive computer-based systems that represent a valuable alternative to SPs. VPs are capable of portraying patients in realistic clinical scenarios and engage learners in realistic conversations. Approaching medical communication skill training with VPs has been an active research area in the last ten years. As a result, the number of works in this field has grown significantly. The objective of this work is to survey the recent literature, assessing the state of the art of this technology with a specific focus on the instructional and technical design of VP simulations. After having classified and analysed the VPs selected for our research, we identified several areas that require further investigation, and we drafted practical recommendations for VP developers on design aspects that, based on our findings, are pivotal to create novel and effective VP simulations or improve existing ones.

This paper investigates the stability properties of the spectrum of the classical Steklov problem under domain perturbation. We find conditions which guarantee the spectral stability and we show their optimality. We emphasize the fact that our spectral stability results also involve convergence of eigenfunctions in a suitable sense according with the definition of connecting system by \cite{Vainikko}. The convergence of eigenfunctions can be expressed in terms of the $H^1$ strong convergence. The arguments used in our proofs are based on an appropriate definition of compact convergence of the resolvent operators associated with the Steklov problems on varying domains. In order to show the optimality of our conditions we present alternative assumptions which give rise to a degeneration of the spectrum or to a discontinuity of the spectrum in the sense that the eigenvalues converge to the eigenvalues of a limit problem which does not coincide with the Steklov problem on the limiting domain., Comment: arXiv admin note: text overlap with arXiv:2103.04202

We study the spectral stability of two fourth order Steklov problems upon domain perturbation. One of the two problems is the classical DBS - Dirichlet Biharmonic Steklov - problem, the other one is a variant. Under a comparatively weak condition on the convergence of the domains, we prove the stability of the resolvent operators for both problems, which implies the stability of eigenvalues and eigenfunctions. The stability estimates for the eigenfunctions are expressed in terms of the strong $H^2$-norms. The analysis is carried out without assuming that the domains are star-shaped. Our condition turns out to be sharp at least for the variant of the DBS problem. In the case of the DBS problem, we prove stability of a suitable Dirichlet-to-Neumann type map under very weak conditions on the convergence of the domains and we formulate an open problem. As bypass product of our analysis, we provide some stability and instability results for Navier and Navier-type boundary value problems for the biharmonic operator.

Providing pedestrians and other vulnerable road users with a clear indication about a fully autonomous vehicle status and intentions is crucial to make them coexist. In the last few years, a variety of external interfaces have been proposed, leveraging different paradigms and technologies including vehicle-mounted devices (like LED panels), short-range on-road projections, and road infrastructure interfaces (e.g., special asphalts with embedded displays). These designs were experimented in different settings, using mockups, specially prepared vehicles, or virtual environments, with heterogeneous evaluation metrics. Promising interfaces based on Augmented Reality (AR) have been proposed too, but their usability and effectiveness have not been tested yet. This paper aims to complement such body of literature by presenting a comparison of state-of-the-art interfaces and new designs under common conditions. To this aim, an immersive Virtual Reality-based simulation was developed, recreating a well-known scenario represented by pedestrians crossing in urban environments under non-regulated conditions. A user study was then performed to investigate the various dimensions of vehicle-to-pedestrian interaction leveraging objective and subjective metrics. Even though no interface clearly stood out over all the considered dimensions, one of the AR designs achieved state-of-the-art results in terms of safety and trust, at the cost of higher cognitive effort and lower intuitiveness compared to LED panels showing anthropomorphic features. Together with rankings on the various dimensions, indications about advantages and drawbacks of the various alternatives that emerged from this study could provide important information for next developments in the field., Comment: Accepted for publication in IEEE Transactions on Vehicular Technology

A key question in evolution is how likely a mutant is to take over. This depends on natural selection and on stochastic fluctuations. Population spatial structure can impact mutant fixation probabilities. We introduce a model for structured populations on graphs that generalizes previous ones by making migrations independent of birth and death. We demonstrate that by tuning migration asymmetry, the star graph transitions from amplifying to suppressing natural selection. The results from our model are universal in the sense that they do not hinge on a modeling choice of microscopic dynamics or update rules. Instead, they depend on migration asymmetry, which can be experimentally tuned and measured., Comment: 30 pages, 12 figures

Taking advantage of the base-pairing specificity and tunability of DNA interactions, we investigate the spontaneous formation of hyperbranched clusters starting from purposely designed DNA tetravalent nanostar monomers, encoding in their four sticky-ends the desired binding rules. Specifically, we combine molecular dynamics simulations and Dynamic Light Scattering experiments to follow the aggregation process of the DNA nanostars at different concentrations and temperatures. At odd with the Flory-Stockmayer predictions, we find that, even when all possible bonds are formed, the system does not reach percolation due to the presence of intracluster bonds. We present an extension of the Flory-Stockmayer theory that properly describes the numerical and the experimental results., Comment: The Supplementary Information is included in the pdf file

A common operation performed in Virtual Reality (VR) environments is locomotion. Although real walking can represent a natural and intuitive way to manage displacements in such environments, its use is generally limited by the size of the area tracked by the VR system (typically, the size of a room) or requires expensive technologies to cover particularly extended settings. A number of approaches have been proposed to enable effective explorations in VR, each characterized by different hardware requirements and costs, and capable to provide different levels of usability and performance. However, the lack of a well-defined methodology for assessing and comparing available approaches makes it difficult to identify, among the various alternatives, the best solutions for selected application domains. To deal with this issue, this paper introduces a novel evaluation testbed which, by building on the outcomes of many separate works reported in the literature, aims to support a comprehensive analysis of the considered design space. An experimental protocol for collecting objective and subjective measures is proposed, together with a scoring system able to rank locomotion approaches based on a weighted set of requirements. Testbed usage is illustrated in a use case requesting to select the technique to adopt in a given application scenario., Comment: This paper is accepted for inclusion in a future issue of IEEE Transactions on Visualization and Computer Graphics (TVCG). Copyright IEEE 2020

A longstanding goal of biology is to identify the key genes and species that critically impact evolution, ecology, and health. Network analysis has revealed keystone species that regulate ecosystems and master regulators that regulate cellular genetic networks. Yet these studies have focused on pairwise biological interactions, which can be affected by the context of genetic background and other species present generating higher-order interactions. The important regulators of higher-order interactions are unstudied. To address this, we applied a new high-dimensional geometry approach that quantifies epistasis in a fitness landscape to ask how individual genes and species influence the interactions in the rest of the biological network. We then generated and also reanalyzed 5-dimensional datasets (two genetic, two microbiome). We identified key genes (e.g. the rbs locus and pykF) and species (e.g. Lactobacilli) that control the interactions of many other genes and species. These higher-order master regulators can induce or suppress evolutionary and ecological diversification by controlling the topography of the fitness landscape. Thus, we provide mathematical intuition and justification for exploration of biological networks in higher dimensions., Comment: 77 pages, various figures