Zobrazeno 1 - 10
of 7 845
pro vyhledávání: '"OLIVEIRA, P. C."'
There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same expressive power. However, their encoding of equi-recursive types in
Externí odkaz:
http://arxiv.org/abs/2407.00941
Autor:
Alvarez, Pedro H., Chowdhury, Farhan T., Smith, Luke D., Brokowski, Trevor J., Aiello, Clarice D., Kattnig, Daniel R., de Oliveira, Marcos C.
Publikováno v:
APL Quantum 1, 036114 (2024)
Understanding the intricate quantum spin dynamics of radical pair reactions is crucial for unraveling the underlying nature of chemical processes across diverse scientific domains. In this work, we leverage Trotterization to map coherent radical pair
Externí odkaz:
http://arxiv.org/abs/2406.12986
Autor:
Oliveira Jr., C. B., Krabbe, A. C., Dors Jr., O. L., Zinchenko, I. A., Hernandez-Jimenez, J. A., Cardaci, M. V., Hägele, G. F., Ilha, G. S.
In this work, we investigated the nitrogen and oxygen abundances in a sample of galaxies with Low Ionization Nuclear Emission Regions (LINERs) in their nucleus. Optical spectroscopic data (3 600 - 10 000 {\AA}) of 40 LINERs from the Mapping Nearby Ga
Externí odkaz:
http://arxiv.org/abs/2404.16631
Subjective Logic (SL) is a logic incorporating uncertainty and opinions for agents in dynamic systems. In this work, we investigate the use of subjective logic to model opinions and belief change in social networks. In particular, we work toward the
Externí odkaz:
http://arxiv.org/abs/2404.14789
We show that there is a constant $k$ such that Buss's intuitionistic theory $\mathsf{IS}^1_2$ does not prove that SAT requires co-nondeterministic circuits of size at least $n^k$. To our knowledge, this is the first unconditional unprovability result
Externí odkaz:
http://arxiv.org/abs/2404.11841
Autor:
Krabbe, A. C., Hernandez-Jimenez, J. A., de Oliveira, C. Mendes, Jaffe, Y. L., Oliveira Jr., C. B., Cardoso, N. M., Castelli, A. V. Smith, Dors, O. L., Cortesi, A., Crossett, J. P.
This paper presents a method for finding ram-pressure stripped (RPS) galaxy candidates by performing a morphological analysis of galaxy images obtained from the Legacy survey. We consider a sample of about 600 galaxies located in different environmen
Externí odkaz:
http://arxiv.org/abs/2312.09220
Autor:
Oliveira, Adélcio C.
In a recent paper, [Gampel, F. and Gajda, M., Phys. Rev. A 107, 012420, (2023)], the authors claimed they are proposing a new model to explain the existence of classical trajectories in the quantum domain. The idea is based on simultaneous position a
Externí odkaz:
http://arxiv.org/abs/2311.06606
Autor:
Faria Pereira A, Gama e Castro A, Teixeira-Martins R, Coelho-Costa I, Torres-Costa S, Silva M, Pedrosa AC, Araújo J, Figueira L, Oliveira-Ferreira C
Publikováno v:
Clinical Ophthalmology, Vol Volume 18, Pp 3053-3069 (2024)
Ana Faria Pereira,1 Ana Gama e Castro,1 Rita Teixeira-Martins,1 Inês Coelho-Costa,1 Sónia Torres-Costa,1 Marta Silva,1 Ana Catarina Pedrosa,1 Joana Araújo,1 Luís Figueira,1– 3 Cláudia Oliveira-Ferreira1,4 1Department of Ophthalmology, Unidade
Externí odkaz:
https://doaj.org/article/3cdbc3e00b77488eb76a6ef64b7492b9
Autor:
Azevedo, Leonardo Guerreiro, Souza, Renan Francisco Santos, Soares, Elton F. de S., Thiago, Raphael M., Tesolin, Julio Cesar Cardoso, Oliveira, Ann C., Moreno, Marcio Ferreira
Modern applications commonly need to manage dataset types composed of heterogeneous data and schemas, making it difficult to access them in an integrated way. A single data store to manage heterogeneous data using a common data model is not effective
Externí odkaz:
http://arxiv.org/abs/2308.03584
The EM algorithm is a popular tool for maximum likelihood estimation but has not been used much for high-dimensional regularization problems in linear mixed-effects models. In this paper, we introduce the EMLMLasso algorithm, which combines the EM al
Externí odkaz:
http://arxiv.org/abs/2308.01518