Showing 1–45 of 45 results for author: Gomes, T

CROSSCON: Cross-platform Open Security Stack for Connected Devices

Authors: Bruno Crispo, Marco Roveri, Sandro Pinto, Tiago Gomes, Aljosa Pasic, Akos Milankovich, David Puron, Ainara Garcia, Ziga Putrle, Peter Ten, Malvina Catalano

Abstract: The proliferation of Internet of Things (IoT) embedded devices is expected to reach 30 billion by 2030, creating a dynamic landscape where diverse devices must coexist. This presents challenges due to the rapid expansion of different architectures and platforms. Addressing these challenges requires a unifi ed solution capable of accommodating various devices while offering a broad range of service… ▽ More The proliferation of Internet of Things (IoT) embedded devices is expected to reach 30 billion by 2030, creating a dynamic landscape where diverse devices must coexist. This presents challenges due to the rapid expansion of different architectures and platforms. Addressing these challenges requires a unifi ed solution capable of accommodating various devices while offering a broad range of services to connect them to the Internet effectively. This white paper introduces CROSSCON, a three-year Research and Innovation Action funded under Horizon Europe. CROSSCON aims to tackle current IoT challenges by develo** a new open, modular, and universally compatible IoT security stack. This stack is designed to be highly portable and vendor-independent, enabling its deployment across different devices with heterogeneous embedded hardware architectures, including ARM and RISC-V. The CROSSCON consortium consists of 11 partners spanning 8 European countries. This consortium includes 4 academic institutions, 1 major industrial partner, and 5 small to medium-sized enterprises (SMEs). △ Less

Submitted 5 June, 2024; originally announced June 2024.

Infinite free resolutions over numerical semigroup algebras via specialization

Authors: Tara Gomes, Christopher O'Neill, Aleksandra Sobieska, Eduardo Torres Dávila

Abstract: Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this wor… ▽ More Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this work, we prove that the structure of the infinite free resolution of the ground field $\Bbbk$ over the semigroup algebra $\Bbbk[S]$ also respects this stratification, yielding a new combinatorial approach to classifying homological properties like Golodness and rationality of the poincare series in this setting. Additionally, we give a complete classification of such resolutions in the special case $m = 4$, and demonstrate that the associated graded algebras do not generally respect the same stratification. △ Less

Submitted 2 May, 2024; originally announced May 2024.

A low-order locking-free multiscale finite element method for isotropic elasticity

Authors: Antônio Tadeu Azevedo Gomes, Weslley da Silva Pereira, Frédéric Valentin

Abstract: The multiscale hybrid-mixed (MHM) method consists of a multi-level strategy to approximate the solution of boundary value problems with heterogeneous coefficients. In this context, we propose a family of low-order finite elements for the linear elasticity problem which are free from Poisson locking. The finite elements rely on face degrees of freedom associated with multiscale bases obtained from… ▽ More The multiscale hybrid-mixed (MHM) method consists of a multi-level strategy to approximate the solution of boundary value problems with heterogeneous coefficients. In this context, we propose a family of low-order finite elements for the linear elasticity problem which are free from Poisson locking. The finite elements rely on face degrees of freedom associated with multiscale bases obtained from local Neumann problems with piecewise polynomial interpolations on faces. We establish sufficient refinement levels on the fine-scale mesh such that the MHM method is well-posed, optimally convergent under local regularity conditions, and locking-free. Two-dimensional numerical tests assess theoretical results. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 22 pages, 3 figures, 6 tables

MSC Class: 65N30; 65N12; 65N22

The multigraded BGG correspondence in Macaulay2

Authors: Maya Banks, Michael K. Brown, Tara Gomes, Prashanth Sridhar, Eduardo Torres Davila, Alexandre Zotine

Abstract: We give an overview of a Macaulay2 package for computing with the multigraded BGG correspondence. This software builds on the package BGG due to Abo-Decker-Eisenbud-Schreyer-Smith-Stillman, which concerns the standard graded BGG correspondence. In addition to implementing the multigraded BGG functors, this package includes an implementation of differential modules and their minimal free resolution… ▽ More We give an overview of a Macaulay2 package for computing with the multigraded BGG correspondence. This software builds on the package BGG due to Abo-Decker-Eisenbud-Schreyer-Smith-Stillman, which concerns the standard graded BGG correspondence. In addition to implementing the multigraded BGG functors, this package includes an implementation of differential modules and their minimal free resolutions, and it contains a method for computing strongly linear strands of multigraded free resolutions. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: Package available at https://github.com/mkbrown5/MultigradedBGG/tree/main

MSC Class: 13D02; 14M25

A dynamical measure of the black hole mass in a quasar 11 billion years ago

Authors: R. Abuter, F. Allouche, A. Amorim, C. Bailet, A. Berdeu, J. -P. Berger, P. Berio, A. Bigioli, O. Boebion, M. -L. Bolzer, H. Bonnet, G. Bourdarot, P. Bourget, W. Brandner, Y. Cao, R. Conzelmann, M. Comin, Y. Clénet, B. Courtney-Barrer, R. Davies, D. Defrère, A. Delboulbé, F. Delplancke-Ströbele, R. Dembet, J. Dexter , et al. (102 additional authors not shown)

Abstract: Tight relationships exist in the local universe between the central stellar properties of galaxies and the mass of their supermassive black hole. These suggest galaxies and black holes co-evolve, with the main regulation mechanism being energetic feedback from accretion onto the black hole during its quasar phase. A crucial question is how the relationship between black holes and galaxies evolves… ▽ More Tight relationships exist in the local universe between the central stellar properties of galaxies and the mass of their supermassive black hole. These suggest galaxies and black holes co-evolve, with the main regulation mechanism being energetic feedback from accretion onto the black hole during its quasar phase. A crucial question is how the relationship between black holes and galaxies evolves with time; a key epoch to probe this relationship is at the peaks of star formation and black hole growth 8-12 billion years ago (redshifts 1-3). Here we report a dynamical measurement of the mass of the black hole in a luminous quasar at a redshift of 2, with a look back time of 11 billion years, by spatially resolving the broad line region. We detect a 40 micro-arcsecond (0.31 pc) spatial offset between the red and blue photocenters of the H$α$ line that traces the velocity gradient of a rotating broad line region. The flux and differential phase spectra are well reproduced by a thick, moderately inclined disk of gas clouds within the sphere of influence of a central black hole with a mass of 3.2x10$^{8}$ solar masses. Molecular gas data reveal a dynamical mass for the host galaxy of 6x10$^{11}$ solar masses, which indicates an under-massive black hole accreting at a super-Eddington rate. This suggests a host galaxy that grew faster than the supermassive black hole, indicating a delay between galaxy and black hole formation for some systems. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Comments: 5 pages Main text, 8 figures, 2 tables, to be published in Nature, under embargo until 29 January 2024 16:00 (London)

Geometrical properties of 3D crossed nanowire networks

Authors: Tristan da Câmara Santa Clara Gomes, Nicolas Marchal, Anatole Moureaux, Simon de Wergifosse, Chloé Chopin, Luc Piraux, Joaquín de la Torre Medina, Flavio Abreu Araujo

Abstract: Three-dimensional interconnected nanowire networks have recently attracted notable attention for the fabrication of new devices for energy harvesting/storage, sensing, catalysis, magnetic and spintronic applications and for the design of new hardware neuromorphic computing architectures. However, the complex branching of these nanowire networks makes it challenging to investigate these 3D nanostru… ▽ More Three-dimensional interconnected nanowire networks have recently attracted notable attention for the fabrication of new devices for energy harvesting/storage, sensing, catalysis, magnetic and spintronic applications and for the design of new hardware neuromorphic computing architectures. However, the complex branching of these nanowire networks makes it challenging to investigate these 3D nanostructured systems theoretically. Here, we present a theoretical description and simulations of the geometric properties of these 3D interconnected nanowire networks with selected characteristics. Our analysis reveals that the nanowire segment length between two crossing zones follows an exponential distribution. This suggests that shorter nanowire segments have a more pronounced influence on the nanowire network properties compared to their longer counterparts. Moreover, our observations reveal a homogeneous distribution in the smallest distance between the cores of two crossing nanowires. The results are highly reproducible and unaffected by changes in the nanowire network characteristics. Finally, densities of interconnected segments up to 10$^{13}$ cm$^{-2}$ can be achieved for 22-$μ$m-thick nanowire networks with high packing factors. This has important implications for neuromorphic computing applications, suggesting that the realization of 10$^{14}$ interconnections, which corresponds to the approximate number of synaptic connections in the human brain, is achievable with a nanowire network of about 10 cm$^{2}$. △ Less

Submitted 21 December, 2023; originally announced January 2024.

Comments: 6 pages, 3 figures

Thermoelectric and magneto-transport characteristics of interconnected networks of ferromagnetic nanowires and nanotubes

Authors: Tristan da Câmara Santa Clara Gomes, Nicolas Marchal, Joaquín de la Torre Medina, Flavio Abreu Araujo, Luc Piraux

Abstract: Macroscopic-scale nanostructures, situated at the interface of nanostructures and bulk materials, hold significant promise in the realm of thermoelectric materials. Nanostructuring presents a compelling avenue for enhancing material thermoelectric performance as well as unlocking intriguing nanoscale phenomena, including spin-dependent thermoelectric effects. This is achieved while preserving high… ▽ More Macroscopic-scale nanostructures, situated at the interface of nanostructures and bulk materials, hold significant promise in the realm of thermoelectric materials. Nanostructuring presents a compelling avenue for enhancing material thermoelectric performance as well as unlocking intriguing nanoscale phenomena, including spin-dependent thermoelectric effects. This is achieved while preserving high power output capabilities and ease of measurements related to the overall macroscopic dimensions. Within this framework, the recently developed three-dimensional interconnected nanowire and nanotube networks, integrated into a flexible polymer membrane, emerge as promising candidates for macroscopic nanostructures. The flexibility of these composites also paves the way for advances in the burgeoning field of flexible thermoelectrics. In this study, we demonstrate that the three-dimensional nanowire networks made of ferromagnetic metals maintain the intrinsic bulk thermoelectric power of their bulk constituent even for a diameter reduced to approximately 23 nm. Furthermore, we showcase the pioneering magneto-thermoelectric measurements of three-dimensional interconnected nickel nanotube networks. These macroscopic materials, comprising interconnected nanotubes, enable the development of large-area devices that exhibit efficient thermoelectric performance, while their nanoscale tubular structures provide distinctive magneto-transport properties. This research represents a significant step toward harnessing the potential of macroscopic nanostructured materials in the field of thermoelectrics. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Comments: 6 pages, 3 figures

Adaptive Optics Telemetry Standard: Design and specification of a novel data exchange format

Authors: Tiago Gomes, Carlos M. Correia, Lisa Bardou, Sylvain Cetre, Johann Kolb, Caroline Kulcsár, François Leroux, Timothy Morris, Nuno Morujão, Benoît Neichel, Jean-Luc Beuzit, Paulo Garcia

Abstract: The amount of Adaptive Optics (AO) telemetry generated by VIS/NIR ground-based observatories is ever greater, leading to a growing need for a standardised data exchange format to support performance analysis and AO research and development activities that involve large-scale telemetry mining, processing, and curation. This paper introduces the Adaptive Optics Telemetry (AOT) data exchange format a… ▽ More The amount of Adaptive Optics (AO) telemetry generated by VIS/NIR ground-based observatories is ever greater, leading to a growing need for a standardised data exchange format to support performance analysis and AO research and development activities that involve large-scale telemetry mining, processing, and curation. This paper introduces the Adaptive Optics Telemetry (AOT) data exchange format as a standard for sharing AO telemetry from visible/infrared ground-based observatories. AOT is based on the Flexible Image Transport System (FITS) and aims to provide unambiguous and consistent data access across various systems and configurations, including natural and single/multiple laser guide-star AO systems. We designed AOT focused on two key use cases: atmospheric turbulence parameter estimation and point-spread function reconstruction (PSF-R). We prototyped and tested the design using existing AO telemetry datasets from multiple systems: single conjugate with natural and laser guide stars, tomographic systems with multi-channel wavefront sensors, single and multi wavefront correctors in systems featuring either a Shack-Hartmann or Pyramid as main wavefront sensors. The AOT file structure has been thoroughly defined, specifying data fields, descriptions, data types, units, and expected dimensions. To support this format, we have developed a Python package that enables data conversion, reading, writing and exploration of AOT files, which has been made publicly available and compatible with a general-purpose Python package manager. We demonstrate the flexibility of the AOT format by packaging data from five different instruments, installed on different telescopes. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Using the motion of S2 to constrain vector clouds around SgrA*

Authors: GRAVITY Collaboration, A. Foschi, R. Abuter, K. Abd El Dayem, N. Aimar, P. Amaro Seoane, A. Amorim, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, R. Davies, P. T. de Zeeuw, D. Defrère, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, N. M. Förster Schreiber, P. J. V. Garcia, R. Genzel, S. Gillessen, T. Gomes, X. Haubois, G. Heißel , et al. (31 additional authors not shown)

Abstract: The dark compact object at the centre of the Milky Way is well established to be a supermassive black hole with mass $M_{\bullet} \sim 4.3 \cdot 10^6 \, M_{\odot}$, but the nature of its environment is still under debate. In this work, we used astrometric and spectroscopic measurements of the motion of the star S2, one of the closest stars to the massive black hole, to determine an upper limit on… ▽ More The dark compact object at the centre of the Milky Way is well established to be a supermassive black hole with mass $M_{\bullet} \sim 4.3 \cdot 10^6 \, M_{\odot}$, but the nature of its environment is still under debate. In this work, we used astrometric and spectroscopic measurements of the motion of the star S2, one of the closest stars to the massive black hole, to determine an upper limit on an extended mass composed of a massive vector field around Sagittarius A*. For a vector with effective mass $10^{-19} \, \rm eV \lesssim m_s \lesssim 10^{-18} \, \rm eV$, our Markov Chain Monte Carlo analysis shows no evidence for such a cloud, placing an upper bound $M_{\rm cloud} \lesssim 0.1\% M_{\bullet}$ at $3σ$ confidence level. We show that dynamical friction exerted by the medium on S2 motion plays no role in the analysis performed in this and previous works, and can be neglected thus. △ Less

Submitted 8 February, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 9 pages, 5 figures, accepted to MNRAS

NCL-SM: A Fully Annotated Dataset of Images from Human Skeletal Muscle Biopsies

Authors: Atif Khan, Conor Lawless, Amy Vincent, Charlotte Warren, Valeria Di Leo, Tiago Gomes, A. Stephen McGough

Abstract: Single cell analysis of human skeletal muscle (SM) tissue cross-sections is a fundamental tool for understanding many neuromuscular disorders. For this analysis to be reliable and reproducible, identification of individual fibres within microscopy images (segmentation) of SM tissue should be automatic and precise. Biomedical scientists in this field currently rely on custom tools and general machi… ▽ More Single cell analysis of human skeletal muscle (SM) tissue cross-sections is a fundamental tool for understanding many neuromuscular disorders. For this analysis to be reliable and reproducible, identification of individual fibres within microscopy images (segmentation) of SM tissue should be automatic and precise. Biomedical scientists in this field currently rely on custom tools and general machine learning (ML) models, both followed by labour intensive and subjective manual interventions to fine-tune segmentation. We believe that fully automated, precise, reproducible segmentation is possible by training ML models. However, in this important biomedical domain, there are currently no good quality, publicly available annotated imaging datasets available for ML model training. In this paper we release NCL-SM: a high quality bioimaging dataset of 46 human SM tissue cross-sections from both healthy control subjects and from patients with genetically diagnosed muscle pathology. These images include $>$ 50k manually segmented muscle fibres (myofibres). In addition we also curated high quality myofibre segmentations, annotating reasons for rejecting low quality myofibres and low quality regions in SM tissue images, making these annotations completely ready for downstream analysis. This, we believe, will pave the way for development of a fully automatic pipeline that identifies individual myofibres within images of tissue sections and, in particular, also classifies individual myofibres that are fit for further analysis. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: Paper accepted at the Big Data Analytics for Health and Medicine (BDA4HM) workshop, IEEE BigData 2023, December 15th-18th, 2023, Sorrento, Italy, 07 pages. arXiv admin note: substantial text overlap with arXiv:2311.11099

Introducing NCL-SM: A Fully Annotated Dataset of Images from Human Skeletal Muscle Biopsies

Authors: Atif Khan, Conor Lawless, Amy Vincent, Charlotte Warren, Valeria Di Leo, Tiago Gomes, A. Stephen McGough

Abstract: Single cell analysis of skeletal muscle (SM) tissue is a fundamental tool for understanding many neuromuscular disorders. For this analysis to be reliable and reproducible, identification of individual fibres within microscopy images (segmentation) of SM tissue should be precise. There is currently no tool or pipeline that makes automatic and precise segmentation and curation of images of SM tissu… ▽ More Single cell analysis of skeletal muscle (SM) tissue is a fundamental tool for understanding many neuromuscular disorders. For this analysis to be reliable and reproducible, identification of individual fibres within microscopy images (segmentation) of SM tissue should be precise. There is currently no tool or pipeline that makes automatic and precise segmentation and curation of images of SM tissue cross-sections possible. Biomedical scientists in this field rely on custom tools and general machine learning (ML) models, both followed by labour intensive and subjective manual interventions to get the segmentation right. We believe that automated, precise, reproducible segmentation is possible by training ML models. However, there are currently no good quality, publicly available annotated imaging datasets available for ML model training. In this paper we release NCL-SM: a high quality bioimaging dataset of 46 human tissue sections from healthy control subjects and from patients with genetically diagnosed muscle pathology. These images include $>$ 50k manually segmented muscle fibres (myofibres). In addition we also curated high quality myofibres and annotated reasons for rejecting low quality myofibres and regions in SM tissue images, making this data completely ready for downstream analysis. This, we believe, will pave the way for development of a fully automatic pipeline that identifies individual myofibres within images of tissue sections and, in particular, also classifies individual myofibres that are fit for further analysis. △ Less

Submitted 18 November, 2023; originally announced November 2023.

Comments: Extended Abstract presented at Machine Learning for Health (ML4H) symposium 2023, December 10th, 2023, New Orleans, United States, 09 pages Full Paper presented at Big Data Analytics for Health and Medicine (BDA4HM) workshop, IEEE BigData 2023, December 15th-18th, 2023, Sorrento, Italy

Neuromorphic weighted sum with magnetic skyrmions

Authors: Tristan da Câmara Santa Clara Gomes, Yanis Sassi, Dédalo Sanz-Hernández, Sachin Krishnia, Sophie Collin, Marie-Blandine Martin, Pierre Seneor, Vincent Cros, Julie Grollier, Nicolas Reyren

Abstract: Integrating magnetic skyrmion properties into neuromorphic computing promises advancements in hardware efficiency and computational power. However, a scalable implementation of the weighted sum of neuron signals, a core operation in neural networks, has yet to be demonstrated. In this study, we exploit the non-volatile and particle-like characteristics of magnetic skyrmions, akin to synaptic vesic… ▽ More Integrating magnetic skyrmion properties into neuromorphic computing promises advancements in hardware efficiency and computational power. However, a scalable implementation of the weighted sum of neuron signals, a core operation in neural networks, has yet to be demonstrated. In this study, we exploit the non-volatile and particle-like characteristics of magnetic skyrmions, akin to synaptic vesicles and neurotransmitters, to perform this weighted sum operation in a compact, biologically-inspired manner. To this aim, skyrmions are electrically generated in numbers proportional to the input with an efficiency given by a non-volatile weight. These chiral particles are then directed using localized current injections to a location where their presence is quantified through non-perturbative electrical measurements. Our experimental demonstration, currently with two inputs, can be scaled to accommodate multiple inputs and outputs using a crossbar array design, potentially nearing the energy efficiency observed in biological systems. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 12 pages, 5 figures

Minimal free resolutions of numerical semigroup algebras via Apéry specialization

Authors: Benjamin Braun, Tara Gomes, Ezra Miller, Christopher O'Neill, Aleksandra Sobieska

Abstract: Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exp… ▽ More Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exponents are parametrized by the coordinates of the corresponding point in $C_m$, and minimality of the resolution is achieved when the semigroup is maximal embedding dimension, which is the case parametrized by the interior of $C_m$ itself. △ Less

Submitted 21 June, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: 20 pages

MSC Class: 20M14; 13D02; 52B05 (Primary); 05E40; 13F20; 13F65 (Secondary)

Control of the magnetic anisotropy in multi-repeat Pt/Co/Al heterostructures using magneto-ionic gating

Authors: Tristan da Câmara Santa Clara Gomes, Tanvi Bhatnagar-Schöffmann, Sachin Krishnia, Yanis Sassi, Dedalo Sanz-Hernández, Nicolas Reyren, Marie-Blandine Martin, Frederic Brunnett, Sophie Collin, Florian Godel, Shimpei Ono, Damien Querlioz, Dafiné Ravelosona, Vincent Cros, Julie Grollier, Pierre Seneor, Liza Herrera Diez

Abstract: Controlling magnetic properties through the application of an electric field is a significant challenge in modern nanomagnetism. In this study, we investigate the magneto-ionic control of magnetic anisotropy in the topmost Co layer in Ta/Pt/[Co/Al/Pt]$_n$/Co/Al/AlO$_\text{x}$ multilayer stacks comprising $n +1$ Co layers and its impact on the magnetic properties of the multilayers. We demonstrate… ▽ More Controlling magnetic properties through the application of an electric field is a significant challenge in modern nanomagnetism. In this study, we investigate the magneto-ionic control of magnetic anisotropy in the topmost Co layer in Ta/Pt/[Co/Al/Pt]$_n$/Co/Al/AlO$_\text{x}$ multilayer stacks comprising $n +1$ Co layers and its impact on the magnetic properties of the multilayers. We demonstrate that the perpendicular magnetic anisotropy can be reversibly quenched through gate-driven oxidation of the intermediary Al layer between Co and AlO$_\text{x}$, enabling dynamic control of the magnetic layers contributing to the out-of-plane remanence - varying between $n$ and $n +1$. For multilayer configurations with $n = 2$ and $n = 4$, we observe reversible and non-volatile additions of 1/3 and 1/5, respectively, to the anomalous Hall effect amplitude based on the applied gate voltage. Magnetic imaging reveals that the gate-induced spin-reorientation transition occurs through the propagation of a single 90$^{\circ}$ magnetic domain wall separating the perpendicular and in-plane anisotropy states. In the 5-repetition multilayer, the modification leads to a doubling of the period of the magnetic domains at remanence. These results demonstrate that the magneto-ionic control of the anisotropy of a single magnetic layer can be used to control the magnetic properties of coupled multilayer systems, extending beyond the gating effects on a single magnetic layer. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 9 pages + 3 pages of supplementary materials, 5 main figures + 6 supplementary figures

Framework based on complex networks to model and mine patient pathways

Authors: Caroline de Oliveira Costa Souza Rosa, Márcia Ito, Alex Borges Vieira, Klaus Wehmuth, Antônio Tadeu Azevedo Gomes

Abstract: The automatic discovery of a model to represent the history of encounters of a group of patients with the healthcare system -- the so-called "pathway of patients" -- is a new field of research that supports clinical and organisational decisions to improve the quality and efficiency of the treatment provided. The pathways of patients with chronic conditions tend to vary significantly from one perso… ▽ More The automatic discovery of a model to represent the history of encounters of a group of patients with the healthcare system -- the so-called "pathway of patients" -- is a new field of research that supports clinical and organisational decisions to improve the quality and efficiency of the treatment provided. The pathways of patients with chronic conditions tend to vary significantly from one person to another, have repetitive tasks, and demand the analysis of multiple perspectives (interventions, diagnoses, medical specialities, among others) influencing the results. Therefore, modelling and mining those pathways is still a challenging task. In this work, we propose a framework comprising: (i) a pathway model based on a multi-aspect graph, (ii) a novel dissimilarity measurement to compare pathways taking the elapsed time into account, and (iii) a mining method based on traditional centrality measures to discover the most relevant steps of the pathways. We evaluated the framework using the study cases of pregnancy and diabetes, which revealed its usefulness in finding clusters of similar pathways, representing them in an easy-to-interpret way, and highlighting the most significant patterns according to multiple perspectives. △ Less

Submitted 27 October, 2023; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: 35 pages, 11 figures, 2 appendices

ACM Class: J.3

On faces of the Kunz cone and the numerical semigroups within them

Authors: Levi Borevitz, Tara Gomes, Jiajie Ma, Harper Niergarth, Christopher O'Neill, Daniel Pocklington, Rosa Stolk, Jessica Wang, Shuhang Xue

Abstract: A numerical semigroup is a cofinite subset of the non-negative integers that is closed under addition and contains 0. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a rational polyhedral cone $\mathcal C_m$, called the Kunz cone. Moreover, numerical semigroups corresponding to points in the same face $F \subseteq \mathcal C_m$ are known to… ▽ More A numerical semigroup is a cofinite subset of the non-negative integers that is closed under addition and contains 0. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a rational polyhedral cone $\mathcal C_m$, called the Kunz cone. Moreover, numerical semigroups corresponding to points in the same face $F \subseteq \mathcal C_m$ are known to share many properties, such as the number of minimal generators. In this work, we classify which faces of $\mathcal C_m$ contain points corresponding to numerical semigroups. Additionally, we obtain sharp bounds on the number of minimal generators of $S$ in terms of the dimension of the face of $\mathcal C_m$ containing the point corresponding to $S$. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Using the motion of S2 to constrain scalar clouds around SgrA*

Authors: GRAVITY Collaboration, A. Foschi, R. Abuter, N. Aimar, P. Amaro Seoane, A. Amorim, M. Bauböck, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, V. Cardoso, Y. Clénet, Y. Dallilar, R. Davies, P. T. de Zeeuw, D. Defrère, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, M. C. Ferreira, N. M. Förster Schreiber, P. J. V. Garcia, F. Gao , et al. (45 additional authors not shown)

Abstract: The motion of S2, one of the stars closest to the Galactic Centre, has been measured accurately and used to study the compact object at the centre of the Milky Way. It is commonly accepted that this object is a supermassive black hole but the nature of its environment is open to discussion. Here, we investigate the possibility that dark matter in the form of an ultralight scalar field ``cloud'' cl… ▽ More The motion of S2, one of the stars closest to the Galactic Centre, has been measured accurately and used to study the compact object at the centre of the Milky Way. It is commonly accepted that this object is a supermassive black hole but the nature of its environment is open to discussion. Here, we investigate the possibility that dark matter in the form of an ultralight scalar field ``cloud'' clusters around Sgr~A*. We use the available data for S2 to perform a Markov Chain Monte Carlo analysis and find the best-fit estimates for a scalar cloud structure. Our results show no substantial evidence for such structures. When the cloud size is of the order of the size of the orbit of S2, we are able to constrain its mass to be smaller than $0.1\%$ of the central mass, setting a strong bound on the presence of new fields in the galactic centre. △ Less

Submitted 2 September, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: Published on MNRAS. References added

The GRAVITY+ Project: Towards All-sky, Faint-Science, High-Contrast Near-Infrared Interferometry at the VLTI

Authors: GRAVITY+ Collaboration, :, Roberto Abuter, Patricio Alarcon, Fatme Allouche, Antonio Amorim, Christophe Bailet, Helen Bedigan, Anthony Berdeu, Jean-Philippe Berger, Philippe Berio, Azzurra Bigioli, Richard Blaho, Olivier Boebion, Marie-Lena Bolzer, Henri Bonnet, Guillaume Bourdarot, Pierre Bourget, Wolfgang Brandner, Cesar Cardenas, Ralf Conzelmann, Mauro Comin, Yann Clénet, Benjamin Courtney-Barrer, Yigit Dallilar , et al. (112 additional authors not shown)

Abstract: The GRAVITY instrument has been revolutionary for near-infrared interferometry by pushing sensitivity and precision to previously unknown limits. With the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) in GRAVITY+, these limits will be pushed even further, with vastly improved sky coverage, as well as faint-science and high-contrast capabilities. This upgrade includes the im… ▽ More The GRAVITY instrument has been revolutionary for near-infrared interferometry by pushing sensitivity and precision to previously unknown limits. With the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) in GRAVITY+, these limits will be pushed even further, with vastly improved sky coverage, as well as faint-science and high-contrast capabilities. This upgrade includes the implementation of wide-field off-axis fringe-tracking, new adaptive optics systems on all Unit Telescopes, and laser guide stars in an upgraded facility. GRAVITY+ will open up the sky to the measurement of black hole masses across cosmic time in hundreds of active galactic nuclei, use the faint stars in the Galactic centre to probe General Relativity, and enable the characterisation of dozens of young exoplanets to study their formation, bearing the promise of another scientific revolution to come at the VLTI. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: Published in the ESO Messenger

Origin of Multifractality in Solar Wind Turbulence: the Role of Current Sheets

Authors: Leonardo F. Gomes, Tiago F. P. Gomes, Erico L. Rempel, Silvio Gama

Abstract: In this work, a multifractal framework is proposed to investigate the effects of current sheets in solar wind turbulence. By using multifractal detrended fluctuation analysis coupled with surrogate methods and volatility, two solar wind magnetic field time series are investigated, one with current sheets and one without current sheets. Despite the lack of extreme-events intermittent bursts in the… ▽ More In this work, a multifractal framework is proposed to investigate the effects of current sheets in solar wind turbulence. By using multifractal detrended fluctuation analysis coupled with surrogate methods and volatility, two solar wind magnetic field time series are investigated, one with current sheets and one without current sheets. Despite the lack of extreme-events intermittent bursts in the current sheet-free series, both series are shown to be strongly multifractal, although the current sheet-free series displays an almost linear behavior for the scaling exponent of structure functions. Long-range correlations are shown to be the main source of multifractality for the series without current sheets, while a combination of heavy-tail distribution and nonlinear correlations are responsible for multifractality in the series with current sheets. The multifractality in both time series is formally shown to be associated with an energy-cascade process using the p-model. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: Accepted by MNRAS

Physics-Aware Neural Networks for Boundary Layer Linear Problems

Authors: Antonio Tadeu Azevedo Gomes, Larissa Miguez da Silva, Frederic Valentin

Abstract: Physics-Informed Neural Networks (PINNs) are machine learning tools that approximate the solution of general partial differential equations (PDEs) by adding them in some form as terms of the loss/cost function of a Neural Network. Most pieces of work in the area of PINNs tackle non-linear PDEs. Nevertheless, many interesting problems involving linear PDEs may benefit from PINNs; these include para… ▽ More Physics-Informed Neural Networks (PINNs) are machine learning tools that approximate the solution of general partial differential equations (PDEs) by adding them in some form as terms of the loss/cost function of a Neural Network. Most pieces of work in the area of PINNs tackle non-linear PDEs. Nevertheless, many interesting problems involving linear PDEs may benefit from PINNs; these include parametric studies, multi-query problems, and parabolic (transient) PDEs. The purpose of this paper is to explore PINNs for linear PDEs whose solutions may present one or more boundary layers. More specifically, we analyze the steady-state reaction-advection-diffusion equation in regimes in which the diffusive coefficient is small in comparison with the reactive or advective coefficients. We show that adding information about these coefficients as predictor variables in a PINN results in better prediction models than in a PINN that only uses spatial information as predictor variables. This finding may be instrumental in multiscale problems where the coefficients of the PDEs present high variability in small spatiotemporal regions of the domain, and therefore PINNs may be employed together with domain decomposition techniques to efficiently approximate the PDEs locally at each partition of the spatiotemporal domain, without resorting to different learned PINN models at each of these partitions. △ Less

Submitted 15 July, 2022; originally announced August 2022.

Comments: 10 pages, 10 figures

Towards virtual access of adaptive optics telemetry data

Authors: Tiago Gomes, Carlos Correia, Lisa Bardou, Olivier Beltramo-Martin, Thierry Fusco, Caroline Kulcsár, Timothy Morris, Nuno Morujão, Benoît Neichel, James Osborn, Paulo Garcia

Abstract: Large amounts of Adaptive-Optics (AO) control loop data and telemetry are currently inaccessible to end-users. Broadening access to those data has the potential to change the AO landscape on many fronts, addressing several use-cases such as derivation of the system's PSF, turbulence characterisation and optimisation of system control. We address one of the biggest obstacles to sharing these data:… ▽ More Large amounts of Adaptive-Optics (AO) control loop data and telemetry are currently inaccessible to end-users. Broadening access to those data has the potential to change the AO landscape on many fronts, addressing several use-cases such as derivation of the system's PSF, turbulence characterisation and optimisation of system control. We address one of the biggest obstacles to sharing these data: the lack of standardisation, which hinders access. We propose an object-oriented Python package for AO telemetry, whose data model abstracts the user from an underlining archive-ready data exchange standard based on the Flexible Image Transport System (FITS). Its design supports data from a wide range of existing and future AO systems, either in raw format or abstracted from actual instrument details. We exemplify its usage with data from active AO systems on 10m-class observatories, of which two are currently supported (AOF and Keck), with plans for more. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Modelling and Mining of Patient Pathways: A Sco** Review

Authors: Caroline de Oliveira Costa Souza Rosa, Marcia Ito, Alex Borges Vieira, Antonio Tadeu Azevedo Gomes

Abstract: The sequence of visits and procedures performed by the patient in the health system, also known as the patient's pathway or trajectory, can reveal important information about the clinical treatment adopted and the health service provided. The rise of electronic health data availability made it possible to assess the pathways of a large number of patients. Nevertheless, some challenges also arose c… ▽ More The sequence of visits and procedures performed by the patient in the health system, also known as the patient's pathway or trajectory, can reveal important information about the clinical treatment adopted and the health service provided. The rise of electronic health data availability made it possible to assess the pathways of a large number of patients. Nevertheless, some challenges also arose concerning how to synthesize these pathways and how to mine them from the data, fostering a new field of research. The objective of this review is to survey this new field of research, highlighting representation models, mining techniques, methods of analysis, and examples of case studies. △ Less

Submitted 4 June, 2022; originally announced June 2022.

Comments: 24 pages, 6 figures, 1 table

ACM Class: J.3

Ultrafast laser pulse characterization by THG d-scan using optically enhanced graphene coatings

Authors: Tiago Gomes, Miguel Canhota, Bohdan Kulyk, Alexandre Carvalho, Bruno Jarrais, António José Fernandes, Cristina Freire, Florinda Costa, Helder Crespo

Abstract: We have successfully functionalized 5 layers of TCVD-grown graphene by photoassisted transfer hydrogenation reaction with formic acid, in order to increase its nonlinear optical response and laser-induced damage resilience. Using the functionalized graphene samples, we were able to fully characterize sub-10 fs ultrashort laser pulses using THG dispersion-scan, with results that are in excellent ag… ▽ More We have successfully functionalized 5 layers of TCVD-grown graphene by photoassisted transfer hydrogenation reaction with formic acid, in order to increase its nonlinear optical response and laser-induced damage resilience. Using the functionalized graphene samples, we were able to fully characterize sub-10 fs ultrashort laser pulses using THG dispersion-scan, with results that are in excellent agreement with the ones obtained with pristine graphene samples. △ Less

Submitted 3 June, 2022; originally announced June 2022.

First Light for GRAVITY Wide: Large Separation Fringe Tracking for the Very Large Telescope Interferometer

Authors: GRAVITY+ Collaboration, :, R. Abuter, F. Allouche, A. Amorim, C. Bailet, M. Bauböck, J. -P. Berger, P. Berio, A. Bigioli, O. Boebion, M. L. Bolzer, H. Bonnet, G. Bourdarot, P. Bourget, W. Brandner, Y. Clénet, B. Courtney-Barrer, Y. Dallilar, R. Davies, D. Defrère, A. Delboulbé, F. Delplancke, R. Dembet, P. T. de Zeeuw , et al. (92 additional authors not shown)

Abstract: GRAVITY+ is the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) with wide-separation fringe tracking, new adaptive optics, and laser guide stars on all four 8~m Unit Telescopes (UTs), for ever fainter, all-sky, high contrast, milliarcsecond interferometry. Here we present the design and first results of the first phase of GRAVITY+, called GRAVITY Wide. GRAVITY Wide combines t… ▽ More GRAVITY+ is the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) with wide-separation fringe tracking, new adaptive optics, and laser guide stars on all four 8~m Unit Telescopes (UTs), for ever fainter, all-sky, high contrast, milliarcsecond interferometry. Here we present the design and first results of the first phase of GRAVITY+, called GRAVITY Wide. GRAVITY Wide combines the dual-beam capabilities of the VLTI and the GRAVITY instrument to increase the maximum separation between the science target and the reference star from 2 arcseconds with the 8 m UTs up to several 10 arcseconds, limited only by the Earth's turbulent atmosphere. This increases the sky-coverage of GRAVITY by two orders of magnitude, opening up milliarcsecond resolution observations of faint objects, and in particular the extragalactic sky. The first observations in 2019 - 2022 include first infrared interferometry of two redshift $z\sim2$ quasars, interferometric imaging on the binary system HD 105913A, and repeated observations of multiple star systems in the Orion Trapezium Cluster. We find the coherence loss between the science object and fringe-tracking reference star well described by the turbulence of the Earth's atmosphere. We confirm that the larger apertures of the UTs result in higher visibilities for a given separation due to larger overlap of the projected pupils on sky and give predictions for visibility loss as a function of separation to be used for future planning. △ Less

Submitted 23 August, 2022; v1 submitted 1 June, 2022; originally announced June 2022.

Comments: 15 pages, 12 figures, 5 tables. Accepted by A&A

Journal ref: A&A 665, A75 (2022)

Black hole and wormhole solutions in Einstein-Maxwell-Scalar theory

Authors: Júlio C. Fabris, Tales A. O. Gomes, Denis C. Rodrigues

Abstract: We classified and studied the charged black hole and wormhole solutions in the Einstein--Maxwell system in the presence of a massless, real scalar field. The possible existence of charged black holes in general scalar--tensor theories was studied in {Bronnikov et al, 1999;} black holes and wormholes exist for a negative kinetic term for the scalar field. Using a conformal transformation, the stati… ▽ More We classified and studied the charged black hole and wormhole solutions in the Einstein--Maxwell system in the presence of a massless, real scalar field. The possible existence of charged black holes in general scalar--tensor theories was studied in {Bronnikov et al, 1999;} black holes and wormholes exist for a negative kinetic term for the scalar field. Using a conformal transformation, the static, spherically symmetric possible structures in the minimal coupled system are described. Besides wormholes and naked singularities, only a restricted class of black hole exists, exhibiting a horizon with an infinite surface and a timelike central singularity. The black holes and wormholes defined in the Einstein frame have some specificities with respect to the non-minimal coupling original frame, which are discussed in the text. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: Latex file, 23 pages, 9 figures, published in the Special Issue of the journal Universe, "Recent Advances in Wormhole Physics", edited by K. Bronnikov and S. Sushkov

Panoptic Segmentation Meets Remote Sensing

Authors: Osmar Luiz Ferreira de Carvalho, Osmar Abílio de Carvalho Júnior, Cristiano Rosa e Silva, Anesmar Olino de Albuquerque, Nickolas Castro Santana, Dibio Leandro Borges, Roberto Arnaldo Trancoso Gomes, Renato Fontes Guimarães

Abstract: Panoptic segmentation combines instance and semantic predictions, allowing the detection of "things" and "stuff" simultaneously. Effectively approaching panoptic segmentation in remotely sensed data can be auspicious in many challenging problems since it allows continuous map** and specific target counting. Several difficulties have prevented the growth of this task in remote sensing: (a) most a… ▽ More Panoptic segmentation combines instance and semantic predictions, allowing the detection of "things" and "stuff" simultaneously. Effectively approaching panoptic segmentation in remotely sensed data can be auspicious in many challenging problems since it allows continuous map** and specific target counting. Several difficulties have prevented the growth of this task in remote sensing: (a) most algorithms are designed for traditional images, (b) image labelling must encompass "things" and "stuff" classes, and (c) the annotation format is complex. Thus, aiming to solve and increase the operability of panoptic segmentation in remote sensing, this study has five objectives: (1) create a novel data preparation pipeline for panoptic segmentation, (2) propose an annotation conversion software to generate panoptic annotations; (3) propose a novel dataset on urban areas, (4) modify the Detectron2 for the task, and (5) evaluate difficulties of this task in the urban setting. We used an aerial image with a 0,24-meter spatial resolution considering 14 classes. Our pipeline considers three image inputs, and the proposed software uses point shapefiles for creating samples in the COCO format. Our study generated 3,400 samples with 512x512 pixel dimensions. We used the Panoptic-FPN with two backbones (ResNet-50 and ResNet-101), and the model evaluation considered semantic instance and panoptic metrics. We obtained 93.9, 47.7, and 64.9 for the mean IoU, box AP, and PQ. Our study presents the first effective pipeline for panoptic segmentation and an extensive database for other researchers to use and deal with other data or related problems requiring a thorough scene understanding. △ Less

Submitted 30 November, 2021; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: 40 pages, 10 figures, submitted to journal

MSC Class: I.4.6

Bounding Box-Free Instance Segmentation Using Semi-Supervised Learning for Generating a City-Scale Vehicle Dataset

Authors: Osmar Luiz Ferreira de Carvalho, Osmar Abílio de Carvalho Júnior, Anesmar Olino de Albuquerque, Nickolas Castro Santana, Dibio Leandro Borges, Roberto Arnaldo Trancoso Gomes, Renato Fontes Guimarães

Abstract: Vehicle classification is a hot computer vision topic, with studies ranging from ground-view up to top-view imagery. In remote sensing, the usage of top-view images allows for understanding city patterns, vehicle concentration, traffic management, and others. However, there are some difficulties when aiming for pixel-wise classification: (a) most vehicle classification studies use object detection… ▽ More Vehicle classification is a hot computer vision topic, with studies ranging from ground-view up to top-view imagery. In remote sensing, the usage of top-view images allows for understanding city patterns, vehicle concentration, traffic management, and others. However, there are some difficulties when aiming for pixel-wise classification: (a) most vehicle classification studies use object detection methods, and most publicly available datasets are designed for this task, (b) creating instance segmentation datasets is laborious, and (c) traditional instance segmentation methods underperform on this task since the objects are small. Thus, the present research objectives are: (1) propose a novel semi-supervised iterative learning approach using GIS software, (2) propose a box-free instance segmentation approach, and (3) provide a city-scale vehicle dataset. The iterative learning procedure considered: (1) label a small number of vehicles, (2) train on those samples, (3) use the model to classify the entire image, (4) convert the image prediction into a polygon shapefile, (5) correct some areas with errors and include them in the training data, and (6) repeat until results are satisfactory. To separate instances, we considered vehicle interior and vehicle borders, and the DL model was the U-net with the Efficient-net-B7 backbone. When removing the borders, the vehicle interior becomes isolated, allowing for unique object identification. To recover the deleted 1-pixel borders, we proposed a simple method to expand each prediction. The results show better pixel-wise metrics when compared to the Mask-RCNN (82% against 67% in IoU). On per-object analysis, the overall accuracy, precision, and recall were greater than 90%. This pipeline applies to any remote sensing target, being very efficient for segmentation and generating datasets. △ Less

Submitted 23 November, 2021; originally announced November 2021.

Comments: 38 pages, 10 figures, submitted to journal

MSC Class: I.4.6

Creating and Reenacting Controllable 3D Humans with Differentiable Rendering

Authors: Thiago L. Gomes, Thiago M. Coutinho, Rafael Azevedo, Renato Martins, Erickson R. Nascimento

Abstract: This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance tr… ▽ More This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance transferring methods, our approach can reconstruct a fully controllable 3D texture-mapped model of a person, while taking into account the manifold structure from body shape and texture appearance in the view synthesis. Specifically, our approach models mesh deformations with a three-stage GCN trained in a self-supervised manner on rendered silhouettes of the human body. It also infers texture appearance with a convolutional network in the texture domain, which is trained in an adversarial regime to reconstruct human texture from rendered images of actors in different poses. Experiments on different videos show that our method successfully infers specific body deformations and avoid creating texture artifacts while achieving the best values for appearance in terms of Structural Similarity (SSIM), Learned Perceptual Image Patch Similarity (LPIPS), Mean Squared Error (MSE), and Fréchet Video Distance (FVD). By taking advantages of both differentiable rendering and the 3D parametric model, our method is fully controllable, which allows controlling the human synthesis from both pose and rendering parameters. The source code is available at https://www.verlab.dcc.ufmg.br/retargeting-motion/wacv2022. △ Less

Submitted 22 October, 2021; originally announced October 2021.

Comments: 10 pages, 6 figures, to appear in Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV) 2022

Shifting Capsule Networks from the Cloud to the Deep Edge

Authors: Miguel Costa, Diogo Costa, Tiago Gomes, Sandro Pinto

Abstract: Capsule networks (CapsNets) are an emerging trend in image processing. In contrast to a convolutional neural network, CapsNets are not vulnerable to object deformation, as the relative spatial information of the objects is preserved across the network. However, their complexity is mainly related to the capsule structure and the dynamic routing mechanism, which makes it almost unreasonable to deplo… ▽ More Capsule networks (CapsNets) are an emerging trend in image processing. In contrast to a convolutional neural network, CapsNets are not vulnerable to object deformation, as the relative spatial information of the objects is preserved across the network. However, their complexity is mainly related to the capsule structure and the dynamic routing mechanism, which makes it almost unreasonable to deploy a CapsNet, in its original form, in a resource-constrained device powered by a small microcontroller (MCU). In an era where intelligence is rapidly shifting from the cloud to the edge, this high complexity imposes serious challenges to the adoption of CapsNets at the very edge. To tackle this issue, we present an API for the execution of quantized CapsNets in Arm Cortex-M and RISC-V MCUs. Our software kernels extend the Arm CMSIS-NN and RISC-V PULP-NN to support capsule operations with 8-bit integers as operands. Along with it, we propose a framework to perform post-training quantization of a CapsNet. Results show a reduction in memory footprint of almost 75%, with accuracy loss ranging from 0.07% to 0.18%. In terms of throughput, our Arm Cortex-M API enables the execution of primary capsule and capsule layers with medium-sized kernels in just 119.94 and 90.60 milliseconds (ms), respectively (STM32H755ZIT6U, Cortex-M7 @ 480 MHz). For the GAP-8 SoC (RISC-V RV32IMCXpulp @ 170 MHz), the latency drops to 7.02 and 38.03 ms, respectively. △ Less

Submitted 15 June, 2022; v1 submitted 6 October, 2021; originally announced October 2021.

ACM Class: I.2.5

Journal ref: ACM Trans. Intell. Syst. Technol. 13, 6, Article 105 (December 2022), 25 pages

Analyzing Flight Delay Prediction Under Concept Drift

Authors: Lucas Giusti, Leonardo Carvalho, Antonio Tadeu Gomes, Rafaelli Coutinho, Jorge Soares, Eduardo Ogasawara

Abstract: Flight delays impose challenges that impact any flight transportation system. Predicting when they are going to occur is an important way to mitigate this issue. However, the behavior of the flight delay system varies through time. This phenomenon is known in predictive analytics as concept drift. This paper investigates the prediction performance of different drift handling strategies in aviation… ▽ More Flight delays impose challenges that impact any flight transportation system. Predicting when they are going to occur is an important way to mitigate this issue. However, the behavior of the flight delay system varies through time. This phenomenon is known in predictive analytics as concept drift. This paper investigates the prediction performance of different drift handling strategies in aviation under different scales (models trained from flights related to a single airport or the entire flight system). Specifically, two research questions were proposed and answered: (i) How do drift handling strategies influence the prediction performance of delays? (ii) Do different scales change the results of drift handling strategies? In our analysis, drift handling strategies are relevant, and their impacts vary according to scale and machine learning models used. △ Less

Submitted 4 April, 2021; originally announced April 2021.

A Shape-Aware Retargeting Approach to Transfer Human Motion and Appearance in Monocular Videos

Authors: Thiago L. Gomes, Renato Martins, João Ferreira, Rafael Azevedo, Guilherme Torres, Erickson R. Nascimento

Abstract: Transferring human motion and appearance between videos of human actors remains one of the key challenges in Computer Vision. Despite the advances from recent image-to-image translation approaches, there are several transferring contexts where most end-to-end learning-based retargeting methods still perform poorly. Transferring human appearance from one actor to another is only ensured when a stri… ▽ More Transferring human motion and appearance between videos of human actors remains one of the key challenges in Computer Vision. Despite the advances from recent image-to-image translation approaches, there are several transferring contexts where most end-to-end learning-based retargeting methods still perform poorly. Transferring human appearance from one actor to another is only ensured when a strict setup has been complied, which is generally built considering their training regime's specificities. In this work, we propose a shape-aware approach based on a hybrid image-based rendering technique that exhibits competitive visual retargeting quality compared to state-of-the-art neural rendering approaches. The formulation leverages the user body shape into the retargeting while considering physical constraints of the motion in 3D and the 2D image domain. We also present a new video retargeting benchmark dataset composed of different videos with annotated human motions to evaluate the task of synthesizing people's videos, which can be used as a common base to improve tracking the progress in the field. The dataset and its evaluation protocols are designed to evaluate retargeting methods in more general and challenging conditions. Our method is validated in several experiments, comprising publicly available videos of actors with different shapes, motion types, and camera setups. The dataset and retargeting code are publicly available to the community at: https://www.verlab.dcc.ufmg.br/retargeting-motion. △ Less

Submitted 28 April, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 19 pages, 13 figures

Temporal characterization of broadband femtosecond laser pulses by third-harmonic dispersion scan with ptychographic retrieval

Authors: Tiago Gomes, Miguel Canhota, Helder Crespo

Abstract: We present a new variant of dispersion scan (d-scan) based on surface third-harmonic generation (STHG) and a ptychographic algorithm taylored for full retrieval (amplitude and phase) of broadband laser pulses. We demonstrate the technique by temporally measuring and compressing few-cycle pulses with 7 fs and 2.5 nJ from a Ti:Sapphire oscillator, using a sapphire window as the nonlinear medium. The… ▽ More We present a new variant of dispersion scan (d-scan) based on surface third-harmonic generation (STHG) and a ptychographic algorithm taylored for full retrieval (amplitude and phase) of broadband laser pulses. We demonstrate the technique by temporally measuring and compressing few-cycle pulses with 7 fs and 2.5 nJ from a Ti:Sapphire oscillator, using a sapphire window as the nonlinear medium. The results are in very good agreement with standard second-harmonic d-scan measurements based on a nonlinear crystal. The intrinsically broadband and phase-matching-independent nature of STHG make this technique very suitable for the characterization of ultrashort laser pulses over a broad wavelength range extending into the mid-infrared. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 7 pages, 5 figures. Submitted to Optics Letters

uTango: an open-source TEE for IoT devices

Authors: Daniel Oliveira, Tiago Gomes, Sandro Pinto

Abstract: Security is one of the main challenges of the Internet of Things (IoT). IoT devices are mainly powered by low-cost microcontrollers (MCUs) that typically lack basic hardware security mechanisms to separate security-critical applications from less critical components. Recently, Arm has started to release Cortex-M MCUs enhanced with TrustZone technology (i.e., TrustZone-M), a system-wide security so… ▽ More Security is one of the main challenges of the Internet of Things (IoT). IoT devices are mainly powered by low-cost microcontrollers (MCUs) that typically lack basic hardware security mechanisms to separate security-critical applications from less critical components. Recently, Arm has started to release Cortex-M MCUs enhanced with TrustZone technology (i.e., TrustZone-M), a system-wide security solution aiming at providing robust protection for IoT devices. Trusted Execution Environments (TEEs) relying on TrustZone hardware have been perceived as safe havens for securing mobile devices. However, for the past few years, considerable effort has gone into unveiling hundreds of vulnerabilities and proposing a collection of relevant defense techniques to address several issues. While new TEE solutions built on TrustZone-M start flourishing, the lessons gathered from the research community appear to be falling short, as these new systems are trap** into the same pitfalls of the past. In this paper, we present uTango, the first multi-world TEE for modern IoT devices. uTango proposes a novel architecture aiming at tackling the major architectural deficiencies currently affecting TrustZone(-M)-assisted TEEs. In particular, we leverage the very same TrustZone hardware primitives used by dual-world implementations to create multiple and equally secure execution environments within the normal world. We demonstrate the benefits of uTango by conducting an extensive evaluation on a real TrustZone-M hardware platform, i.e., Arm Musca-B1. uTango will be open-sourced and freely available on GitHub in hopes of engaging academia and industry on securing the foreseeable trillion IoT devices. △ Less

Submitted 16 February, 2022; v1 submitted 6 February, 2021; originally announced February 2021.

Learning to dance: A graph convolutional adversarial network to generate realistic dance motions from audio

Authors: João P. Ferreira, Thiago M. Coutinho, Thiago L. Gomes, José F. Neto, Rafael Azevedo, Renato Martins, Erickson R. Nascimento

Abstract: Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style… ▽ More Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style. Most approaches addressing this problem with classical convolutional and recursive neural models undergo training and variability issues due to the non-Euclidean geometry of the motion manifold structure.In this paper, we design a novel method based on graph convolutional networks to tackle the problem of automatic dance generation from audio information. Our method uses an adversarial learning scheme conditioned on the input music audios to create natural motions preserving the key movements of different music styles. We evaluate our method with three quantitative metrics of generative methods and a user study. The results suggest that the proposed GCN model outperforms the state-of-the-art dance generation method conditioned on music in different experiments. Moreover, our graph-convolutional approach is simpler, easier to be trained, and capable of generating more realistic motion styles regarding qualitative and different quantitative metrics. It also presented a visual movement perceptual quality comparable to real motion data. △ Less

Submitted 30 November, 2020; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: Accepted at the Elsevier Computers & Graphics (C&G) 2020

Numerical semigroups, polyhedra, and posets III: minimal presentations and face dimension

Authors: Tara Gomes, Christopher O'Neill, Eduardo Torres Davila

Abstract: This paper is the third in a series of manuscripts that examine the combinatorics of the Kunz polyhedron $P_m$, whose positive integer points are in bijection with numerical semigroups (cofinite subsemigroups of $\mathbb Z_{\ge 0}$) whose smallest positive element is $m$. The faces of $P_m$ are indexed by a family of finite posets (called Kunz posets) obtained from the divisibility posets of the n… ▽ More This paper is the third in a series of manuscripts that examine the combinatorics of the Kunz polyhedron $P_m$, whose positive integer points are in bijection with numerical semigroups (cofinite subsemigroups of $\mathbb Z_{\ge 0}$) whose smallest positive element is $m$. The faces of $P_m$ are indexed by a family of finite posets (called Kunz posets) obtained from the divisibility posets of the numerical semigroups lying on a given face. In this paper, we characterize to what extent the minimal presentation of a numerical semigroup can be recovered from its Kunz poset. In doing so, we prove that all numerical semigroups lying on the interior of a given face of $P_m$ have identical minimal presentation cardinality, and we provide a combinatorial method of obtaining the dimension of a face from its corresponding Kunz poset. △ Less

Submitted 7 May, 2023; v1 submitted 13 September, 2020; originally announced September 2020.

Newtonian-like gravity with variable $G$

Authors: Júlio C. Fabris, Tales Gomes, Júnior D. Toniato, Hermano Velten

Abstract: We propose a Lagrangian formulation for a varying $G$ Newtonian-like theory inspired by the Brans-Dicke gravity. Rather than imposing an {\it ad hoc} dependence for the gravitational coupling, as previously done in the literature, in our proposal the running of $G$ emerges naturally from the internal dynamical structure of the theory. We explore the features of the resulting gravitational field fo… ▽ More We propose a Lagrangian formulation for a varying $G$ Newtonian-like theory inspired by the Brans-Dicke gravity. Rather than imposing an {\it ad hoc} dependence for the gravitational coupling, as previously done in the literature, in our proposal the running of $G$ emerges naturally from the internal dynamical structure of the theory. We explore the features of the resulting gravitational field for static and spherically symmetric mass distributions as well as within the cosmological framework. △ Less

Submitted 19 January, 2021; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: To appear in European Physical Journal Plus

Do As I Do: Transferring Human Motion and Appearance between Monocular Videos with Spatial and Temporal Constraints

Authors: Thiago L. Gomes, Renato Martins, João Ferreira, Erickson R. Nascimento

Abstract: Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style a… ▽ More Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style and do not take into account the character's motion and shape, which are by nature intermingled to produce plausible human forms. In this paper, we propose a unifying formulation for transferring appearance and retargeting human motion from monocular videos that regards all these aspects. Our method synthesizes new videos of people in a different context where they were initially recorded. Differently from recent appearance transferring methods, our approach takes into account body shape, appearance, and motion constraints. The evaluation is performed with several experiments using publicly available real videos containing hard conditions. Our method is able to transfer both human motion and appearance outperforming state-of-the-art methods, while preserving specific features of the motion that must be maintained (e.g., feet touching the floor, hands touching a particular object) and holding the best visual quality and appearance metrics such as Structural Similarity (SSIM) and Learned Perceptual Image Patch Similarity (LPIPS). △ Less

Submitted 21 January, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 10 pages, 8 figures, to appear in Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV) 2020

Numerical semigroups, polyhedra, and posets II: locating certain families of semigroups

Authors: Jackson Autry, Abigail Ezell, Tara Gomes, Christopher O'Neill, Christopher Preuss, Tarang Saluja, Eduardo Torres Davila

Abstract: Several recent papers have examined a rational polyhedron $P_m$ whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non-negative integers) containing $m$. A combinatorial description of the faces of $P_m$ was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In th… ▽ More Several recent papers have examined a rational polyhedron $P_m$ whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non-negative integers) containing $m$. A combinatorial description of the faces of $P_m$ was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In this paper, we study the faces of $P_m$ containing arithmetical numerical semigroups and those containing certain glued numerical semigroups, as an initial step towards better understanding the full face structure of $P_m$. In most cases, such faces only contain semigroups from these families, yielding a tight connection to the geometry of $P_m$. △ Less

Submitted 4 October, 2021; v1 submitted 9 December, 2019; originally announced December 2019.

Elasticity in Apery sets

Authors: Jackson Autry, Tara Gomes, Christopher O'Neill, Vadim Ponomarenko

Abstract: A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers, containing zero, with finite complement. Its multiplicity $m$ is its smallest nonzero element. The Apery set of $S$ is the set $\text{Ap}(S) = \{n \in S : n-m \notin S\}$. Fixing a numerical semigroup, we ask how many elements of its Apery set have nonunique factorization, and define several new invariants. A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers, containing zero, with finite complement. Its multiplicity $m$ is its smallest nonzero element. The Apery set of $S$ is the set $\text{Ap}(S) = \{n \in S : n-m \notin S\}$. Fixing a numerical semigroup, we ask how many elements of its Apery set have nonunique factorization, and define several new invariants. △ Less

Submitted 18 August, 2019; originally announced August 2019.

Magnetic control of flexible thermoelectric devices based on macroscopic 3D interconnected nanowire networks

Authors: Flavio Abreu Araujo, Tristan da Câmara Santa Clara Gomes, Luc Piraux

Abstract: Spin-related effects in thermoelectricity can be used to design more efficient refrigerators and offer novel promising applications for the harvesting of thermal energy. The key challenge is to design structural and compositional magnetic material systems with sufficiently high efficiency and power output for transforming thermal energy into electric energy and vice versa. Here, the fabrication of… ▽ More Spin-related effects in thermoelectricity can be used to design more efficient refrigerators and offer novel promising applications for the harvesting of thermal energy. The key challenge is to design structural and compositional magnetic material systems with sufficiently high efficiency and power output for transforming thermal energy into electric energy and vice versa. Here, the fabrication of large-area 3D interconnected Co/Cu nanowire networks is demonstrated, thereby enabling the controlled Peltier cooling of macroscopic electronic components with an external magnetic field. The flexible, macroscopic devices overcome inherent limitations of nanoscale magnetic structures due to insufficient power generation capability that limits the heat management applications. From properly designed experiments, large spin-dependent Seebeck and Peltier coefficients of $-9.4$ $μ$V/K and $-2.8$ mV at room temperature, respectively. The resulting power factor of Co/Cu nanowire networks at room temperature ($\sim7.5$ mW/K$^2$m) is larger than those of state of the art thermoelectric materials, such as BiTe alloys and the magneto-power factor ratio reaches about 100\% over a wide temperature range. Validation of magnetic control of heat flow achieved by taking advantage of the spin-dependent thermoelectric properties of flexible macroscopic nanowire networks lay the groundwork to design shapeable thermoelectric coolers exploiting the spin degree of freedom. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Comments: 11 pages, 7 figures

Journal ref: Adv. Electron. Mater. 5, 1800819 (2019)

On the Implementation of a Scalable Simulator for Multiscale Hybrid-Mixed Methods

Authors: Antonio Tadeu A. Gomes, Weslley S. Pereira, Frederic Valentin, Diego Paredes

Abstract: The family of Multiscale Hybrid-Mixed (MHM) finite element methods has received considerable attention from the mathematics and engineering community in the last few years. The MHM methods allow solving highly heterogeneous problems on coarse meshes while providing solutions with high-order precision. It embeds independent local problems which are responsible for upscaling unresolved scales into t… ▽ More The family of Multiscale Hybrid-Mixed (MHM) finite element methods has received considerable attention from the mathematics and engineering community in the last few years. The MHM methods allow solving highly heterogeneous problems on coarse meshes while providing solutions with high-order precision. It embeds independent local problems which are responsible for upscaling unresolved scales into the numerical solution. These local contributions are brought together through a global problem defined on the skeleton of the coarse partition. Since the local problems are completely independent, they can be easily computed in parallel. In this paper, we present two simulator prototypes specifically crafted for the MHM methods, which adopt two different implementation strategies: (i) a multi-programming language approach, each language tackling different simulation issues; and (ii) a classical, single-programming language approach. Specifically, we use C++ for numerical computation of the global and local problems in a modular way; for process distribution in the simulator, we adopt the Erlang concurrent language in the first approach, and the MPI standard in the second approach. The aim of exploring these different approaches is twofold: (i) allow for the deployment of the simulator both in high-performance computing (with MPI) and in cloud computing environments (with Erlang); and (ii) pave the way for further exploration of quality attributes related to software productivity and fault-tolerance, which are key to Exascale systems. We present a performance evaluation of the two simulator prototypes taking into account their efficiency. △ Less

Submitted 30 March, 2017; originally announced March 2017.

MSC Class: 65N30 ACM Class: D.1.3; F.2.1

Influence of Thermal Cycling on Giant Magnetocaloric Effect of Gd5Si1.3Ge2.7 Thin Film

Authors: A L Pires, J H Belo, I T Gomes, R L Hadimani, D L Schlagel, T A Lograsso, D C Jiles, A M L Lopes, J P Araujo, A M Pereira

Abstract: In the lifetime of a magnetic refrigerator the materials are subjected to millions of thermal magnetic cycles, so it is of the utmost importance to predict the behavior of such materials when subjected to related work conditions. Thus, in this work we investigated the influence of thermal cycling in the microstructure, magnetic phase transition and magnetic entropy change of a Gd5Si1.3Ge2.7 thin f… ▽ More In the lifetime of a magnetic refrigerator the materials are subjected to millions of thermal magnetic cycles, so it is of the utmost importance to predict the behavior of such materials when subjected to related work conditions. Thus, in this work we investigated the influence of thermal cycling in the microstructure, magnetic phase transition and magnetic entropy change of a Gd5Si1.3Ge2.7 thin film up to 1000 cycles. In a first stage, till 450 cycles, the hysteresis area of the magnetization curves as a function of temperature was found to decrease 16% with thermal cycling, due to an arresting of the O(II) phase caused by internal strain. Nonetheless, after 1000 cycles there is a clear loss of the magneto-structural transition. For all thermal cycles the O(I) phase remains unchanged. Therefore, prolonged thermal cycling leads to a strong reduction of the O(II) phase, attributed to an internal pressure build-up, caused by the large number of expansion/compression cycles that the O(II) phase undergoes across the magnetostructural transition. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 12 pages, 3 figures, Submitted to Journal of Physics D: Applied Physics

Unravelling the effect of SrTiO3 antiferrodistortive phase transition on the magnetic properties of La0.7Sr0.3MnO3 thin films

Authors: D. A. Mota, Y. Romaguera Barcelay, A. M. R. Senos, C. M. Fernandes, P. B. Tavares, I. T. Gomes, P. Sá, L. Fernandes, B. G. Almeida, F. Figueiras, P. Mirzadeh Vaghefi, V. S. Amaral, A. Almeida, J. Pérez de la Cruz, J. Agostinho Moreira

Abstract: Epitaxial La0.7Sr0.3MnO3 (LSMO) thin films, with different thickness ranging from 20 nm up to 330 nm, were deposited on (100)-oriented strontium titanate (STO) substrates by pulsed laser deposition, and their structure and morphology characterized at room temperature. Magnetic and electric transport properties of the as-processed thin films reveal an abnormal behavior in the temperature dependent… ▽ More Epitaxial La0.7Sr0.3MnO3 (LSMO) thin films, with different thickness ranging from 20 nm up to 330 nm, were deposited on (100)-oriented strontium titanate (STO) substrates by pulsed laser deposition, and their structure and morphology characterized at room temperature. Magnetic and electric transport properties of the as-processed thin films reveal an abnormal behavior in the temperature dependent magnetization M(T) below the antiferrodistortive STO phase transition (TSTO) and also an anomaly in the magnetoresistance and electrical resistivity close to the same temperature. Up to 100 nm LSMO thin films, an in-excess magnetization and pronounced changes in the coercivity are evidenced, achieved through the interface-mediated magnetoelastic coupling with antiferrodistortive domain wall movement occurring below TSTO. Contrarily, for thicker LSMO thin films, above 100 nm, an in-defect magnetization is observed. This reversed behavior can be understood within the emergence in the upper layer of the film, observed by high resolution transmission electron microscopy, of a branched structure needed to relax elastic energy stored in the film which leads to randomly oriented magnetic domain reconstructions. For enough high-applied magnetic fields, as thermodynamic equilibrium is reached, a fully suppression of the anomalous magnetization occurs, wherein the temperature dependence of the magnetization starts to follow the expected Brillouin behavior. △ Less

Submitted 17 February, 2014; originally announced February 2014.

Comments: 15 pages, 9 figures

Expressando Atributos Não-Funcionais em Workflows Científicos

Authors: Vivian Medeiros, Antonio Tadeu Azevedo Gomes

Abstract: In this paper we present OSC, a scientific workflow specification language based on software architecture principles. In contrast with other approaches, OSC employs connectors as first-class constructs. In this way, we leverage reusability and compositionality in the workflow modeling process, specially in the configuration of mechanisms that manage non-functional attributes. In this paper we present OSC, a scientific workflow specification language based on software architecture principles. In contrast with other approaches, OSC employs connectors as first-class constructs. In this way, we leverage reusability and compositionality in the workflow modeling process, specially in the configuration of mechanisms that manage non-functional attributes. △ Less

Submitted 18 April, 2013; originally announced April 2013.

Comments: In portuguese

DANCE: A Framework for the Distributed Assessment of Network Centralities

Authors: Klaus Wehmuth, Antonio Tadeu A. Gomes, Artur Ziviani

Abstract: The analysis of large-scale complex networks is a major challenge in the Big Data domain. Given the large-scale of the complex networks researchers commonly deal with nowadays, the use of localized information (i.e. restricted to a limited neighborhood around each node of the network) for centrality-based analysis is gaining momentum in the recent literature. In this context, we propose a framewor… ▽ More The analysis of large-scale complex networks is a major challenge in the Big Data domain. Given the large-scale of the complex networks researchers commonly deal with nowadays, the use of localized information (i.e. restricted to a limited neighborhood around each node of the network) for centrality-based analysis is gaining momentum in the recent literature. In this context, we propose a framework for the Distributed Assessment of Network Centralities (DANCE) in complex networks. DANCE offers a single environment that allows the use of different localized centrality proposals, which can be tailored to specific applications. This environment can be thus useful given the vast potential applicability of centrality-based analysis on large-scale complex networks found in different areas, such as Biology, Physics, Sociology, or Computer Science. Since the localized centrality proposals DANCE implements employ only localized information, DANCE can easily benefit from parallel processing environments and run on different computing architectures. To illustrate this, we present a parallel implementation of DANCE and show how it can be applied to the analysis of large-scale complex networks using different kinds of network centralities. This implementation is made available to complex network researchers and practitioners interested in using it through a scientific web portal. △ Less

Submitted 17 April, 2014; v1 submitted 4 August, 2011; originally announced August 2011.