Get started
Author

S. S. Waldir

Observed names: Junior, Waldir, S.S. Waldir, Silva Júnior, Waldir Sabino, Waldir S. Junior, Waldir S. S., Waldir S. S. Junior, Waldir S. S. Júnior
Observed institution: Universidade Federal do Amazonas
ORCID: 0000-0003-3095-0042
Observed ORCID: 0000-0003-3095-0042
OpenAlex ID: A5004836948
Graph Signal Processing and Applications: A Survey
2022 · William C. da Rosa, Pierre V. Dantas, et al. · International Conference on Consumer Electronics · 17
A review of state-of-the-art techniques for large language model compression
2025 · Pierre V. Dantas, Lucas C. Cordeiro, et al. · Complex & Intelligent Systems · 16
PDF
Design. Implementation and Evaluation of a Private LoRaWan Network for Industrial Internet of Things (IIoT) Applications
2022 · Andrey R.R. Bessa, Max S. Santos, et al. · IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) · 11
Weak Classifier for Density Estimation in Eye Localization and Tracking
2017 · Gabriel M. Araujo, Felipe M. L. Ribeiro, et al. · IEEE Transactions on Image Processing · 11
Cooperative Spectrum Sensing System using Residual Convolutional Neural Network
2022 · Myke D. M. Valadão, Diego A. Amoedo, et al. · International Conference on Consumer Electronics · 7
Electromyographic signal compression based on preprocessing techniques
2012 · W. C. Melo, E. B. L. Filho, et al. · Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) · 7
Trends and Challenges for the Spectrum Efficiency in NOMA and MIMO based Cognitive Radio in 5G Networks
2021 · Myke D. M. Valadão, Waldir S. S. Júnior, et al. · International Conference on Consumer Electronics · 4
Trends and Challenges for the Spectrum Sensing in the Next Generation of Communication Systems
2020 · Myke D. M. Valadao, Celso B. Carvalho, et al. · IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) · 4
Automated Bright Pixel Detection System on LCD Displays
2021 · Mateus O. Silva, David A. O. Ferreira, et al. · International Conference on Consumer Electronics · 3
A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs
2026 · DANTAS, PIERRE, Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
Action and Assembly Time Measurement System of Industry Workers using Jetson Nano
2022 · Mateus O. Silva, Gustavo M. Torres, et al. · IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) · 2
Action Recognition of Industrial Workers using Detectron2 and AutoML Algorithms
2022 · Mateus O. Silva, Myke D.M. Valadao, et al. · IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) · 2
Automated content detection on TVs and computer monitors
2015 · Felipe de S. Farias, S.S. Waldir, et al. · IEEE Global Conference on Consumer Electronics (GCCE) · 2
Forecast of Anomalies in Vacuum Pump based on HEX@ Sensor using TSMixer Model
2024 · Myke D.M. Valadão, Mateus O. Silva, et al. · IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) · 1
Iris recognition using minimum average correlation energy and principal component
2015 · Volnei da S. Klehm, Wheidima C. Melo, et al. · IEEE Global Conference on Consumer Electronics (GCCE) · 1
Dyed banknotes detection system using digital: Image processing
2015 · Gabriel Penalber, Luiz E. S. e Silva, et al. · IEEE Global Conference on Consumer Electronics (GCCE) · 1
Influence of Quantity of Principal Component in Discriminative Filtering
2014 · Kenny V. dos Santos, Luiz Eduardo S. e Silva, et al. · 1
PDF
Fiducial Points Detection Using SVM Linear Classifiers
2014 · Luiz Eduardo S. e Silva, Pedro Donadio de T. Junior, et al. · 1
PDF
Artifact for "ESBMC-PLC: Verifying IEC 61131-3 Ladder Diagrams with a Validated Translation to SMT-Based Model Checking"
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research)
Artifact for "ESBMC-PLC: Verifying IEC 61131-3 Ladder Diagrams with a Validated Translation to SMT-Based Model Checking"
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research)
SQUEEZE: Spectral QUEnching and Eigenvalue ZEroing — Code and Compressed Model Checkpoints
2026 · Dantas, Pierre, Junior, Waldir, et al. · Zenodo (CERN European Organization for Nuclear Research)
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research)
A Data Rate Monitoring Approach for Cyberattack Detection in Digital Twin Communication
2025 · Cláudio H. Albuquerque Rodrigues, Waldir S. S. Júnior, et al. · Sensors
PDF
Optimizing Signal Descriptor Extraction with C++ for Low-Latency Applications
2025 · Myke D. M. Valadão, Lucas G. M. Castro, et al. · IEEE Global Conference on Consumer Electronics (GCCE)
Works count: 30
Citation count: 95
H-index: 6
I10-index: 4
Year
Topic
Type