699 citations
- Universidade Federal Rural de PernambucoBR34 papers
- Universidade Federal da ParaíbaBR22 papers
- Universidade Federal de Santa MariaBR20 papers
- Universidade Federal de AlagoasBR16 papers
- University of CalgaryCA16 papers
- Universidade de PernambucoBR11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- Universidade de São PauloBR9 papers
- Universidade Federal de ViçosaBR9 papers
- Universidade Federal do ParanáBR9 papers
- Universidade Federal do Rio Grande do NorteBR9 papers
- Ludwig-Maximilians-Universität MünchenDE8 papers
15 papers · 1 filter
AVaN Pack: An Analytical/Numerical Solution for Variance-Based Sensitivity Analysis
Eduardo Vasconcelos, Adriano Souza, Kelvin Dias
Sensitivity analysis is an important concept to analyze the influences of parameters in a system, an equation or a collection of data. The methods used for sensitivity analysis are…
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
Gustavo Carvalho, Igor Meira
Data-flow reactive systems (DFRSs) are a class of embedded systems whose inputs and outputs are always available as signals. Input signals can be seen as data provided by sensors,…
Beyond temperature scaling: Obtaining well-calibrated multiclass probabilities with Dirichlet calibration
Meelis Kull, Miquel Perello-Nieto, Markus Kängsepp +3
Class probabilities predicted by most multiclass classifiers are uncalibrated, often tending towards over-confidence. With neural networks, calibration can be improved by temperatu…
Induced Fermionic vacuum polarization in dS spacetime with a compactified cosmic string
E. A. F. Bragança, E. R. Bezerra de Mello, A. Mohammadi
We study the fermionic condensate (FC) and the vacuum expectation value (VEV) of the energy-momentum tensor for a massive spinor field in the de Sitter (dS) spacetime including an…
Incremental Semantic Mapping with Unsupervised On-line Learning
Ygor C. N. Sousa, Hansenclever F. Bassani
This paper introduces an incremental semantic mapping approach, with on-line unsupervised learning, based on Self-Organizing Maps (SOM) for robotic agents. The method includes a ma…
An alternative approach to the calculation of fundamental groups based on labeled natural deduction
Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz +1
In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define…