- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
- Algorithms and Data Compression
- Education and Digital Technologies
- Education during COVID-19 pandemic
- IoT and Edge/Fog Computing
- Energy Efficient Wireless Sensor Networks
- Cloud Computing and Resource Management
- Advanced Data Storage Technologies
- Computability, Logic, AI Algorithms
- Context-Aware Activity Recognition Systems
- Interconnection Networks and Systems
- Business and Management Studies
- Robotic Path Planning Algorithms
- Video Analysis and Summarization
- Mobile Ad Hoc Networks
- Advanced Memory and Neural Computing
- Advanced Text Analysis Techniques
- Logic, programming, and type systems
- Cooperative Communication and Network Coding
- semigroups and automata theory
- Information Science and Libraries
- Augmented Reality Applications
- Metaheuristic Optimization Algorithms Research
- IoT Networks and Protocols
Universidade Federal do Ceará
2008-2023
Universidade Federal do Acre
2023
Ordem dos Médicos
2020
Serviço Nacional de Aprendizagem Comercial
2018
Virtual High School
2013
Université Sorbonne Paris Nord
2004-2006
Laboratoire d'Informatique de Paris-Nord
2004-2005
Centre National de la Recherche Scientifique
2004
Universidade Tiradentes
2001-2002
Institute for Systems Engineering and Computers
2001
The context of this research is the use Unmanned Aerial Vehicles (UAV) to search and localize a target. problem be solved cooperative behavior UAV group optimize search. focus bioinspired algorithms spread aerial vehicles optimization time search, comparing application Particle Swarm Optimization with others found in literature.
In this paper, we investigate the fundamental limits of sensor network lifetime that any algorithm can achieve. our settings, n nodes are deployed as a Poisson point process with density lambda in region size S and each node cover unit-area disk. For k lambda, let V(k, lambda) be random variable (r.v.) is covered by at most - 1 nodes. Under these assumptions, first show for function omega satisfying Gtomega (k) Lt <sup xmlns:mml="http://www.w3.org/1998/Math/MathML"...
In this paper we carried out designing and implementing of a target tracking data fusion algorithm based on two stages graph solution using the computational model Gamma (General Abstract Model for Multiset mAnipulation). The proposed is first parallel implementation method PPTS (Pairs Plots in Two Stages). For this, employed three implementations, where them exploited resources hardware environment, one MPI (Message Passing Interface) other GPU (Graphics Processing Unit). Thus, studied was...
This work presents a GPU-based implementation of the Gamma multiset rewriting paradigm. Inspired by chemical reaction metaphor, was conceived as highlevel abstract language for programs specification in very simple, concise, and naturally parallel way, making clearer distinction between problem itself underlying issues. We believe that computational model adopted matches with Graphics Processing Units execution mode, once both concepts consist basically processing data. extended an earlier...
Coding Dojo é uma metodologia que visa o aperfeiçoamento do conhecimento na área de algoritmos e programação computadores por meio da aprendizagem colaborativa, empregando aspectos desafios interação. Com isso, diversos trabalhos tem adotado a para auxiliar processo ensino/aprendizagem em disciplinas ensino superior envolvem assuntos computadores. No entanto, tais utilizado cursos mais voltados computação com públicos das ciências, engenharias computação. Este trabalho como objetivo...
The search for better execution times was one of the motivations emergence High Performance Computing (HPC) whose importance has obtained significative preponderance in domain scientific computing, either applications an academic or industrial environment. Cloud proposes integration various technological models provision a hardware infrastructure, development platforms and as services based on-demand. However, with cloud new challenge arose which to allow HPC this This paper aims demonstrate...
Presents a distributed implementation of the Structured Gamma programming language, language based on multi-set rewriting paradigm. offers, in addition to advantages introduced by Gamma, implicit concurrent behavior and type system where not only types themselves are defined but also automatic verification user-defined at compilation time. The problems mechanisms involved an MPI-based using type-checking engine most general unifier (MGU) investigated.
A tarefa de analisar emoções e sentimentos das pessoas em relação a entidades é conhecida como Análise Sentimento. Esta atividade busca extrair presentes textos subjetivos, maneira computacional entender se tal informação positiva, negativa ou neutra. O Naive Bayes um simples classificador probabilístico baseado na aplicação do teorema Bayes, comumente utilizado classificação textos. Este trabalho tem objetivo o sentimento mensagens texto. Um estudo caso foi projetado para chat capturadas...
With the increase of search for computational models where expression parallelism occurs naturally, some paradigms arise as options current generation computers. In this context, dynamic Dataflow and Gamma - General Abstract Model Multiset mAnipulation emerge interesting model choices. model, operations are performed soon their associated operands available, without rely on a Program Counter to dictate execution order instructions. The paradigm is based parallel multiset rewriting scheme. It...
O SARS-CoV-2 pertence a uma família de vírus que causam infecções respiratórias e tem se disseminado pelo mundo rapidamente. Uma das principais medidas preventivas contra contaminação deste é o isolamento social. Assim, as pessoas evitado sair suas residências algumas realizam atividades profissionais por meio do teletrabalho. No ensino superior, universidades têm adotado remotas em letivas para minimizar impacto no calendário acadêmico. entanto, alguns cursos enfrentado desafios garantir...
Os conceitos do diálogo freireano foram aplicados e organizados nos últimos anos de forma a ser possível delimitar características mensagens fóruns com teoria. Esse trabalho propôs um classificador texto binário para presença da Valorização Autônomia em ainda realizou uma comparação desempenho duas técnicas codificação texto. resultados indicaram significância estatística que o Sentence-BERT foi superior ao método TF-IDF como codificação.
Esse artigo apresenta um novo modelo de escalonamento distribuído tarefas para Gamma, onde as são reações definidas em Gamma. Gamma é formalismo programação paralela baseado na reescrita não determinística multiconjuntos. O que nós propomos traz algumas vantagens quando comparado a outras implementações termos da quantidade concorrência oferecida pelo controle distribuído. Nosso permite múltiplas instâncias mesma reação sobre diferentes elementos do multiconjunto questão coexistam uma forma natural.
The teaching of astronomical concepts, such as eclipses, faces challenges due to their complexity and the difficulty spatial visualization. This research proposes use Virtual Reality (VR) enhance understanding these phenomena. An immersive virtual environment was developed, allowing users explore accurate simulations solar eclipses. approach involves customization celestial models, integration into a VR editor (Universal), execution on HMDs (Universal Runner). paper also discusses future...
In this article, we propose a fully distributed algorithm for finding all primes in given interval [2..n] (or (L, R), more generally), based on the SMER - scheduling by multiple edge reversal multigraph dynamics. Given M of arbitrary topology, having N nodes, an SMER-driven system is defined number directed edges (arcs) between any two nodes and global period length "arc reversals" M. domain prime numbers generation, such graph method shows quite elegant, it also yields totally new kind...
Com a pandemia do Coronavirus, diversas consequências surgiram para o ensino de maneira geral. Devido ações distanciamento social e prevenção, acesso presencial salas aula, laboratórios secretarias ficou prejudicado, motivando continuidade das atividades acadêmicas remota. Para isso, infraestrutura tiveram que ser adequadas. O objetivo deste trabalho é realizar uma análise qualitativa com Grounded Theory sobre aplicação remotas em disciplinas no período isolamento social. seu atendimento, um...
E-health can be defined as a set of health-related computing solutions that uses the Internet to provide services. In these systems, managing sharing various types generated data is challenge, making it difficult develop and maintain. A software intensive system in which essentially influences design, construction, deployment, evolution whole encompass individual applications, subsystems, systems aggregations interest. Blockchain has emerged solution privacy security, providing interesting...
Este artigo apresenta a aplicação do projeto Aedes em Foco no combate à arboviroses, principalmente as causadas pelo mosquito Aegypti. Apresenta o estado atual de esse problema Brasil, modelo proposto e os resultados obtidos um estudo caso. O caso foi realizado na cidade Cedro - Ceará contribuiu para mudanças maneira como são realizadas visitas residenciais obrigatórias por Agentes Endemias. Por meio da plataforma software dos elementos auxiliares introduzidos projeto, observados demonstram...
Cloud computing is a trend of technology aimed at providing on-demand services with payment based on usage. Virtual Learning Environments (VLEs) are applications that require highly scalable architecture provides for its users an acceptable level Quality Service (QoS). This work aims to show the steps needed install VLE in cloud infrastructure. The VLE's migration this new type execution environment allows increase use but also brings some performance issues must be considered. case study...
In this paper, we present a proposal of recommendation tool for creating collaborative image stories called Story-Motion. This system will allow users to put their images and photos together in single story, performed semiautomatic way. Any are free continue the story as they want, though can not change what has already been into it. By doing so, StoryMotion gives its freedom on creation process at same time it guarantees authorship each participant story. lead that comprehend scopes such...
Real-time database management systems (RT-DBMS) have the necessary characteristics for providing efficient support to develop applications in which both, data and transactions temporal constraints. However, last decade, new were identified are characterized by a large geographic distribution, high heterogeneity, lack of global control, partial failures safety. Besides, they need manage volumes with real-time Scheduling algorithms should consider soft deadlines concurrency control protocols...