A5078720275- Satellite Image Processing and Photogrammetry
- 3D Surveying and Cultural Heritage
- Formal Methods in Verification
- Advanced Multi-Objective Optimization Algorithms
- Remote Sensing and LiDAR Applications
- Gene Regulatory Network Analysis
- Robotics and Sensor-Based Localization
- Optical measurement and interference techniques
- Computational Drug Discovery Methods
- Atomic and Molecular Physics
- Dust and Plasma Wave Phenomena
- Smart Agriculture and AI
- High-pressure geophysics and materials
- Power Line Inspection Robots
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
2023
University of Lisbon
2020-2023
Instituto Federal de Goiás
2018-2019
Universidade Federal do Paraná
2011
Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) Boolean formulas allows solving Multi-Objective Optimization (MOBO) formulations. However, a major drawback this approach is most MCSs do not correspond to Pareto-optimal solutions. In fact, one can only know given MCS corresponds solution when all are enumerated. Moreover, if possible enumerate MCSs, then there no guarantee quality approximation Pareto frontier. This paper extends state art for MOBO using...
The lack of updated maps on large scale representations has encouraged the use remotely piloted aircraft systems (RPAS) to generate for a wide range professionals. However, some questions arise: do orthomosaics generated by these have cartographic precision required them? Which problems can be identified in stitching orthophotos orthomosaics? To answer questions, an aerophotogrammetric survey was conducted environmental conservation unit city Goiânia. flight plan set up using E-motion...
Abstract Photogrammetric and lidar data‐sets have been used together in mapping procedures because of their complementary characteristics. However, to perform this integration both must be within a common reference frame. Although all systems include direct georeferencing procedure, the majority low‐cost photogrammetric do not facility for images even if are captured simultaneously. In recent years, high accuracy data has enabled it provide source control thus offer indirect georeferencing....
Esse trabalho teve por objetivo verifi car a precisão e acurácia dos ortomosaicos Modelo Digital de Terreno (MDT)gerados automaticamente programa aerofotogrametria, utilizando fotografi as aéreas tomadas com um VeículoAéreo Não Tripulado (VANT) na cidade Goiás-GO. O plano voo foi elaborado no E-mo-tion. A câmerautilizada Canon IXUS 220 HS, resolução espacial 12 megapixel, equipada sensor tipo CMOS 1/2,3”(4000 x 3000 pixel), elemento 1,54 mm, distância focal calibrada 4,382 acoplada ao VANT...
Plasmas, as well several other many-body systems of technological interest, have been studied mostly a purely classical subject. However, in dense plasmas, and some semiconductor devices, metallic nanostructures thin metal films, when the de Broglie wavelength charge carriers is comparable to interparticle distance, quantum effects come into play. Because kinetic equations are phase-space with positions momenta variables, which variables noncommuting mechanics, not directly applicable...
Este trabalho de pesquisa doutoramento teve como principal objetivo o estudo estabilidade geometrica duas câmaras baixo custo, empregando diferentes metodos calibracao. Os parâmetros orientacao interior das câmaras, sendo uma Kodak DCS Pro 14n e outra Sony DSC F828 foram determinados por tecnicas calibracao terrestres aereas. resultados obtidos analisados discutidos. Duas metodologias baseadas nos dos campos mistos convergentes utilizadas para a realizacao calibracoes Nos terrestres, plano...
Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) Boolean formulas allows solving Multi-Objective Optimization (MOBO) formulations. However, a major drawback this approach is most MCSs do not correspond to Pareto-optimal solutions. In fact, one can only know given MCS corresponds solution when all are enumerated. Moreover, if possible enumerate MCSs, then there no guarantee quality approximation Pareto frontier. This paper extends state art for MOBO using...
In the last decade, a plethora of algorithms for single-objective Boolean optimization has been proposed that rely on iterative usage highly effective Propositional Satisfiability (SAT) solver. But use SAT solvers in Multi-Objective Combinatorial Optimization (MOCO) is still scarce. Due to this shortage efficient tools MOCO, many real-world applications formulated as multi-objective are simplified single-objective, using either linear combination or lexicographic ordering objective functions...