279 citations
- Universidade de São PauloBR9 papers
- Universidade Federal de Santa CatarinaBR8 papers
- Universidade Federal de São CarlosBR7 papers
- Universidade Federal FluminenseBR7 papers
- Universidade de BrasíliaBR6 papers
- Instituto Federal do AmazonasBR4 papers
- Technical University of MunichDE4 papers
- Universidade Federal de Minas GeraisBR4 papers
- Universidade Federal do ABCBR4 papers
- University of OxfordGB4 papers
- University of StuttgartDE4 papers
- V.E. Lashkaryov Institute of Semiconductor PhysicsUA4 papers
6 papers · 1 filter
Incremental Verification of Fixed-Point Implementations of Neural Networks
Luiz Sena, Erickson Alves, Iury Bessa +2
Implementations of artificial neural networks (ANNs) might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are…
Software engineering for artificial intelligence and machine learning software: A systematic literature review
Elizamary Nascimento, Anh Nguyen-Duc, Ingrid Sundbø +1
Artificial Intelligence (AI) or Machine Learning (ML) systems have been widely adopted as value propositions by companies in all industries in order to create or extend the service…
Generic spectrum of the weighted Laplacian operator on Cayley graphs
Cristian F. Coletti, Lucas R. de Lima, Diego S. de Oliveira +1
In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irre…
New Metrics for Learning Evaluation in Digital Education Platforms
Gabriel Leitão, Juan Colonna, Edwin Monteiro +2
Technology applied in education can provide great benefits and overcome challenges by facilitating access to learning objects anywhere and anytime. However, technology alone is not…
Hydrogen atom bound states whose spectral measures have positive upper fractal dimensions
Moacir Aloisio, Silas L. Carvalho, César R. de Oliveira
It is shown that, Baire generically, the bound states of the Hamiltonian of the Hydrogen atom have spectral measures with exact -lower and -upper generalized fractal dimens…
Tracer diffusion in crowded solutions of sticky polymers
T. P. O. Nogueira, H. O. Frota, Francesco Piazza +1
Macromolecular diffusion in strongly confined geometries and crowded environments is still to a large extent an open subject in soft matter physics and biology. In this paper, we e…