Breast cancer cells rely on environmental pyruvate to shape the metastatic niche
AbstractThe extracellular matrix is a major component of the local environment—that is, the niche—that determines cell behaviour1. During metastatic growth, cancer cells shape the extracellular matrix...
View ArticleFormal Verification of Human-Robot Interaction in Healthcare Scenarios
AbstractWe present a model-driven approach for the creation of formally verified scenarios involving human-robot interaction in healthcare settings. The work offers an innovative take on the...
View ArticleChest Fistula Repair
AbstractChest wall plays a fundamental role in the human body, as it represents a protective cage around vital organs such as heart and lungs. Chest wall fistula is a rare and insidious condition that...
View ArticleMale Breast Cancer: Reconstructive Surgery
AbstractThe conventional treatment for male breast cancer consists of modified radical mastectomy with axillary sentinel node biopsy and/or axillary lymph node dissection in case of lymph node-positive...
View ArticlePuRSUE -from specification of robotic environments to synthesis of controllers
AbstractDeveloping robotic applications is a complex task, which requires skills that are usually only possessed by highly-qualified robotic developers. While formal methods that help developers in the...
View ArticleA $$\hbox {j}_{\mathrm{eff}} = 1/2$$ pseudospinon continuum in $$\hbox...
AbstractIn so-called \(j_\mathrm {eff} = 1/2\) systems, including some iridates and ruthenates, the coherent superposition of \(t_\mathrm {2g}\) orbitals in the ground state gives rise to hopping...
View ArticleViruses of protozoan parasites and viral therapy: Is the time now right?
AbstractInfections caused by protozoan parasites burden the world with huge costs in terms of human and animal health. Most parasitic diseases caused by protozoans are neglected, particularly those...
View ArticlePerformance Comparison Between Deep Learning-Based and Conventional...
AbstractWhile many similarities between Machine Learning and cryptanalysis tasks exists, so far no major result in cryptanalysis has been reached with the aid of Machine Learning techniques. One...
View ArticleFormally-based Model-Driven Development of Collaborative Robotic Applications
AbstractThe development of Human Robot Collaborative (HRC) systems faces many challenges. First, HRC systems should be adaptable and re-configurable to support fast production changes. However, in the...
View ArticleOpening up the Black Box on Digitalisation and Agility: Key Drivers and Main...
AbstractGiven the rising global interest in the digital technologies, the study aims to investigate the influence of digital transformation on the firm’s organizational performance and sustainable...
View ArticleMonte Carlo Tree Search for Automatic Differential Characteristics Search:...
AbstractThe search for differential characteristics on block ciphers is a difficult combinatorial problem. In this paper, we investigate the performances of an AI-originated technique, Single Player...
View ArticleLimitations of the Use of Neural Networks in Black Box Cryptanalysis
AbstractIn this work, we first abstract a block cipher to a set of parallel Boolean functions. Then, we establish the conditions that allow a multilayer perceptron (MLP) neural network to correctly...
View ArticlePHGDH heterogeneity potentiates cancer cell dissemination and metastasis
AbstractCancer metastasis requires the transient activation of cellular programs enabling dissemination and seeding in distant organs1. Genetic, transcriptional and translational heterogeneity...
View ArticleA broken translational symmetry state in an infinite-layer nickelate
AbstractA defining signature of strongly correlated electronic systems is a rich phase diagram, which consists of multiple broken symmetries, such as magnetism, superconductivity and charge order1,2....
View ArticleArchitecting Explainable Service Robots
AbstractService robots entailing a tight collaboration with humans are increasingly widespread in critical domains, such as healthcare and domestic assistance. However, the so-called...
View Article(Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using...
AbstractElectromagnetic induction (EMI) methods are often used to map rapidly large areas with minimal logistical efforts. However, they are limited by a small number of frequencies and by their severe...
View ArticleLatissimus Dorsi Flap and Thoracodorsal Artery Perforator Flap with Immediate...
AbstractIntroductionMicrosurgical breast reconstruction has become popular over the past twenty years and allows a tailor-tuck approach to each patient. However, smoking or coagulation disorders may...
View ArticleAnalyzing the impact of human errors on interactive service robotic scenarios...
AbstractDeveloping robotic applications with human–robot interaction for the service sector raises a plethora of challenges. In these settings, human behavior is essentially unconstrained as they can...
View Article
