-
Interpersonal Trust Among Students in Virtual Learning Environments: A Comprehensive Review
Authors:
Marcelo Pereira Barbosa,
Rita Suzana Pitangueira Maciel
Abstract:
Interpersonal trust is recognized as one of the pillars of collaboration and successful learning among students in virtual learning environments (VLEs). This systematic mapping study investigates attributes, phases, and features that support interpersonal trust among students in VLEs. Analyzing 46 articles, we identified 37 attributes that influence phases of acquiring and losing trust, categorize…
▽ More
Interpersonal trust is recognized as one of the pillars of collaboration and successful learning among students in virtual learning environments (VLEs). This systematic mapping study investigates attributes, phases, and features that support interpersonal trust among students in VLEs. Analyzing 46 articles, we identified 37 attributes that influence phases of acquiring and losing trust, categorized into four themes: Ability, Integrity, Affinity, and Non-Personal Factors. Attributes such as collaborative and ethical behavior, academic skills, and higher grades are often used to select peers, mainly through recommendation systems and user profiles. To organize our findings, we elaborated two conceptual maps describing the main characteristics of trust definitions and the attributes classification by phases and themes.
△ Less
Submitted 23 March, 2025;
originally announced March 2025.
-
The Bruce-Roberts Tjurina number of holomorphic 1-forms along complex analytic varieties
Authors:
Pedro Barbosa,
Arturo Fernández-Pérez,
Víctor León
Abstract:
We introduce the notion of the Bruce-Roberts Tjurina number for holomorphic 1-forms relative to a pair $(X,V)$ of complex analytic subvarieties. When the pair $(X,V)$ consists of isolated complex analytic hypersurfaces, we prove that the Bruce-Roberts Tjurina number is related to the Bruce-Roberts number, the Tjurina number of the 1-form with respect to $V$ and the Tjurina number of $X$, among oth…
▽ More
We introduce the notion of the Bruce-Roberts Tjurina number for holomorphic 1-forms relative to a pair $(X,V)$ of complex analytic subvarieties. When the pair $(X,V)$ consists of isolated complex analytic hypersurfaces, we prove that the Bruce-Roberts Tjurina number is related to the Bruce-Roberts number, the Tjurina number of the 1-form with respect to $V$ and the Tjurina number of $X$, among other invariants. As an application, we present a quasihomogeneity result for germs of holomorphic foliations in complex dimension two.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
The Bruce-Roberts number of holomorphic 1-forms along complex analytic varieties
Authors:
Pedro Barbosa,
Arturo Fernández-Pérez,
Víctor León
Abstract:
We introduce the notion of the \textit{Bruce-Roberts number} for holomorphic 1-forms relative to complex analytic varieties. Our main result shows that the Bruce-Roberts number of a 1-form $ω$ with respect to a complex analytic hypersurface $X$ with an isolated singularity can be expressed in terms of the \textit{Ebeling--Gusein-Zade index} of $ω$ along $X$, the \textit{Milnor number} of $ω$ and t…
▽ More
We introduce the notion of the \textit{Bruce-Roberts number} for holomorphic 1-forms relative to complex analytic varieties. Our main result shows that the Bruce-Roberts number of a 1-form $ω$ with respect to a complex analytic hypersurface $X$ with an isolated singularity can be expressed in terms of the \textit{Ebeling--Gusein-Zade index} of $ω$ along $X$, the \textit{Milnor number} of $ω$ and the \textit{Tjurina number} of $X$. This result allows us to recover known formulas for the Bruce-Roberts number of a holomorphic function along $X$ and to establish connections between this number, the radial index, and the local Euler obstruction of $ω$ along $X$. Moreover, we present applications to both global and local holomorphic foliations in complex dimension two.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Semantically Rich Local Dataset Generation for Explainable AI in Genomics
Authors:
Pedro Barbosa,
Rosina Savisaar,
Alcides Fonseca
Abstract:
Black box deep learning models trained on genomic sequences excel at predicting the outcomes of different gene regulatory mechanisms. Therefore, interpreting these models may provide novel insights into the underlying biology, supporting downstream biomedical applications. Due to their complexity, interpretable surrogate models can only be built for local explanations (e.g., a single instance). Ho…
▽ More
Black box deep learning models trained on genomic sequences excel at predicting the outcomes of different gene regulatory mechanisms. Therefore, interpreting these models may provide novel insights into the underlying biology, supporting downstream biomedical applications. Due to their complexity, interpretable surrogate models can only be built for local explanations (e.g., a single instance). However, accomplishing this requires generating a dataset in the neighborhood of the input, which must maintain syntactic similarity to the original data while introducing semantic variability in the model's predictions. This task is challenging due to the complex sequence-to-function relationship of DNA.
We propose using Genetic Programming to generate datasets by evolving perturbations in sequences that contribute to their semantic diversity. Our custom, domain-guided individual representation effectively constrains syntactic similarity, and we provide two alternative fitness functions that promote diversity with no computational effort. Applied to the RNA splicing domain, our approach quickly achieves good diversity and significantly outperforms a random baseline in exploring the search space, as shown by our proof-of-concept, short RNA sequence. Furthermore, we assess its generalizability and demonstrate scalability to larger sequences, resulting in a ~30% improvement over the baseline.
△ Less
Submitted 17 July, 2024; v1 submitted 3 July, 2024;
originally announced July 2024.
-
Elliptic Equations in Weak Oscillatory Thin Domains: Beyond Periodicity with Boundary-Concentrated Reaction Terms
Authors:
Pricila S. Barbosa,
Manuel Villanueva-Pesqueira
Abstract:
In this paper we analyze the limit behavior of a family of solutions of the Laplace operator with homogeneous Neumann boundary conditions, set in a two-dimensional thin domain which presents weak oscillations on both boundaries and with terms concentrated in a narrow oscillating neighborhood of the top boundary. The aim of this problem is to study the behavior of the solutions as the thin domain p…
▽ More
In this paper we analyze the limit behavior of a family of solutions of the Laplace operator with homogeneous Neumann boundary conditions, set in a two-dimensional thin domain which presents weak oscillations on both boundaries and with terms concentrated in a narrow oscillating neighborhood of the top boundary. The aim of this problem is to study the behavior of the solutions as the thin domain presents oscillatory behaviors beyond the classical periodic assumptions,including scenarios like quasiperiodic or almost-periodic oscillations. We then prove that the family of solutions converges to the solution of a 1 dimensional limit equation capturing the geometry and oscillatory behavior of boundary of the domain and the narrow strip where the concentration terms take place. In addition, we include a series of numerical experiments illustrating the theoretical results obtained in the quasiperiodic context.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Emergent Ferromagnetism at LaFeO3/SrTiO3 Interface Arising from Strain-induced Spin-State Transition
Authors:
Menglin Zhu,
Joseph Lanier,
Sevim Polat Genlik,
Jose G. Flores,
Victor da Cruz Pinha Barbosa,
Mohit Randeria,
Patrick M. Woodward,
Maryam Ghazisaeidi,
Fengyuan Yang,
Jinwoo Hwang
Abstract:
Creating new interfacial magnetic states with desired functionalities is attractive for fundamental studies and spintronics applications. The emergence of interfacial magnetic phases demands the fabrication of pristine interfaces and the characterization and understanding of atomic structure as well as electronic, magnetic, and orbital degrees of freedom at the interface. Here, we report a novel i…
▽ More
Creating new interfacial magnetic states with desired functionalities is attractive for fundamental studies and spintronics applications. The emergence of interfacial magnetic phases demands the fabrication of pristine interfaces and the characterization and understanding of atomic structure as well as electronic, magnetic, and orbital degrees of freedom at the interface. Here, we report a novel interfacial insulating ferromagnetic order in antiferromagnetic LaFeO3 grown on SrTiO3, characterized by a combination of electron microscopy and spectroscopy, magnetometry, and density functional theory. The epitaxial strain drives a spin-state disproportionation in the interfacial layer of LaFeO3, which leads to a checkerboard arrangement of low- and high-spin Fe3+ ions inside smaller and larger FeO6 octahedra, respectively. Ferromagnetism at the interface arises from superexchange interactions between the low- and high-spin Fe3+. The detailed understanding of creation of emergent magnetism illustrates the potential of designing and controlling orbital degrees of freedom at the interface to realize novel phases and functionalities for future spin-electronic applications.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
S3PHER: Secure and Searchable System for Patient-driven HEalth data shaRing
Authors:
Ivan Costa,
Ivone Amorim,
Eva Maia,
Pedro Barbosa,
Isabel Praca
Abstract:
Healthcare data contains some of the most sensitive information about an individual, yet sharing this data with healthcare practitioners can significantly enhance patient care and support research efforts. However, current systems for sharing health data between patients and caregivers do not fully address the critical security requirements of privacy, confidentiality, and consent management. Furt…
▽ More
Healthcare data contains some of the most sensitive information about an individual, yet sharing this data with healthcare practitioners can significantly enhance patient care and support research efforts. However, current systems for sharing health data between patients and caregivers do not fully address the critical security requirements of privacy, confidentiality, and consent management. Furthermore, compliance with regulatory laws such as GDPR and HIPAA is often deficient, largely because patients typically are asked to provide general consent for healthcare entities to access their data. Recognizing the limitations of existing systems, we present S3PHER, a novel approach to sharing health data that provides patients with control over who accesses their data, what data is accessed, and when. Our system ensures end to end privacy by integrating a Proxy ReEncryption Scheme with a Searchable Encryption Scheme, utilizing Homomorphic Encryption to enable healthcare practitioners to privately search and access patients' documents. The practicality and benefits of S3PHER are further validated through end to end deployment and use case analyses, with tests on real datasets demonstrating promising execution times.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Pura Vida Neutrosophic Algebra
Authors:
Ranulfo Paiva Barbosa,
Florentin Smarandache
Abstract:
We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropi…
▽ More
We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included in semirings and their operations can be used in matrices and vectors. Pura Vida Neutrosophic Algebra is included in Neutrosophic semirings and can be used in Neutrosophic matrices and vectors
△ Less
Submitted 30 October, 2023;
originally announced December 2023.
-
Reconstructing cryptocurrency processes via Markov chains
Authors:
Tanya Araújo,
Paulo Barbosa
Abstract:
The growing attention on cryptocurrencies has led to increasing research on digital stock markets. Approaches and tools usually applied to characterize standard stocks have been applied to the digital ones. Among these tools is the identification of processes of market fluctuations. Being interesting stochastic processes, the usual statistical methods are appropriate tools for their reconstruction…
▽ More
The growing attention on cryptocurrencies has led to increasing research on digital stock markets. Approaches and tools usually applied to characterize standard stocks have been applied to the digital ones. Among these tools is the identification of processes of market fluctuations. Being interesting stochastic processes, the usual statistical methods are appropriate tools for their reconstruction. There, besides chance, the description of a behavioural component shall be present whenever a deterministic pattern is ever found. Markov approaches are at the leading edge of this endeavour. In this paper, Markov chains of orders one to eight are considered as a way to forecast the dynamics of three major cryptocurrencies. It is accomplished using an empirical basis of intra-day returns. Besides forecasting, we investigate the existence of eventual long-memory components in each of those stochastic processes. Results show that predictions obtained from using the empirical probabilities are better than random choices.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Data Privacy with Homomorphic Encryption in Neural Networks Training and Inference
Authors:
Ivone Amorim,
Eva Maia,
Pedro Barbosa,
Isabel Praça
Abstract:
The use of Neural Networks (NNs) for sensitive data processing is becoming increasingly popular, raising concerns about data privacy and security. Homomorphic Encryption (HE) has the potential to be used as a solution to preserve data privacy in NN. This study provides a comprehensive analysis on the use of HE for NN training and classification, focusing on the techniques and strategies used to en…
▽ More
The use of Neural Networks (NNs) for sensitive data processing is becoming increasingly popular, raising concerns about data privacy and security. Homomorphic Encryption (HE) has the potential to be used as a solution to preserve data privacy in NN. This study provides a comprehensive analysis on the use of HE for NN training and classification, focusing on the techniques and strategies used to enhance data privacy and security. The current state-of-the-art in HE for NNs is analysed, and the challenges and limitations that need to be addressed to make it a reliable and efficient approach for privacy preservation are identified. Also, the different categories of HE schemes and their suitability for NNs are discussed, as well as the techniques used to optimize the accuracy and efficiency of encrypted models. The review reveals that HE has the potential to provide strong data privacy guarantees for NNs, but several challenges need to be addressed, such as limited support for advanced NN operations, scalability issues, and performance trade-offs.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Sufficient conditions on the continuous spectrum for ergodic Schrödinger Operators
Authors:
Pablo Blas Tupac Silva Barbosa,
Rafael José Álvarez Bilbao
Abstract:
We study the spectral types of the families of discrete one-dimensional Schrödinger operators $\{H_ω\}_{ω\inΩ}$, where the potential of each $H_ω$ is given by $V_ω(n)=f(T^nω)$ for $n\in\mathbb{Z}$, $T$ is an ergodic homeomorphism on a compact space $Ω$ and $f:Ω\rightarrow\mathbb{R}$ is a continuous function. We show that a generic operator $H_ω\in \{H_ω\}_{ω\inΩ}$ has purely continuous spectrum if…
▽ More
We study the spectral types of the families of discrete one-dimensional Schrödinger operators $\{H_ω\}_{ω\inΩ}$, where the potential of each $H_ω$ is given by $V_ω(n)=f(T^nω)$ for $n\in\mathbb{Z}$, $T$ is an ergodic homeomorphism on a compact space $Ω$ and $f:Ω\rightarrow\mathbb{R}$ is a continuous function. We show that a generic operator $H_ω\in \{H_ω\}_{ω\inΩ}$ has purely continuous spectrum if $\{T^nα\}_{n\geq0}$ is dense in $Ω$ for a certain $α\inΩ$. We also show the former result assuming only that $\{Ω, T\}$ satisfies topological repetition property ($TRP$), a concept introduced by Boshernitzan and Damanik (arXiv:0708.1263v1). Theorems presented in this paper weaken the hypotheses of the cited research and allow us to reach the same conclusion as those authors. We also provide a proof of Gordon's lemma, which is the main tool used in this work.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Authors:
Guilherme Espada,
Leon Ingelse,
Paulo Canelas,
Pedro Barbosa,
Alcides Fonseca
Abstract:
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Software Engineering for Test-case generation, Program Synthesis and Improvement of Software (GI).
Grammar-Guided Genetic Programming (GGGP) approaches allow the user to refine the domain of valid program solutions. Backus…
▽ More
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Software Engineering for Test-case generation, Program Synthesis and Improvement of Software (GI).
Grammar-Guided Genetic Programming (GGGP) approaches allow the user to refine the domain of valid program solutions. Backus Normal Form is the most popular interface for describing Context-Free Grammars (CFG) for GGGP. BNF and its derivatives have the disadvantage of interleaving the grammar language and the target language of the program.
We propose to embed the grammar as an internal Domain-Specific Language in the host language of the framework. This approach has the same expressive power as BNF and EBNF while using the host language type-system to take advantage of all the existing tooling: linters, formatters, type-checkers, autocomplete, and legacy code support. These tools have a practical utility in designing software in general, and GP systems in particular.
We also present Meta-Handlers, user-defined overrides of the tree-generation system. This technique extends our object-oriented encoding with more practicability and expressive power than existing CFG approaches, achieving the same expressive power of Attribute Grammars, but without the grammar vs target language duality.
Furthermore, we evidence that this approach is feasible, showing an example Python implementation as proof. We also compare our approach against textual BNF-representations w.r.t. expressive power and ergonomics. These advantages do not come at the cost of performance, as shown by our empirical evaluation on 5 benchmarks of our example implementation against PonyGE2. We conclude that our approach has better ergonomics with the same expressive power and performance of textual BNF-based grammar encodings.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
A heuristic to determine the initial gravitational constant of the GSA
Authors:
Alfredo J. P. Barbosa,
Edmilson M. Moreira,
Carlos H. V. Moraes,
Otávio A. S. Carpinteiro
Abstract:
The Gravitational Search Algorithm (GSA) is an optimization algorithm based on Newton's laws of gravity and dynamics. Introduced in 2009, the GSA already has several versions and applications. However, its performance depends on the values of its parameters, which are determined empirically. Hence, its generality is compromised, because the parameters that are suitable for a particular application…
▽ More
The Gravitational Search Algorithm (GSA) is an optimization algorithm based on Newton's laws of gravity and dynamics. Introduced in 2009, the GSA already has several versions and applications. However, its performance depends on the values of its parameters, which are determined empirically. Hence, its generality is compromised, because the parameters that are suitable for a particular application are not necessarily suitable for another. This paper proposes the Gravitational Search Algorithm with Normalized Gravitational Constant (GSA-NGC), which defines a new heuristic to determine the initial gravitational constant of the GSA. The new heuristic is grounded in the Brans-Dicke theory of gravitation and takes into consideration the multiple dimensions of the search space of the application. It aims to improve the final solution and reduce the number of iterations and premature convergences of the GSA. The GSA-NGC is validated experimentally, proving to be suitable for various applications and improving significantly the generality, performance, and efficiency of the GSA.
△ Less
Submitted 21 April, 2022;
originally announced May 2022.
-
Criação e aplicação de ferramenta para auxiliar no ensino de algoritmos e programação de computadores
Authors:
Afonso Henriques Fontes Neto Segundo,
Joel Sotero da Cunha Neto,
Maria Daniela Santabaia Cavalcanti,
Paulo Cirillo Souza Barbosa,
Raul Fontenele Santana
Abstract:
Knowledge about programming is part of the knowledge matrix that will be required of the professionals of the future. Based on this, this work aims to report the development of a teaching tool developed during the monitoring program of the Algorithm and Computer Programming discipline of the University of Fortaleza. The tool combines the knowledge acquired in the books, with a language closer to t…
▽ More
Knowledge about programming is part of the knowledge matrix that will be required of the professionals of the future. Based on this, this work aims to report the development of a teaching tool developed during the monitoring program of the Algorithm and Computer Programming discipline of the University of Fortaleza. The tool combines the knowledge acquired in the books, with a language closer to the students, using video lessons and exercises proposed, with all the content available on the internet. The preliminary results were positive, with the students approving this new approach and believing that it could contribute to a better performance in the discipline.
△ Less
Submitted 31 March, 2022;
originally announced April 2022.
-
Applying PBL in the Development and Modeling of kinematics for Robotic Manipulators with Interdisciplinarity between Computer-Assisted Project, Robotics, and Microcontrollers
Authors:
Afonso Henriques Fontes Neto Segundo,
Joel Sotero da Cunha Neto,
Paulo Cirillo Souza Barbosa,
Raul Fontenele Santana
Abstract:
Considering the difficulty of students in calculating the direct and inverse kinematics of a robotic manipulator using only conventional tools of a classroom, this article proposes the application of Project Based Learning (ABP) through the design, development, mathematical modeling of a robotic manipulator as an integrative project of the disciplines of Industrial Robotics, Microcontrollers and C…
▽ More
Considering the difficulty of students in calculating the direct and inverse kinematics of a robotic manipulator using only conventional tools of a classroom, this article proposes the application of Project Based Learning (ABP) through the design, development, mathematical modeling of a robotic manipulator as an integrative project of the disciplines of Industrial Robotics, Microcontrollers and Computer Assisted Design with students of the Control and Automation Engineering of the University of Fortaleza. Once designed and machined, the manipulator arm was assembled using servo motors connected to a microcontroled prototyping board, to then have its kinematics calculated. At the end are presented the results that the project has brought to the learning of the disciplines on the optics of the tutor and students.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Development of a robotic manipulator: Applying interdisciplinarity in Computer Assister Project, Microcontrollers and Industrial Robotics
Authors:
Afonso Henriques Fontes Neto Segundo,
Joel Sotero da Cunha Neto,
Reginaldo Florencio da Silva,
Paulo Cirillo Souza Barbosa,
Raul Fontenele Santana
Abstract:
This work was conceived based on Project-Based Learning (ABP) and presents the design, development and mathematical modeling steps of a low-cost robotic manipulator with five degrees of freedom through an interdisciplinary project linking two very important disciplines of the course of Control Engineering and Automation of the University of Fortaleza: Computer Aided Design, Microcontrollers and In…
▽ More
This work was conceived based on Project-Based Learning (ABP) and presents the design, development and mathematical modeling steps of a low-cost robotic manipulator with five degrees of freedom through an interdisciplinary project linking two very important disciplines of the course of Control Engineering and Automation of the University of Fortaleza: Computer Aided Design, Microcontrollers and Industrial Robotics. At the end are presented the results that the project has brought to the best learning of the discipline on the optics of the tutor and students.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Atomic memory based on recoil-induced resonances
Authors:
Juan Carlos Chaves Capella,
Alvaro Mitchell Galvao de Melo,
Jesus Pavon Lopez,
Jose Wellington Rocha Tabosa,
Daniel Felinto Pires Barbosa
Abstract:
In this work we perform a detailed theoretical and experimental investigation of an atomic memory based on recoil-induced resonance in cold cesium atoms. We consider the interaction of a nearly degenerated pump and probe beams with an ensemble of two-level atoms. A full theoretical density matrix calculation in the extended Hilbert space of the internal and external atomic degrees of freedom allow…
▽ More
In this work we perform a detailed theoretical and experimental investigation of an atomic memory based on recoil-induced resonance in cold cesium atoms. We consider the interaction of a nearly degenerated pump and probe beams with an ensemble of two-level atoms. A full theoretical density matrix calculation in the extended Hilbert space of the internal and external atomic degrees of freedom allows us to obtain, from first principles, the transient and stationary responses determining the probe transmission and the forward four-wave mixing spectra. These two signals are generated together at the same order of perturbation with respect to the intensities of pump and probe beams. However, during continuous excitation of the sample, they are detected in very different ways and the signal at the probe transmission appears to be considerably larger, being the main focus of investigation prior to this work. Moreover, we have investigated the storage of optical information in the atomic external degrees of freedom, which provided a simple interpretation for the previously-reported non-volatile character of this memory. The retrieved signals after storage reveal the equivalent role of probe transmission and four-wave mixing, as the two signals have similar amplitudes. Probe transmission and forward four-wave-mixing spectra were then experimentally measured for both continuous excitation and after storage. The experimental observations are in good agreement with the developed theory and open a new pathway for the reversible exchange of optical information with atomic systems.
△ Less
Submitted 17 June, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Continuity of attractors for $\mathcal{C}^1$ perturbations of a smooth domain
Authors:
Antônio L. Pereira,
Pricila S. Barbosa
Abstract:
We consider a family of semilinear parabolic problems with nonlinear boundary conditions \[ \left\{ \begin{aligned} u_t(x,t) &=Δu(x,t) -au(x,t) + f(u(x,t)),\ x \in Ω_ε\mbox{ and } t>0\,,\\ \displaystyle\frac{\partial u}{\partial N}(x,t) &=g(u(x,t)),\ x \in \partialΩ_ε\mbox{ and } t>0\,, \end{aligned} \right. \] where $Ω_0 \subset \mathbb{R}^n$ is a smooth (at least $\mathcal{C}^2$) domain ,…
▽ More
We consider a family of semilinear parabolic problems with nonlinear boundary conditions \[ \left\{ \begin{aligned} u_t(x,t) &=Δu(x,t) -au(x,t) + f(u(x,t)),\ x \in Ω_ε\mbox{ and } t>0\,,\\ \displaystyle\frac{\partial u}{\partial N}(x,t) &=g(u(x,t)),\ x \in \partialΩ_ε\mbox{ and } t>0\,, \end{aligned} \right. \] where $Ω_0 \subset \mathbb{R}^n$ is a smooth (at least $\mathcal{C}^2$) domain , $Ω_ε = h_ε(Ω_0)$ and $h_ε$ is a family of diffeomorphisms converging to the identity in the $\mathcal{C}^1$-norm. Assuming suitable regularity and dissipative conditions for the nonlinearites, we show that the problem is well posed for $ε>0$ sufficiently small in a suitable scale of fractional spaces, the associated semigroup has a global attractor $\mathcal{A}_ε$ and the family $\{\mathcal{A}_ε\}$ is continuous at $ε= 0$.
△ Less
Submitted 30 December, 2019; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Controlled Tracking in Urban Terrain: Closing the Loop
Authors:
Patricia R. Barbosa,
Yugandhar Sarkale,
Edwin K. P. Chong,
Yun Li,
Sofia Suvorova,
Bill Moran
Abstract:
We investigate the challenging problem of integrating detection, signal processing, target tracking, and adaptive waveform scheduling with lookahead in urban terrain. We propose a closed-loop active sensing system to address this problem by exploiting three distinct levels of diversity: (1) spatial diversity through the use of coordinated multistatic radars; (2) waveform diversity by adaptively sc…
▽ More
We investigate the challenging problem of integrating detection, signal processing, target tracking, and adaptive waveform scheduling with lookahead in urban terrain. We propose a closed-loop active sensing system to address this problem by exploiting three distinct levels of diversity: (1) spatial diversity through the use of coordinated multistatic radars; (2) waveform diversity by adaptively scheduling the transmitted waveform; and (3) motion model diversity by using a bank of parallel filters matched to different motion models. Specifically, at every radar scan, the waveform that yields the minimum trace of the one-step-ahead error covariance matrix is transmitted; the received signal goes through a matched-filter, and curve fitting is used to extract range and range-rate measurements that feed the LMIPDA-VSIMM algorithm for data association and filtering. Monte Carlo simulations demonstrate the effectiveness of the proposed system in an urban scenario contaminated by dense and uneven clutter, strong multipath, and limited line-of-sight.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
DynSGX: A Privacy Preserving Toolset for Dynamically Loading Functions into Intel(R) SGX Enclaves
Authors:
Rodolfo Silva,
Pedro Barbosa,
Andrey Brito
Abstract:
Intel(R) Software Guard eXtensions (SGX) is a hardware-based technology for ensuring security of sensitive data from disclosure or modification that enables user-level applications to allocate protected areas of memory called enclaves. Such memory areas are cryptographically protected even from code running with higher privilege levels. This memory protection can be used to develop secure and depe…
▽ More
Intel(R) Software Guard eXtensions (SGX) is a hardware-based technology for ensuring security of sensitive data from disclosure or modification that enables user-level applications to allocate protected areas of memory called enclaves. Such memory areas are cryptographically protected even from code running with higher privilege levels. This memory protection can be used to develop secure and dependable applications, but the technology has some limitations: ($i$) the code of an enclave is visible at load time, ($ii$) libraries used by the code must be statically linked, and ($iii$) the protected memory size is limited, demanding page swapping to be done when this limit is exceeded. We present DynSGX, a privacy preserving tool that enables users and developers to dynamically load and unload code to be executed inside SGX enclaves. Such a technology makes possible that developers use public cloud infrastructures to run applications based on sensitive code and data. Moreover, we present a series of experiments that assess how applications dynamically loaded by DynSGX perform in comparison to statically linked applications that disregard privacy of the enclave code at load time.
△ Less
Submitted 31 October, 2017;
originally announced October 2017.
-
Designing for Pragmatists and Fundamentalists: Privacy Concerns and Attitudes on the Internet of Things
Authors:
Lesandro Ponciano,
Pedro Barbosa,
Francisco Brasileiro,
Andrey Brito,
Nazareno Andrade
Abstract:
Internet of Things (IoT) systems have aroused enthusiasm and concerns. Enthusiasm comes from their utilities in people daily life, and concerns may be associated with privacy issues. By using two IoT systems as case-studies, we examine users' privacy beliefs, concerns and attitudes. We focus on four major dimensions: the collection of personal data, the inference of new information, the exchange o…
▽ More
Internet of Things (IoT) systems have aroused enthusiasm and concerns. Enthusiasm comes from their utilities in people daily life, and concerns may be associated with privacy issues. By using two IoT systems as case-studies, we examine users' privacy beliefs, concerns and attitudes. We focus on four major dimensions: the collection of personal data, the inference of new information, the exchange of information to third parties, and the risk-utility trade-off posed by the features of the system. Altogether, 113 Brazilian individuals answered a survey about such dimensions. Although their perceptions seem to be dependent on the context, there are recurrent patterns. Our results suggest that IoT users can be classified into unconcerned, fundamentalists and pragmatists. Most of them exhibit a pragmatist profile and believe in privacy as a right guaranteed by law. One of the most privacy concerning aspect is the exchange of personal information to third parties. Individuals' perceived risk is negatively correlated with their perceived utility in the features of the system. We discuss practical implications of these results and suggest heuristics to cope with privacy concerns when designing IoT systems.
△ Less
Submitted 30 July, 2019; v1 submitted 19 August, 2017;
originally announced August 2017.
-
NIZKCTF: A Non-Interactive Zero-Knowledge Capture the Flag Platform
Authors:
Paulo Matias,
Pedro Barbosa,
Thiago Cardoso,
Diego Mariano,
Diego Aranha
Abstract:
Capture the Flag (CTF) competitions are increasingly important for the Brazilian cybersecurity community as education and professional tools. Unfortunately, CTF platforms may suffer from security issues, giving an unfair advantage to competitors. To mitigate this, we propose NIZKCTF, the first open-audit CTF platform based on non-interactive zero-knowledge proofs.
Capture the Flag (CTF) competitions are increasingly important for the Brazilian cybersecurity community as education and professional tools. Unfortunately, CTF platforms may suffer from security issues, giving an unfair advantage to competitors. To mitigate this, we propose NIZKCTF, the first open-audit CTF platform based on non-interactive zero-knowledge proofs.
△ Less
Submitted 7 February, 2019; v1 submitted 19 August, 2017;
originally announced August 2017.
-
Continuity of attractors for a family of $C^1$ perturbations of the square
Authors:
Pricila S. Barbosa,
Antônio L. Pereira,
Marcone C. Pereira
Abstract:
We consider here the family of semilinear parabolic problems \begin{equation*} \begin{array}{rcl} \left\{ \begin{array}{rcl} u_t(x,t)&=&Δu(x,t) -au(x,t) + f(u(x,t)) ,\,\,\ x \in Ω_ε\,\,\,\mbox{and}\,\,\,\,\,\,t>0\,, \\ \displaystyle\frac{\partial u}{\partial N}(x,t)&=&g(u(x,t)), \,\, x \in \partialΩ_ε\,\,\,\mbox{and}\,\,\,\,\,\,t>0\,, \end{array} \right. \end{array} \end{equation*} where $ Ω $ is…
▽ More
We consider here the family of semilinear parabolic problems \begin{equation*} \begin{array}{rcl} \left\{ \begin{array}{rcl} u_t(x,t)&=&Δu(x,t) -au(x,t) + f(u(x,t)) ,\,\,\ x \in Ω_ε\,\,\,\mbox{and}\,\,\,\,\,\,t>0\,, \\ \displaystyle\frac{\partial u}{\partial N}(x,t)&=&g(u(x,t)), \,\, x \in \partialΩ_ε\,\,\,\mbox{and}\,\,\,\,\,\,t>0\,, \end{array} \right. \end{array} \end{equation*} where $ Ω $ is the unit square, $Ω_ε=h_ε(Ω)$ and $h_ε$ is a family of diffeomorphisms converging to the identity in the $C^1$-norm. We show that the problem is well posed for $ε>0$ sufficiently small in a suitable phase space, the associated semigroup has a global attractor $\mathcal{A}_ε$ and the family $\{\mathcal{A}_ε\}$ is continuous at $ε= 0$.
△ Less
Submitted 31 March, 2016; v1 submitted 19 March, 2016;
originally announced March 2016.
-
A New Framework for Distributed Submodular Maximization
Authors:
Rafael da Ponte Barbosa,
Alina Ene,
Huy L. Nguyen,
Justin Ward
Abstract:
A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. A lot of recent effort has been devoted to developing distributed algorithms for these problems. However, these results suffer from high number of rounds, suboptimal approximation ratios, or both. We develop a fram…
▽ More
A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. A lot of recent effort has been devoted to developing distributed algorithms for these problems. However, these results suffer from high number of rounds, suboptimal approximation ratios, or both. We develop a framework for bringing existing algorithms in the sequential setting to the distributed setting, achieving near optimal approximation ratios for many settings in only a constant number of MapReduce rounds. Our techniques also give a fast sequential algorithm for non-monotone maximization subject to a matroid constraint.
△ Less
Submitted 11 August, 2016; v1 submitted 14 July, 2015;
originally announced July 2015.
-
The Power of Randomization: Distributed Submodular Maximization on Massive Datasets
Authors:
Rafael da Ponte Barbosa,
Alina Ene,
Huy L. Nguyen,
Justin Ward
Abstract:
A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. Unfortunately, the resulting submodular optimization problems are often too large to be solved on a single machine. We develop a simple distributed algorithm that is embarrassingly parallel and it achieves provable…
▽ More
A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. Unfortunately, the resulting submodular optimization problems are often too large to be solved on a single machine. We develop a simple distributed algorithm that is embarrassingly parallel and it achieves provable, constant factor, worst-case approximation guarantees. In our experiments, we demonstrate its efficiency in large problems with different kinds of constraints with objective values always close to what is achievable in the centralized setting.
△ Less
Submitted 22 April, 2015; v1 submitted 9 February, 2015;
originally announced February 2015.
-
Off-axis retrieval of orbital angular momentum of light stored in cold atoms
Authors:
R. A. de Oliveira,
L. Pruvost,
P. S. Barbosa,
W. S. Martins,
S. Barreiro,
D. Felinto,
D. Bloch,
J. W. R. Tabosa
Abstract:
We report on the storage of orbital angu- lar momentum (OAM) of light of a Laguerre-Gaussian mode in an ensemble of cold cesium atoms and its re- trieval along an axis different from the incident light beam. We employed a time-delayed four-wave mixing configuration to demonstrate that at small angle (2o), after storage, the retrieved beam carries the same OAM as the one encoded in the input beam.…
▽ More
We report on the storage of orbital angu- lar momentum (OAM) of light of a Laguerre-Gaussian mode in an ensemble of cold cesium atoms and its re- trieval along an axis different from the incident light beam. We employed a time-delayed four-wave mixing configuration to demonstrate that at small angle (2o), after storage, the retrieved beam carries the same OAM as the one encoded in the input beam. A calculation based on mode decomposition of the retrieved beam over the Laguerre-Gaussian basis is in agreement with the experimental observations done at small angle values. However, the calculation shows that the OAM retrieving would get lost at larger angles, reducing the fidelity of such storing-retrieving process. In addition, we have also observed that by applying an external magnetic field to the atomic ensemble the retrieved OAM presents Larmor oscillations, demonstrating the possibility of its manipulation and off-axis retrieval.
△ Less
Submitted 19 September, 2014;
originally announced September 2014.
-
Chaotic oscillations in singularly perturbed FitzHugh-Nagumo systems
Authors:
Peterson T. C. Barbosa,
Alberto Saa
Abstract:
We consider the singularly perturbed limit of periodically excited two-dimensional FitzHugh-Nagumo systems. We show that the dynamics of such systems are essentially governed by an one-dimensional map and present a numerical scheme to accurately compute it together with its Lyapunov exponent. We then investigate the occurrence of chaos by varying the parameters of the system, with especial emphasi…
▽ More
We consider the singularly perturbed limit of periodically excited two-dimensional FitzHugh-Nagumo systems. We show that the dynamics of such systems are essentially governed by an one-dimensional map and present a numerical scheme to accurately compute it together with its Lyapunov exponent. We then investigate the occurrence of chaos by varying the parameters of the system, with especial emphasis on the simplest possible chaotic oscillations. Our results corroborate and complement some recent works on bifurcations and routes to chaos in certain particular cases corresponding to piecewise linear FitzHugh-Nagumo-like systems.
△ Less
Submitted 20 November, 2013; v1 submitted 14 June, 2013;
originally announced June 2013.
