Soft Biomimetic Finger with Tactile Sensing and Sensory Feedback Capabilities

The compliant nature of soft fingers allows for safe and dexterous manipulation of objects by humans in an unstructured environment. A soft prosthetic finger design with tactile sensing capabilities for texture discrimination and subsequent sensory stimulation has the potential to create a more natural experience for an amputee. In this work, a pneumatically actuated soft biomimetic finger is integrated with a textile neuromorphic tactile sensor array for a texture discrimination task. The tactile sensor outputs were converted into neuromorphic spike trains, which emulate the firing pattern of biological mechanoreceptors. Spike-based features from each taxel compressed the information and were then used as inputs for the support vector machine (SVM) classifier to differentiate the textures. Our soft biomimetic finger with neuromorphic encoding was able to achieve an average overall classification accuracy of 99.57% over sixteen independent parameters when tested on thirteen standardized textured surfaces. The sixteen parameters were the combination of four angles of flexion of the soft finger and four speeds of palpation. To aid in the perception of more natural objects and their manipulation, subjects were provided with transcutaneous electrical nerve stimulation (TENS) to convey a subset of four textures with varied textural information. Three able-bodied subjects successfully distinguished two or three textures with the applied stimuli. This work paves the way for a more human-like prosthesis through a soft biomimetic finger with texture discrimination capabilities using neuromorphic techniques that provides sensory feedback; furthermore, texture feedback has the potential to enhance the user experience when interacting with their surroundings. Additionally, this work showed that an inexpensive, soft biomimetic finger combined with a flexible tactile sensor array can potentially help users perceive their environment better

The Human Body as a Super Network: Digital Methods to Analyze the Propagation of Aging

Biological aging is a complex process involving multiple biological processes. These can be understood theoretically though considering them as individual networks—e.g., epigenetic networks, cell-cell networks (such as astroglial networks), and population genetics. Mathematical modeling allows the combination of such networks so that they may be studied in unison, to better understand how the so-called “seven pillars of aging” combine and to generate hypothesis for treating aging as a condition at relatively early biological ages. In this review, we consider how recent progression in mathematical modeling can be utilized to investigate aging, particularly in, but not exclusive to, the context of degenerative neuronal disease. We also consider how the latest techniques for generating biomarker models for disease prediction, such as longitudinal analysis and parenclitic analysis can be applied to as both biomarker platforms for aging, as well as to better understand the inescapable condition. This review is written by a highly diverse and multi-disciplinary team of scientists from across the globe and calls for greater collaboration between diverse fields of research

Adaptive extreme edge computing for wearable devices

Wearable devices are a fast-growing technology with impact on personal healthcare for both society and economy. Due to the widespread of sensors in pervasive and distributed networks, power consumption, processing speed, and system adaptation are vital in future smart wearable devices. The visioning and forecasting of how to bring computation to the edge in smart sensors have already begun, with an aspiration to provide adaptive extreme edge computing. Here, we provide a holistic view of hardware and theoretical solutions towards smart wearable devices that can provide guidance to research in this pervasive computing era. We propose various solutions for biologically plausible models for continual learning in neuromorphic computing technologies for wearable sensors. To envision this concept, we provide a systematic outline in which prospective low power and low latency scenarios of wearable sensors in neuromorphic platforms are expected. We successively describe vital potential landscapes of neuromorphic processors exploiting complementary metal-oxide semiconductors (CMOS) and emerging memory technologies (e.g. memristive devices). Furthermore, we evaluate the requirements for edge computing within wearable devices in terms of footprint, power consumption, latency, and data size. We additionally investigate the challenges beyond neuromorphic computing hardware, algorithms and devices that could impede enhancement of adaptive edge computing in smart wearable devices

Computational Logic for Biomedicine and Neuroscience

We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including either induction, or a sequent calculus presentation enjoying cut-elimination and focusing), and should come with certified proof tools. Beyond providing a reliable framework, this allows the correct encodings of our biological systems. % For systems biology in general and biomedicine in particular, we have so far, for the modeling part, three candidate logics: all based on linear logic. The studied properties and their proofs are formalized in a very expressive (non linear) inductive logic: the Calculus of Inductive Constructions (CIC). The examples we have considered so far are relatively simple ones; however, all coming with formal semi-automatic proofs in the Coq system, which implements CIC. In neuroscience, we are directly using CIC and Coq, to model neurons and some simple neuronal circuits and prove some of their dynamic properties. % In biomedicine, the study of multi omic pathway interactions, together with clinical and electronic health record data should help in drug discovery and disease diagnosis. Future work includes using more automatic provers. This should enable us to specify and study more realistic examples, and in the long term to provide a system for disease diagnosis and therapy prognosis.Nous pr{\^o}nons ici l'utilisation d'une logique calculatoire pour la biologie des systèmes, en tant que cadre \emph{unifié et sûr}, bien adapté à la fois à la modélisation du comportement dynamique des systèmes biologiques,à l'expression de leurs propriétés, et à la vérification de ces propriétés.Les logiques candidates potentielles doivent avoir un pedigree traditionnel en théorie de la preuve (y compris, soit l'induction, soit une présentation en calcul des séquents, avec l'élimination des coupures et des règles ``focales''), et doivent être accompagnées d'outils de preuves certifiés.En plus de fournir un cadre fiable, cela nous permet d'encoder de manière correcte nos systèmes biologiques. Pour la biologie des systèmes en général et la biomédecine en particulier, nous avons jusqu'à présent, pour la partie modélisation, trois logiques candidates : toutes basées sur la logique linéaire.Les propriétés étudiées et leurs preuves sont formalisées dans une logique inductive (non linéaire) très expressive : le Calcul des Constructions Inductives (CIC).Les exemples que nous avons étudiés jusqu'à présent sont relativement simples. Cependant, ils sont tous accompagnés de preuves formelles semi-automatiques dans le système Coq, qui implémente CIC. En neurosciences, nous utilisons directement CIC et Coq pour modéliser les neurones et certains circuits neuronaux simples et prouver certaines de leurs propriétés dynamiques.En biomédecine, l'étude des interactions entre des voies multiomiques,ainsi que les études cliniques et les données des dossiers médicaux électroniques devraient aider à la découverte de médicaments et au diagnostic des maladies.Les travaux futurs portent notamment sur l'utilisation de systèmes de preuves plus automatiques.Cela devrait nous permettre de modéliser et d'étudier des exemples plus réalistes,et à terme de fournir un système pour le diagnostic des maladies et le pronostic thérapeutique

Artificial Intelligence, Mathematical Modeling and Magnetic Resonance Imaging for Precision Medicine in Neurology and Neuroradiology

La tesi affronta la possibilità di utilizzare metodi matematici, tecniche di simulazione, teorie fisiche riadattate e algoritmi di intelligenza artificiale per soddisfare le esigenze cliniche in neuroradiologia e neurologia al fine di descrivere e prevedere i patterns e l’evoluzione temporale di una malattia, nonché di supportare il processo decisionale clinico. La tesi è suddivisa in tre parti. La prima parte riguarda lo sviluppo di un workflow radiomico combinato con algoritmi di Machine Learning al fine di prevedere parametri che favoriscono la descrizione quantitativa dei cambiamenti anatomici e del coinvolgimento muscolare nei disordini neuromuscolari, con particolare attenzione alla distrofia facioscapolo-omerale. Il workflow proposto si basa su sequenze di risonanza magnetica convenzionali disponibili nella maggior parte dei centri neuromuscolari e, dunque, può essere utilizzato come strumento non invasivo per monitorare anche i più piccoli cambiamenti nei disturbi neuromuscolari oltre che per la valutazione della progressione della malattia nel tempo. La seconda parte riguarda l’utilizzo di un modello cinetico per descrivere la crescita tumorale basato sugli strumenti della meccanica statistica per sistemi multi-agente e che tiene in considerazione gli effetti delle incertezze cliniche legate alla variabilità della progressione tumorale nei diversi pazienti. L'azione dei protocolli terapeutici è modellata come controllo che agisce a livello microscopico modificando la natura della distribuzione risultante. Viene mostrato come lo scenario controllato permetta di smorzare le incertezze associate alla variabilità della dinamica tumorale. Inoltre, sono stati introdotti metodi di simulazione numerica basati sulla formulazione stochastic Galerkin del modello cinetico sviluppato. La terza parte si riferisce ad un progetto ancora in corso che tenta di descrivere una porzione di cervello attraverso la teoria quantistica dei campi e di simularne il comportamento attraverso l'implementazione di una rete neurale con una funzione di attivazione costruita ad hoc e che simula la funzione di risposta del modello biologico neuronale. E’ stato ottenuto che, nelle condizioni studiate, l'attività della porzione di cervello può essere descritta fino a O(6), i.e, considerando l’interazione fino a sei campi, come un processo gaussiano. Il framework quantistico definito può essere esteso anche al caso di un processo non gaussiano, ovvero al caso di una teoria di campo quantistico interagente utilizzando l’approccio della teoria wilsoniana di campo efficace.The thesis addresses the possibility of using mathematical methods, simulation techniques, repurposed physical theories and artificial intelligence algorithms to fulfill clinical needs in neuroradiology and neurology. The aim is to describe and to predict disease patterns and its evolution over time as well as to support clinical decision-making processes. The thesis is divided into three parts. Part 1 is related to the development of a Radiomic workflow combined with Machine Learning algorithms in order to predict parameters that quantify muscular anatomical involvement in neuromuscular diseases, with special focus on Facioscapulohumeral dystrophy. The proposed workflow relies on conventional Magnetic Resonance Imaging sequences available in most neuromuscular centers and it can be used as a non-invasive tool to monitor even fine change in neuromuscular disorders and to evaluate longitudinal diseases’ progression over time. Part 2 is about the description of a kinetic model for tumor growth by means of classical tools of statistical mechanics for many-agent systems also taking into account the effects of clinical uncertainties related to patients’ variability in tumor progression. The action of therapeutic protocols is modeled as feedback control at the microscopic level. The controlled scenario allows the dumping of uncertainties associated with the variability in tumors’ dynamics. Suitable numerical methods, based on Stochastic Galerkin formulation of the derived kinetic model, are introduced. Part 3 refers to a still-on going project that attempts to describe a brain portion through a quantum field theory and to simulate its behavior through the implementation of a neural network with an ad-hoc activation function mimicking the biological neuron model response function. Under considered conditions, the brain portion activity can be expressed up to O(6), i.e., up to six fields interaction, as a Gaussian Process. The defined quantum field framework may also be extended to the case of a Non-Gaussian Process behavior, or rather to an interacting quantum field theory in a Wilsonian Effective Field theory approach