Showing 1–24 of 24 results for author: Beal, J

Flow Cytometry Quantification of Transient Transfections in Mammalian Cells

Authors: Jacob Beal

Abstract: Flow cytometry is a powerful quantitative assay supporting high-throughput collection of single-cell data with a high dynamic range. For flow cytometry to yield reproducible data with a quantitative relationship to the underlying biology, however, requires that 1) appropriate process controls are collected along with experimental samples, 2) these process controls are used for unit calibration and… ▽ More Flow cytometry is a powerful quantitative assay supporting high-throughput collection of single-cell data with a high dynamic range. For flow cytometry to yield reproducible data with a quantitative relationship to the underlying biology, however, requires that 1) appropriate process controls are collected along with experimental samples, 2) these process controls are used for unit calibration and quality control, and 3) data is analyzed using appropriate statistics. To this end, this article describes methods for quantitative flow cytometry through addition of process controls and analyses, thereby enabling better development, modeling, and debugging of engineered biological organisms. The methods described here have specifically been developed in the context of transient transfections in mammalian cells, but may in many cases be adaptable to other categories of transfection and other types of cells. △ Less

Submitted 13 May, 2023; originally announced May 2023.

Comments: 23 pages, 13 figures

Inferring Player Location in Sports Matches: Multi-Agent Spatial Imputation from Limited Observations

Authors: Gregory Everett, Ryan J. Beal, Tim Matthews, Joseph Early, Timothy J. Norman, Sarvapali D. Ramchurn

Abstract: Understanding agent behaviour in Multi-Agent Systems (MAS) is an important problem in domains such as autonomous driving, disaster response, and sports analytics. Existing MAS problems typically use uniform timesteps with observations for all agents. In this work, we analyse the problem of agent location imputation, specifically posed in environments with non-uniform timesteps and limited agent ob… ▽ More Understanding agent behaviour in Multi-Agent Systems (MAS) is an important problem in domains such as autonomous driving, disaster response, and sports analytics. Existing MAS problems typically use uniform timesteps with observations for all agents. In this work, we analyse the problem of agent location imputation, specifically posed in environments with non-uniform timesteps and limited agent observability (~95% missing values). Our approach uses Long Short-Term Memory and Graph Neural Network components to learn temporal and inter-agent patterns to predict the location of all agents at every timestep. We apply this to the domain of football (soccer) by imputing the location of all players in a game from sparse event data (e.g., shots and passes). Our model estimates player locations to within ~6.9m; a ~62% reduction in error from the best performing baseline. This approach facilitates downstream analysis tasks such as player physical metrics, player coverage, and team pitch control. Existing solutions to these tasks often require optical tracking data, which is expensive to obtain and only available to elite clubs. By imputing player locations from easy to obtain event data, we increase the accessibility of downstream tasks. △ Less

Submitted 13 February, 2023; originally announced February 2023.

Comments: 11 Pages (8 main, 1 references, 2 appendix), 8 figures (7 main, 1 appendix). Accepted at AAMAS 2023 Main Track

Functional Synthetic Biology

Authors: Ibrahim Aldulijan, Jacob Beal, Sonja Billerbeck, Jeff Bouffard, Gael Chambonnier, Nikolaos Delkis, Isaac Guerreiro, Martin Holub, Paul Ross, Vinoo Selvarajah, Noah Sprent, Gonzalo Vidal, Alejandro Vignoni

Abstract: Synthetic biologists have made great progress over the past decade in developing methods for modular assembly of genetic sequences and in engineering biological systems with a wide variety of functions in various contexts and organisms. However, current paradigms in the field entangle sequence and functionality in a manner that makes abstraction difficult, reduces engineering flexibility, and impa… ▽ More Synthetic biologists have made great progress over the past decade in developing methods for modular assembly of genetic sequences and in engineering biological systems with a wide variety of functions in various contexts and organisms. However, current paradigms in the field entangle sequence and functionality in a manner that makes abstraction difficult, reduces engineering flexibility, and impairs predictability and design reuse. Functional Synthetic Biology aims to overcome these impediments by focusing the design of biological systems on function, rather than on sequence. This reorientation will decouple the engineering of biological devices from the specifics of how those devices are put to use, requiring both conceptual and organizational change, as well as supporting software tooling. Realizing this vision of Functional Synthetic Biology will allow more flexibility in how devices are used, more opportunity for reuse of devices and data, improvements in predictability, and reductions in technical risk and cost. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 8 pages, 4 figures; submitted to OUP Synthetic Biology

Local Optical Chirality Induced by Near-Field Mode Interference in Achiral Plasmonic Metamolecules

Authors: Andreas Horrer, Yinping Zhang, Davy Gérard, Jérémie Béal, Mathieu Kociak, Jérôme Plain, Renaud Bachelot

Abstract: When circularly polarized light interacts with a nanostructure, the optical response depends on the geometry of the structure. If the nanostructure is chiral (i.e., it cannot be superimposed on its mirror image), then its optical response, both in near-field and far-field, depends on the handedness of the incident light. In contrast, achiral structures exhibit identical far-field responses for lef… ▽ More When circularly polarized light interacts with a nanostructure, the optical response depends on the geometry of the structure. If the nanostructure is chiral (i.e., it cannot be superimposed on its mirror image), then its optical response, both in near-field and far-field, depends on the handedness of the incident light. In contrast, achiral structures exhibit identical far-field responses for left- and right-circular polarization. Here, we show that a perfectly achiral nanostructure, a plasmonic metamolecule with trigonal D3h symmetry, exhibits a near-field response that is sensitive to the handedness of light. This effect stems from the near-field interference between the different plasmonic modes sustained by the plasmonic metamolecule under circularly polarized light excitation. The local chirality in a plasmonic trimer is then experimentally evidenced with nanoscale resolution using a molecular probe. Our experiments demonstrate that the optical near-field chirality can be imprinted into the photosensitive polymer, turning an optical chirality into a geometrical chirality that can be imaged using atomic force microscopy. These results are of interest for the field of polarization-sensitive photochemistry. △ Less

Submitted 9 October, 2021; originally announced October 2021.

Journal ref: Nano Lett., 2020, 20 (1), pp. 509-516

Band-edge emission enhancement in sputtered ZnO thin films with ultraviolet surface lattice resonances

Authors: Thomas Simon, Sergei Kostcheev, Anna Rumyantseva, Jérémie Béal, Davy Gérard, Jérôme Martin

Abstract: Metallic nanostructures acting as optical nanoantennas can significantly enhance the photoluminescence (PL) of nearby emitters. Albeit luminescence enhancement factors of several orders of magnitude have been reported for quantum dots or molecules, in the case of bulk emitters the magnitude of the plasmonic enhancement is strongly hindered by the weak spatial overlap between the active medium and… ▽ More Metallic nanostructures acting as optical nanoantennas can significantly enhance the photoluminescence (PL) of nearby emitters. Albeit luminescence enhancement factors of several orders of magnitude have been reported for quantum dots or molecules, in the case of bulk emitters the magnitude of the plasmonic enhancement is strongly hindered by the weak spatial overlap between the active medium and the electromagnetic modes of the nanoantenna. Here, we propose a solid-state ultraviolet emitter based on a thin film of zinc oxide (ZnO) coupled with an array of aluminum (Al) nanoparticles. The Al nanorod array is designed to sustain surface lattice resonances (SLRs) in the near ultraviolet, which are hybrid modes exhibiting a Fano-like lineshape with narrowed linewidth relatively to the non-hybridized plasmonic modes. By changing both the period of the array and the dimensions of the nanorods, the generated SLR is tuned either to the near band-edge (NBE) emission of ZnO or to the excitation wavelength. We experimentally demonstrate that NBE emission can be increased up to a factor of 3 compared to bare ZnO. The underlying PL enhancement mechanisms are experimentally investigated and compared with numerical simulations. We also demonstrate that SLRs are more efficient for the ZnO luminescence enhancement compared to localized surface plasmon resonances. △ Less

Submitted 13 December, 2021; v1 submitted 30 September, 2021; originally announced September 2021.

Comments: 8 pages, 8 figures. This is the authors' peer-reviewed, accepted manuscript

Journal ref: J. Appl. Phys. 130, 223103 (2021)

Billion-Scale Pretraining with Vision Transformers for Multi-Task Visual Representations

Authors: Josh Beal, Hao-Yu Wu, Dong Huk Park, Andrew Zhai, Dmitry Kislyuk

Abstract: Large-scale pretraining of visual representations has led to state-of-the-art performance on a range of benchmark computer vision tasks, yet the benefits of these techniques at extreme scale in complex production systems has been relatively unexplored. We consider the case of a popular visual discovery product, where these representations are trained with multi-task learning, from use-case specifi… ▽ More Large-scale pretraining of visual representations has led to state-of-the-art performance on a range of benchmark computer vision tasks, yet the benefits of these techniques at extreme scale in complex production systems has been relatively unexplored. We consider the case of a popular visual discovery product, where these representations are trained with multi-task learning, from use-case specific visual understanding (e.g. skin tone classification) to general representation learning for all visual content (e.g. embeddings for retrieval). In this work, we describe how we (1) generate a dataset with over a billion images via large weakly-supervised pretraining to improve the performance of these visual representations, and (2) leverage Transformers to replace the traditional convolutional backbone, with insights into both system and performance improvements, especially at 1B+ image scale. To support this backbone model, we detail a systematic approach to deriving weakly-supervised image annotations from heterogenous text signals, demonstrating the benefits of clustering techniques to handle the long-tail distribution of image labels. Through a comprehensive study of offline and online evaluation, we show that large-scale Transformer-based pretraining provides significant benefits to industry computer vision applications. The model is deployed in a production visual shopping system, with 36% improvement in top-1 relevance and 23% improvement in click-through volume. We conduct extensive experiments to better understand the empirical relationships between Transformer-based architectures, dataset scale, and the performance of production vision systems. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: Accepted by WACV 2022

Monotonic Filtering for Distributed Collection

Authors: Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal

Abstract: Distributed data collection is a fundamental task in open systems. In such networks, data is aggregated across a network to produce a single aggregated result at a source device. Though self-stabilizing, algorithms performing data collection can produce large overestimates in the transient phase. For example, in [1] we demonstrated that in a line graph, a switch of sources after initial stabilizat… ▽ More Distributed data collection is a fundamental task in open systems. In such networks, data is aggregated across a network to produce a single aggregated result at a source device. Though self-stabilizing, algorithms performing data collection can produce large overestimates in the transient phase. For example, in [1] we demonstrated that in a line graph, a switch of sources after initial stabilization may produce overestimates that are quadratic in the network diameter. We also proposed monotonic filtering as a strategy for removing such large overestimates. Monotonic filtering prevents the transfer of data from device A to device B unless the distance estimate at A is more than that at B at the previous iteration. For a line graph, [1] shows that monotonic filtering prevents quadratic overestimates. This paper analyzes monotonic filtering for an arbitrary graph topology, showing that for an N device network, the largest overestimate after switching sources is at most 2N. △ Less

Submitted 12 July, 2021; originally announced July 2021.

Stability and Resilience of Distributed Information Spreading in Aggregate Computing

Authors: Yuanqiu Mo, Soura Dasgupta, Jacob Beal

Abstract: Spreading information through a network of devices is a core activity for most distributed systems. As such, self-stabilizing algorithms implementing information spreading are one of the key building blocks enabling aggregate computing to provide resilient coordination in open complex distributed systems. This paper improves a general spreading block in the aggregate computing literature by making… ▽ More Spreading information through a network of devices is a core activity for most distributed systems. As such, self-stabilizing algorithms implementing information spreading are one of the key building blocks enabling aggregate computing to provide resilient coordination in open complex distributed systems. This paper improves a general spreading block in the aggregate computing literature by making it resilient to network perturbations, establishes its global uniform asymptotic stability and proves that it is ultimately bounded under persistent disturbances. The ultimate bounds depend only on the magnitude of the largest perturbation and the network diameter, and three design parameters trade off competing aspects of performance. For example, as in many dynamical systems, values leading to greater resilience to network perturbations slow convergence and vice versa. △ Less

Submitted 20 February, 2021; originally announced February 2021.

Toward Transformer-Based Object Detection

Authors: Josh Beal, Eric Kim, Eric Tzeng, Dong Huk Park, Andrew Zhai, Dmitry Kislyuk

Abstract: Transformers have become the dominant model in natural language processing, owing to their ability to pretrain on massive amounts of data, then transfer to smaller, more specific tasks via fine-tuning. The Vision Transformer was the first major attempt to apply a pure transformer model directly to images as input, demonstrating that as compared to convolutional networks, transformer-based architec… ▽ More Transformers have become the dominant model in natural language processing, owing to their ability to pretrain on massive amounts of data, then transfer to smaller, more specific tasks via fine-tuning. The Vision Transformer was the first major attempt to apply a pure transformer model directly to images as input, demonstrating that as compared to convolutional networks, transformer-based architectures can achieve competitive results on benchmark classification tasks. However, the computational complexity of the attention operator means that we are limited to low-resolution inputs. For more complex tasks such as detection or segmentation, maintaining a high input resolution is crucial to ensure that models can properly identify and reflect fine details in their output. This naturally raises the question of whether or not transformer-based architectures such as the Vision Transformer are capable of performing tasks other than classification. In this paper, we determine that Vision Transformers can be used as a backbone by a common detection task head to produce competitive COCO results. The model that we propose, ViT-FRCNN, demonstrates several known properties associated with transformers, including large pretraining capacity and fast fine-tuning performance. We also investigate improvements over a standard detection backbone, including superior performance on out-of-domain images, better performance on large objects, and a lessened reliance on non-maximum suppression. We view ViT-FRCNN as an important stepping stone toward a pure-transformer solution of complex vision tasks such as object detection. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Hybrid plasmonic nano-emitters with controlled single quantum emitter positioning on the local excitation field

Authors: Dandan Ge, Sylvie Marguet, Ali Issa, Safi Jradi, Tien Hoa Nguyen, Mackrine Nahra, Jéremie Béal, Régis Deturche, Hongshi Chen, Sylvain Blaize, Jérôme Plain, Céline Fiorini, Ludovic Douillard, Olivier Soppera, Xuan Quyen Dinh, Cuong Dang, Xuyong Yang, Tao Xu, Bin Wei, Xiao Wei Sun, Christophe Couteau, Renaud Bachelot

Abstract: Hybrid plasmonic nanoemitters based on the combination of quantum dot emitters (QD) and plasmonic nanoantennas open up new perspectives in the control of light. However, precise positioning of any active medium at the nanoscale constitutes a challenge. Here, we report on the optimal overlap of antenna's near-field and active medium whose spatial distribution is controlled via a plasmon-triggered 2… ▽ More Hybrid plasmonic nanoemitters based on the combination of quantum dot emitters (QD) and plasmonic nanoantennas open up new perspectives in the control of light. However, precise positioning of any active medium at the nanoscale constitutes a challenge. Here, we report on the optimal overlap of antenna's near-field and active medium whose spatial distribution is controlled via a plasmon-triggered 2-photon polymerization of a photosensitive formulation containing QDs. Au nanoparticles of various geometries are considered. The response of these hybrid nano-emitters is shown to be highly sensitive to the light polarization. Different light emission states are evidenced by photoluminescence measurements. These states correspond to polarization-sensitive nanoscale overlap between the exciting local field and the active medium distribution. The decrease of the QD concentration within the monomer formulation allows trapping of a single quantum dot in the vicinity of the Au particle. The latter objects show polarization-dependent switching in the single-photon regime. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Journal ref: Nature Communications 11, 3414 (2020)

Bootstrapping Complete The Look at Pinterest

Authors: Eileen Li, Eric Kim, Andrew Zhai, Josh Beal, Kunlong Gu

Abstract: Putting together an ideal outfit is a process that involves creativity and style intuition. This makes it a particularly difficult task to automate. Existing styling products generally involve human specialists and a highly curated set of fashion items. In this paper, we will describe how we bootstrapped the Complete The Look (CTL) system at Pinterest. This is a technology that aims to learn the s… ▽ More Putting together an ideal outfit is a process that involves creativity and style intuition. This makes it a particularly difficult task to automate. Existing styling products generally involve human specialists and a highly curated set of fashion items. In this paper, we will describe how we bootstrapped the Complete The Look (CTL) system at Pinterest. This is a technology that aims to learn the subjective task of "style compatibility" in order to recommend complementary items that complete an outfit. In particular, we want to show recommendations from other categories that are compatible with an item of interest. For example, what are some heels that go well with this cocktail dress? We will introduce our outfit dataset of over 1 million outfits and 4 million objects, a subset of which we will make available to the research community, and describe the pipeline used to obtain and refresh this dataset. Furthermore, we will describe how we evaluate this subjective task and compare model performance across multiple training methods. Lastly, we will share our lessons going from experimentation to working prototype, and how to mitigate failure modes in the production environment. Our work represents one of the first examples of an industrial-scale solution for compatibility-based fashion recommendation. △ Less

Submitted 29 June, 2020; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: 9 pages, 12 figures, To be published in KDD '20

Causal inference with multiple versions of treatment and application to personalized medicine

Authors: Jonas Béal, Aurélien Latouche

Abstract: The development of high-throughput sequencing and targeted therapies has led to the emergence of personalized medicine: a patient's molecular profile or the presence of a specific biomarker of drug response will correspond to a treatment recommendation made either by a physician or by a treatment assignment algorithm. The growing number of such algorithms raises the question of how to quantify the… ▽ More The development of high-throughput sequencing and targeted therapies has led to the emergence of personalized medicine: a patient's molecular profile or the presence of a specific biomarker of drug response will correspond to a treatment recommendation made either by a physician or by a treatment assignment algorithm. The growing number of such algorithms raises the question of how to quantify their clinical impact knowing that a personalized medicine strategy will inherently include different versions of treatment. We thus specify an appropriate causal framework with multiple versions of treatment to define the causal effects of interest for precision medicine strategies and estimate them emulating clinical trials with observational data. Therefore, we determine whether the treatment assignment algorithm is more efficient than different control arms: gold standard treatment, observed treatments or random assignment of targeted treatments. Causal estimates of the precision medicine effects are first evaluated on simulated data and they demonstrate a lower biases and variances compared with naive estimation of the difference in expected outcome between treatment arms. The various simulations scenarios also point out the different bias sources depending on the clinical situation (heterogeneity of response, assignment of observed treatments etc.). A RShiny interactive application is also provided to further explore other user-defined scenarios. The method is then applied to data from patient-derived xenografts (PDX): each patient tumour is implanted in several immunodeficient cloned mice later treated with different drugs, thus providing access to all corresponding drug sensitivities for all patients. Access to these unique pre-clinical data emulating counterfactual outcomes allows to validate the reliability of causal estimates obtained with the proposed method. △ Less

Submitted 25 May, 2020; originally announced May 2020.

Comments: Around 12 pages, with 5 figures Associated GitHub repository: https://github.com/JonasBeal/Causal_Precision_Medicine

Field-based Coordination with the Share Operator

Authors: Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli

Abstract: Field-based coordination has been proposed as a model for coordinating collective adaptive systems, promoting a view of distributed computations as functions manipulating data structures spread over space and evolving over time, called computational fields. The field calculus is a formal foundation for field computations, providing specific constructs for evolution (time) and neighbor interaction… ▽ More Field-based coordination has been proposed as a model for coordinating collective adaptive systems, promoting a view of distributed computations as functions manipulating data structures spread over space and evolving over time, called computational fields. The field calculus is a formal foundation for field computations, providing specific constructs for evolution (time) and neighbor interaction (space), which are handled by separate operators (called rep and nbr, respectively). This approach, however, intrinsically limits the speed of information propagation that can be achieved by their combined use. In this paper, we propose a new field-based coordination operator called share, which captures the space-time nature of field computations in a single operator that declaratively achieves: (i) observation of neighbors' values; (ii) reduction to a single local value; and (iii) update and converse sharing to neighbors of a local variable. We show that for an important class of self-stabilising computations, share can replace all occurrences of rep and nbr constructs. In addition to conceptual economy, use of the share operator also allows many prior field calculus algorithms to be greatly accelerated, which we validate empirically with simulations of frequently used network propagation and collection algorithms. △ Less

Submitted 30 September, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Journal ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 2, 2020) lmcs:5817

Organizing genome engineering for the gigabase scale

Authors: Bryan A. Bartley, Jacob Beal, Jonathan R. Karr, Elizabeth A. Strychalski

Abstract: Engineering the entire genome of an organism enables large-scale changes in organization, function, and external interactions, with significant implications for industry, medicine, and the environment. Improvements to DNA synthesis and organism engineering are already enabling substantial changes to organisms with megabase genomes, such as Escherichia coli and Saccharomyces cerevisiae. Simultaneou… ▽ More Engineering the entire genome of an organism enables large-scale changes in organization, function, and external interactions, with significant implications for industry, medicine, and the environment. Improvements to DNA synthesis and organism engineering are already enabling substantial changes to organisms with megabase genomes, such as Escherichia coli and Saccharomyces cerevisiae. Simultaneously, recent advances in genome-scale modeling are increasingly informing the design of metabolic networks. However, major challenges remain for integrating these and other relevant technologies into workflows that can scale to the engineering of gigabase genomes. In particular, we find that a major under-recognized challenge is coordinating the flow of models, designs, constructs, and measurements across the large teams and complex technological systems that will likely be required for gigabase genome engineering. We recommend that the community address these challenges by 1) adopting and extending existing standards and technologies for representing and exchanging information at the gigabase genomic scale, 2) developing new technologies to address major open questions around data curation and quality control, 3) conducting fundamental research on the integration of modeling and design at the genomic scale, and 4) developing new legal and contractual infrastructure to better enable collaboration across multiple institutions. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Faster CryptoNets: Leveraging Sparsity for Real-World Encrypted Inference

Authors: Edward Chou, Josh Beal, Daniel Levy, Serena Yeung, Albert Haque, Li Fei-Fei

Abstract: Homomorphic encryption enables arbitrary computation over data while it remains encrypted. This privacy-preserving feature is attractive for machine learning, but requires significant computational time due to the large overhead of the encryption scheme. We present Faster CryptoNets, a method for efficient encrypted inference using neural networks. We develop a pruning and quantization approach th… ▽ More Homomorphic encryption enables arbitrary computation over data while it remains encrypted. This privacy-preserving feature is attractive for machine learning, but requires significant computational time due to the large overhead of the encryption scheme. We present Faster CryptoNets, a method for efficient encrypted inference using neural networks. We develop a pruning and quantization approach that leverages sparse representations in the underlying cryptosystem to accelerate inference. We derive an optimal approximation for popular activation functions that achieves maximally-sparse encodings and minimizes approximation error. We also show how privacy-safe training techniques can be used to reduce the overhead of encrypted inference for real-world datasets by leveraging transfer learning and differential privacy. Our experiments show that our method maintains competitive accuracy and achieves a significant speedup over previous methods. This work increases the viability of deep learning systems that use homomorphic encryption to protect user privacy. △ Less

Submitted 25 November, 2018; originally announced November 2018.

A Fully Private Pipeline for Deep Learning on Electronic Health Records

Authors: Edward Chou, Thao Nguyen, Josh Beal, Albert Haque, Li Fei-Fei

Abstract: We introduce an end-to-end private deep learning framework, applied to the task of predicting 30-day readmission from electronic health records. By using differential privacy during training and homomorphic encryption during inference, we demonstrate that our proposed pipeline could maintain high performance while providing robust privacy guarantees against information leak from data transmission… ▽ More We introduce an end-to-end private deep learning framework, applied to the task of predicting 30-day readmission from electronic health records. By using differential privacy during training and homomorphic encryption during inference, we demonstrate that our proposed pipeline could maintain high performance while providing robust privacy guarantees against information leak from data transmission or attacks against the model. We also explore several techniques to address the privacy-utility trade-off in deploying neural networks with privacy mechanisms, improving the accuracy of differentially-private training and the computation cost of encrypted operations using ideas from both machine learning and cryptography. △ Less

Submitted 25 November, 2018; originally announced November 2018.

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

Authors: Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini

Abstract: Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large scale, heterogeneity of communication model (including opportunistic peer-to-peer wireless interaction), and require inherent self-adaptiveness properties to ad… ▽ More Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large scale, heterogeneity of communication model (including opportunistic peer-to-peer wireless interaction), and require inherent self-adaptiveness properties to address unforeseen changes in operating conditions. In this context, it is extremely difficult (if not seemingly intractable) to engineer reusable pieces of distributed behaviour so as to make them provably correct and smoothly composable. Building on the field calculus, a computational model (and associated toolchain) capturing the notion of aggregate network-level computation, we address this problem with an engineering methodology coupling formal theory and computer simulation. On the one hand, functional properties are addressed by identifying the largest-to-date field calculus fragment generating self-stabilising behaviour, guaranteed to eventually attain a correct and stable final state despite any transient perturbation in state or topology, and including highly reusable building blocks for information spreading, aggregation, and time evolution. On the other hand, dynamical properties are addressed by simulation, empirically evaluating the different performances that can be obtained by switching between implementations of building blocks with provably equivalent functional properties. Overall, our methodology sheds light on how to identify core building blocks of collective behaviour, and how to select implementations that improve system performance while leaving overall system function and resiliency properties unchanged. △ Less

Submitted 22 November, 2017; originally announced November 2017.

Comments: To appear on ACM Transactions on Modeling and Computer Simulation

A Higher-order Calculus of Computational Fields

Authors: Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal

Abstract: The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of such systems (specifying a system's collective behaviour) and the micro-level (individual de… ▽ More The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of such systems (specifying a system's collective behaviour) and the micro-level (individual devices' actions of computation and interaction to implement that collective specification), thereby providing a basis to better facilitate the engineering of collective APIs and complex systems at higher levels of abstraction. This paper proposes a full formal foundation for field computations, in terms of a core (higher-order) calculus of computational fields containing a few key syntactic constructs, and equipped with typing, denotational and operational semantics. Critically, this allows formal establishment of a link between the micro- and macro-levels of collective adaptive systems, by a result of full abstraction and adequacy for the (aggregate) denotational semantics with respect to the (per-device) operational semantics. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Comments: 39 pages, 12 figures

Journal ref: ACM Transactions on Computational Logic (TOCL), 20(1), Article 5, January 2019

Resiliency with Aggregate Computing: State of the Art and Roadmap

Authors: Mirko Viroli, Jacob Beal

Abstract: One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the details of its implementation on individual devices. Aggregate computing simplifies this problem by separating these aspects into different layers of abstraction by means of a unifying notion of computational field and a fun… ▽ More One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the details of its implementation on individual devices. Aggregate computing simplifies this problem by separating these aspects into different layers of abstraction by means of a unifying notion of computational field and a functional computational model. We review the state of the art in aggregate computing, discuss the various resiliency properties it supports, and develop a roadmap of foundational problems still needing to be addressed in the continued development of this emerging discipline. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal ref: EPTCS 217, 2016, pp. 5-18

Synthesis and SERS application of SiO2@Au nanoparticles

Authors: Apurve Saini, Thomas Maurer, Irene Izquierdo Lorenzo, Andre Ribeiro Santos, Jérémie Beal, Julie Goffard, Davy Gérard, Alexandre Vial, Jérôme Plain

Abstract: In this letter, we report a chemical route for synthesizing SiO2@Au core-shell nanoparticles. The process includes four steps: i) preparation of the silica cores, ii) grafting gold nanoparticles over SiO2 cores, iii) priming of the silica-coated gold nanoparticles with 2 and 10 nm gold colloids and finally iv) formation of complete shell. The optical extinction spectra were experimentally measured… ▽ More In this letter, we report a chemical route for synthesizing SiO2@Au core-shell nanoparticles. The process includes four steps: i) preparation of the silica cores, ii) grafting gold nanoparticles over SiO2 cores, iii) priming of the silica-coated gold nanoparticles with 2 and 10 nm gold colloids and finally iv) formation of complete shell. The optical extinction spectra were experimentally measured and compared to numerical calculations in order to confirm the dimensions deduced from SEM images. Finally, the potential of such core-shell nanoparticles for biosensing was probed by means of Surface Enhanced Raman Scattering measurements and revealed higher sensitivities with much lower gold quantity of such core-shell nanoparticles compared to Au nanoparticles exhibiting similar diameters. △ Less

Submitted 8 December, 2014; originally announced December 2014.

Single step synthesis and organization of gold colloids assisted by copolymer templates

Authors: Aurelien Sarrazin, Arthur Gontier, Alexandre Plaud, Jeremie Beal, Helene Yockell-Lelievre, Jean-Louis Bijeon, Jerome Plain, Pierre-Michel Adam, Thomas Maurer

Abstract: We report here an original single-step process for synthesis and self-organization of gold colloids by simply incorporating gold salts into a solution prepared with Polystyrene (PS) - Polymethylmethacrylate (PMMA) copolymer, thiolated PS and Propylene Glycol Methyl Ether Acetate (PGMEA) as solvent. The spin-coating and annealing of this solution allows then the formation of PS domains. Depending o… ▽ More We report here an original single-step process for synthesis and self-organization of gold colloids by simply incorporating gold salts into a solution prepared with Polystyrene (PS) - Polymethylmethacrylate (PMMA) copolymer, thiolated PS and Propylene Glycol Methyl Ether Acetate (PGMEA) as solvent. The spin-coating and annealing of this solution allows then the formation of PS domains. Depending on the polymer concentration of the as-prepared solution, there can be either one or several gold nanoparticles (NPs) per PS domains. For high concentration of gold nanoparticles in PS domains, the coupling between plasmonic nanoparticles leads to the observation of second peak in the optical extinction spectrum. Such collective effect could be relevant for the development of optical strain sensors in the next future. △ Less

Submitted 31 March, 2014; originally announced March 2014.

Comments: 8 pages, 6 figures

Enhancing LSPR sensitivity of Au gratings through graphene coupling to Au film

Authors: T. Maurer, R. Nicolas, G. Lévêque, P. Subramanian, J. Proust, J. Béal, S. Schuermans, J. -P. Vilcot, Z. Herro, M. Kazan, J. Plain, R. Boukherroub, A. Akjouj, B. Djafari-Rouhani, P. -M. Adam, S. Szunerits

Abstract: A particular interesting plasmonic system is that of metallic nanostructures interacting with metal films. As the LSPR behavior of gold nanostructures (Au NPs) on the top of a gold thin film is exquisitely sensitive to the spacer distance of the film-Au NPs, we investigate in the present work the influence of a few-layered graphene spacer on the LSPR behavior of the NPs. The idea is to evidence th… ▽ More A particular interesting plasmonic system is that of metallic nanostructures interacting with metal films. As the LSPR behavior of gold nanostructures (Au NPs) on the top of a gold thin film is exquisitely sensitive to the spacer distance of the film-Au NPs, we investigate in the present work the influence of a few-layered graphene spacer on the LSPR behavior of the NPs. The idea is to evidence the role of few-layered graphene as one of the thinnest possible spacer. We first show that the coupling to the Au film induces a strong lowering at around 507nm and sharpening of the main LSPR of the Au NPs. Moreover, a blue shift in the main LSP resonance of about 13 nm is observed in the presence of a few-layered graphene spacer when compared to the case where gold nanostructures are directly linked to a gold thin film. Numerical simulations suggest that this LSP mode is dipolar and that the hot spots of the electric field are pushed to the top corners of the NPs, which makes it very sensitive to surrounding medium optical index changes and thus appealing for sensing applications. A figure of merit (FoM) of such a system (gold/graphene/ Au NPs) is 2.8, as compared to 2.1 for gold/Au NPs either a 33% sensitivity gain and opens up new sensing strategies. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Copolymer template control of gold nanoparticle synthesis via thermal annealing

Authors: A. Plaud, A. Sarrazin, J. Béal, J. Proust, P. Royer, J. -L. Bijeon, J. Plain, P. -M. Adam, T. Maurer

Abstract: We present here an original process combining top-down and bottom-up approaches by annealing a thin gold film evaporated onto a hole template made by etching a PS-PMMA copolymer film. Such process allows a better control of the gold nanoparticle size distribution which provides a sharper localized surface plasmon resonance. This makes such route appealing for sensing applications since the figure… ▽ More We present here an original process combining top-down and bottom-up approaches by annealing a thin gold film evaporated onto a hole template made by etching a PS-PMMA copolymer film. Such process allows a better control of the gold nanoparticle size distribution which provides a sharper localized surface plasmon resonance. This makes such route appealing for sensing applications since the figure of merit of the Au nanoparticles obtained after thermal evaporation is more than doubled. Such process could besides allow tuning the localized surface plasmon resonance by using copolymer with various molecular weights and thus be attractive for surface enhanced raman spectroscopy. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Organizing the Aggregate: Languages for Spatial Computing

Authors: Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll

Abstract: As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large numbe… ▽ More As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation. △ Less

Submitted 2 April, 2012; v1 submitted 24 February, 2012; originally announced February 2012.

Comments: 60 pages; Review chapter to appear as a chapter in book "Formal and Practical Aspects of Domain-Specific Languages: Recent Developments"

ACM Class: D.3; D.1.3