-
Toychain: A Simple Blockchain for Research in Swarm Robotics
Authors:
Alexandre Pacheco,
Ulysse Denis,
Raina Zakir,
Volker Strobel,
Andreagiovanni Reina,
Marco Dorigo
Abstract:
This technical report describes the implementation of Toychain: a simple, lightweight blockchain implemented in Python, designed for ease of deployment and practicality in robotics research. It can be integrated with various software and simulation tools used in robotics (we have integrated it with ARGoS, Gazebo, and ROS2), and also be deployed on real robots capable of Wi-Fi communications. The T…
▽ More
This technical report describes the implementation of Toychain: a simple, lightweight blockchain implemented in Python, designed for ease of deployment and practicality in robotics research. It can be integrated with various software and simulation tools used in robotics (we have integrated it with ARGoS, Gazebo, and ROS2), and also be deployed on real robots capable of Wi-Fi communications. The Toychain package supports the deployment of smart contracts written in Python (computer programs that can be executed by and synchronized across a distributed network). The nodes in the blockchain can execute smart contract functions by broadcasting transactions, which update the state of the blockchain upon agreement by all other nodes. The conditions for this agreement are established by a consensus protocol. The Toychain package allows for custom implementations of the consensus protocol, which can be useful for research or meeting specific application requirements. Currently, Proof-of-Work and Proof-of-Authority are implemented.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Evidence for Non-zero Turbulence in the Protoplanetary disc around IM Lup
Authors:
Kevin Flaherty,
A. Meredith Hughes,
Jacob B. Simon,
Alicia Smith Reina,
Chunhua Qi,
Xue-Ning Bai,
Sean M. Andrews,
David J. Wilner,
Agnes Kospal
Abstract:
The amount of turbulence in protoplanetary discs around young stars is critical for determining the efficiency, timeline, and outcomes of planet formation. It is also difficult to measure. Observations are still limited, but direct measurements of the non-thermal, turbulent gas motion are possible with the Atacama Large Millimeter/submillimeter Array (ALMA). Using CO(2-1)/$^{13}$CO(2-1)/C$^{18}$O(…
▽ More
The amount of turbulence in protoplanetary discs around young stars is critical for determining the efficiency, timeline, and outcomes of planet formation. It is also difficult to measure. Observations are still limited, but direct measurements of the non-thermal, turbulent gas motion are possible with the Atacama Large Millimeter/submillimeter Array (ALMA). Using CO(2-1)/$^{13}$CO(2-1)/C$^{18}$O(2-1) ALMA observations of the disc around IM Lup at ~0.4" (~60 au) resolution we find evidence of significant turbulence, at the level of $δv_{\rm turb}=(0.18-0.30)$c$_s$. This result is robust against systematic uncertainties (e.g., amplitude flux calibration, midplane gas temperature, disc self-gravity). We find that gravito-turbulence as the source of the gas motion is unlikely based on the lack of an imprint on the rotation curve from a massive disc, while magneto-rotational instabilities and hydrodynamic instabilities are still possible, depending on the unknown magnetic field strength and the cooling timescale in the outer disc.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
On the role of zealots in a best-of-n problem on a heterogeneous network
Authors:
Thierry Njougouo,
Andreagiovanni Reina,
Elio Tuci,
Timoteo Carletti
Abstract:
Both humans and social animals live in groups and are frequently faced to choose between options with different qualities. When no leader agents are controlling the group decision, consensus can be achieved through repeated interactions among group members. Various studies on CDM illustrate how the dynamics of opinions are determined by the structure of the social network and the methods that indi…
▽ More
Both humans and social animals live in groups and are frequently faced to choose between options with different qualities. When no leader agents are controlling the group decision, consensus can be achieved through repeated interactions among group members. Various studies on CDM illustrate how the dynamics of opinions are determined by the structure of the social network and the methods that individuals use to share and update their opinion upon a social interaction. In this paper, we are interested in further exploring how cognitive, social, and environmental factors interactively contribute to determining the outcome of a collective best-of-n decision process involving asymmetric options, i.e., different costs and/or benefits for each option. We propose and study a novel model capturing those different factors, i) the error in processing social information, ii) the number of zealots (i.e., asocial agents who never change their opinion), iii) the option qualities, iv) the social connectivity structure, and v) the degree centrality of the asocial agents. By using the HMF approach, we study the impact of the above-mentioned factors in the decision dynamics. Our findings indicate that when susceptible agents use the voter model as a mechanism to update their opinion, both the number and the degree of connectivity of the zealots can lead the population to converge towards the lowest quality option. Instead, when susceptible agents use methods more cognitively demanding, the group is marginally impacted by the presence of zealots. The results of the analytical model are complemented and extended by agent-based simulations. Our analysis also shows that the network topology can modulate the influence of zealots on group dynamics.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
Studying speed-accuracy trade-offs in best-of-n collective decision-making through heterogeneous mean-field modeling
Authors:
Andreagiovanni Reina,
Thierry Njougouo,
Elio Tuci,
Timoteo Carletti
Abstract:
To succeed in their objectives, groups of individuals must be able to make quick and accurate collective decisions on the best option among a set of alternatives with different qualities. Group-living animals aim to do that all the time. Plants and fungi are thought to do so too. Swarms of autonomous robots can also be programmed to make best-of-n decisions for solving tasks collaboratively. Ultim…
▽ More
To succeed in their objectives, groups of individuals must be able to make quick and accurate collective decisions on the best option among a set of alternatives with different qualities. Group-living animals aim to do that all the time. Plants and fungi are thought to do so too. Swarms of autonomous robots can also be programmed to make best-of-n decisions for solving tasks collaboratively. Ultimately, humans critically need it and so many times they should be better at it. Thanks to their mathematical tractability, simple models like the voter model and the local majority rule model have proven useful to describe the dynamics of such collective decision-making processes. To reach a consensus, individuals change their opinion by interacting with neighbors in their social network. At least among animals and robots, options with a better quality are exchanged more often and therefore spread faster than lower-quality options, leading to the collective selection of the best option. With our work, we study the impact of individuals making errors in pooling others' opinions caused, for example, by the need to reduce the cognitive load. Our analysis is grounded on the introduction of a model that generalizes the two existing models (local majority rule and voter model), showing a speed-accuracy trade-off regulated by the cognitive effort of individuals. We also investigate the impact of the interaction network topology on the collective dynamics. To do so, we extend our model and, by using the heterogeneous mean-field approach, we show the presence of another speed-accuracy trade-off regulated by network connectivity. An interesting result is that reduced network connectivity corresponds to an increase in collective decision accuracy.
△ Less
Submitted 18 March, 2024; v1 submitted 20 October, 2023;
originally announced October 2023.
-
Do We Run Large-scale Multi-Robot Systems on the Edge? More Evidence for Two-Phase Performance in System Size Scaling
Authors:
Jonas Kuckling,
Robin Luckey,
Viktor Avrutin,
Andrew Vardy,
Andreagiovanni Reina,
Heiko Hamann
Abstract:
With increasing numbers of mobile robots arriving in real-world applications, more robots coexist in the same space, interact, and possibly collaborate. Methods to provide such systems with system size scalability are known, for example, from swarm robotics. Example strategies are self-organizing behavior, a strict decentralized approach, and limiting the robot-robot communication. Despite applyin…
▽ More
With increasing numbers of mobile robots arriving in real-world applications, more robots coexist in the same space, interact, and possibly collaborate. Methods to provide such systems with system size scalability are known, for example, from swarm robotics. Example strategies are self-organizing behavior, a strict decentralized approach, and limiting the robot-robot communication. Despite applying such strategies, any multi-robot system breaks above a certain critical system size (i.e., number of robots) as too many robots share a resource (e.g., space, communication channel). We provide additional evidence based on simulations, that at these critical system sizes, the system performance separates into two phases: nearly optimal and minimal performance. We speculate that in real-world applications that are configured for optimal system size, the supposedly high-performing system may actually live on borrowed time as it is on a transient to breakdown. We provide two modeling options (based on queueing theory and a population model) that may help to support this reasoning.
△ Less
Submitted 14 May, 2024; v1 submitted 18 October, 2023;
originally announced October 2023.
-
Decentralised construction of a global coordinate system in a large swarm of minimalistic robots
Authors:
Michal Pluhacek,
Simon Garnier,
Andreagiovanni Reina
Abstract:
Collective intelligence and autonomy of robot swarms can be improved by enabling the individual robots to become aware they are the constituent units of a larger whole and what is their role. In this study, we present an algorithm to enable positional self-awareness in a swarm of minimalistic error-prone robots which can only locally broadcast messages and estimate the distance from their neighbou…
▽ More
Collective intelligence and autonomy of robot swarms can be improved by enabling the individual robots to become aware they are the constituent units of a larger whole and what is their role. In this study, we present an algorithm to enable positional self-awareness in a swarm of minimalistic error-prone robots which can only locally broadcast messages and estimate the distance from their neighbours. Despite being unable to measure the bearing of incoming messages, the robots running our algorithm can calculate their position within a swarm deployed in a regular formation. We show through experiments with up to 200 Kilobot robots that such positional self-awareness can be employed by the robots to create a shared coordinate system and dynamically self-assign location-dependent tasks. Our solution has fewer requirements than state-of-the-art algorithms and contains collective noise-filtering mechanisms. Therefore, it has an extended range of robotic platforms on which it can run. All robots are interchangeable, run the same code, and do not need any prior knowledge. Through our algorithm, robots reach collective synchronisation, and can autonomously become self-aware of the swarm's spatial configuration and their position within it.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Sums of Reciprocals of Recurrence Relations
Authors:
Hao Cui,
Xiaoyu Cui,
Sophia C. Davis,
Irfan Durmić,
Qingcheng Hu,
Lisa Liu,
Steven J. Miller,
Feng** Ren,
Alicia Smith Reina,
Eliel Sosis
Abstract:
There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$;…
▽ More
There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$; If $n$ is included in the summation, we have the cobalancing numbers, and $r$ is called the cobalancer of $n$). We generalize previous work to reciprocal sums of depth two recurrence sequences with arbitrary coefficients and the Tribonacci numbers, and show our method provides an alternative proof of some existing results.
We define $(a,b)$ balancing and cobalancing numbers, where $a$ and $b$ are constants that multiply the left-hand side and right-hand side respectively, and derive recurrence relations describing these sequences. We show that for balancing numbers, the coefficients $(3,1)$ is unique such that every integer is a $(3,1)$ balancing number, and proved there does not exist an analogous set of coefficients for cobalancing numbers. We also found patterns for certain coefficients that have no balancing or cobalancing numbers.
△ Less
Submitted 1 February, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Cross-inhibition leads to group consensus despite the presence of strongly opinionated minorities and asocial behaviour
Authors:
Andreagiovanni Reina,
Raina Zakir,
Giulia De Masi,
Eliseo Ferrante
Abstract:
Strongly opinionated minorities can have a dramatic impact on the opinion dynamics of a large population. Two factions of inflexible minorities, polarised into two competing opinions, could lead the entire population to persistent indecision. Equivalently, populations can remain undecided when individuals sporadically change their opinion based on individual information rather than social informat…
▽ More
Strongly opinionated minorities can have a dramatic impact on the opinion dynamics of a large population. Two factions of inflexible minorities, polarised into two competing opinions, could lead the entire population to persistent indecision. Equivalently, populations can remain undecided when individuals sporadically change their opinion based on individual information rather than social information. Our analysis compares the cross-inhibition model with the voter model for decisions between equally good alternatives, and with the weighted voter model for decisions among alternatives characterised by different qualities. Here we show that cross-inhibition, differently from the other two models, is a simple mechanism, ubiquitous in collective biological systems, that allows the population to reach a stable majority for one alternative even in the presence of asocial behaviour. The results predicted by the mean-field models are confirmed by experiments with swarms of 100 locally interacting robots. This work suggests an answer to the longstanding question of why inhibitory signals are widespread in natural systems of collective decision making, and, at the same time, it proposes an efficient mechanism for designing resilient swarms of minimalistic robots.
△ Less
Submitted 25 July, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Extending support for the centered moments of the low lying zeroes of cuspidal newforms
Authors:
Peter Cohen,
Justine Dell,
Oscar E. González,
Geoffrey Iyer,
Simran Khunger,
Chung-Hang Kwan,
Steven J. Miller,
Alexander Shashkov,
Alicia Smith Reina,
Carsten Sprunger,
Nicholas Triantafillou,
Nhi Truong,
Roger Van Peski,
Stephen Willis,
Yingzi Yang
Abstract:
We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as…
▽ More
We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as $N \to \infty$, where ${\rm supp}(\widehatφ) \subset \left(-2/n, 2/n\right)$. The Katz-Sarnak density conjecture predicts that the $n$-level density of certain families of $L$-functions is the same as the distribution of eigenvalues of corresponding families of orthogonal random matrices. We prove that the Katz-Sarnak density conjecture holds for the $n^\text{th}$ centered moments of the 1-level density for test functions with $\widehatφ$ supported in $\left(-2/n, 2/n\right)$, for families of cuspidal newforms split by the sign of their functional equations. Our work provides better bounds on the percent of forms vanishing to a certain order at the central point. Previous work handled the 1-level for support up to 2 and the $n$-level up to $\min(2/n, 1/(n-1))$; we are able to remove the second restriction on the support and extend the result to what one would expect, based on the 1-level, by finding a tractable vantage to evaluate the combinatorial zoo of terms which emerge.
△ Less
Submitted 15 August, 2022; v1 submitted 27 July, 2022;
originally announced August 2022.
-
Controlling Robot Swarm Aggregation through a Minority of Informed Robots
Authors:
Antoine Sion,
Andreagiovanni Reina,
Mauro Birattari,
Elio Tuci
Abstract:
Self-organized aggregation is a well studied behavior in swarm robotics as it is the pre-condition for the development of more advanced group-level responses. In this paper, we investigate the design of decentralized algorithms for a swarm of heterogeneous robots that self-aggregate over distinct target sites. A previous study has shown that including as part of the swarm a number of informed robo…
▽ More
Self-organized aggregation is a well studied behavior in swarm robotics as it is the pre-condition for the development of more advanced group-level responses. In this paper, we investigate the design of decentralized algorithms for a swarm of heterogeneous robots that self-aggregate over distinct target sites. A previous study has shown that including as part of the swarm a number of informed robots can steer the dynamic of the aggregation process to a desirable distribution of the swarm between the available aggregation sites. We have replicated the results of the previous study using a simplified approach: we removed constraints related to the communication protocol of the robots and simplified the control mechanisms regulating the transitions between states of the probabilistic controller. The results show that the performances obtained with the previous, more complex, controller can be replicated with our simplified approach which offers clear advantages in terms of portability to the physical robots and in terms of flexibility. That is, our simplified approach can generate self-organized aggregation responses in a larger set of operating conditions than what can be achieved with the complex controller.
△ Less
Submitted 26 August, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Federated Learning Enables Big Data for Rare Cancer Boundary Detection
Authors:
Sarthak Pati,
Ujjwal Baid,
Brandon Edwards,
Micah Sheller,
Shih-Han Wang,
G Anthony Reina,
Patrick Foley,
Alexey Gruzdev,
Deepthi Karkada,
Christos Davatzikos,
Chiharu Sako,
Satyam Ghodasara,
Michel Bilello,
Suyash Mohan,
Philipp Vollmuth,
Gianluca Brugnara,
Chandrakanth J Preetha,
Felix Sahm,
Klaus Maier-Hein,
Maximilian Zenk,
Martin Bendszus,
Wolfgang Wick,
Evan Calabrese,
Jeffrey Rudie,
Javier Villanueva-Meyer
, et al. (254 additional authors not shown)
Abstract:
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train acc…
▽ More
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train accurate and generalizable ML models, by only sharing numerical model updates. Here we present findings from the largest FL study to-date, involving data from 71 healthcare institutions across 6 continents, to generate an automatic tumor boundary detector for the rare disease of glioblastoma, utilizing the largest dataset of such patients ever used in the literature (25,256 MRI scans from 6,314 patients). We demonstrate a 33% improvement over a publicly trained model to delineate the surgically targetable tumor, and 23% improvement over the tumor's entire extent. We anticipate our study to: 1) enable more studies in healthcare informed by large and diverse data, ensuring meaningful results for rare diseases and underrepresented populations, 2) facilitate further quantitative analyses for glioblastoma via performance optimization of our consensus model for eventual public release, and 3) demonstrate the effectiveness of FL at such scale and task complexity as a paradigm shift for multi-site collaborations, alleviating the need for data sharing.
△ Less
Submitted 25 April, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
MedPerf: Open Benchmarking Platform for Medical Artificial Intelligence using Federated Evaluation
Authors:
Alexandros Karargyris,
Renato Umeton,
Micah J. Sheller,
Alejandro Aristizabal,
Johnu George,
Srini Bala,
Daniel J. Beutel,
Victor Bittorf,
Akshay Chaudhari,
Alexander Chowdhury,
Cody Coleman,
Bala Desinghu,
Gregory Diamos,
Debo Dutta,
Diane Feddema,
Grigori Fursin,
Junyi Guo,
Xinyuan Huang,
David Kanter,
Satyananda Kashyap,
Nicholas Lane,
Indranil Mallick,
Pietro Mascagni,
Virendra Mehta,
Vivek Natarajan
, et al. (17 additional authors not shown)
Abstract:
Medical AI has tremendous potential to advance healthcare by supporting the evidence-based practice of medicine, personalizing patient treatment, reducing costs, and improving provider and patient experience. We argue that unlocking this potential requires a systematic way to measure the performance of medical AI models on large-scale heterogeneous data. To meet this need, we are building MedPerf,…
▽ More
Medical AI has tremendous potential to advance healthcare by supporting the evidence-based practice of medicine, personalizing patient treatment, reducing costs, and improving provider and patient experience. We argue that unlocking this potential requires a systematic way to measure the performance of medical AI models on large-scale heterogeneous data. To meet this need, we are building MedPerf, an open framework for benchmarking machine learning in the medical domain. MedPerf will enable federated evaluation in which models are securely distributed to different facilities for evaluation, thereby empowering healthcare organizations to assess and verify the performance of AI models in an efficient and human-supervised process, while prioritizing privacy. We describe the current challenges healthcare and AI communities face, the need for an open platform, the design philosophy of MedPerf, its current implementation status, and our roadmap. We call for researchers and organizations to join us in creating the MedPerf open benchmarking platform.
△ Less
Submitted 28 December, 2021; v1 submitted 29 September, 2021;
originally announced October 2021.
-
The Generalized Bergman Game
Authors:
Benjamin Baily,
Justine Dell,
Irfan Durmić,
Henry Fleischmann,
Faye Jackson,
Isaac Mijares,
Steven J. Miller,
Ethan Pesikoff,
Luke Reifenberg,
Alicia Smith Reina,
Yingzi Yang
Abstract:
Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non…
▽ More
Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non-negative integers which decompose a positive integer into its base-$β$ expansion. We call this game the Generalized Bergman Game. We prove that the longest possible Generalized Bergman game on an initial state $S$ with $n$ summands terminates in $Θ(n^2)$ time, and we also prove that the shortest possible Generalized Bergman game on an initial state terminates between $Ω(n)$ and $O(n^2)$ time. We also show a linear bound on the maximum length of the tuple used throughout the game.
△ Less
Submitted 19 September, 2021; v1 submitted 31 August, 2021;
originally announced September 2021.
-
OpenFL: An open-source framework for Federated Learning
Authors:
G Anthony Reina,
Alexey Gruzdev,
Patrick Foley,
Olga Perepelkina,
Mansi Sharma,
Igor Davidyuk,
Ilya Trushkin,
Maksim Radionov,
Aleksandr Mokrov,
Dmitry Agapov,
Jason Martin,
Brandon Edwards,
Micah J. Sheller,
Sarthak Pati,
Prakash Narayana Moorthy,
Shih-han Wang,
Prashant Shah,
Spyridon Bakas
Abstract:
Federated learning (FL) is a computational paradigm that enables organizations to collaborate on machine learning (ML) projects without sharing sensitive data, such as, patient records, financial data, or classified secrets. Open Federated Learning (OpenFL https://github.com/intel/openfl) is an open-source framework for training ML algorithms using the data-private collaborative learning paradigm…
▽ More
Federated learning (FL) is a computational paradigm that enables organizations to collaborate on machine learning (ML) projects without sharing sensitive data, such as, patient records, financial data, or classified secrets. Open Federated Learning (OpenFL https://github.com/intel/openfl) is an open-source framework for training ML algorithms using the data-private collaborative learning paradigm of FL. OpenFL works with training pipelines built with both TensorFlow and PyTorch, and can be easily extended to other ML and deep learning frameworks. Here, we summarize the motivation and development characteristics of OpenFL, with the intention of facilitating its application to existing ML model training in a production environment. Finally, we describe the first use of the OpenFL framework to train consensus ML models in a consortium of international healthcare organizations, as well as how it facilitates the first computational competition on FL.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
The Federated Tumor Segmentation (FeTS) Challenge
Authors:
Sarthak Pati,
Ujjwal Baid,
Maximilian Zenk,
Brandon Edwards,
Micah Sheller,
G. Anthony Reina,
Patrick Foley,
Alexey Gruzdev,
Jason Martin,
Shadi Albarqouni,
Yong Chen,
Russell Taki Shinohara,
Annika Reinke,
David Zimmerer,
John B. Freymann,
Justin S. Kirby,
Christos Davatzikos,
Rivka R. Colen,
Aikaterini Kotrotsou,
Daniel Marcus,
Mikhail Milchenko,
Arash Nazeri,
Hassan Fathallah-Shaykh,
Roland Wiest,
Andras Jakab
, et al. (7 additional authors not shown)
Abstract:
This manuscript describes the first challenge on Federated Learning, namely the Federated Tumor Segmentation (FeTS) challenge 2021. International challenges have become the standard for validation of biomedical image analysis methods. However, the actual performance of participating (even the winning) algorithms on "real-world" clinical data often remains unclear, as the data included in challenge…
▽ More
This manuscript describes the first challenge on Federated Learning, namely the Federated Tumor Segmentation (FeTS) challenge 2021. International challenges have become the standard for validation of biomedical image analysis methods. However, the actual performance of participating (even the winning) algorithms on "real-world" clinical data often remains unclear, as the data included in challenges are usually acquired in very controlled settings at few institutions. The seemingly obvious solution of just collecting increasingly more data from more institutions in such challenges does not scale well due to privacy and ownership hurdles. Towards alleviating these concerns, we are proposing the FeTS challenge 2021 to cater towards both the development and the evaluation of models for the segmentation of intrinsically heterogeneous (in appearance, shape, and histology) brain tumors, namely gliomas. Specifically, the FeTS 2021 challenge uses clinically acquired, multi-institutional magnetic resonance imaging (MRI) scans from the BraTS 2020 challenge, as well as from various remote independent institutions included in the collaborative network of a real-world federation (https://www.fets.ai/). The goals of the FeTS challenge are directly represented by the two included tasks: 1) the identification of the optimal weight aggregation approach towards the training of a consensus model that has gained knowledge via federated learning from multiple geographically distinct institutions, while their data are always retained within each institution, and 2) the federated evaluation of the generalizability of brain tumor segmentation models "in the wild", i.e. on data from institutional distributions that were not part of the training datasets.
△ Less
Submitted 13 May, 2021; v1 submitted 12 May, 2021;
originally announced May 2021.
-
A surgical dataset from the da Vinci Research Kit for task automation and recognition
Authors:
Irene Rivas-Blanco,
Carlos J. Pérez-del-Pulgar,
Andrea Mariani,
Giuseppe Tortora,
Antonio J. Reina
Abstract:
The use of datasets is getting more relevance in surgical robotics since they can be used to recognise and automate tasks. Also, this allows to use common datasets to compare different algorithms and methods. The objective of this work is to provide a complete dataset of three common training surgical tasks that surgeons perform to improve their skills. For this purpose, 12 subjects teleoperated t…
▽ More
The use of datasets is getting more relevance in surgical robotics since they can be used to recognise and automate tasks. Also, this allows to use common datasets to compare different algorithms and methods. The objective of this work is to provide a complete dataset of three common training surgical tasks that surgeons perform to improve their skills. For this purpose, 12 subjects teleoperated the da Vinci Research Kit to perform these tasks. The obtained dataset includes all the kinematics and dynamics information provided by the da Vinci robot (both master and slave side) together with the associated video from the camera. All the information has been carefully timestamped and provided in a readable csv format. A MATLAB interface integrated with ROS for using and replicating the data is also provided.
△ Less
Submitted 29 June, 2023; v1 submitted 6 February, 2021;
originally announced February 2021.
-
Scalability in Computing and Robotics
Authors:
Heiko Hamann,
Andreagiovanni Reina
Abstract:
Efficient engineered systems require scalability. A scalable system has increasing performance with increasing system size. In an ideal case, the increase in performance (e.g., speedup) corresponds to the number of units that are added to the system. However, if multiple units work on the same task, then coordination among these units is required. This coordination can introduce overheads with an…
▽ More
Efficient engineered systems require scalability. A scalable system has increasing performance with increasing system size. In an ideal case, the increase in performance (e.g., speedup) corresponds to the number of units that are added to the system. However, if multiple units work on the same task, then coordination among these units is required. This coordination can introduce overheads with an impact on system performance. The coordination costs can lead to sublinear improvement or even diminishing performance with increasing system size. However, there are also systems that implement efficient coordination and exploit collaboration of units to attain superlinear improvement. Modeling the scalability dynamics is key to understanding efficient systems. Known laws of scalability, such as Amdahl's law, Gustafson's law, and Gunther's Universal Scalability Law, are minimalistic phenomenological models that explain a rich variety of system behaviors through concise equations. While useful to gain general insights, the phenomenological nature of these models may limit the understanding of the underlying dynamics, as they are detached from first principles that could explain coordination overheads among units. Through a decentralized system approach, we propose a general model based on generic interactions between units that is able to describe, as specific cases, any general pattern of scalability included by previously reported laws. The proposed general model of scalability is built on first principles, or at least on a microscopic description of interaction between units, and therefore has the potential to contribute to a better understanding of system behavior and scalability. We show that this model can be applied to a diverse set of systems, such as parallel supercomputers, robot swarms, or wireless sensor networks, creating a unified view on interdisciplinary design for scalability.
△ Less
Submitted 11 June, 2021; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Addressing the Memory Bottleneck in AI Model Training
Authors:
David Ojika,
Bhavesh Patel,
G. Anthony Reina,
Trent Boyer,
Chad Martin,
Prashant Shah
Abstract:
Using medical imaging as case-study, we demonstrate how Intel-optimized TensorFlow on an x86-based server equipped with 2nd Generation Intel Xeon Scalable Processors with large system memory allows for the training of memory-intensive AI/deep-learning models in a scale-up server configuration. We believe our work represents the first training of a deep neural network having large memory footprint…
▽ More
Using medical imaging as case-study, we demonstrate how Intel-optimized TensorFlow on an x86-based server equipped with 2nd Generation Intel Xeon Scalable Processors with large system memory allows for the training of memory-intensive AI/deep-learning models in a scale-up server configuration. We believe our work represents the first training of a deep neural network having large memory footprint (~ 1 TB) on a single-node server. We recommend this configuration to scientists and researchers who wish to develop large, state-of-the-art AI models but are currently limited by memory.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
A memory and communication efficient algorithm for decentralized counting of nodes in networks
Authors:
Arindam Saha,
James A. R. Marshall,
Andreagiovanni Reina
Abstract:
Node counting on a graph is subject to some fundamental theoretical limitations, yet a solution to such problems is necessary in many applications of graph theory to real-world systems, such as collective robotics and distributed sensor networks. Thus several stochastic and na{ï}ve deterministic algorithms for distributed graph size estimation or calculation have been provided. Here we present a d…
▽ More
Node counting on a graph is subject to some fundamental theoretical limitations, yet a solution to such problems is necessary in many applications of graph theory to real-world systems, such as collective robotics and distributed sensor networks. Thus several stochastic and na{ï}ve deterministic algorithms for distributed graph size estimation or calculation have been provided. Here we present a deterministic and distributed algorithm that allows every node of a connected graph to determine the graph size in finite time, if an upper bound on the graph size is provided. The algorithm consists in the iterative aggregation of information in local hubs which then broadcast it throughout the whole graph. The proposed node-counting algorithm is on average more efficient in terms of node memory and communication cost than its previous deterministic counterpart for node counting, and appears comparable or more efficient in terms of average-case time complexity. As well as node counting, the algorithm is more broadly applicable to problems such as summation over graphs, quorum sensing, and spontaneous hierarchy creation.
△ Less
Submitted 28 May, 2020; v1 submitted 14 December, 2019;
originally announced December 2019.
-
Robots as Actors in a Film: No War, A Robot Story
Authors:
Andreagiovanni Reina,
Viktor Ioannou,
Jun** Chen,
Lu Lu,
Charles Kent,
James A. R. Marshall
Abstract:
Will the Third World War be fought by robots? This short film is a light-hearted comedy that aims to trigger an interesting discussion and reflexion on the terrifying killer-robot stories that increasingly fill us with dread when we read the news headlines. The fictional scenario takes inspiration from current scientific research and describes a future where robots are asked by humans to join the…
▽ More
Will the Third World War be fought by robots? This short film is a light-hearted comedy that aims to trigger an interesting discussion and reflexion on the terrifying killer-robot stories that increasingly fill us with dread when we read the news headlines. The fictional scenario takes inspiration from current scientific research and describes a future where robots are asked by humans to join the war. Robots are divided, sparking protests in robot society... will robots join the conflict or will they refuse to be employed in human warfare? Food for thought for engineers, roboticists and anyone imagining what the upcoming robot revolution could look like. We let robots pop on camera to tell a story, taking on the role of actors playing in the film, instructed through code on how to "act" for each scene.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Correlation of Auroral Dynamics and GNSS Scintillation with an Autoencoder
Authors:
Kara Lamb,
Garima Malhotra,
Athanasios Vlontzos,
Edward Wagstaff,
Atılım Günes Baydin,
Anahita Bhiwandiwalla,
Yarin Gal,
Alfredo Kalaitzis,
Anthony Reina,
Asti Bhatt
Abstract:
High energy particles originating from solar activity travel along the the Earth's magnetic field and interact with the atmosphere around the higher latitudes. These interactions often manifest as aurora in the form of visible light in the Earth's ionosphere. These interactions also result in irregularities in the electron density, which cause disruptions in the amplitude and phase of the radio si…
▽ More
High energy particles originating from solar activity travel along the the Earth's magnetic field and interact with the atmosphere around the higher latitudes. These interactions often manifest as aurora in the form of visible light in the Earth's ionosphere. These interactions also result in irregularities in the electron density, which cause disruptions in the amplitude and phase of the radio signals from the Global Navigation Satellite Systems (GNSS), known as 'scintillation'. In this paper we use a multi-scale residual autoencoder (Res-AE) to show the correlation between specific dynamic structures of the aurora and the magnitude of the GNSS phase scintillations ($σ_φ$). Auroral images are encoded in a lower dimensional feature space using the Res-AE, which in turn are clustered with t-SNE and UMAP. Both methods produce similar clusters, and specific clusters demonstrate greater correlations with observed phase scintillations. Our results suggest that specific dynamic structures of auroras are highly correlated with GNSS phase scintillations.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Emergent naming conventions in a foraging robot swarm
Authors:
Roman Miletitch,
Andreagiovanni Reina,
Marco Dorigo,
Vito Trianni
Abstract:
In this study, we investigate the emergence of naming conventions within a swarm of robots that collectively forage, that is, collect resources from multiple sources in the environment. While foraging, the swarm explores the environment and makes a collective decision on how to exploit the available resources, either by selecting a single source or concurrently exploiting more than one. At the sam…
▽ More
In this study, we investigate the emergence of naming conventions within a swarm of robots that collectively forage, that is, collect resources from multiple sources in the environment. While foraging, the swarm explores the environment and makes a collective decision on how to exploit the available resources, either by selecting a single source or concurrently exploiting more than one. At the same time, the robots locally exchange messages in order to agree on how to name each source. Here, we study the correlation between the task-induced interaction network and the emergent naming conventions. In particular, our goal is to determine whether the dynamics of the interaction network are sufficient to determine an emergent vocabulary that is potentially useful to the robot swarm. To be useful, linguistic conventions need to be compact and meaningful, that is, to be the minimal description of the relevant features of the environment and of the made collective decision. We show that, in order to obtain a useful vocabulary, the task-dependent interaction network alone is not sufficient but it must be combined with a correlation between language and foraging dynamics. On the basis of these results, we propose a decentralised algorithm for collective categorisation which enables the swarm to achieve a useful -- compact and meaningful -- naming of all the available sources. Understanding how useful linguistic conventions emerge contributes to the design of robot swarms with potentially improved autonomy, flexibility, and self-awareness.
△ Less
Submitted 2 May, 2022; v1 submitted 5 October, 2019;
originally announced October 2019.
-
Prediction of GNSS Phase Scintillations: A Machine Learning Approach
Authors:
Kara Lamb,
Garima Malhotra,
Athanasios Vlontzos,
Edward Wagstaff,
Atılım Günes Baydin,
Anahita Bhiwandiwalla,
Yarin Gal,
Alfredo Kalaitzis,
Anthony Reina,
Asti Bhatt
Abstract:
A Global Navigation Satellite System (GNSS) uses a constellation of satellites around the earth for accurate navigation, timing, and positioning. Natural phenomena like space weather introduce irregularities in the Earth's ionosphere, disrupting the propagation of the radio signals that GNSS relies upon. Such disruptions affect both the amplitude and the phase of the propagated waves. No physics-b…
▽ More
A Global Navigation Satellite System (GNSS) uses a constellation of satellites around the earth for accurate navigation, timing, and positioning. Natural phenomena like space weather introduce irregularities in the Earth's ionosphere, disrupting the propagation of the radio signals that GNSS relies upon. Such disruptions affect both the amplitude and the phase of the propagated waves. No physics-based model currently exists to predict the time and location of these disruptions with sufficient accuracy and at relevant scales. In this paper, we focus on predicting the phase fluctuations of GNSS radio waves, known as phase scintillations. We propose a novel architecture and loss function to predict 1 hour in advance the magnitude of phase scintillations within a time window of plus-minus 5 minutes with state-of-the-art performance.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Multi-Institutional Deep Learning Modeling Without Sharing Patient Data: A Feasibility Study on Brain Tumor Segmentation
Authors:
Micah J Sheller,
G Anthony Reina,
Brandon Edwards,
Jason Martin,
Spyridon Bakas
Abstract:
Deep learning models for semantic segmentation of images require large amounts of data. In the medical imaging domain, acquiring sufficient data is a significant challenge. Labeling medical image data requires expert knowledge. Collaboration between institutions could address this challenge, but sharing medical data to a centralized location faces various legal, privacy, technical, and data-owners…
▽ More
Deep learning models for semantic segmentation of images require large amounts of data. In the medical imaging domain, acquiring sufficient data is a significant challenge. Labeling medical image data requires expert knowledge. Collaboration between institutions could address this challenge, but sharing medical data to a centralized location faces various legal, privacy, technical, and data-ownership challenges, especially among international institutions. In this study, we introduce the first use of federated learning for multi-institutional collaboration, enabling deep learning modeling without sharing patient data. Our quantitative results demonstrate that the performance of federated semantic segmentation models (Dice=0.852) on multimodal brain scans is similar to that of models trained by sharing data (Dice=0.862). We compare federated learning with two alternative collaborative learning methods and find that they fail to match the performance of federated learning.
△ Less
Submitted 22 October, 2018; v1 submitted 9 October, 2018;
originally announced October 2018.
-
Model of the best-of-N nest-site selection process in honeybees
Authors:
Andreagiovanni Reina,
James A. R. Marshall,
Vito Trianni,
Thomas Bose
Abstract:
The ability of a honeybee swarm to select the best nest site plays a fundamental role in determining the future colony's fitness. To date, the nest-site selection process has mostly been modelled and theoretically analysed for the case of binary decisions. However, when the number of alternative nests is larger than two, the decision process dynamics qualitatively change. In this work, we extend p…
▽ More
The ability of a honeybee swarm to select the best nest site plays a fundamental role in determining the future colony's fitness. To date, the nest-site selection process has mostly been modelled and theoretically analysed for the case of binary decisions. However, when the number of alternative nests is larger than two, the decision process dynamics qualitatively change. In this work, we extend previous analyses of a value-sensitive decision-making mechanism to a decision process among N nests. First, we present the decision-making dynamics in the symmetric case of N equal-quality nests. Then, we generalise our findings to a best-of-N decision scenario with one superior nest and N-1 inferior nests, previously studied empirically in bees and ants. Whereas previous binary models highlighted the crucial role of inhibitory stop-signalling, the key parameter in our new analysis is the relative time invested by swarm members in individual discovery and in signalling behaviours. Our new analysis reveals conflicting pressures on this ratio in symmetric and best-of-N decisions, which could be solved through a time-dependent signalling strategy. Additionally, our analysis suggests how ecological factors determining the density of suitable nest sites may have led to selective pressures for an optimal stable signalling ratio.
△ Less
Submitted 5 June, 2017; v1 submitted 22 November, 2016;
originally announced November 2016.
-
Emergence of Consensus in a Multi-Robot Network: from Abstract Models to Empirical Validation
Authors:
Vito Trianni,
Daniele De Simone,
Andreagiovanni Reina,
Andrea Baronchelli
Abstract:
Consensus dynamics in decentralised multiagent systems are subject to intense studies, and several different models have been proposed and analysed. Among these, the naming game stands out for its simplicity and applicability to a wide range of phenomena and applications, from semiotics to engineering. Despite the wide range of studies available, the implementation of theoretical models in real di…
▽ More
Consensus dynamics in decentralised multiagent systems are subject to intense studies, and several different models have been proposed and analysed. Among these, the naming game stands out for its simplicity and applicability to a wide range of phenomena and applications, from semiotics to engineering. Despite the wide range of studies available, the implementation of theoretical models in real distributed systems is not always straightforward, as the physical platform imposes several constraints that may have a bearing on the consensus dynamics. In this paper, we investigate the effects of an implementation of the naming game for the kilobot robotic platform, in which we consider concurrent execution of games and physical interferences. Consensus dynamics are analysed in the light of the continuously evolving communication network created by the robots, highlighting how the different regimes crucially depend on the robot density and on their ability to spread widely in the experimental arena. We find that physical interferences reduce the benefits resulting from robot mobility in terms of consensus time, but also result in lower cognitive load for individual agents.
△ Less
Submitted 19 January, 2016;
originally announced January 2016.
-
Single Layer Behavior and Its Breakdown in Twisted Graphene Layers
Authors:
A. Luican,
Guohong Li,
A. Reina,
J. Kong,
R. R. Nair,
K. S. Novoselov,
A. K. Geim,
E. Y. Andrei
Abstract:
We report high magnetic field scanning tunneling microscopy and Landau level spectroscopy of twisted graphene layers grown by chemical vapor deposition. For twist angles exceeding ~3 degrees the low energy carriers exhibit Landau level spectra characteristic of massless Dirac fermions. Above 20 degrees the layers effectively decouple and the electronic properties are indistinguishable from those i…
▽ More
We report high magnetic field scanning tunneling microscopy and Landau level spectroscopy of twisted graphene layers grown by chemical vapor deposition. For twist angles exceeding ~3 degrees the low energy carriers exhibit Landau level spectra characteristic of massless Dirac fermions. Above 20 degrees the layers effectively decouple and the electronic properties are indistinguishable from those in single layer graphene, while for smaller angles we observe a slow-down of the carrier velocity which is strongly angle dependent. At the smallest angles the spectra are dominated by twist induced Van Hove singularities and the Dirac fermions eventually become localized. An unexpected electron-hole asymmetry is observed which is substantially larger than the asymmetry in either single or untwisted bilayer graphene.
△ Less
Submitted 19 October, 2010;
originally announced October 2010.
-
Graphene: A sub-nanometer trans-electrode membrane
Authors:
S. Garaj,
W. Hubbard,
A. Reina,
J. Kong,
D. Branton,
J. A. Golovchenko
Abstract:
Isolated, atomically thin conducting membranes of graphite, called graphene, have recently been the subject of intense research with the hope that practical applications in fields ranging from electronics to energy science will emerge. Here, we show that when immersed in ionic solution, a layer of graphene takes on new electrochemical properties that make it a trans-electrode. The trans-electrode'…
▽ More
Isolated, atomically thin conducting membranes of graphite, called graphene, have recently been the subject of intense research with the hope that practical applications in fields ranging from electronics to energy science will emerge. Here, we show that when immersed in ionic solution, a layer of graphene takes on new electrochemical properties that make it a trans-electrode. The trans-electrode's properties are the consequence of the atomic scale proximity of its two opposing liquid-solid interfaces together with graphene's well known in-plane conductivity. We show that several trans-electrode properties are revealed by ionic conductivity measurements on a CVD grown graphene membrane that separates two aqueous ionic solutions. Despite this membrane being only one to two atomic layers thick, we find it is a remarkable ionic insulator with a very small stable conductivity that depends on the ion species in solution. Electrical measurements on graphene membranes in which a single nanopore has been drilled show that the membrane's effective insulating thickness is less than one nanometer. This small effective thickness makes graphene an ideal substrate for very high-resolution, high throughput nanopore based single molecule detectors. Sensors based on modulation of graphene's in-plane electronic conductivity in response to trans-electrode environments and voltage biases will provide new insights into atomic processes at the electrode surfaces.
△ Less
Submitted 17 June, 2010;
originally announced June 2010.
-
Observation of Van Hove singularities in twisted graphene layers
Authors:
Guohong Li,
A. Luican,
J. M. B. Lopes dos Santos,
A. H. Castro Neto,
A. Reina,
J. Kong,
E. Y. Andrei
Abstract:
Electronic instabilities at the crossing of the Fermi energy with a Van Hove singularity in the density of states often lead to new phases of matter such as superconductivity, magnetism or density waves. However, in most materials this condition is difficult to control. In the case of single-layer graphene, the singularity is too far from the Fermi energy and hence difficult to reach with standa…
▽ More
Electronic instabilities at the crossing of the Fermi energy with a Van Hove singularity in the density of states often lead to new phases of matter such as superconductivity, magnetism or density waves. However, in most materials this condition is difficult to control. In the case of single-layer graphene, the singularity is too far from the Fermi energy and hence difficult to reach with standard do** and gating techniques. Here we report the observation of low-energy Van Hove singularities in twisted graphene layers seen as two pronounced peaks in the density of states measured by scanning tunneling spectroscopy. We demonstrate that a rotation between stacked graphene layers can generate Van Hove singularities, which can be brought arbitrarily close to the Fermi energy by varying the angle of rotation. This opens intriguing prospects for Van Hove singularity engineering of electronic phases.
△ Less
Submitted 10 December, 2009;
originally announced December 2009.
-
Growth of large-area single- and bi-layer graphene by controlled carbon precipitation on polycrystalline Ni surfaces
Authors:
Alfonso Reina,
Stefan Thiele,
Xiaoting Jia,
Sreekar Bhaviripudi,
Mildred S. Dresselhaus,
Juergen A. Schaefer,
**g Kong
Abstract:
We report graphene films composed mostly of one or two layers of graphene grown by controlled carbon precipitation on the surface of polycrystalline Ni thin films during atmospheric chemical vapor deposition(CVD). Controlling both the methane concentration during CVD and the substrate cooling rate during graphene growth can significantly improve the thickness uniformity. As a result, one- or two…
▽ More
We report graphene films composed mostly of one or two layers of graphene grown by controlled carbon precipitation on the surface of polycrystalline Ni thin films during atmospheric chemical vapor deposition(CVD). Controlling both the methane concentration during CVD and the substrate cooling rate during graphene growth can significantly improve the thickness uniformity. As a result, one- or two- layer graphene regions occupy up to 87% of the film area. Single layer coverage accounts for 5-11% of the overall film. These regions expand across multiple grain boundaries of the underlying polycrystalline Ni film. The number density of sites with multilayer graphene/graphite (>2 layers) is reduced as the cooling rate decreases. These films can also be transferred to other substrates and their sizes are only limited by the sizes of the Ni film and the CVD chamber. Here, we demonstrate the formation of films as large as 1 in2. These findings represent an important step towards the fabrication of large-scale high-quality graphene samples.
△ Less
Submitted 12 June, 2009;
originally announced June 2009.