Showing 1–50 of 69 results for author: Mendes, P

Error-Driven Uncertainty Aware Training

Authors: Pedro Mendes, Paolo Romano, David Garlan

Abstract: Neural networks are often overconfident about their predictions, which undermines their reliability and trustworthiness. In this work, we present a novel technique, named Error-Driven Uncertainty Aware Training (EUAT), which aims to enhance the ability of neural models to estimate their uncertainty correctly, namely to be highly uncertain when they output inaccurate predictions and low uncertain w… ▽ More Neural networks are often overconfident about their predictions, which undermines their reliability and trustworthiness. In this work, we present a novel technique, named Error-Driven Uncertainty Aware Training (EUAT), which aims to enhance the ability of neural models to estimate their uncertainty correctly, namely to be highly uncertain when they output inaccurate predictions and low uncertain when their output is accurate. The EUAT approach operates during the model's training phase by selectively employing two loss functions depending on whether the training examples are correctly or incorrectly predicted by the model. This allows for pursuing the twofold goal of i) minimizing model uncertainty for correctly predicted inputs and ii) maximizing uncertainty for mispredicted inputs, while preserving the model's misprediction rate. We evaluate EUAT using diverse neural models and datasets in the image recognition domains considering both non-adversarial and adversarial settings. The results show that EUAT outperforms existing approaches for uncertainty estimation (including other uncertainty-aware training techniques, calibration, ensembles, and DEUP) by providing uncertainty estimates that not only have higher quality when evaluated via statistical metrics (e.g., correlation with residuals) but also when employed to build binary classifiers that decide whether the model's output can be trusted or not and under distributional data shifts. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Validation of electrodeposited 241Am alpha-particle sources for use in liquified gas detectors at cryogenic temperatures

Authors: E. Calvo Alamillo, M. T. Crespo Vázquez, P. F. Rato Mendes, R. Álvarez Garrote, J. I. Crespo Anadón, C. Cuesta, A. De la Torre Rojo, I. Gil-Botella, I. Martín Martín, M. Mejuto Mendieta, C. Palomares, L. Pérez Molina, J. A. Soto Otón, A. Verdugo de Osa

Abstract: This paper describes a procedure for the validation of alpha-particle sources (exempt unsealed sources) to be used in experimental setups with liquefied gases at cryogenic temperatures (down to -196 C) and high vacuum. These setups are of interest for the development and characterization of neutrino and dark matter detectors based on liquid argon, among others. Due to the high purity requirements,… ▽ More This paper describes a procedure for the validation of alpha-particle sources (exempt unsealed sources) to be used in experimental setups with liquefied gases at cryogenic temperatures (down to -196 C) and high vacuum. These setups are of interest for the development and characterization of neutrino and dark matter detectors based on liquid argon, among others. Due to the high purity requirements, the sources have to withstand high vacuum and cryogenic temperatures for extended periods. The validation procedure has been applied to 241Am sources produced by electrodeposition. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 5 pages

Journal ref: Applied Radiation and Isotopes, Volume 200, October 2023, 110913

Simple portable quantum key distribution for science outreach

Authors: Pedro Mendes, Paulo André, Emmanuel Zambrini Cruzeiro

Abstract: Quantum Key Distribution (QKD) has become an essential technology in the realm of secure communication, with applications ranging from secure data transmission to quantum networks. This paper presents a simple, compact, and cost-effective setup for undergraduate tutorial demonstrations of QKD. It relies on using weak coherent pulses, which can be readily produced using an attenuated laser. The sys… ▽ More Quantum Key Distribution (QKD) has become an essential technology in the realm of secure communication, with applications ranging from secure data transmission to quantum networks. This paper presents a simple, compact, and cost-effective setup for undergraduate tutorial demonstrations of QKD. It relies on using weak coherent pulses, which can be readily produced using an attenuated laser. The system employs the simplified three-state BB84 protocol in free space, the states are encoded using linear polarization. Polarization encoding can be done passively or actively, depending on the budget available. Time multiplexing is implemented at the receiver to reduce the number of required detectors. Only two detectors are used to implement measurements on two bases, with a total of four outcomes. The result demonstrates the practicality of the system for free-space quantum communication, and its compact and portable nature makes it particularly suitable for pedagogical demonstrations. This work paves the way for engaging undergraduate students in the field of quantum communication through hands-on laboratory projects. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Comments: 9 pages, 8 figures

Relaxing Trust Assumptions on Quantum Key Distribution Networks

Authors: Nilesh Vyas, Paulo Mendes

Abstract: Quantum security over long distances with untrusted relays is largely unfounded and is still an open question for active research. Nevertheless, quantum networks based on trusted relays are being built across the globe. However, standard QKD network architecture implores a complete trust requirement on QKD relays, which is too demanding and limits the use cases for QKD networks. In this work, we e… ▽ More Quantum security over long distances with untrusted relays is largely unfounded and is still an open question for active research. Nevertheless, quantum networks based on trusted relays are being built across the globe. However, standard QKD network architecture implores a complete trust requirement on QKD relays, which is too demanding and limits the use cases for QKD networks. In this work, we explore the possibility to securely relay a secret in a QKD network by relaxing the trust assumptions (if not completely) on the relay. We characterize QKD relays with different trust levels, namely, Full Access Trust (FAT), Partial Access Trust (PAT), and No Access Trust (NAT). As the name suggests, each level defines the degree with which a relay is required to be trusted with the secret provided by the key management system for end-to-end communication. We then review and propose multiple constructions of the QKD key management system based on the different trust levels. Main contribution of the paper is realized by evaluating key management systems with no access trust level. In principle, we review key management with centralized topology and propose a new decentralized key management system. These different topologies provide various advantages based on the QKD network requirements, allowing an operational flexibility in the architecture. We believe this work presents a new perspective to the open problem of providing a confiding and a practical solution for future long range secure communications △ Less

Submitted 20 February, 2024; originally announced February 2024.

I-Love-$\langle c_s^2 \rangle$: Approximately universal relations for the average neutron star stiffness

Authors: Jayana A. Saes, Raissa F. P. Mendes, Nicolás Yunes

Abstract: The accurate observations of neutron stars have deepened our knowledge of both general relativity and the properties of nuclear physics at large densities. Relating observations to the microphysics that govern these stars can sometimes be aided by approximate universal relations. One such relation connects the ratio of the central pressure to the central energy density and the compactness of the s… ▽ More The accurate observations of neutron stars have deepened our knowledge of both general relativity and the properties of nuclear physics at large densities. Relating observations to the microphysics that govern these stars can sometimes be aided by approximate universal relations. One such relation connects the ratio of the central pressure to the central energy density and the compactness of the star, and it has been found to be insensitive to realistic models for the equation of state to a $\sim 10\%$ level. In this paper, we clarify the meaning of the microscopic quantity appearing in this relation, which is reinterpreted as the average of the speed of sound squared in the interior of a star, $\langle c_s^2 \rangle\!$. The physical origin of the quasi-universality of the $\langle c_s^2 \rangle - C$ relation is then investigated. Making use of post-Minkowskian expansions, we find it to be linked to the Newtonian limit of the structure equations, as well as to the fact that the equations of state that describe NSs are relatively stiff. The same post-Minkowskian approach is also applied to the relations between $\langle c_s^2 \rangle\!$, the moment of inertia, and the tidal deformability of a neutron star, arriving at similar conclusions. △ Less

Submitted 8 July, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: 17 pages, 12 figures

Journal ref: Phys. Rev. D 110, 024011 (2024)

Scalable Resource Provisioning for Multi-user Communications in Next Generation Networks

Authors: Augusto Neto, Eduardo Cerqueira, Marilia Curado, Edmundo Monteiro, Paulo Mendes

Abstract: The great demand for real-time multimedia sessions encompassing groups of users (multi-user), associated with the limitations of the current Internet in providing quality assurance, has raised challenges for defining the best mechanisms to deploy the Next Generation of Networks (NGN). There is a consensus that an efficient and scalable provisioning of network resources is crucial for the success o… ▽ More The great demand for real-time multimedia sessions encompassing groups of users (multi-user), associated with the limitations of the current Internet in providing quality assurance, has raised challenges for defining the best mechanisms to deploy the Next Generation of Networks (NGN). There is a consensus that an efficient and scalable provisioning of network resources is crucial for the success of the NGN, mainly in what concerns access networks. Previous solutions for the control of multi-user sessions rely mostly on uncoordinated actions to allocate per-flow bandwidth and multicast trees. This paper introduces a Multiuser Aggregated Resource Allocation mechanism (MARA) that coordinates the control of class-based bandwidth and multicast resources in a scalable manner. In comparison with previous work, MARA significantly reduces signaling, state and processing overhead. The performance benefits of MARA are analyzed though simulations, which successfully demonstrated the significant optimization in the network performance. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Journal ref: IEEE Globecom, New Orleans, USA, November 2008

Named Service Networking as a primer for the Metaverse

Authors: Paulo Mendes

Abstract: Ubiquitous extended reality environments such as the Metaverse will have a significant impact on the Internet, which will evolve to interconnect a large number of mixed reality spaces. Currently, Metaverse development is related to the creation of mixed reality environments, not tackling the required networking functionalities. This article analyzes suitable networking design choices to support th… ▽ More Ubiquitous extended reality environments such as the Metaverse will have a significant impact on the Internet, which will evolve to interconnect a large number of mixed reality spaces. Currently, Metaverse development is related to the creation of mixed reality environments, not tackling the required networking functionalities. This article analyzes suitable networking design choices to support the Metaverse, proposing a new service-centric networking approach capable of incorporating low-latency data fetching, distributed computing, and fusion of heterogeneous data types over the Cloud-to-Thing continuum. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Comments: 7 pages, 5 figures

Journal ref: IEEE Communications Magazine ( Volume: 61, Issue: 9, September 2023)

Production and optical characterisation of blended Polyethylene Tethraplate (PET)/Polyethylene Naphtalate (PEN) scintillator samples

Authors: P. Conde Muíño, J. A. Covas, A. Gomes, L. Gurriana, R. Machado, T. Martins, P. Mendes, R. Pedro, B. Pereira, A. J. Pontes, H. Wilkens

Abstract: In Particle and Nuclear Physics research and related applications, organic scintillators provide a cost-effective technology for the detection of ionising radiation. The next generation of experiments in this field is driving fundamental research and development on these materials, demanding improved light yield, radiation hardness, and fast response. Common materials such as PEN and PET have been… ▽ More In Particle and Nuclear Physics research and related applications, organic scintillators provide a cost-effective technology for the detection of ionising radiation. The next generation of experiments in this field is driving fundamental research and development on these materials, demanding improved light yield, radiation hardness, and fast response. Common materials such as PEN and PET have been found to offer scintillation properties competitive to commercial alternatives without the use of dopants. Motivated by their complementarity in terms of light yield, radiation hardness, and response time, there is an increasing interest in investigating PET:PEN mixtures to ascertain whether they exhibit synergistic blending. This paper presents results from the systematic development of samples of PET, PEN, and PET:PEN mixtures with varied mass proportions. The manufacturing technique, involving injection moulding of granule raw material, is detailed. The effects of do** the polymer base substrate with fluorescent dopants are explored. Finally, the emission spectra of the different material compositions and their relative light output are presented. △ Less

Submitted 26 February, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Passive Sensing and Localization in an Aircraft Cabin Using a Wireless Communication Network

Authors: Fabien Geyer, Thomas Multerer, Paulo Mendes, Dominic Schupke

Abstract: Advances in wireless localization techniques aiming to exploit context-dependent data has been leading to a growing interest in services able of localizing or tracking targets inside buildings with high accuracy and precision. Hence, the demand for indoor localization services has become a key prerequisite in some markets, such as in the aviation sector. In this context, we propose a system to pas… ▽ More Advances in wireless localization techniques aiming to exploit context-dependent data has been leading to a growing interest in services able of localizing or tracking targets inside buildings with high accuracy and precision. Hence, the demand for indoor localization services has become a key prerequisite in some markets, such as in the aviation sector. In this context, we propose a system to passively localize and track passenger movements inside the cabin of an aircraft in a privacy preserving way using existing communication networks such as Wi-Fi or 5G. The estimated passenger positions can be used for various automation tasks such as measurement of passenger behavior during boarding. The paper describes a novel wireless localization system, based on Artificial Neural Networks, which passively senses the location of passengers. The position estimation is based on the observation of wireless communication signals that are already present in the environment. In this context, "passive" means that no additional devices are needed for the passengers. Experimental results show that the proposed system is able to achieve an average accuracy of 12 cm in a challenging environment like an aircraft cabin. This accuracy seems sufficient to control passenger separation. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Optical payload design for downlink quantum key distribution and keyless communication using CubeSats

Authors: Pedro Mendes, Gonçalo Teixeira, David Pinho, Rui Rocha, Paulo André, Manfred Niehus, Ricardo Faleiro, Davide Rusca, Emmanuel Zambrini Cruzeiro

Abstract: Quantum key distribution is costly and, at the moment, offers low performance in space applications. Other more recent protocols could offer a potential practical solution to this problem. In this work, a preliminary optical payload design using commercial off-the-shelf elements for a quantum communication downlink in a 3U CubeSat is proposed. It is shown that this quantum state emitter allows the… ▽ More Quantum key distribution is costly and, at the moment, offers low performance in space applications. Other more recent protocols could offer a potential practical solution to this problem. In this work, a preliminary optical payload design using commercial off-the-shelf elements for a quantum communication downlink in a 3U CubeSat is proposed. It is shown that this quantum state emitter allows the establishment of two types of quantum communication between the satellite and the ground station: quantum key distribution and quantum keyless private communication. Numerical simulations are provided that show the feasibility of the scheme for both protocols as well as their performance. For the simplified BB84, a maximum secret key rate of about 80 kHz and minimum QBER of slightly more than $0.07\ \%$ is found, at the zenith, while for quantum private keyless communication, a 700 MHz private rate is achieved. This design serves as a platform for the implementation of novel quantum communication protocols that can improve the performance of quantum communications in space. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 24 pages, 9 figures

Statement: The Metaverse as an Information-Centric Network

Authors: Dirk Kutscher, Jeff Burke, Giuseppe Fioccola, Paulo Mendes

Abstract: This paper discusses challenges and opportunities of considering the Metaverse as an Information-Centric Network (ICN). The Web today essentially represents a data-centric application layer: data named by URLs is manipulated with REST primitives. However, the semantic gap with the underlying host-oriented transport is significant, typically leading to complexity, centralization, and brittleness. P… ▽ More This paper discusses challenges and opportunities of considering the Metaverse as an Information-Centric Network (ICN). The Web today essentially represents a data-centric application layer: data named by URLs is manipulated with REST primitives. However, the semantic gap with the underlying host-oriented transport is significant, typically leading to complexity, centralization, and brittleness. Popular interest in "the Metaverse" suggests that the end-user experience of the Web will evolve towards always-on eXtended Reality (XR). With the benefit of a historical perspective, computing advances, and decades of experience with a global network, there is an opportunity to holistically consider the Metaverse not as an application of the current network, but an evolution of the network itself, reducing rather than widening the gap between network architecture and application semantics. An ICN architecture offers the possibility to achieve this with less overhead, low latency, better security, and more disruption tolerance suitable to diverse uses cases, even those facing intermittent connectivity. △ Less

Submitted 16 September, 2023; originally announced September 2023.

Comments: The final version of this paper has been accepted for publication in the proceedings of ACM ICN-2023. Please cite the published version (https://doi.org/10.1145/3623565.3623761)

ACM Class: C.2; E.1

Journal ref: ACM ICN 2023, October 9 - 10, 2023, Reykjavik, Iceland

A note on the Moody diagram

Authors: Paulo R. de Souza Mendes

Abstract: In this work we propose an alternate scaling for the head loss in the steady flow of Newtonian fluids through tubes. The characteristics of the proposed scaling render more clear the role of inertia in this flow and ensure that the trends of the relationship between dimensionless quantities are the same ones observed in the dimensional problem. In this work we propose an alternate scaling for the head loss in the steady flow of Newtonian fluids through tubes. The characteristics of the proposed scaling render more clear the role of inertia in this flow and ensure that the trends of the relationship between dimensionless quantities are the same ones observed in the dimensional problem. △ Less

Submitted 20 August, 2023; originally announced August 2023.

Comments: 5 pages, 2 figures

Mitigating the choice of the duration in DDMS models through a parametric link

Authors: Fernando Henrique de Paula e Silva Mendes, Douglas Eduardo Turatti, Guilherme Pumi

Abstract: One of the most important hyper-parameters in duration-dependent Markov-switching (DDMS) models is the duration of the hidden states. Because there is currently no procedure for estimating this duration or testing whether a given duration is appropriate for a given data set, an ad hoc duration choice must be heuristically justified. In this paper, we propose and examine a methodology that mitigate… ▽ More One of the most important hyper-parameters in duration-dependent Markov-switching (DDMS) models is the duration of the hidden states. Because there is currently no procedure for estimating this duration or testing whether a given duration is appropriate for a given data set, an ad hoc duration choice must be heuristically justified. In this paper, we propose and examine a methodology that mitigates the choice of duration in DDMS models when forecasting is the goal. Two Monte Carlo simulations, based on classical applications of DDMS models, are employed to evaluate the methodology. In addition, an empirical investigation is carried out to forecast the volatility of the S\&P 500, which showcases the capabilities of the proposed model. △ Less

Submitted 24 November, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: this version contains an updated application

MSC Class: 62M10; 62F10; 91B84

Reproducibility and FAIR Principles: The Case of a Segment Polarity Network Model

Authors: Pedro Mendes

Abstract: The issue of reproducibility of computational models and the related FAIR principles (findable, accessible, interoperable, and reusable) are examined in a specific test case. I analyze a computational model of the segment polarity network in Drosophila embryos published in 2000. Despite the high number of citations to this publication, 23 years later the model is barely accessible, and consequentl… ▽ More The issue of reproducibility of computational models and the related FAIR principles (findable, accessible, interoperable, and reusable) are examined in a specific test case. I analyze a computational model of the segment polarity network in Drosophila embryos published in 2000. Despite the high number of citations to this publication, 23 years later the model is barely accessible, and consequently not interoperable. Following the text of the original publication allowed successfully encoding the model for the open source software COPASI. Subsequently saving the model in the SBML format allowed it to be reused in other open source software packages. Submission of this SBML encoding of the model to the BioModels database enables its findability and accessibility. This demonstrates how the FAIR principles can be successfully enabled by using open source software, widely adopted standards, and public repositories, facilitating reproducibility and reuse of computational cell biology models that will outlive the specific software used. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Hyper-parameter Tuning for Adversarially Robust Models

Authors: Pedro Mendes, Paolo Romano, David Garlan

Abstract: This work focuses on the problem of hyper-parameter tuning (HPT) for robust (i.e., adversarially trained) models, shedding light on the new challenges and opportunities arising during the HPT process for robust models. To this end, we conduct an extensive experimental study based on 3 popular deep models, in which we explore exhaustively 9 (discretized) HPs, 2 fidelity dimensions, and 2 attack bou… ▽ More This work focuses on the problem of hyper-parameter tuning (HPT) for robust (i.e., adversarially trained) models, shedding light on the new challenges and opportunities arising during the HPT process for robust models. To this end, we conduct an extensive experimental study based on 3 popular deep models, in which we explore exhaustively 9 (discretized) HPs, 2 fidelity dimensions, and 2 attack bounds, for a total of 19208 configurations (corresponding to 50 thousand GPU hours). Through this study, we show that the complexity of the HPT problem is further exacerbated in adversarial settings due to the need to independently tune the HPs used during standard and adversarial training: succeeding in doing so (i.e., adopting different HP settings in both phases) can lead to a reduction of up to 80% and 43% of the error for clean and adversarial inputs, respectively. On the other hand, we also identify new opportunities to reduce the cost of HPT for robust models. Specifically, we propose to leverage cheap adversarial training methods to obtain inexpensive, yet highly correlated, estimations of the quality achievable using state-of-the-art methods. We show that, by exploiting this novel idea in conjunction with a recent multi-fidelity optimizer (taKG), the efficiency of the HPT process can be enhanced by up to 2.1x. △ Less

Submitted 13 June, 2024; v1 submitted 5 April, 2023; originally announced April 2023.

Distributed Primal Outer Approximation Algorithm for Sparse Convex Programming with Separable Structures

Authors: Alireza Olama, Eduardo Camponogara, Paulo R. C. Mendes

Abstract: This paper presents the Distributed Primal Outer Approximation (DiPOA) algorithm for solving Sparse Convex Programming (SCP) problems with separable structures, efficiently, and in a decentralized manner. The DiPOA algorithm development consists of embedding the recently proposed Relaxed Hybrid Alternating Direction Method of Multipliers (RH-ADMM) algorithm into the Outer Approximation (OA) algori… ▽ More This paper presents the Distributed Primal Outer Approximation (DiPOA) algorithm for solving Sparse Convex Programming (SCP) problems with separable structures, efficiently, and in a decentralized manner. The DiPOA algorithm development consists of embedding the recently proposed Relaxed Hybrid Alternating Direction Method of Multipliers (RH-ADMM) algorithm into the Outer Approximation (OA) algorithm. We also propose two main improvements to control the quality and the number of cutting planes that approximate nonlinear functions. In particular, the RH-ADMM algorithm acts as a distributed numerical engine inside the DiPOA algorithm. DiPOA takes advantage of the multi-core architecture of modern processors to speed up optimization algorithms. The proposed distributed algorithm makes practical the solution of SCP in learning and control problems from the application side. This paper concludes with a performance analysis of DiPOA for the distributed sparse logistic regression and quadratically constrained optimization problems. Finally, the paper concludes with a numerical comparison with state-of-the-art optimization solvers. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Effective-action model for dynamical scalarization beyond the adiabatic approximation

Authors: Mohammed Khalil, Raissa F. P. Mendes, Néstor Ortiz, Jan Steinhoff

Abstract: In certain scalar-field extensions to general relativity, scalar charges can develop on compact objects in an inspiraling binary -- an effect known as dynamical scalarization. This effect can be modeled using effective-field-theory methods applied to the binary within the post-Newtonian approximation. Past analytic investigations focused on the adiabatic (or quasi-stationary) case for quasi-circul… ▽ More In certain scalar-field extensions to general relativity, scalar charges can develop on compact objects in an inspiraling binary -- an effect known as dynamical scalarization. This effect can be modeled using effective-field-theory methods applied to the binary within the post-Newtonian approximation. Past analytic investigations focused on the adiabatic (or quasi-stationary) case for quasi-circular orbits. In this work, we explore the full dynamical evolution around the phase transition to the scalarized regime. This allows for generic (eccentric) orbits and to quantify nonadiabatic (e.g., oscillatory) behavior during the phase transition. We also find that even in the circular-orbit case, the onset of scalarization can only be predicted reliably when taking the full dynamics into account, i.e., the adiabatic approximation is not appropriate. Our results pave the way for accurate post-Newtonian predictions for dynamical scalarization effects in gravitational waves from compact binaries. △ Less

Submitted 2 November, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 15 pages, 11 figures. v2: matches published version

BioSimulators: a central registry of simulation engines and services for recommending specific tools

Authors: Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny , et al. (46 additional authors not shown)

Abstract: Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find… ▽ More Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find and use simulation tools, we developed BioSimulators (https://biosimulators.org), a central registry of the capabilities of simulation tools and consistent Python, command-line, and containerized interfaces to each version of each tool. The foundation of BioSimulators is standards, such as CellML, SBML, SED-ML, and the COMBINE archive format, and validation tools for simulation projects and simulation tools that ensure these standards are used consistently. To help modelers find tools for particular projects, we have also used the registry to develop recommendation services. We anticipate that BioSimulators will help modelers exchange, reproduce, and combine simulations. △ Less

Submitted 13 March, 2022; originally announced March 2022.

Comments: 6 pages, 2 figures

An NLP Solution to Foster the Use of Information in Electronic Health Records for Efficiency in Decision-Making in Hospital Care

Authors: Adelino Leite-Moreira, Afonso Mendes, Afonso Pedrosa, Amândio Rocha-Sousa, Ana Azevedo, André Amaral-Gomes, Cláudia Pinto, Helena Figueira, Nuno Rocha Pereira, Pedro Mendes, Tiago Pimenta

Abstract: The project aimed to define the rules and develop a technological solution to automatically identify a set of attributes within free-text clinical records written in Portuguese. The first application developed and implemented on this basis was a structured summary of a patient's clinical history, including previous diagnoses and procedures, usual medication, and relevant characteristics or conditi… ▽ More The project aimed to define the rules and develop a technological solution to automatically identify a set of attributes within free-text clinical records written in Portuguese. The first application developed and implemented on this basis was a structured summary of a patient's clinical history, including previous diagnoses and procedures, usual medication, and relevant characteristics or conditions for clinical decisions, such as allergies, being under anticoagulant therapy, etc. The project's goal was achieved by a multidisciplinary team that included clinicians, epidemiologists, computational linguists, machine learning researchers and software engineers, bringing together the expertise and perspectives of a public hospital, the university and the private sector. Relevant benefits to users and patients are related with facilitated access to the patient's history, which translates into exhaustiveness in apprehending the patient's clinical past and efficiency due to time saving. △ Less

Submitted 24 February, 2022; originally announced February 2022.

Comments: 11 pages, 2 figures

Neutron stars in the symmetron model

Authors: Bernardo F. de Aguiar, Raissa F. P. Mendes, F. T. Falciano

Abstract: Screening mechanisms are often deployed by dark energy models in order to conceal the effects of their new degrees of freedom from the scrutiny of terrestrial and solar system experiments. However, extreme properties of nuclear matter may lead to a partial failure of screening mechanisms inside the most massive neutron stars observed in Nature, opening up the possibility of probing these theories… ▽ More Screening mechanisms are often deployed by dark energy models in order to conceal the effects of their new degrees of freedom from the scrutiny of terrestrial and solar system experiments. However, extreme properties of nuclear matter may lead to a partial failure of screening mechanisms inside the most massive neutron stars observed in Nature, opening up the possibility of probing these theories with neutron star observations. In this work we explore equilibrium and stability properties of neutron stars in two variants of the symmetron model. We show that around sufficiently compact neutron stars, the symmetron is amplified with respect to its background, cosmological value by several orders of magnitude, and that properties of such unscreened stars are sensitive to corrections to the leading linear coupling between the symmetron and matter. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: 10 pages, 6 figures

ShinyCOPASI: a web-based exploratory interface for COPASI models

Authors: Abhishekh Gupta, Pedro Mendes

Abstract: COPASI is a popular application for simulation and analysis of biochemical networks and their dynamics. While this software is widely used, it works as a standalone application and until now it was not possible for users to interact with its models through the web. We built ShinyCOPASI, a web-based application that allows COPASI models to be explored through a web browser. ShinyCOPASI was written… ▽ More COPASI is a popular application for simulation and analysis of biochemical networks and their dynamics. While this software is widely used, it works as a standalone application and until now it was not possible for users to interact with its models through the web. We built ShinyCOPASI, a web-based application that allows COPASI models to be explored through a web browser. ShinyCOPASI was written in R with the CoRC package, which provides a high-level R API for COPASI, and the Shiny package to expose it as a web application. The web view provided by ShinyCOPASI follows a similar interface to the standalone COPASI and allows users to explore the details of a model, as well as running a subset of the tasks available in COPASI from within a browser. A generic version allows users to load model files from their computer, while another one pre-loads a specific model from the server and may be useful to provide web access to published models. The application is available at: http://shiny.copasi.org/; and the source code is at: https://github.com/copasi/shinyCOPASI. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Equation-of-state-insensitive measure of neutron star stiffness

Authors: Jayana A. Saes, Raissa F. P. Mendes

Abstract: Universal relations (i.e., insensitive to the equation of state) between macroscopic properties of neutron stars have proven useful for a variety of applications -- from providing a direct means to extract observables from data to breaking degeneracies that hinder tests of general relativity. Similarly, equation-of-state-insensitive relations directly connecting macroscopic and microscopic propert… ▽ More Universal relations (i.e., insensitive to the equation of state) between macroscopic properties of neutron stars have proven useful for a variety of applications -- from providing a direct means to extract observables from data to breaking degeneracies that hinder tests of general relativity. Similarly, equation-of-state-insensitive relations directly connecting macroscopic and microscopic properties of neutron stars can potentially provide a clean window into the behavior of nuclear matter. In this work, we uncover a tight correlation between certain macroscopic properties of a neutron star - its compactness $C$, moment of inertia $\bar{I}$ and tidal deformability $\barΛ$ - and the ratio $α_c \equiv p_c/ε_c$ of central pressure to central energy density, which can be interpreted as a mean notion of the stiffness of nuclear matter inside that object. We describe interesting properties of this stiffness measure, quantify the (approximate) universality of the $α_c - C/\bar{I}/\barΛ$ relations, and explore its consequences in the face of recent and future neutron star observations. △ Less

Submitted 26 August, 2022; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 10 pages, 9 figures; extended and revised to match published version

Journal ref: Phys. Rev. D 106, 043027 (2022)

HyperJump: Accelerating HyperBand via Risk Modelling

Authors: Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan

Abstract: In the literature on hyper-parameter tuning, a number of recent solutions rely on low-fidelity observations (e.g., training with sub-sampled datasets) in order to efficiently identify promising configurations to be then tested via high-fidelity observations (e.g., using the full dataset). Among these, HyperBand is arguably one of the most popular solutions, due to its efficiency and theoretically… ▽ More In the literature on hyper-parameter tuning, a number of recent solutions rely on low-fidelity observations (e.g., training with sub-sampled datasets) in order to efficiently identify promising configurations to be then tested via high-fidelity observations (e.g., using the full dataset). Among these, HyperBand is arguably one of the most popular solutions, due to its efficiency and theoretically provable robustness. In this work, we introduce HyperJump, a new approach that builds on HyperBand's robust search strategy and complements it with novel model-based risk analysis techniques that accelerate the search by skip** the evaluation of low risk configurations, i.e., configurations that are likely to be eventually discarded by HyperBand. We evaluate HyperJump on a suite of hyper-parameter optimization problems and show that it provides over one-order of magnitude speed-ups, both in sequential and parallel deployments, on a variety of deep-learning, kernel-based learning, and neural architectural search problems when compared to HyperBand and to several state-of-the-art optimizers. △ Less

Submitted 2 December, 2022; v1 submitted 5 August, 2021; originally announced August 2021.

Nonlinear dynamics of oscillating neutron stars in scalar-tensor gravity

Authors: Raissa F. P. Mendes, Néstor Ortiz, Nikolaos Stergioulas

Abstract: The spectrum of oscillating compact objects can be considerably altered in alternative theories of gravity. In particular, it may be enriched by modes with no counterpart in general relativity, tied to the dynamics of additional degrees of freedom generically present in these theories. Detection of these modes, e.g. in the gravitational-wave signal from a binary compact object coalescence, could p… ▽ More The spectrum of oscillating compact objects can be considerably altered in alternative theories of gravity. In particular, it may be enriched by modes with no counterpart in general relativity, tied to the dynamics of additional degrees of freedom generically present in these theories. Detection of these modes, e.g. in the gravitational-wave signal from a binary compact object coalescence, could provide a powerful tool to probe the underlying theory of gravity. To access the potential of such a detection, it is crucial to understand the linear and nonlinear spectral features of dynamically formed, oscillating compact objects in alternative theories of gravity. As a step towards that goal, in this work we present a suite of 1+1 numerical relativity simulations of neutron stars in scalar-tensor theories, we carefully analyze the spectrum of stellar pulsations, and we compare results with expectations from linear perturbation theory. This allows us to build intuition for the case of binary neutron star mergers. Additionally, the models investigated in this work are representatives of two broad classes, in which the scalar field couples either strongly or weakly with the fluid. The distinct phenomenology of the nonlinear dynamics that we identify for each class of models, may find counterparts also in other alternative theories of gravity. △ Less

Submitted 19 January, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 22 pages, 21 figures, 1 table. Updated references, four references added, typos corrected, thicker lines in some plots. Matches published version

Journal ref: Phys. Rev. D 104, 104036 (2021)

TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling

Authors: Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan

Abstract: This work introduces TrimTuner, the first system for optimizing machine learning jobs in the cloud to exploit sub-sampling techniques to reduce the cost of the optimization process while kee** into account user-specified constraints. TrimTuner jointly optimizes the cloud and application-specific parameters and, unlike state of the art works for cloud optimization, eschews the need to train the m… ▽ More This work introduces TrimTuner, the first system for optimizing machine learning jobs in the cloud to exploit sub-sampling techniques to reduce the cost of the optimization process while kee** into account user-specified constraints. TrimTuner jointly optimizes the cloud and application-specific parameters and, unlike state of the art works for cloud optimization, eschews the need to train the model with the full training set every time a new configuration is sampled. Indeed, by leveraging sub-sampling techniques and data-sets that are up to 60x smaller than the original one, we show that TrimTuner can reduce the cost of the optimization process by up to 50x. Further, TrimTuner speeds-up the recommendation process by 65x with respect to state of the art techniques for hyper-parameter optimization that use sub-sampling techniques. The reasons for this improvement are twofold: i) a novel domain specific heuristic that reduces the number of configurations for which the acquisition function has to be evaluated; ii) the adoption of an ensemble of decision trees that enables boosting the speed of the recommendation process by one additional order of magnitude. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: Mascots 2020

A Cluster-Matching-Based Method for Video Face Recognition

Authors: Paulo R C Mendes, Antonio J G Busson, Sérgio Colcher, Daniel Schwabe, Álan L V Guedes, Carlos Laufer

Abstract: Face recognition systems are present in many modern solutions and thousands of applications in our daily lives. However, current solutions are not easily scalable, especially when it comes to the addition of new targeted people. We propose a cluster-matching-based approach for face recognition in video. In our approach, we use unsupervised learning to cluster the faces present in both the dataset… ▽ More Face recognition systems are present in many modern solutions and thousands of applications in our daily lives. However, current solutions are not easily scalable, especially when it comes to the addition of new targeted people. We propose a cluster-matching-based approach for face recognition in video. In our approach, we use unsupervised learning to cluster the faces present in both the dataset and targeted videos selected for face recognition. Moreover, we design a cluster matching heuristic to associate clusters in both sets that is also capable of identifying when a face belongs to a non-registered person. Our method has achieved a recall of 99.435% and a precision of 99.131% in the task of video face recognition. Besides performing face recognition, it can also be used to determine the video segments where each person is present. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Comments: 13 pages

Video Quality Enhancement Using Deep Learning-Based Prediction Models for Quantized DCT Coefficients in MPEG I-frames

Authors: Antonio J G Busson, Paulo R C Mendes, Daniel de S Moraes, Álvaro M da Veiga, Álan L V Guedes, Sérgio Colcher

Abstract: Recent works have successfully applied some types of Convolutional Neural Networks (CNNs) to reduce the noticeable distortion resulting from the lossy JPEG/MPEG compression technique. Most of them are built upon the processing made on the spatial domain. In this work, we propose a MPEG video decoder that is purely based on the frequency-to-frequency domain: it reads the quantized DCT coefficients… ▽ More Recent works have successfully applied some types of Convolutional Neural Networks (CNNs) to reduce the noticeable distortion resulting from the lossy JPEG/MPEG compression technique. Most of them are built upon the processing made on the spatial domain. In this work, we propose a MPEG video decoder that is purely based on the frequency-to-frequency domain: it reads the quantized DCT coefficients received from a low-quality I-frames bitstream and, using a deep learning-based model, predicts the missing coefficients in order to recompose the same frames with enhanced quality. In experiments with a video dataset, our best model was able to improve from frames with quantized DCT coefficients corresponding to a Quality Factor (QF) of 10 to enhanced quality frames with QF slightly near to 20. △ Less

Submitted 9 October, 2020; originally announced October 2020.

A Clustering-Based Method for Automatic Educational Video Recommendation Using Deep Face-Features of Lecturers

Authors: Paulo R. C. Mendes, Eduardo S. Vieira, Álan L. V. Guedes, Antonio J. G. Busson, Sérgio Colcher

Abstract: Discovering and accessing specific content within educational video bases is a challenging task, mainly because of the abundance of video content and its diversity. Recommender systems are often used to enhance the ability to find and select content. But, recommendation mechanisms, especially those based on textual information, exhibit some limitations, such as being error-prone to manually create… ▽ More Discovering and accessing specific content within educational video bases is a challenging task, mainly because of the abundance of video content and its diversity. Recommender systems are often used to enhance the ability to find and select content. But, recommendation mechanisms, especially those based on textual information, exhibit some limitations, such as being error-prone to manually created keywords or due to imprecise speech recognition. This paper presents a method for generating educational video recommendation using deep face-features of lecturers without identifying them. More precisely, we use an unsupervised face clustering mechanism to create relations among the videos based on the lecturer's presence. Then, for a selected educational video taken as a reference, we recommend the ones where the presence of the same lecturers is detected. Moreover, we rank these recommended videos based on the amount of time the referenced lecturers were present. For this task, we achieved a mAP value of 99.165%. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Highly compact neutron stars and screening mechanisms. I. Equilibrium and stability

Authors: Bernardo F. de Aguiar, Raissa F. P. Mendes

Abstract: Modified theories of gravity that offer viable models for dark energy often rely on mechanisms that screen their effects in high density environments. From this perspective, it would appear that, once solar system constraints are satisfied, these theories would predict a trivial phenomenology for (much denser) neutron stars. In this work we explore the fact that in scalar-tensor theories the scala… ▽ More Modified theories of gravity that offer viable models for dark energy often rely on mechanisms that screen their effects in high density environments. From this perspective, it would appear that, once solar system constraints are satisfied, these theories would predict a trivial phenomenology for (much denser) neutron stars. In this work we explore the fact that in scalar-tensor theories the scalar degree of freedom does not couple to the mass density alone, but to the trace of the energy-momentum tensor - which can increase and eventually change sign as density and pressure build up in the core of neutron stars -, and investigate whether there could be a partial unscreening of the scalar field inside the most compact stars found in Nature. For this purpose, we construct neutron star solutions with realistic equations of state in theories with screening mechanisms and study their stability under radial perturbations. In particular, we find that stable solutions with a unscreened core can exist in chameleon models, while for the environmentally-dependent dilaton model a wealth of new, scalarized equilibrium solutions are found, some of which can be stable. △ Less

Submitted 22 July, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 12 pages, 7 figures

Journal ref: Phys. Rev. D 102, 024064 (2020)

Characterizing Quality of Experience for Demand Management in South Brazil

Authors: José Diogo Forte de Oliveira Luna, Guilherme Nascimento Gouvêa dos Reis, Paulo Renato da Costa Mendes, Julio Elias Normey-Rico

Abstract: The present work delivers the results of a survey conducted in Florianópolis, on the southern region of Brazil, using a digital questionnaire which inquired about the interaction with demand management systems (DMSs) in a smart house context. In particular, the survey addressed the interviewees' thoughts on demand management and gathered data to enable the design of Quality of Experience (QoE) bas… ▽ More The present work delivers the results of a survey conducted in Florianópolis, on the southern region of Brazil, using a digital questionnaire which inquired about the interaction with demand management systems (DMSs) in a smart house context. In particular, the survey addressed the interviewees' thoughts on demand management and gathered data to enable the design of Quality of Experience (QoE) based demand management policies. The investigation of QoE-aware approaches is significant as it enables the DMS to take decisions not only based on economic metrics, but also taking the discomfort caused to the users into account. The number of responses guaranteed a confidence level of 95\% and an error margin of 4.63\% and the content of such responses showed favorable disposition of the interviewees on allowing interventions of DMSs on their energy consumption habits as long as it reduces their expenses with energy. The data concerning discomfort caused by demand management actions on several home appliances was treated using clustering techniques and different typical user profiles were leveraged, represented by the centroid of each cluster. Those profiles can be used to deploy QoE-aware DMSs tailored for the local reality, which seems as a promising business model as smart houses become a reality. △ Less

Submitted 27 May, 2020; originally announced May 2020.

An Analysis of Fog Computing Data Placement Algorithms

Authors: Daniel Maniglia Amancio da Silva, Godwin Asamooning, Hector Orrillo, Rute C. Sofia, Paulo M. Mendes

Abstract: This work evaluates three Fog Computing dataplacement algorithms via experiments carried out with theiFogSim simulator. The paper describes the three algorithms(Cloud-only, Map**, Edge-ward) in the context of an Internetof Things scenario, which has been based on an e-Health systemwith variations in applications and network topology. Resultsachieved show that edge placement strategies are benefi… ▽ More This work evaluates three Fog Computing dataplacement algorithms via experiments carried out with theiFogSim simulator. The paper describes the three algorithms(Cloud-only, Map**, Edge-ward) in the context of an Internetof Things scenario, which has been based on an e-Health systemwith variations in applications and network topology. Resultsachieved show that edge placement strategies are beneficial toassist cloud computing in lowering latency and cloud energyexpenditure. △ Less

Submitted 24 May, 2020; originally announced May 2020.

Journal ref: inProc. EAI Mobiquitous2019 (EFIOT Workshop) 2019

A Multimodal CNN-based Tool to Censure Inappropriate Video Scenes

Authors: Pedro V. A. de Freitas, Paulo R. C. Mendes, Gabriel N. P. dos Santos, Antonio José G. Busson, Álan Livio Guedes, Sérgio Colcher, Ruy Luiz Milidiú

Abstract: Due to the extensive use of video-sharing platforms and services for their storage, the amount of such media on the internet has become massive. This volume of data makes it difficult to control the kind of content that may be present in such video files. One of the main concerns regarding the video content is if it has an inappropriate subject matter, such as nudity, violence, or other potentiall… ▽ More Due to the extensive use of video-sharing platforms and services for their storage, the amount of such media on the internet has become massive. This volume of data makes it difficult to control the kind of content that may be present in such video files. One of the main concerns regarding the video content is if it has an inappropriate subject matter, such as nudity, violence, or other potentially disturbing content. More than telling if a video is either appropriate or inappropriate, it is also important to identify which parts of it contain such content, for preserving parts that would be discarded in a simple broad analysis. In this work, we present a multimodal~(using audio and image features) architecture based on Convolutional Neural Networks (CNNs) for detecting inappropriate scenes in video files. In the task of classifying video files, our model achieved 98.95\% and 98.94\% of F1-score for the appropriate and inappropriate classes, respectively. We also present a censoring tool that automatically censors inappropriate segments of a video file. △ Less

Submitted 10 November, 2019; originally announced November 2019.

NSense: A People-centric, non-intrusive Opportunistic Sensing Tool for Contextualizing Nearness

Authors: Rute C. Sofia, Saeik Firdose, Luis A. Lopes, Waldir Moreira, Paulo Mendes

Abstract: In the context of social well-being and context awareness several eHealth applications have been focused on tracking activities, such as sleep or specific fitness habits, with the purpose of promoting physical well-being with increasing success. Sensing technology can, however, be applied to improve social well-being, in addition to physical well-being. This paper addresses NSense, a tool that has… ▽ More In the context of social well-being and context awareness several eHealth applications have been focused on tracking activities, such as sleep or specific fitness habits, with the purpose of promoting physical well-being with increasing success. Sensing technology can, however, be applied to improve social well-being, in addition to physical well-being. This paper addresses NSense, a tool that has been developed to capture and to infer social interaction patterns aiming to assist in the promotion of social well-being. Experiments carried out under realistic settings validate the NSense performance in terms of its capability to infer social interaction context based on our proposed computational utility functions. Traces obtained during the experiments are available via the CRAWDAD international trace repository. △ Less

Submitted 19 June, 2019; originally announced June 2019.

Journal ref: inProc. IEEE Healthcom 2016: 2016 IEEE 18th International Conference on eHealth Networking, Application, Services. Munich, September 2016

Scalar charges and pulsar-timing observables in the presence of nonminimally coupled scalar fields

Authors: Raissa F. P. Mendes, Tulio Ottoni

Abstract: Pulsar-timing has become a celebrated tool for probing modifications to General Relativity in the strong-field surroundings of neutron stars. Here we investigate whether scalar-tensor theories that incorporate a nonminimally coupled scalar degree of freedom may pass pulsar-timing tests, by computing the scalar charges entering such observables. In particular we show that for positive values of the… ▽ More Pulsar-timing has become a celebrated tool for probing modifications to General Relativity in the strong-field surroundings of neutron stars. Here we investigate whether scalar-tensor theories that incorporate a nonminimally coupled scalar degree of freedom may pass pulsar-timing tests, by computing the scalar charges entering such observables. In particular we show that for positive values of the nonminimal coupling $ξ$, pulsar-timing constraints may be evaded even in the presence of spontaneous scalarization. △ Less

Submitted 18 June, 2019; v1 submitted 27 March, 2019; originally announced March 2019.

Comments: 12 pages, 6 figures

Journal ref: Phys. Rev. D 99, 124003 (2019)

Trace of the energy-momentum tensor and macroscopic properties of neutron stars

Authors: Dylan M. Podkowka, Raissa F. P. Mendes, Eric Poisson

Abstract: A generic feature of scalar extensions of general relativity is the coupling of the scalar degrees of freedom to the trace $T$ of the energy-momentum tensor of matter fields. Interesting phenomenology arises when the trace becomes positive---when pressure exceeds one third of the energy density---a condition that may be satisfied in the core of neutron stars. In this work, we study how the positiv… ▽ More A generic feature of scalar extensions of general relativity is the coupling of the scalar degrees of freedom to the trace $T$ of the energy-momentum tensor of matter fields. Interesting phenomenology arises when the trace becomes positive---when pressure exceeds one third of the energy density---a condition that may be satisfied in the core of neutron stars. In this work, we study how the positiveness of the trace of the energy-momentum tensor correlates with macroscopic properties of neutron stars. We first show that the compactness for which $T=0$ at the stellar center is approximately equation-of-state independent, and given by $C = 0.262_{-0.017}^{+0.011}$ (90% confidence interval). Next, we exploit Bayesian inference to derive a probability distribution function for the value of $T$ at the stellar center given a putative measurement of the compactness of a neutron star. This investigation is a necessary step in order to use present and future observations of neutron star properties to constrain scalar-tensor theories based on effects that depend on the sign of $T$. △ Less

Submitted 4 July, 2018; originally announced July 2018.

Comments: 8 pages, 9 figures

Journal ref: Phys. Rev. D 98, 064057 (2018)

Reproducible research using biomodels

Authors: Pedro Mendes

Abstract: Like other types of computational research, modeling and simulation of biological processes (biomodels) is still largely communicated without sufficient detail to allow independent reproduction of results. But reproducibility in this area of research could easily be achieved by making use of existing resources, such as supplying models in standard formats and depositing code, models, and results i… ▽ More Like other types of computational research, modeling and simulation of biological processes (biomodels) is still largely communicated without sufficient detail to allow independent reproduction of results. But reproducibility in this area of research could easily be achieved by making use of existing resources, such as supplying models in standard formats and depositing code, models, and results in public repositories. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Journal ref: Bulletin of Mathematical Biology 80:3081-3087 (2018)

Evolution of Highly Eccentric Binary Neutron Stars Including Tidal Effects

Authors: Huan Yang, William E. East, Vasileios Paschalidis, Frans Pretorius, Raissa F. P. Mendes

Abstract: This work is the first in a series of studies aimed at understanding the dynamics of highly eccentric binary neutron stars, and constructing an appropriate gravitational-waveform model for detection. Such binaries are possible sources for ground-based gravitational wave detectors, and are expected to form through dynamical scattering and multi-body interactions in globular clusters and galactic nu… ▽ More This work is the first in a series of studies aimed at understanding the dynamics of highly eccentric binary neutron stars, and constructing an appropriate gravitational-waveform model for detection. Such binaries are possible sources for ground-based gravitational wave detectors, and are expected to form through dynamical scattering and multi-body interactions in globular clusters and galactic nuclei. In contrast to black holes, oscillations of neutron stars are generically excited by tidal effects after close pericenter passage. Depending on the equation of state, this can enhance the loss of orbital energy by up to tens of percent over that radiated away by gravitational waves during an orbit. Under the same interaction mechanism, part of the orbital angular momentum is also transferred to the star. We calculate the impact of the neutron star oscillations on the orbital evolution of such systems, and compare these results to full numerical simulations. Utilizing a Post-Newtonian flux description we propose a preliminary model to predict the timing of different pericenter passages. A refined version of this model (taking into account Post-Newtonian corrections to the tidal coupling and the oscillations of the stars) may serve as a waveform model for such highly eccentric systems. △ Less

Submitted 31 May, 2018; originally announced June 2018.

Comments: 17 pages, 6 figures

Journal ref: Phys. Rev. D 98, 044007 (2018)

New class of quasinormal modes of neutron stars in scalar-tensor gravity

Authors: Raissa F. P. Mendes, Néstor Ortiz

Abstract: Detection of the characteristic spectrum of pulsating neutron stars can be a powerful tool not only to probe the nuclear equation of state, but also to test modifications to general relativity. However, the shift in the oscillation spectrum induced by modified theories of gravity is often small and degenerate with our ignorance of the equation of state. In this Letter, we show that the coupling to… ▽ More Detection of the characteristic spectrum of pulsating neutron stars can be a powerful tool not only to probe the nuclear equation of state, but also to test modifications to general relativity. However, the shift in the oscillation spectrum induced by modified theories of gravity is often small and degenerate with our ignorance of the equation of state. In this Letter, we show that the coupling to additional degrees of freedom present in modified theories of gravity can give rise to new families of modes, with no counterpart in general relativity, which could be sufficiently well resolved in frequency space as to allow for a clear detection. We present a realization of this idea by performing a thorough study of radial oscillations of neutron stars in massless scalar-tensor theories of gravity. We anticipate astrophysical scenarios where the presence of this class of quasinormal modes could be probed with electromagnetic and gravitational wave measurements. △ Less

Submitted 22 May, 2018; v1 submitted 21 February, 2018; originally announced February 2018.

Comments: Matches published version

Journal ref: Phys. Rev. Lett. 120, 201104 (2018)

Fuzzy-Based Dialectical Non-Supervised Image Classification and Clustering

Authors: Wellington Pinheiro dos Santos, Francisco Marcos de Assis, Ricardo Emmanuel de Souza, Priscilla B. Mendes, Henrique S. S. Monteiro, Havana Diogo Alves

Abstract: The materialist dialectical method is a philosophical investigative method to analyze aspects of reality. These aspects are viewed as complex processes composed by basic units named poles, which interact with each other. Dialectics has experienced considerable progress in the 19th century, with Hegel's dialectics and, in the 20th century, with the works of Marx, Engels, and Gramsci, in Philosophy… ▽ More The materialist dialectical method is a philosophical investigative method to analyze aspects of reality. These aspects are viewed as complex processes composed by basic units named poles, which interact with each other. Dialectics has experienced considerable progress in the 19th century, with Hegel's dialectics and, in the 20th century, with the works of Marx, Engels, and Gramsci, in Philosophy and Economics. The movement of poles through their contradictions is viewed as a dynamic process with intertwined phases of evolution and revolutionary crisis. In order to build a computational process based on dialectics, the interaction between poles can be modeled using fuzzy membership functions. Based on this assumption, we introduce the Objective Dialectical Classifier (ODC), a non-supervised map for classification based on materialist dialectics and designed as an extension of fuzzy c-means classifier. As a case study, we used ODC to classify 181 magnetic resonance synthetic multispectral images composed by proton density, $T_1$- and $T_2$-weighted synthetic brain images. Comparing ODC to k-means, fuzzy c-means, and Kohonen's self-organized maps, concerning with image fidelity indexes as estimatives of quantization distortion, we proved that ODC can reach almost the same quantization performance as optimal non-supervised classifiers like Kohonen's self-organized maps. △ Less

Submitted 3 December, 2017; originally announced December 2017.

Journal ref: International Journal of Hybrid Intelligent Systems, v. 7, p. 115-124, 2010

Swimming in spacetime: the view from a Fermi observer

Authors: Raissa F. P. Mendes, Eric Poisson

Abstract: An extended test body moving in a curved spacetime does not typically follow a geodesic, because of forces that arise from couplings between its multipole moments and the ambient curvature. An illustration of this fact was provided by Wisdom, who showed that the motion of a quasi-rigid body undergoing cyclic changes of shape in a curved spacetime deviates, in general, from a geodesic. Wisdom's ana… ▽ More An extended test body moving in a curved spacetime does not typically follow a geodesic, because of forces that arise from couplings between its multipole moments and the ambient curvature. An illustration of this fact was provided by Wisdom, who showed that the motion of a quasi-rigid body undergoing cyclic changes of shape in a curved spacetime deviates, in general, from a geodesic. Wisdom's analysis, however, was recently challenged on the grounds that the body's motion should be described by the Mathisson-Papapetrou-Dixon equations, and that these predict geodesic motion for the kind of body considered by Wisdom. We attempt to shed some light on this matter by examining the motion of an internally-moving tripod in Schwarzschild spacetime, as viewed by a Fermi observer moving on a timelike geodesic. We find that the description of the motion depends sensitively on a choice of cycle for the tripod's internal motions, but also on a choice of "center of mass" for the tripod; a sensible (though not unique) prescription for this "center of mass" produces a motion that conforms with Wisdom's prediction: the tripod drifts away from the observer, even when they are given identical initial conditions. We suggest pathways of reconciliation between this conclusion and the null result that apparently follows from the Mathisson-Papapetrou-Dixon equations of motion. △ Less

Submitted 18 December, 2017; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 11 pages, 2 figures. V2: note added regarding interpretation of results

Implicit Entity Linking in Tweets

Authors: Sujan Perera, Pablo N. Mendes, Adarsh Alex, Amit Sheth, Krishnaprasad Thirunarayan

Abstract: Over the years, Twitter has become one of the largest communication platforms providing key data to various applications such as brand monitoring, trend detection, among others. Entity linking is one of the major tasks in natural language understanding from tweets and it associates entity mentions in text to corresponding entries in knowledge bases in order to provide unambiguous interpretation an… ▽ More Over the years, Twitter has become one of the largest communication platforms providing key data to various applications such as brand monitoring, trend detection, among others. Entity linking is one of the major tasks in natural language understanding from tweets and it associates entity mentions in text to corresponding entries in knowledge bases in order to provide unambiguous interpretation and additional con- text. State-of-the-art techniques have focused on linking explicitly mentioned entities in tweets with reasonable success. However, we argue that in addition to explicit mentions i.e. The movie Gravity was more ex- pensive than the mars orbiter mission entities (movie Gravity) can also be mentioned implicitly i.e. This new space movie is crazy. you must watch it!. This paper introduces the problem of implicit entity linking in tweets. We propose an approach that models the entities by exploiting their factual and contextual knowledge. We demonstrate how to use these models to perform implicit entity linking on a ground truth dataset with 397 tweets from two domains, namely, Movie and Book. Specifically, we show: 1) the importance of linking implicit entities and its value addition to the standard entity linking task, and 2) the importance of exploiting contextual knowledge associated with an entity for linking their implicit mentions. We also make the ground truth dataset publicly available to foster the research in this new research area. △ Less

Submitted 26 July, 2017; originally announced July 2017.

Comments: This paper was accepted at the Extended Semantic Web Conference 2016 as a full research track paper

Tidal deformability of boson stars and dark matter clumps

Authors: Raissa F. P. Mendes, Huan Yang

Abstract: In this work we consider minimally-coupled boson stars immersed in a tidal environment and compute their tidal deformability to leading order. We also describe an approximate correspondence between Newtonian boson star configurations (described by the Schrödinger-Poisson equations) and dynamical dark matter clumps (described by the collisionless Boltzmann equation). This allows us to map our resul… ▽ More In this work we consider minimally-coupled boson stars immersed in a tidal environment and compute their tidal deformability to leading order. We also describe an approximate correspondence between Newtonian boson star configurations (described by the Schrödinger-Poisson equations) and dynamical dark matter clumps (described by the collisionless Boltzmann equation). This allows us to map our results for the tidal deformability of boson stars to approximate statements for dark matter clumps. △ Less

Submitted 21 August, 2017; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 15 pages, 6 figures. Improved discussion; matches published version

Journal ref: Class. Quantum Grav. 34 185001 (2017)

Highly compact neutron stars in scalar-tensor theories of gravity: Spontaneous scalarization versus gravitational collapse

Authors: Raissa F. P. Mendes, Néstor Ortiz

Abstract: Scalar-tensor theories of gravity are extensions of General Relativity (GR) including an extra, nonminimally coupled scalar degree of freedom. A wide class of these theories, albeit indistinguishable from GR in the weak field regime, predicts a radically different phenomenology for neutron stars, due to a nonperturbative, strong-field effect referred to as spontaneous scalarization. This effect is… ▽ More Scalar-tensor theories of gravity are extensions of General Relativity (GR) including an extra, nonminimally coupled scalar degree of freedom. A wide class of these theories, albeit indistinguishable from GR in the weak field regime, predicts a radically different phenomenology for neutron stars, due to a nonperturbative, strong-field effect referred to as spontaneous scalarization. This effect is known to occur in theories where the effective linear coupling $β_0$ between the scalar and matter fields is sufficiently negative, i.e. $β_0 \lesssim -4.35$, and has been strongly constrained by pulsar timing observations. In the test-field approximation, spontaneous scalarization manifests itself as a tachyonic-like instability. Recently, it was argued that, in theories where $β_0>0$, a similar instability would be triggered by sufficiently compact neutron stars obeying realistic equations of state. In this work we investigate the endstate of this instability for some representative coupling functions with $β_0>0$. This is done both through an energy balance analysis of the existing equilibrium configurations, and by numerically determining the nonlinear Cauchy development of unstable initial data. We find that, contrary to the $β_0<0$ case, the final state of the instability is highly sensitive to the details of the coupling function, varying from gravitational collapse to spontaneous scalarization. In particular, we show, for the first time, that spontaneous scalarization can happen in theories with $β_0>0$, which could give rise to novel astrophysical tests of the theory of gravity. △ Less

Submitted 22 June, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: 17 pages, 12 figures; v2: new panels added to some figures, references added, improved discussion

Journal ref: Phys. Rev. D 93, 124035 (2016)

Instability of nonminimally coupled scalar fields in the spacetime of thin charged shells

Authors: Jessica Santiago, Andre G. S. Landulfo, William C. C. Lima, George E. A. Matsas, Raissa F. P. Mendes, Daniel A. T. Vanzella

Abstract: We investigate the stability of a free scalar field nonminimally coupled to gravity under linear perturbations in the spacetime of a charged spherical shell. Our analysis is performed in the context of quantum field theory in curved spacetimes. This paper completes previous analyses which considered the exponential enhancement of vacuum fluctuations in the spacetime of massive shells. We investigate the stability of a free scalar field nonminimally coupled to gravity under linear perturbations in the spacetime of a charged spherical shell. Our analysis is performed in the context of quantum field theory in curved spacetimes. This paper completes previous analyses which considered the exponential enhancement of vacuum fluctuations in the spacetime of massive shells. △ Less

Submitted 23 February, 2016; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 9 pages, 5 figures. Minor changes to match the published version

Journal ref: Phys. Rev. D 93, 024043 (2016)

Self-force and fluid resonances

Authors: Soichiro Isoyama, Raissa F. P. Mendes, Eric Poisson

Abstract: The gravitational self-force acting on a particle orbiting a massive central body has thus far been computed for vacuum spacetimes involving a black hole. In this work we continue an ongoing effort to study the self-force in nonvacuum situations. We replace the black hole by a material body consisting of a perfect fluid, and determine the impact of the fluid's dynamics on the self-force and result… ▽ More The gravitational self-force acting on a particle orbiting a massive central body has thus far been computed for vacuum spacetimes involving a black hole. In this work we continue an ongoing effort to study the self-force in nonvacuum situations. We replace the black hole by a material body consisting of a perfect fluid, and determine the impact of the fluid's dynamics on the self-force and resulting orbital evolution. We show that as the particle inspirals toward the fluid body, its gravitational perturbations trigger a number of quasinormal modes of the fluid-gravity system, which produce resonant features in the conservative and dissipative components of the self-force. As a proof-of-principle, we demonstrate this phenomenon in a simplified framework in which gravity is mediated by a scalar potential satisfying a wave equation in Minkowski spacetime. △ Less

Submitted 30 November, 2015; originally announced December 2015.

Comments: 28 pages, 10 figures

Journal ref: Class. Quantum Grav. 33, 085002 (2016)

Moving Towards a Socially-Driven Internet Architectural Design

Authors: Rute C. Sofia, Paulo Mendes, José Manuel Damásio, Sara Henriques, Fabio Giglietto, Erica Giambitto, Alessadro Bogliolo

Abstract: This paper provides an interdisciplinary perspective concerning the role of prosumers on future Internet design based on the current trend of Internet user empowerment. The paper debates the prosumer role, and addresses models to develop a symmetric Internet architecture and supply-chain based on the integration of social capital aspects. It has as goal to ignite the discussion concerning a social… ▽ More This paper provides an interdisciplinary perspective concerning the role of prosumers on future Internet design based on the current trend of Internet user empowerment. The paper debates the prosumer role, and addresses models to develop a symmetric Internet architecture and supply-chain based on the integration of social capital aspects. It has as goal to ignite the discussion concerning a socially-driven Internet architectural design. △ Less

Submitted 5 August, 2015; originally announced August 2015.

Journal ref: ACM SIGCOMM CCR Newsletter, 42:3, 2012

Facial Expressions Tracking and Recognition: Database Protocols for Systems Validation and Evaluation

Authors: Catarina Runa Miranda, Pedro Mendes, Pedro Coelho, Xenxo Alvarez, João Freitas, Miguel Sales Dias, Verónica Costa Orvalho

Abstract: Each human face is unique. It has its own shape, topology, and distinguishing features. As such, develo** and testing facial tracking systems are challenging tasks. The existing face recognition and tracking algorithms in Computer Vision mainly specify concrete situations according to particular goals and applications, requiring validation methodologies with data that fits their purposes. Howeve… ▽ More Each human face is unique. It has its own shape, topology, and distinguishing features. As such, develo** and testing facial tracking systems are challenging tasks. The existing face recognition and tracking algorithms in Computer Vision mainly specify concrete situations according to particular goals and applications, requiring validation methodologies with data that fits their purposes. However, a database that covers all possible variations of external and factors does not exist, increasing researchers' work in acquiring their own data or compiling groups of databases. To address this shortcoming, we propose a methodology for facial data acquisition through definition of fundamental variables, such as subject characteristics, acquisition hardware, and performance parameters. Following this methodology, we also propose two protocols that allow the capturing of facial behaviors under uncontrolled and real-life situations. As validation, we executed both protocols which lead to creation of two sample databases: FdMiee (Facial database with Multi input, expressions, and environments) and FACIA (Facial Multimodal database driven by emotional induced acting). Using different types of hardware, FdMiee captures facial information under environmental and facial behaviors variations. FACIA is an extension of FdMiee introducing a pipeline to acquire additional facial behaviors and speech using an emotion-acting method. Therefore, this work eases the creation of adaptable database according to algorithm's requirements and applications, leading to simplified validation and testing processes. △ Less

Submitted 2 June, 2015; originally announced June 2015.

Comments: 10 pages, 6 images, Computers & Graphics

On the possibility of setting a new constraint to scalar-tensor theories

Authors: Raissa F. P. Mendes

Abstract: Scalar-tensor theories (STTs) are a widely studied alternative to General Relativity (GR) in which gravity is endowed with an additional scalar degree of freedom. Although severely constrained by solar system and pulsar timing experiments, there remains a large set of STTs which are consistent with all present day observations. In this paper, we investigate the possibility of probing a yet unconst… ▽ More Scalar-tensor theories (STTs) are a widely studied alternative to General Relativity (GR) in which gravity is endowed with an additional scalar degree of freedom. Although severely constrained by solar system and pulsar timing experiments, there remains a large set of STTs which are consistent with all present day observations. In this paper, we investigate the possibility of probing a yet unconstrained region of the parameter space of STTs based on the fact that stability properties of highly compact neutron stars in these theories may radically differ from those in GR. △ Less

Submitted 12 March, 2015; v1 submitted 21 December, 2014; originally announced December 2014.

Comments: 8 pages, 4 figures; matches published version

Journal ref: PRD 91, 064024 (2015)

Impact of Human Behavior on Social Opportunistic Forwarding

Authors: Waldir Moreira, Paulo Mendes

Abstract: The current Internet design is not capable to support communications in environments characterized by very long delays and frequent network partitions. To allow devices to communicate in such environments, delay-tolerant networking solutions have been proposed by exploiting opportunistic message forwarding, with limited expectations of end-to-end connectivity and node resources. Such solutions env… ▽ More The current Internet design is not capable to support communications in environments characterized by very long delays and frequent network partitions. To allow devices to communicate in such environments, delay-tolerant networking solutions have been proposed by exploiting opportunistic message forwarding, with limited expectations of end-to-end connectivity and node resources. Such solutions envision non-traditional communication scenarios, such as disaster areas and development regions. Several forwarding algorithms have been investigated, aiming to offer the best trade-off between cost (number of message replicas) and rate of successful message delivery. Among such proposals, there has been an effort to employ social similarity inferred from user mobility patterns in opportunistic routing solutions to improve forwarding. However, these research effort presents two major limitations: first, it is focused on distribution of the intercontact time over the complete network structure, ignoring the impact that human behavior has on the dynamics of the network; and second, most of the proposed solutions look at challenging networking environments where networks have low density, ignoring the potential use of delay-tolerant networking to support low cost communications in networks with higher density, such as urban scenarios. This paper presents a study of the impact that human behavior has on opportunistic forwarding. Our goal is twofold: i) to show that performance in low and high density networks can be improved by taking the dynamics of the network into account; and ii) to show that the delay-tolerant networking can be used to reduce communication costs in networks with higher density by taking the behavior of the user into account. △ Less

Submitted 1 August, 2014; originally announced August 2014.

Comments: 26 pages, 9 figures, 2 tables. arXiv admin note: substantial text overlap with arXiv:1407.8342

Social-aware Opportunistic Routing: The New Trend

Authors: Waldir Moreira, Paulo Mendes

Abstract: Since users move around based on social relationships and interests, the resulting movement patterns can represent how nodes are socially connected (i.e., nodes with strong social ties, nodes that meet occasionally by sharing the same working environment). This means that social interactions reflect personal relationships (e.g., family, friends, co-workers, passers-by) that may be translated into… ▽ More Since users move around based on social relationships and interests, the resulting movement patterns can represent how nodes are socially connected (i.e., nodes with strong social ties, nodes that meet occasionally by sharing the same working environment). This means that social interactions reflect personal relationships (e.g., family, friends, co-workers, passers-by) that may be translated into statistical contact opportunities within and between social groups over time. Such contact opportunities may be exploited to ensure good data dissemination and retrieval, even in the presence of intermittent connectivity. Thus, in the last years, a new trend based on social similarity emerged where social relationships, interests, popularity and among others, are used to improve opportunistic routing. In this chapter, the reader will learn about the different approaches related to opportunistic routing focusing on the social-aware approaches and how such approaches make use of social information derived from opportunistic contacts to improve data forwarding. Additionally, a brief overview on the existing taxonomies for opportunistic routing as well as an updated one are provided along with a set of experiments in scenarios based on synthetic mobility models and human traces in order to show the potential of social-aware solutions. △ Less

Submitted 31 July, 2014; originally announced July 2014.

Comments: 42 pages, 10 figures, 1 table