Showing 1–50 of 110 results for author: Fonseca, C

Bayesian Multivariate Approach to Subnational mortality graduation with Age-Varying Smoothness

Authors: Luiz F. V. Figueiredo, Viviana G. R. Lobo, Mariane B. Alves, Thais C. O. Fonseca

Abstract: This work introduces a Bayesian smoothing approach for the joint graduation of mortality rates across multiple populations. In particular, dynamical linear models are used to induce smoothness across ages through structured dependence, analogously to how temporal correlation is accommodated in state-space time-indexed models. An essential issue in subnational mortality probabilistic modelling is t… ▽ More This work introduces a Bayesian smoothing approach for the joint graduation of mortality rates across multiple populations. In particular, dynamical linear models are used to induce smoothness across ages through structured dependence, analogously to how temporal correlation is accommodated in state-space time-indexed models. An essential issue in subnational mortality probabilistic modelling is the lack or sparseness of information for some subpopulations. For many countries, mortality data is severely limited, and approaches based on a single population model can result in high uncertainty in the adjusted mortality tables. Here, we recognize the interdependence within a group of mortality data and pursue the pooling of information across several curves that ideally share common characteristics, such as the influence of epidemics or major economic shifts. Our proposal considers multivariate Bayesian dynamical models with common parameters, allowing for borrowing of information across mortality tables and enabling tests of convergence across populations. We also employ discount factors, typical in DLMs, to regulate smoothness, with varying discounting across ages, ensuring less smoothness at younger ages and greater stability at adult ages. This setup implies a trade-off between stability and adaptability. The discount parameter controls the responsiveness of the fit at older ages to new data. The estimation is fully Bayesian, accommodating all uncertainties in modelling and prediction. To illustrate the effectiveness of our model, we analyse male and female mortality data from England and Wales between 2010 and 2012, obtained from the Office for National Statistics. In scenarios with simulated missing data, our approach showed strong performance and flexibility in pooling information from related populations with more complete data. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: 27 pages, 13 figures

Do LLMs trust AI regulation? Emerging behaviour of game-theoretic LLM agents

Authors: Alessio Buscemi, Daniele Proverbio, Paolo Bova, Nataliya Balabanova, Adeela Bashir, Theodor Cimpeanu, Henrique Correia da Fonseca, Manh Hong Duong, Elias Fernandez Domingos, Antonio M. Fernandes, Marcus Krellner, Ndidi Bianca Ogbo, Simon T. Powers, Fernando P. Santos, Zia Ush Shamszaman, Zhao Song, Alessandro Di Stefano, The Anh Han

Abstract: There is general agreement that fostering trust and cooperation within the AI development ecosystem is essential to promote the adoption of trustworthy AI systems. By embedding Large Language Model (LLM) agents within an evolutionary game-theoretic framework, this paper investigates the complex interplay between AI developers, regulators and users, modelling their strategic choices under different… ▽ More There is general agreement that fostering trust and cooperation within the AI development ecosystem is essential to promote the adoption of trustworthy AI systems. By embedding Large Language Model (LLM) agents within an evolutionary game-theoretic framework, this paper investigates the complex interplay between AI developers, regulators and users, modelling their strategic choices under different regulatory scenarios. Evolutionary game theory (EGT) is used to quantitatively model the dilemmas faced by each actor, and LLMs provide additional degrees of complexity and nuances and enable repeated games and incorporation of personality traits. Our research identifies emerging behaviours of strategic AI agents, which tend to adopt more "pessimistic" (not trusting and defective) stances than pure game-theoretic agents. We observe that, in case of full trust by users, incentives are effective to promote effective regulation; however, conditional trust may deteriorate the "social pact". Establishing a virtuous feedback between users' trust and regulators' reputation thus appears to be key to nudge developers towards creating safe AI. However, the level at which this trust emerges may depend on the specific LLM used for testing. Our results thus provide guidance for AI regulation systems, and help predict the outcome of strategic LLM agents, should they be used to aid regulation itself. △ Less

Submitted 11 April, 2025; originally announced April 2025.

Media and responsible AI governance: a game-theoretic and LLM analysis

Authors: Nataliya Balabanova, Adeela Bashir, Paolo Bova, Alessio Buscemi, Theodor Cimpeanu, Henrique Correia da Fonseca, Alessandro Di Stefano, Manh Hong Duong, Elias Fernandez Domingos, Antonio Fernandes, The Anh Han, Marcus Krellner, Ndidi Bianca Ogbo, Simon T. Powers, Daniele Proverbio, Fernando P. Santos, Zia Ush Shamszaman, Zhao Song

Abstract: This paper investigates the complex interplay between AI developers, regulators, users, and the media in fostering trustworthy AI systems. Using evolutionary game theory and large language models (LLMs), we model the strategic interactions among these actors under different regulatory regimes. The research explores two key mechanisms for achieving responsible governance, safe AI development and ad… ▽ More This paper investigates the complex interplay between AI developers, regulators, users, and the media in fostering trustworthy AI systems. Using evolutionary game theory and large language models (LLMs), we model the strategic interactions among these actors under different regulatory regimes. The research explores two key mechanisms for achieving responsible governance, safe AI development and adoption of safe AI: incentivising effective regulation through media reporting, and conditioning user trust on commentariats' recommendation. The findings highlight the crucial role of the media in providing information to users, potentially acting as a form of "soft" regulation by investigating developers or regulators, as a substitute to institutional AI regulation (which is still absent in many regions). Both game-theoretic analysis and LLM-based simulations reveal conditions under which effective regulation and trustworthy AI development emerge, emphasising the importance of considering the influence of different regulatory regimes from an evolutionary game-theoretic perspective. The study concludes that effective governance requires managing incentives and costs for high quality commentaries. △ Less

Submitted 12 March, 2025; originally announced March 2025.

ITBench: Evaluating AI Agents across Diverse Real-World IT Automation Tasks

Authors: Saurabh Jha, Rohan Arora, Yuji Watanabe, Takumi Yanagawa, Yinfang Chen, Jackson Clark, Bhavya Bhavya, Mudit Verma, Harshit Kumar, Hirokuni Kitahara, Noah Zheutlin, Saki Takano, Divya Pathak, Felix George, Xinbo Wu, Bekir O. Turkkan, Gerard Vanloo, Michael Nidd, Ting Dai, Oishik Chatterjee, Pranjal Gupta, Suranjana Samanta, Pooja Aggarwal, Rong Lee, Pavankumar Murali , et al. (18 additional authors not shown)

Abstract: Realizing the vision of using AI agents to automate critical IT tasks depends on the ability to measure and understand effectiveness of proposed solutions. We introduce ITBench, a framework that offers a systematic methodology for benchmarking AI agents to address real-world IT automation tasks. Our initial release targets three key areas: Site Reliability Engineering (SRE), Compliance and Securit… ▽ More Realizing the vision of using AI agents to automate critical IT tasks depends on the ability to measure and understand effectiveness of proposed solutions. We introduce ITBench, a framework that offers a systematic methodology for benchmarking AI agents to address real-world IT automation tasks. Our initial release targets three key areas: Site Reliability Engineering (SRE), Compliance and Security Operations (CISO), and Financial Operations (FinOps). The design enables AI researchers to understand the challenges and opportunities of AI agents for IT automation with push-button workflows and interpretable metrics. ITBench includes an initial set of 94 real-world scenarios, which can be easily extended by community contributions. Our results show that agents powered by state-of-the-art models resolve only 13.8% of SRE scenarios, 25.2% of CISO scenarios, and 0% of FinOps scenarios. We expect ITBench to be a key enabler of AI-driven IT automation that is correct, safe, and fast. △ Less

Submitted 7 February, 2025; originally announced February 2025.

The infrastructure powering IBM's Gen AI model development

Authors: Talia Gershon, Seetharami Seelam, Brian Belgodere, Milton Bonilla, Lan Hoang, Danny Barnett, I-Hsin Chung, Apoorve Mohan, Ming-Hung Chen, Lixiang Luo, Robert Walkup, Constantinos Evangelinos, Shweta Salaria, Marc Dombrowa, Yoonho Park, Apo Kayi, Liran Schour, Alim Alim, Ali Sydney, Pavlos Maniotis, Laurent Schares, Bernard Metzler, Bengi Karacali-Akyamac, Sophia Wen, Tatsuhiro Chiba , et al. (122 additional authors not shown)

Abstract: AI Infrastructure plays a key role in the speed and cost-competitiveness of developing and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering effi… ▽ More AI Infrastructure plays a key role in the speed and cost-competitiveness of developing and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering efficient and high-performing AI training requires an end-to-end solution that combines hardware, software and holistic telemetry to cater for multiple types of AI workloads. In this report, we describe IBM's hybrid cloud infrastructure that powers our generative AI model development. This infrastructure includes (1) Vela: an AI-optimized supercomputing capability directly integrated into the IBM Cloud, delivering scalable, dynamic, multi-tenant and geographically distributed infrastructure for large-scale model training and other AI workflow steps and (2) Blue Vela: a large-scale, purpose-built, on-premises hosting environment that is optimized to support our largest and most ambitious AI model training tasks. Vela provides IBM with the dual benefit of high performance for internal use along with the flexibility to adapt to an evolving commercial landscape. Blue Vela provides us with the benefits of rapid development of our largest and most ambitious models, as well as future-proofing against the evolving model landscape in the industry. Taken together, they provide IBM with the ability to rapidly innovate in the development of both AI models and commercial offerings. △ Less

Submitted 13 January, 2025; v1 submitted 7 July, 2024; originally announced July 2024.

Comments: Corresponding Authors: Talia Gershon, Seetharami Seelam,Brian Belgodere, Milton Bonilla

$a$-potent Schwarz matrices and Bessel-like Jacobi polynomials

Authors: Alexander Dyachenko, Carlos M. da Fonseca, Mikhail Tyaglov

Abstract: We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials. We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials. △ Less

Submitted 16 June, 2024; originally announced June 2024.

MSC Class: 15B05; 33C45; 15A18; 15A29; 15A15

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking

Authors: Lucas Valadares Vieira, Mara Abel, Fabricio Henrique Rodrigues, Tiago Prince Sales, Claudenir M. Fonseca

Abstract: This paper presents an ontology of portions of matter with practical implications across scientific and industrial domains. The ontology is developed under the Unified Foundational Ontology (UFO), which uses the concept of quantity to represent topologically maximally self-connected portions of matter. The proposed ontology introduces the granuleOf parthood relation, holding between objects and po… ▽ More This paper presents an ontology of portions of matter with practical implications across scientific and industrial domains. The ontology is developed under the Unified Foundational Ontology (UFO), which uses the concept of quantity to represent topologically maximally self-connected portions of matter. The proposed ontology introduces the granuleOf parthood relation, holding between objects and portions of matter. It also discusses the constitution of quantities by collections of granules, the representation of sub-portions of matter, and the tracking of matter provenance between quantities using historical relations. Lastly, a case study is presented to demonstrate the use of the portion of matter ontology in the geology domain for an Oil & Gas industry application. In the case study, we model how to represent the historical relation between an original portion of rock and the sub-portions created during the industrial process. Lastly, future research directions are outlined, including investigating granularity levels and defining a taxonomy of events. △ Less

Submitted 1 June, 2024; originally announced June 2024.

ACM Class: I.2.4

Granite Code Models: A Family of Open Foundation Models for Code Intelligence

Authors: Mayank Mishra, Matt Stallone, Gaoyuan Zhang, Yikang Shen, Aditya Prasad, Adriana Meza Soria, Michele Merler, Parameswaran Selvam, Saptha Surendran, Shivdeep Singh, Manish Sethi, Xuan-Hong Dang, Pengyuan Li, Kun-Lung Wu, Syed Zawad, Andrew Coleman, Matthew White, Mark Lewis, Raju Pavuluri, Yan Koyfman, Boris Lublinsky, Maximilien de Bayser, Ibrahim Abdelaziz, Kinjal Basu, Mayank Agarwal , et al. (21 additional authors not shown)

Abstract: Large Language Models (LLMs) trained on code are revolutionizing the software development process. Increasingly, code LLMs are being integrated into software development environments to improve the productivity of human programmers, and LLM-based agents are beginning to show promise for handling complex tasks autonomously. Realizing the full potential of code LLMs requires a wide range of capabili… ▽ More Large Language Models (LLMs) trained on code are revolutionizing the software development process. Increasingly, code LLMs are being integrated into software development environments to improve the productivity of human programmers, and LLM-based agents are beginning to show promise for handling complex tasks autonomously. Realizing the full potential of code LLMs requires a wide range of capabilities, including code generation, fixing bugs, explaining and documenting code, maintaining repositories, and more. In this work, we introduce the Granite series of decoder-only code models for code generative tasks, trained with code written in 116 programming languages. The Granite Code models family consists of models ranging in size from 3 to 34 billion parameters, suitable for applications ranging from complex application modernization tasks to on-device memory-constrained use cases. Evaluation on a comprehensive set of tasks demonstrates that Granite Code models consistently reaches state-of-the-art performance among available open-source code LLMs. The Granite Code model family was optimized for enterprise software development workflows and performs well across a range of coding tasks (e.g. code generation, fixing and explanation), making it a versatile all around code model. We release all our Granite Code models under an Apache 2.0 license for both research and commercial use. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: Corresponding Authors: Rameswar Panda, Ruchir Puri; Equal Contributors: Mayank Mishra, Matt Stallone, Gaoyuan Zhang

Gelfand-Tsetlin modules for Lie algebras of rank $2$

Authors: Milica Anđelić, Carlos M. da Fonseca, Vyacheslav Futorny, Andrew Tsylke

Abstract: We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras. We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras. △ Less

Submitted 9 January, 2025; v1 submitted 1 February, 2024; originally announced February 2024.

MSC Class: 17B10

BayesMortalityPlus: A package in R for Bayesian graduation of mortality modelling

Authors: Lucas M. F. Silva, Luiz F. V. Figueiredo, Viviana G. R. Lobo, Thaís C. O. Fonseca, Mariane B. Alves

Abstract: The BayesMortalityPlus package provides a framework for modelling and predicting mortality data. The package includes tools for the construction of life tables based on Heligman-Pollard laws, and also on dynamic linear smoothers. Flexibility is available in terms of modelling so that the response variable may be modeled as Poisson, Binomial or Gaussian. If temporal data is available, the package p… ▽ More The BayesMortalityPlus package provides a framework for modelling and predicting mortality data. The package includes tools for the construction of life tables based on Heligman-Pollard laws, and also on dynamic linear smoothers. Flexibility is available in terms of modelling so that the response variable may be modeled as Poisson, Binomial or Gaussian. If temporal data is available, the package provides a Bayesian implementation for the well-known Lee-Carter model that allows for estimation, projection of mortality over time, and assessment of uncertainty of any linear or nonlinear function of parameters such as life expectancy. Illustrations are considered to show the capability of the proposed package to model mortality data. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Towards a conceptual model for the FAIR Digital Object Framework

Authors: Luiz Olavo Bonino da Silva Santos, Tiago Prince Sales, Claudenir M. Fonseca, Giancarlo Guizzardi

Abstract: The FAIR principles define a number of expected behaviours for the data and services ecosystem with the goal of improving the findability, accessibility, interoperability, and reusability of digital objects. A key aspiration of the principles is that they would lead to a scenario where autonomous computational agents are capable of performing a ``self-guided exploration of the global data ecosyste… ▽ More The FAIR principles define a number of expected behaviours for the data and services ecosystem with the goal of improving the findability, accessibility, interoperability, and reusability of digital objects. A key aspiration of the principles is that they would lead to a scenario where autonomous computational agents are capable of performing a ``self-guided exploration of the global data ecosystem,'' and act properly with the encountered variety of types, formats, access mechanisms and protocols. The lack of support for some of these expected behaviours by current information infrastructures such as the internet and the World Wide Web motivated the emergence, in the last years, of initiatives such as the FAIR Digital Objects (FDOs) movement. This movement aims at an infrastructure where digital objects can be exposed and explored according to the FAIR principles. In this paper, we report the current status of the work towards an ontology-driven conceptual model for FAIR Digital Objects. The conceptual model covers aspects of digital objects that are relevant to the FAIR principles such as the distinction between metadata and the digital object it describes, the classification of digital objects in terms of both their informational value and their computational representation format, and the relation between different types of FAIR Digital Objects. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: Submitted to FOIS 2023

Functional thin films as cathode/electrolyte interlayers: a strategy to enhance the performance and durability of solid oxide fuel cells

Authors: Marina Machado, Federico Baiutti, Lucile Bernadet, Alex Morata, Marc Nuñez, Jan Pieter Ouweltjes, Fabio Coral Fonseca, Marc Torrell, Albert Tarancónb

Abstract: Electrochemical devices such as solid oxide fuel cells (SOFC) may greatly benefit from the implementation of nanoengineered thin-film multifunctional layers providing, alongside enhanced electrochemical activity, improved mechanical, and long-term stability. In this study, an ultrathin (400 nm) bilayer of samarium-doped ceria and a self-assembled nanocomposite made of Sm0.2Ce0.8O1.9-La0.8Sr0.2MnO3… ▽ More Electrochemical devices such as solid oxide fuel cells (SOFC) may greatly benefit from the implementation of nanoengineered thin-film multifunctional layers providing, alongside enhanced electrochemical activity, improved mechanical, and long-term stability. In this study, an ultrathin (400 nm) bilayer of samarium-doped ceria and a self-assembled nanocomposite made of Sm0.2Ce0.8O1.9-La0.8Sr0.2MnO3-$δ$ was fabricated by pulsed laser deposition and is employed as a functional oxygen electrode in an anode-supported solid oxide fuel cell. Introducing the functional bilayer in the cell architecture results in a simple processing technique for the fabrication of high-performance fuel cells (power density 1.0 W.cm-2 at 0.7 V and 750 $^\circ$C). Durability tests were carried out for up to 1500 h, showing a small degradation under extreme operating conditions of 1 A.cm-2, while a stable behaviour at 0.5 A.cm-2. Post-test analyses, including scanning and transmission electron microscopy and electrochemical impedance spectroscopy, demonstrate that the nanoengineered thin film layers remain mostly morphologically stable after the operation. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: 24 pages, 12 figures

Journal ref: Journal of Materials Chemistry A, 2022, 10, 17317-17325

Lapse risk modelling in insurance: a Bayesian mixture approach

Authors: Viviana G. R. Lobo, Thais C. O. Fonseca, Mariane B. Alves

Abstract: This paper focuses on modelling surrender time for policyholders in the context of life insurance. In this setup, a large lapse rate at the first months of a contract is often observed, with a decrease in this rate after some months. The modelling of the time to cancellation must account for this specific behaviour. Another stylised fact is that policies which are not cancelled in the study period… ▽ More This paper focuses on modelling surrender time for policyholders in the context of life insurance. In this setup, a large lapse rate at the first months of a contract is often observed, with a decrease in this rate after some months. The modelling of the time to cancellation must account for this specific behaviour. Another stylised fact is that policies which are not cancelled in the study period are considered censored. To account for both censuring and heterogeneous lapse rates, this work assumes a Bayesian survival model with a mixture of regressions. The inference is based on data augmentation allowing for fast computations even for data sets of over a million clients. Moreover, scalable point estimation based on EM algorithm is also presented. An illustrative example emulates a typical behaviour for life insurance contracts and a simulated study investigates the properties of the proposed model. In particular, the observed censuring in the insurance context might be up to 50% of the data, which is very unusual for survival models in other fields such as epidemiology. This aspect is exploited in our simulated study. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Dynamical non-Gaussian modelling of spatial processes

Authors: Thaís C. O. da Fonseca, Viviana G. R. Lobo, Alexandra M. Schmidt

Abstract: Spatio-temporal processes in environmental applications are often assumed to follow a Gaussian model, possibly after some transformation. However, heterogeneity in space and time might have a pattern that will not be accommodated by transforming the data. In this scenario, modelling the variance laws is an appealing alternative. This work adds flexibility to the usual Multivariate Dynamic Gaussian… ▽ More Spatio-temporal processes in environmental applications are often assumed to follow a Gaussian model, possibly after some transformation. However, heterogeneity in space and time might have a pattern that will not be accommodated by transforming the data. In this scenario, modelling the variance laws is an appealing alternative. This work adds flexibility to the usual Multivariate Dynamic Gaussian model by defining the process as a scale mixture between a Gaussian and log-Gaussian processes. The scale is represented by a process varying smoothly over space and time which is allowed to depend on covariates. State-space equations define the dynamics over time for both mean and variance processes resulting infeasible inference and prediction. Analysis of artificial datasets show that the parameters are identifiable and simpler models are well recovered by the general proposed model. The analyses of two important environmental processes, maximum temperature and maximum ozone, illustrate the effectiveness of our proposal in improving the uncertainty quantification in the prediction of spatio-temporal processes. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Eigenvalue estimates of the drifted Cheng-Yau operator on bounded domains in pinched Cartan-Hadamard manifolds

Authors: Júlio C. M. da Fonseca, José N. V. Gomes

Abstract: We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the… ▽ More We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the Cheng-Yau operator and two estimates associated with the Bochner type formula for this operator. Next, we get some integral estimates of independent interest. As an application, we compute our universal inequalities. In particular, we obtain the corresponding inequalities for both Cheng-Yau operator and drifted Laplacian cases, and we recover the known inequalities for the Laplacian case. We also obtain a rigidity result for a Cheng-Yau operator on a class of bounded annular domains in a pinched Cartan-Hadamard manifold. In particular, we can use, e.g., the potential function of the Gaussian shrinking soliton to obtain such a rigidity for the Euclidean space case. The fundamental gap conjecture is also addressed in this paper. △ Less

Submitted 21 March, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: In this version, we address the fundamental gap conjecture in a new section of the paper

MSC Class: Primary 47A75; Secondary 58J50; 53C20

Specific loss power of magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions

Authors: C. A. M. Iglesias, J. C. R. de Araújo, J. Xavier, R. B. da Silva, J. M. Soares, E. L. Brito, L. Streck, J. L. C. Fonseca, C. C. Plá Cid, M. Gamino, E. F. Silva, C. Chesman, M. A. Correa, S. N. de Medeiros, F. Bohn

Abstract: We investigate the magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions through the calorimetric method. Specifically, we propose a theoretical approach to magnetic hyperthermia from a thermodynamic point of view. To test the robustness of the approach, we perform hyperthermia experiments and analyze the thermal behavior of magnetite and magnesium ferrite magnetic nanoparticles… ▽ More We investigate the magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions through the calorimetric method. Specifically, we propose a theoretical approach to magnetic hyperthermia from a thermodynamic point of view. To test the robustness of the approach, we perform hyperthermia experiments and analyze the thermal behavior of magnetite and magnesium ferrite magnetic nanoparticles dispersed in water submitted to an alternating magnetic field. From our findings, besides estimating the specific loss power value from a non-adiabatic process, thus enhancing the accuracy in the determination of this quantity, we provide physical meaning to parameters found in literature that still remained not fully understood, and bring to light how they can be obtained experimentally. △ Less

Submitted 9 March, 2021; originally announced March 2021.

Comments: 3 figures

Ultrasound-based Control of Micro-Bubbles for Exosome Delivery in Treating COVID-19 Lung Damage

Authors: Bruna Fonseca, Caio Fonseca, Michael Barros, Mark White, Vinay Abhyankar, David A. Borkholder, Sasitharan Balasubramaniam

Abstract: The recent COVID-19 pandemic has resulted in high fatality rates, especially for patients who suffer from underlying health issues. One of the more serious symptoms exhibited from patients suffering from an acute COVID-19 infection is breathing difficulties and shortness of breath, which is largely due to the excessive fluid (cellular leakage and cytokine storm) and mucoid debris that have filled… ▽ More The recent COVID-19 pandemic has resulted in high fatality rates, especially for patients who suffer from underlying health issues. One of the more serious symptoms exhibited from patients suffering from an acute COVID-19 infection is breathing difficulties and shortness of breath, which is largely due to the excessive fluid (cellular leakage and cytokine storm) and mucoid debris that have filled lung alveoli, and reduced the surfactant tension resulting in heavy and stiff lungs. In this paper, we propose the use of micro-bubbles filled with exosomes that can be released upon exposure to ultrasound signals as possible rescue therapy in deteriorating COVID-19 patients. Recent studies have shown that exosomes can be used to repair and treat lung damage for patients who have suffered from viral infection. We have conducted simulations to show the efficacy of the ultrasound signals that will penetrate through layers of tissues reaching the alveoli that contain the micro-bubbles. Our results have shown that ultrasound signals with low frequencies are required to oscillate and rupture the polymer-based micro-bubbles. Our proposed system can be used for patients who require immediate rescue treatments for lung damage, as well as for recovered patients who may suffer from viral relapse infection, where the micro-bubbles will remain dormant for a temporary therapeutic window until they are exposed to the ultrasound signals. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Oxygen vacancy engineering of TaOx-based resistive memories by Zr doping for improved variability and synaptic behavior

Authors: Joao H. Quintino Palhares, Yann Beilliard, Fabien Alibart, Everton Bonturim, Daniel Z. de Florio, Fabio C. Fonseca, Dominique Drouin, Andre S. Ferlauto

Abstract: Resistive switching devices are promising emerging non-volatile memories. However, one of the biggest challenges for resistive switching (RS) memory applications is the device-to-device (D2D) variability which is related to the intrinsic stochastic formation and configuration of oxygen vacancy (VO) conductive filaments. In order to reduce D2D variability, the control of oxygen vacancy formation an… ▽ More Resistive switching devices are promising emerging non-volatile memories. However, one of the biggest challenges for resistive switching (RS) memory applications is the device-to-device (D2D) variability which is related to the intrinsic stochastic formation and configuration of oxygen vacancy (VO) conductive filaments. In order to reduce D2D variability, the control of oxygen vacancy formation and configuration is paramount. We report in this study Zr doping of TaOx-based RS devices prepared by pulsed laser deposition (PLD) as an efficient mean to reduce VO formation energy and increase conductive filament (CF) confinement, thus reducing D2D variability. Such findings were supported by X-ray photoelectron spectroscopy (XPS), spectroscopic ellipsometry (SE) and electronic transport analysis. Zr doped films presented increased VO concentration, and more localized VO thanks to the interaction with Zr. According to DC and pulse mode electrical characterization, D2D variability was decreased by a factor of 7, resistance window was doubled and a more gradual and monotonic long-term potentiation/depression (LTP/LTD) in pulse switching was achieved in forming-free Zr:TaOx devices thus displaying promising performance for artificial synapse applications. △ Less

Submitted 22 April, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 19 pages, 10 figures

The Expected Number of Distinct Consecutive Patterns in a Random Permutation

Authors: Austin Allen, Dylan Cruz Fonseca, Veronica Dobbs, Egypt Downs, Evelyn Fokuoh, Anant Godbole, Sebastián Papanikolaou Costa, Christopher Soto, Lino Yoshikawa

Abstract: Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly. Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Comments: 12 pages, 2 figures

MSC Class: 05A05

First Measurement of the Asymmetry and the Gerasimov-Drell-Hearn Integrand from $\vec{{^3}He}(\vecγ,p)d$ reaction at the Incident Photon Energy of 29 MeV

Authors: G. Laskaris, W. Ji, X. Yan, J. Zhou, W. R. Zimmerman, M. W. Ahmed, T. Averett, A. Deltuva, A. C. Fonseca, H. Gao, J. Golak, A. Kafkarkou, H. J. Karwowski, B. Lalremruata, J. Manfredi, J. M. Mueller, P. U. Sauer, R. Skibiński, A. P. Smith, M. B. Tsang, H. R. Weller, H. Witała, Y. K. Wu, Z. W. Zhao

Abstract: The first measurement of the $\vec{^3He}(\vecγ,p)d$ process was performed at the High Intensity $γ$-ray Source (HI$γ$S) facility at Triangle Universities Nuclear Laboratory (TUNL) using a circularly polarized, monoenergetic $γ$-ray beam and a longitudinally polarized $^3$He target. The spin-dependent asymmetry and the contribution from the two-body photodisintegration to the $^3$He Gerasimov-Drell… ▽ More The first measurement of the $\vec{^3He}(\vecγ,p)d$ process was performed at the High Intensity $γ$-ray Source (HI$γ$S) facility at Triangle Universities Nuclear Laboratory (TUNL) using a circularly polarized, monoenergetic $γ$-ray beam and a longitudinally polarized $^3$He target. The spin-dependent asymmetry and the contribution from the two-body photodisintegration to the $^3$He Gerasimov-Drell-Hearn integrand are extracted and compared with state-of-the-art three-nucleon system calculations at the incident photon energy of 29.0 MeV. The data are in general agreement with the various theoretical predictions based on the Siegert theorem or on explicit inclusion of meson-exchange currents. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 5 pages, 3 figures. arXiv admin note: text overlap with arXiv:1304.5442

Journal ref: Phys. Rev. C 103, 034311 (2021)

On the Bicriterion Maximum Flow Network Interdiction Problem

Authors: Luca E. Schäfer, Stefan Ruzika, Sven O. Krumke, Carlos M. Fonseca

Abstract: This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by… ▽ More This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by interdicting arcs. We show that this problem is intractable and that the decision problem, which asks whether or not a feasible interdiction strategy is efficient, is NP-complete. We propose a pseudopolynomial time algorithm in the case of two-terminal series-parallel graphs and positive integer-valued interdiction costs. We extend this algorithm to a fully polynomial-time approximation scheme for the case of unit interdiction costs by appropriately partitioning the objective space. △ Less

Submitted 8 October, 2020; v1 submitted 6 October, 2020; originally announced October 2020.

The Hypervolume Indicator: Problems and Algorithms

Authors: Andreia P. Guerreiro, Carlos M. Fonseca, Luís Paquete

Abstract: The hypervolume indicator is one of the most used set-quality indicators for the assessment of stochastic multiobjective optimizers, as well as for selection in evolutionary multiobjective optimization algorithms. Its theoretical properties justify its wide acceptance, particularly the strict monotonicity with respect to set dominance which is still unique of hypervolume-based indicators. This pap… ▽ More The hypervolume indicator is one of the most used set-quality indicators for the assessment of stochastic multiobjective optimizers, as well as for selection in evolutionary multiobjective optimization algorithms. Its theoretical properties justify its wide acceptance, particularly the strict monotonicity with respect to set dominance which is still unique of hypervolume-based indicators. This paper discusses the computation of hypervolume-related problems, highlighting the relations between them, providing an overview of the paradigms and techniques used, a description of the main algorithms for each problem, and a rundown of the fastest algorithms regarding asymptotic complexity and runtime. By providing a complete overview of the computational problems associated to the hypervolume indicator, this paper serves as the starting point for the development of new algorithms, and supports users in the identification of the most appropriate implementations available for each problem. △ Less

Submitted 1 May, 2020; originally announced May 2020.

A decision support system for addressing food security in the UK

Authors: Martine J. Barons, Thais C. O. Fonseca, Andy Davis, Jim Q. Smith

Abstract: This paper presents an integrating decision support system to model food security in the UK. In ever-larger dynamic systems, such as the food system, it is increasingly difficult for decision-makers to effectively account for all the variables within the system that may influence the outcomes of interest under enactments of various candidate policies. Each of the influencing variables is likely, t… ▽ More This paper presents an integrating decision support system to model food security in the UK. In ever-larger dynamic systems, such as the food system, it is increasingly difficult for decision-makers to effectively account for all the variables within the system that may influence the outcomes of interest under enactments of various candidate policies. Each of the influencing variables is likely, themselves, to be dynamic sub-systems with expert domains supported by sophisticated probabilistic models. Recent increases in food poverty the UK raised the questions about the main drivers to food insecurity, how this may be changing over time and how evidence can be used in evaluating policy for decision support. In this context, an integrating decision support system is proposed for household food security to allow decision-makers to compare several candidate policies which may affect the outcome of food insecurity at household level. △ Less

Submitted 14 April, 2020; originally announced April 2020.

Progress Report on Numerical Modeling of a Prototype Fuel Cell

Authors: O. Beruski, I. Korkischko, T. Lopes, F. C. Fonseca

Abstract: Progress on the numerical modeling of a prototype fuel cell is reported. Some known limitations of the previously published Alpha model are addressed, and the numerical uncertainty due to discretization of the improved model, Beta, was estimated. In Part 1, the Beta model is compared to Alpha, where significant albeit small differences are seen. Shortcomings of the improved model are discussed, pa… ▽ More Progress on the numerical modeling of a prototype fuel cell is reported. Some known limitations of the previously published Alpha model are addressed, and the numerical uncertainty due to discretization of the improved model, Beta, was estimated. In Part 1, the Beta model is compared to Alpha, where significant albeit small differences are seen. Shortcomings of the improved model are discussed, paving the way forward, while a discrepancy with previous results is addressed, further suggesting the use of the Darcy-Brinkman over Stokes-Darcy formulation for free and porous media flow. Furthermore, a parametric study is carried out, constraining plausible values of the reaction rate constants identifying additional opportunities for validation. In Part 2, a mesh convergence study is carried out to estimate the discretization error of Beta model. A reduced, proxy geometry and two extrapolation schemes are used to estimate the exact solution, which is then used to estimate the model's uncertainty through the Grid Convergence Index framework. Error estimates are on average $\sim 10\%$ for the flow rate range simulated, larger than experimental ones available. Results suggest a difficulty in achieving mesh convergence in fuel cell-like models, even in simpler cases. Caution is thus suggested during validation or when devising predictions from numerical models. Finally, given the uncertainties in the numerical data and the available experimental data, the results lack validation power, highlighting the need for additional experimental data and improved precision for the numerical data. △ Less

Submitted 13 November, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 87 pages, 30 figures

Dynamic clustering of time series data

Authors: Victhor S. Sartório, Thaís C. O. Fonseca

Abstract: We propose a new method for clustering multivariate time-series data based on Dynamic Linear Models. Whereas usual time-series clustering methods obtain static membership parameters, our proposal allows each time-series to dynamically change their cluster memberships over time. In this context, a mixture model is assumed for the time series and a flexible Dirichlet evolution for mixture weights al… ▽ More We propose a new method for clustering multivariate time-series data based on Dynamic Linear Models. Whereas usual time-series clustering methods obtain static membership parameters, our proposal allows each time-series to dynamically change their cluster memberships over time. In this context, a mixture model is assumed for the time series and a flexible Dirichlet evolution for mixture weights allows for smooth membership changes over time. Posterior estimates and predictions can be obtained through Gibbs sampling, but a more efficient method for obtaining point estimates is presented, based on Stochastic Expectation-Maximization and Gradient Descent. Finally, two applications illustrate the usefulness of our proposed model to model both univariate and multivariate time-series: World Bank indicators for the renewable energy consumption of EU nations and the famous Gapminder dataset containing life-expectancy and GDP per capita for various countries. △ Less

Submitted 28 January, 2020; originally announced February 2020.

Comments: 27 pages, 21 figures

Semantic Sensitive TF-IDF to Determine Word Relevance in Documents

Authors: Amir Jalilifard, Vinicius F. Caridá, Alex F. Mansano, Rogers S. Cristo, Felipe Penhorate C. da Fonseca

Abstract: Keyword extraction has received an increasing attention as an important research topic which can lead to have advancements in diverse applications such as document context categorization, text indexing and document classification. In this paper we propose STF-IDF, a novel semantic method based on TF-IDF, for scoring word importance of informal documents in a corpus. A set of nearly four million do… ▽ More Keyword extraction has received an increasing attention as an important research topic which can lead to have advancements in diverse applications such as document context categorization, text indexing and document classification. In this paper we propose STF-IDF, a novel semantic method based on TF-IDF, for scoring word importance of informal documents in a corpus. A set of nearly four million documents from health-care social media was collected and was trained in order to draw semantic model and to find the word embeddings. Then, the features of semantic space were utilized to rearrange the original TF-IDF scores through an iterative solution so as to improve the moderate performance of this algorithm on informal texts. After testing the proposed method with 200 randomly chosen documents, our method managed to decrease the TF-IDF mean error rate by a factor of 50% and reaching the mean error of 13.7%, as opposed to 27.2% of the original TF-IDF. △ Less

Submitted 25 January, 2021; v1 submitted 5 January, 2020; originally announced January 2020.

Comments: 11 pages, 2 figures, 22 references

The effects of degrees of freedom estimation in the Asymmetric GARCH model with Student-t Innovations

Authors: T. C. O. Fonseca, V. S. Cerqueira, H. S. Migon, C. A. C. Torres

Abstract: This work investigates the effects of using the independent Jeffreys prior for the degrees of freedom parameter of a Student-t model in the asymmetric generalised autoregressive conditional heteroskedasticity (GARCH) model. To capture asymmetry in the reaction to past shocks, smooth transition models are assumed for the variance. We adopt the fully Bayesian approach for inference, prediction and m… ▽ More This work investigates the effects of using the independent Jeffreys prior for the degrees of freedom parameter of a Student-t model in the asymmetric generalised autoregressive conditional heteroskedasticity (GARCH) model. To capture asymmetry in the reaction to past shocks, smooth transition models are assumed for the variance. We adopt the fully Bayesian approach for inference, prediction and model selection We discuss problems related to the estimation of degrees of freedom in the Student-t model and propose a solution based on independent Jeffreys priors which correct problems in the likelihood function. A simulated study is presented to investigate how the estimation of model parameters in the Student-t GARCH model are affected by small sample sizes, prior distributions and misspecification regarding the sampling distribution. An application to the Dow Jones stock market data illustrates the usefulness of the asymmetric GARCH model with Student-t errors. △ Less

Submitted 3 October, 2019; originally announced October 2019.

Space-time calibration of wind speed forecasts from regional climate models

Authors: Luiz E. S. Gomes, Thaís C. O. Fonseca, Kelly C. M. Gonçalves, Ramiro Ruiz-Cárdenas

Abstract: Numerical weather predictions (NWP) are systematically subject to errors due to the deterministic solutions used by numerical models to simulate the atmosphere. Statistical postprocessing techniques are widely used nowadays for NWP calibration. However, time-varying bias is usually not accommodated by such models. Its calibration performance is also sensitive to the temporal window used for traini… ▽ More Numerical weather predictions (NWP) are systematically subject to errors due to the deterministic solutions used by numerical models to simulate the atmosphere. Statistical postprocessing techniques are widely used nowadays for NWP calibration. However, time-varying bias is usually not accommodated by such models. Its calibration performance is also sensitive to the temporal window used for training. This paper proposes space-time models that extend the main statistical postprocessing approaches to calibrate NWP model outputs. Trans-Gaussian random fields are considered to account for meteorological variables with asymmetric behavior. Data augmentation is used to account for censuring in the response variable. The benefits of the proposed extensions are illustrated through the calibration of hourly 10 m wind speed forecasts in Southeastern Brazil coming from the Eta model. △ Less

Submitted 3 September, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 43 pages, 13 figures

Reference Bayesian analysis for hierarchical models

Authors: Thaís C. O. Fonseca, Helio S. Migon, Heudson Mirandola

Abstract: This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model… ▽ More This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model is derived from the Hessian of the Kullback-Liebler (KL) divergence for the model in a neighborhood of the parameter value of interest. Properties of the KL divergence are used to prove the proposed decomposition. Our proposal takes advantage of the hierarchy and leads to an alternative way of computing Jeffreys priors for the hyperparameters and an upper bound for the prior information. While the Jeffreys prior gives the minimum information about parameters, the proposed bound gives an upper limit for the information put in any prior distribution. A prior with information above that limit may be considered too informative. From a practical point of view, the proposed prior may be evaluated computationally as part of a MCMC algorithm. This property might be essential for modeling setups with many levels in which analytic marginalization is not feasible. We illustrate the usefulness of our proposal with examples in mixture models, in model selection priors such as lasso and in the Student-t model. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: 17 pages. Comments are welcome

Lipschitz property for systems of linear mappings and bilinear forms

Authors: Abdullah Alazemi, Milica Anđelić, Carlos M. da Fonseca, Vladimir V. Sergeichuk

Abstract: Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices th… ▽ More Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices that transforms A to A'. We prove that if two representations are isomorphic and close to each other, then their isomorphism can be chosen close to the identity. △ Less

Submitted 25 March, 2019; originally announced March 2019.

Comments: 12 pages

MSC Class: 15A21; 15A63; 16G20

Journal ref: Linear Algebra Appl. 573 (2019) 26-36

An observation on the determinant of a Sylvester-Kac type matrix

Authors: Carlos M. da Fonseca, Emrah Kılıç

Abstract: Based on a less-known result, we prove a recent conjecture concerning the determinant of a certain Sylvester-Kac type matrix and consider an extension of it. Based on a less-known result, we prove a recent conjecture concerning the determinant of a certain Sylvester-Kac type matrix and consider an extension of it. △ Less

Submitted 20 February, 2019; originally announced February 2019.

Studies of the Three-Body Breakup in Deuteron-Deuteron Collisions near the Quasi-Free Limit at 160 MeV

Authors: I. Ciepał, G. Khatri, K. Bodek, A. Deltuva, A. C. Fonseca, N. Kalantar-Nayestanaki, St. Kistryn, B. Kłos, A. Kozela, J. Kuboś, P. Kulessa, A. Łobejko, A. Magiera, J. Messchendorp, I. Mazumdar, W. Parol, D. Rozpędzik, I. Skwira-Chalot, E. Stephan, A. Wilczek, B. Włoch, A. Wrońska, J. Zejma

Abstract: A set of differential cross section of the three-body $^{2}$H($d$,$dp$)$n$ breakup reaction at 160 MeV deuteron beam energy are presented for 147 kinematically complete configurations near the quasi-free scattering kinematics. The experiment was performed at KVI in Groningen, the Netherlands using the BINA detector. The cross-section data have been normalized to the $^{2}$H($d$,$d$)$^{2}$H elastic… ▽ More A set of differential cross section of the three-body $^{2}$H($d$,$dp$)$n$ breakup reaction at 160 MeV deuteron beam energy are presented for 147 kinematically complete configurations near the quasi-free scattering kinematics. The experiment was performed at KVI in Groningen, the Netherlands using the BINA detector. The cross-section data have been normalized to the $^{2}$H($d$,$d$)$^{2}$H elastic scattering cross section. The data are compared to the recent single-scattering approximation (SSA) calculations for three-cluster breakup in deuteron-deuteron collisions. Confronting the SSA predictions with the experimental data shows that SSA provides the correct order of magnitude of the cross-section data. The studied energy is probably too low to meet the SSA assumptions which prevents better accuracy of the description. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Journal ref: Phys. Rev. C 100, 024003 (2019)

Ab initio simulation of $\mathrm{Ta_2O_5}$: A high symmetry ground state phase with application to interface calculation

Authors: Jun-Hui Yuan, Kan-Hao Xue, Qi Chen, Leonardo R. C. Fonseca, Xiang-Shui Miao

Abstract: We suggest a tetragonal $I4_1/amd$ phase ($η$-phase) as the ground state of $\mathrm{Ta_2O_5}$ at zero temperature, which is a high symmetry version of the triclinic $γ$-phase $\mathrm{Ta_2O_5}$ predicted by Yang and Kawazoe. Our calculation shows that $γ$-phase $\mathrm{Ta_2O_5}$ will automatically be transformed into the $η$-phase during structural relaxation. Phonon dispersion confirms that the… ▽ More We suggest a tetragonal $I4_1/amd$ phase ($η$-phase) as the ground state of $\mathrm{Ta_2O_5}$ at zero temperature, which is a high symmetry version of the triclinic $γ$-phase $\mathrm{Ta_2O_5}$ predicted by Yang and Kawazoe. Our calculation shows that $γ$-phase $\mathrm{Ta_2O_5}$ will automatically be transformed into the $η$-phase during structural relaxation. Phonon dispersion confirms that the $η$-phase is dynamically stable, while the high temperature $α$-phase $\mathrm{Ta_2O_5}$, which also has the $I4_1/amd$ symmetry, is unstable at zero temperature. A thorough energy comparison of the $β_{AL}$, $δ$, $λ$, $\mathrm{B}$, $\mathrm{L_{SR}}$, $β_R$, $Pm$, $Cmmm$, $γ$, $η$ and $α$ phases of $\mathrm{Ta_2O_5}$ is carried out. The GGA-1/2 method is applied in calculating the electronic structure of various phases, where the $η$-phase demonstrates a 4.24 eV indirect band gap, close to experimental value. The high symmetry tetragonal phase together with computationally efficient GGA-1/2 method greatly facilitate the $ab\ initio$ simulation of $\mathrm{Ta_2O_5}$-based devices. As an example, we have explicitly shown the Ohmic contact nature between metal Ta and $\mathrm{Ta_2O_5}$ by calculating an interface model of $b.c.c.$ Ta and $η$-$\mathrm{Ta_2O_5}$, using GGA-1/2. △ Less

Submitted 28 December, 2018; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: 27 pages, 8 figures

Journal ref: Annalen der Physik 531, 1800524 (2019)

A rule-based system proposal to aid in the evaluation and decision-making in external beam radiation treatment planning

Authors: R. C. Fernandes, T. M. Machado, H. J. Onisto, A. D. Muñoz, R. O. Silva, L. R. Domingues, G. C. Fonseca, J. E. Bertuzzo, M. T. Pereira, B. Biazotto, E. T. Costa

Abstract: As part of a plan launched by the Ministry of Health of Brazil to increase the availability of linear accelerators for radiotherapy treatment for the whole country, for which Varian Medical Systems company has won the bidding, a technical cooperation agreement was signed inviting Brazilian Scientific and Technological Institutions to participate in a technology transfer program. As a result, joint… ▽ More As part of a plan launched by the Ministry of Health of Brazil to increase the availability of linear accelerators for radiotherapy treatment for the whole country, for which Varian Medical Systems company has won the bidding, a technical cooperation agreement was signed inviting Brazilian Scientific and Technological Institutions to participate in a technology transfer program. As a result, jointly, the Eldorado Research Institute and the Center for Biomedical Engineering of the University of Campinas presents in this work, the concepts behind of a proposed rule engine to aid in the evaluation and decision-making in radiotherapy treatment planning. Normally, the determination of the radiation dose for a given patient is a complex and intensive procedure, which requires a lot of domain knowledge and subjective experience from the oncologists' team. In order to help them in this complex task, and additionally, provide an auxiliary tool for less experienced oncologists, it is presented a project conception of a software system that will make use of a hybrid data-oriented approach. The proposed rule engine will apply both inference mechanism and expression evaluation to verify and accredit the quality of an external beam radiation treatment plan by considering, at first, the 3D-conformal radiotherapy (3DCRT) technique. △ Less

Submitted 29 November, 2018; originally announced November 2018.

Comments: 20 pages

Charge spill-out and work function of few-layer graphene on SiC(0001)

Authors: O. Renault, A. M. Pascon, H. Rotella, K. Kaja, C. Mathieu, J. E. Rault, P. Blaise, T. Poiroux, N. Barrett, L. R. C. Fonseca

Abstract: We report on the charge spill-out and work function of epitaxial few-layer graphene on 6H-SiC(0001). Experiments from high-resolution, energy-filtered X-ray photoelectron emission microscopy (XPEEM) are combined with ab initio Density Functional Theory calculations using a relaxed interface model. Work function values obtained from theory and experiments are in qualitative agreement, reproducing t… ▽ More We report on the charge spill-out and work function of epitaxial few-layer graphene on 6H-SiC(0001). Experiments from high-resolution, energy-filtered X-ray photoelectron emission microscopy (XPEEM) are combined with ab initio Density Functional Theory calculations using a relaxed interface model. Work function values obtained from theory and experiments are in qualitative agreement, reproducing the previously observed trend of increasing work function with each additional graphene plane. Electrons transfer at the SiC/graphene interface through a buffer layer causes an interface dipole moment which is at the origin of the graphene work function modulation. The total charge transfer is independent of the number of graphene layers, and is consistent with the constant binding energy of the SiC component of the C 1s core-level measured by XPEEM. Charge leakage into vacuum depends on the number of graphene layers explaining why the experimental, layer-dependent C 1s-graphene core-level binding energy shift does not rigidly follow that of the work function. Thus, a combination of charge transfer at the SiC/graphene interface and charge spill-out into vacuum resolves the apparent discrepancy between the experimental work function and C1s binding energy. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 14 pages, 9 figures

Journal ref: Journal of Physics D: Applied Physics 47, 295303 (2014)

The $μ$-permanent revisited

Authors: Carlos M. da Fonseca

Abstract: Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting prope… ▽ More Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting properties. Some determinantal conjectures are considered and extended to that polynomial. A correction to a previous note is presented as well. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Comments: This manuscript is largely based on the talk "On a generalization of the determinant of a matrix" that the author gave in Washington \& Lee University, Lexington, VA, USA, on July 19, 2012. It was submitted to Linear and Multilinear Algebra on September 20, 2015. A reduced form will be published as a Letter to the Editor in the same journal

MSC Class: 15A45; 15A15; 05C50; 05C20

On dimension of poset variety

Authors: Claudia Cavalcante Fonseca, Kostiantyn Iusenko

Abstract: For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set, which gives a geometric interpretation of this form. For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set, which gives a geometric interpretation of this form. △ Less

Submitted 20 June, 2018; v1 submitted 1 April, 2018; originally announced April 2018.

Comments: 12 pages, several typos were fixed

MSC Class: 15A63; 16G20

Journal ref: Linear Algebra and its Applications, 2019

Bayesian cross-validation of geostatistical models

Authors: Viviana G R Lobo, Thaís C O da Fonseca, Fernando A S Moura

Abstract: The problem of validating or criticising models for georeferenced data is challenging, since the conclusions can vary significantly depending on the locations of the validation set. This work proposes the use of cross-validation techniques to assess the goodness of fit of spatial models in different regions of the spatial domain to account for uncertainty in the choice of the validation sets. An o… ▽ More The problem of validating or criticising models for georeferenced data is challenging, since the conclusions can vary significantly depending on the locations of the validation set. This work proposes the use of cross-validation techniques to assess the goodness of fit of spatial models in different regions of the spatial domain to account for uncertainty in the choice of the validation sets. An obvious problem with the basic cross-validation scheme is that it is based on selecting only a few out of sample locations to validate the model, possibily making the conclusions sensitive to which partition of the data into training and validation cases is utilized. A possible solution to this issue would be to consider all possible configurations of data divided into training and validation observations. From a Bayesian point of view, this could be computationally demanding, as estimation of parameters usually requires Monte Carlo Markov Chain methods. To deal with this problem, we propose the use of estimated discrepancy functions considering all configurations of data partition in a computationally efficient manner based on sampling importance resampling. In particular, we consider uncertainty in the locations by assigning a prior distribution to them. Furthermore, we propose a stratified cross-validation scheme to take into account spatial heterogeneity, reducing the total variance of estimated predictive discrepancy measures considered for model assessment. We illustrate the advantages of our proposal with simulated examples of homogeneous and inhomogeneous spatial processes to investigate the effects of our proposal in scenarios of preferential sampling designs. The methods are illustrated with an application to a rainfall dataset. △ Less

Submitted 16 February, 2018; originally announced February 2018.

Bayesian covariance modeling of multivariate spatial random fields

Authors: Rafael S. Erbisti, Thais C. O. Fonseca, Mariane B. Alves

Abstract: In this work we present full Bayesian inference for a new flexible nonseparable class of cross-covariance functions for multivariate spatial data. A Bayesian test is proposed for separability of covariance functions which is much more interpretable than parameters related to separability. Spatial models have been increasingly applied in several areas, such as environmental science, climate science… ▽ More In this work we present full Bayesian inference for a new flexible nonseparable class of cross-covariance functions for multivariate spatial data. A Bayesian test is proposed for separability of covariance functions which is much more interpretable than parameters related to separability. Spatial models have been increasingly applied in several areas, such as environmental science, climate science and agriculture. These data are usually available in space, time and possibly for several processes. In this context the modeling of dependence is crucial for correct uncertainty quantification and reliable predictions. In particular, for multivariate spatial data we need to specify a valid cross-covariance function, which defines the dependence between the components of a response vector for all locations in the spatial domain. However, cross-covariance functions are not easily specified and the computational burden is a limitation for model complexity. In this work, we propose a nonseparable covariance function that is based on the convex combination of separable covariance functions and on latent dimensions representation of the vector components. The covariance structure proposed is valid and flexible. We simulate four different scenarios for different degrees of separability and compute the posterior probability of separability. It turns out that the posterior probability is much easier to interpret than actual model parameters. We illustrate our methodology with a weather dataset from Ceará, Brazil. △ Less

Submitted 20 July, 2017; originally announced July 2017.

Forbidden branches in trees with minimal atom-bond connectivity index

Authors: Darko Dimitrov, Zhibin Du, Carlos M. da Fonseca

Abstract: The atom-bond connectivity (ABC) index has been, in recent years, one of the most actively studied vertex-degree-based graph invariants in chemical graph theory. For a given graph $G$, the ABC index is defined as $\sum_{uv\in E}\sqrt{\frac{d(u) +d(v)-2}{d(u)d(v)}}$, where $d(u)$ is the degree of vertex $u$ in $G$ and $E(G)$ denotes the set of edges of $G$. In this paper we present some new structu… ▽ More The atom-bond connectivity (ABC) index has been, in recent years, one of the most actively studied vertex-degree-based graph invariants in chemical graph theory. For a given graph $G$, the ABC index is defined as $\sum_{uv\in E}\sqrt{\frac{d(u) +d(v)-2}{d(u)d(v)}}$, where $d(u)$ is the degree of vertex $u$ in $G$ and $E(G)$ denotes the set of edges of $G$. In this paper we present some new structural properties of trees with a minimal ABC index (also refer to as a minimal-ABC tree), which is a step further towards understanding their complete characterization. We show that a minimal-ABC tree cannot simultaneously contain a $B_4$-branch and $B_1$ or $B_2$-branches. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Journal ref: Applied Mathematics and Computation, Volume 313, 15 November 2017, Pages 418 - 430

Unsure When to Stop? Ask Your Semantic Neighbors

Authors: Ivo Gonçalves, Sara Silva, Carlos M. Fonseca, Mauro Castelli

Abstract: In iterative supervised learning algorithms it is common to reach a point in the search where no further induction seems to be possible with the available data. If the search is continued beyond this point, the risk of overfitting increases significantly. Following the recent developments in inductive semantic stochastic methods, this paper studies the feasibility of using information gathered fro… ▽ More In iterative supervised learning algorithms it is common to reach a point in the search where no further induction seems to be possible with the available data. If the search is continued beyond this point, the risk of overfitting increases significantly. Following the recent developments in inductive semantic stochastic methods, this paper studies the feasibility of using information gathered from the semantic neighborhood to decide when to stop the search. Two semantic stopping criteria are proposed and experimentally assessed in Geometric Semantic Genetic Programming (GSGP) and in the Semantic Learning Machine (SLM) algorithm (the equivalent algorithm for neural networks). The experiments are performed on real-world high-dimensional regression datasets. The results show that the proposed semantic stopping criteria are able to detect stopping points that result in a competitive generalization for both GSGP and SLM. This approach also yields computationally efficient algorithms as it allows the evolution of neural networks in less than 3 seconds on average, and of GP trees in at most 10 seconds. The usage of the proposed semantic stopping criteria in conjunction with the computation of optimal mutation/learning steps also results in small trees and neural networks. △ Less

Submitted 19 June, 2017; originally announced June 2017.

On an atom with a magnetic quadrupole moment in a rotating frame

Authors: I. C. Fonseca, K. Bakke

Abstract: The quantum description of an atom with a magnetic quadrupole moment in the presence of a uniform effective magnetic field is analysed. The atom is also subject to rotation and a scalar potential proportional to the inverse of the radial distance. It is shown that the spectrum of energy is modified, in contrast to the Landau-type levels, and there is a restriction on the possible values of the cyc… ▽ More The quantum description of an atom with a magnetic quadrupole moment in the presence of a uniform effective magnetic field is analysed. The atom is also subject to rotation and a scalar potential proportional to the inverse of the radial distance. It is shown that the spectrum of energy is modified, in contrast to the Landau-type levels, and there is a restriction on the possible values of the cyclotron frequency which stems from the influence of the rotation and scalar potential proportional to the inverse of the radial distance. △ Less

Submitted 24 May, 2017; originally announced May 2017.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1705.08193

Journal ref: Eur. Phys. J. Plus 132, 24 (2017)

Quantum effects on an atom with a magnetic quadrupole moment in a region with a time-dependent magnetic field

Authors: I. C. Fonseca, K. Bakke

Abstract: The quantum description of an atom with a magnetic quadrupole moment in the presence of a time-dependent magnetic field is analysed. It is shown that the time-dependent magnetic field induces an electric field that interacts with the magnetic quadrupole moment of the atom and gives rise to a Landau-type quantization. It is also shown that a time-independent Schrödinger equation can be obtained, i.… ▽ More The quantum description of an atom with a magnetic quadrupole moment in the presence of a time-dependent magnetic field is analysed. It is shown that the time-dependent magnetic field induces an electric field that interacts with the magnetic quadrupole moment of the atom and gives rise to a Landau-type quantization. It is also shown that a time-independent Schrödinger equation can be obtained, i.e., without existing the interaction between the magnetic quadrupole moment of the atom and the time-dependent magnetic field, therefore, the Schrödinger equation can be solved exactly. It is also analysed this system subject to scalar potentials. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 16 pages

Journal ref: Few-Body Syst 58, 1 (2017)

Four-body calculation of ${}^2\mathrm{H}(d,p){}^3\mathrm{H}$ and ${}^2\mathrm{H}(d,n){}^3\mathrm{He}$ reactions above breakup threshold

Authors: A. Deltuva, A. C. Fonseca

Abstract: Nucleon transfer reactions in deuteron-deuteron collisions at energies above the three- and four-body breakup threshold are described using exact four-body equations for transition operators that are solved in the momentum-space framework. Differential cross sections, analyzing powers, polarizations, and spin transfer coefficients are obtained using realistic two-nucleon potentials and including t… ▽ More Nucleon transfer reactions in deuteron-deuteron collisions at energies above the three- and four-body breakup threshold are described using exact four-body equations for transition operators that are solved in the momentum-space framework. Differential cross sections, analyzing powers, polarizations, and spin transfer coefficients are obtained using realistic two-nucleon potentials and including the Coulomb repulsion between protons. Overall good agreement between predictions and experimental data is found. Most remarkable discrepancies are seen around the minima of the differential cross section at higher energies and in the outgoing nucleon polarization at lower energies. △ Less

Submitted 3 February, 2017; originally announced February 2017.

Comments: 7 pages, 7 figures, to be published in Phys. Rev. C. arXiv admin note: text overlap with arXiv:1508.00336

Journal ref: Phys. Rev. C 95, 024003 (2017)

Improved self-energy correction method for accurate and efficient band structure calculation

Authors: Kan-Hao Xue, Jun-Hui Yuan, Leonardo R. C. Fonseca, Xiang-Shui Miao

Abstract: The LDA-1/2 method for self-energy correction is a powerful tool for calculating accurate band structures of semiconductors, while keeping the computational load as low as standard LDA. Nevertheless, controversies remain regarding the arbitrariness of choice between (1/2)e and (1/4)e charge stripping from the atoms in group IV semiconductors, the incorrect direct band gap predicted for Ge, and ina… ▽ More The LDA-1/2 method for self-energy correction is a powerful tool for calculating accurate band structures of semiconductors, while keeping the computational load as low as standard LDA. Nevertheless, controversies remain regarding the arbitrariness of choice between (1/2)e and (1/4)e charge stripping from the atoms in group IV semiconductors, the incorrect direct band gap predicted for Ge, and inaccurate band structures for III-V semiconductors. Here we propose an improved method named shell-LDA-1/2 (shLDA-1/2 for short), which is based on a shell-like trimming function for the self-energy potential. With the new approach, we obtained accurate band structures for group IV, and for III-V and II-VI compound semiconductors. In particular, we reproduced the complete band structure of Ge in good agreement with experimental data. Moreover, we have defined clear rules for choosing when (1/2)e or (1/4)e charge ought to be stripped in covalent semiconductors, and for identifying materials for which shLDA-1/2 is expected to fail. △ Less

Submitted 31 January, 2017; v1 submitted 10 January, 2017; originally announced January 2017.

Comments: 15 pages, 4 figures, 1 table

Journal ref: Computational Materials Science 153, 493 (2018)

Topological classification of systems of bilinear and sesquilinear forms

Authors: Carlos M. da Fonseca, Vyacheslav Futorny, Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for $i=1,\dots,s$. We prove that $\cal A$ is transformed to $\cal B$ by homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if $\cal A$ is transformed to… ▽ More Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for $i=1,\dots,s$. We prove that $\cal A$ is transformed to $\cal B$ by homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if $\cal A$ is transformed to $\cal B$ by linear bijections within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$. △ Less

Submitted 26 November, 2016; originally announced November 2016.

Comments: 5 pages

MSC Class: 15A21; 37C15

Journal ref: Linear Algebra Appl. 515 (2017) 1-5

Localized four-dimensional gravity in the D-brane background with NS $B$ field

Authors: R. C. Fonseca, F. A. Brito, L. Losano

Abstract: We calculate small correction terms to gravitational potential near $p$-branes embedded in a constant NS $B$ field background in the context of M-theory or string theory. The normalizable wave functions of gravity fluctuations around the brane describe only massive modes. We compute such wave functions analytically. We estimate the correction to gravitational potential for small and long distances… ▽ More We calculate small correction terms to gravitational potential near $p$-branes embedded in a constant NS $B$ field background in the context of M-theory or string theory. The normalizable wave functions of gravity fluctuations around the brane describe only massive modes. We compute such wave functions analytically. We estimate the correction to gravitational potential for small and long distances, and show that there is an intermediate range of distances in which we can identify $4D$ gravity on the brane below a crossover scale given in terms of components of the $B$ field. The $4D$ gravity is metastable and for distances much larger than the crossover scale the $5D$ gravity is recovered. △ Less

Submitted 11 November, 2016; originally announced November 2016.

Comments: 7 pages, 2 figures, Latex

Benchmark calculation of p-3H and n-3He scattering

Authors: M. Viviani, A. Deltuva, R. Lazauskas, A. C. Fonseca, A. Kievsky, L. E. Marcucci

Abstract: p-3H and n-3He scattering in the energy range above the n-3He but below the d-d thresholds is studied by solving the 4-nucleon problem with a realistic nucleon-nucleon interaction. Three different methods -- Alt, Grassberger and Sandhas, Hyperspherical Harmonics, and Faddeev-Yakubovsky -- have been employed and their results for both elastic and charge-exchange processes are compared. We observe a… ▽ More p-3H and n-3He scattering in the energy range above the n-3He but below the d-d thresholds is studied by solving the 4-nucleon problem with a realistic nucleon-nucleon interaction. Three different methods -- Alt, Grassberger and Sandhas, Hyperspherical Harmonics, and Faddeev-Yakubovsky -- have been employed and their results for both elastic and charge-exchange processes are compared. We observe a good agreement between the three different methods, thus the obtained results may serve as a benchmark. A comparison with the available experimental data is also reported and discussed. △ Less

Submitted 28 October, 2016; originally announced October 2016.

Comments: 13 pages, 6 figures. arXiv admin note: text overlap with arXiv:1109.3625

Journal ref: Phys. Rev. C 95, 034003 (2017)

The $μ$-permanent, a new graph labeling, and a known integer sequence

Authors: Milica Anđelić, Carlos M. da Fonseca, António Pereira

Abstract: Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain… ▽ More Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided. △ Less

Submitted 14 September, 2016; originally announced September 2016.

Comments: The example for a $μ$-labeling on page 3 has been corrected

MSC Class: 15A15; 05C50; 05C78; 05C30; 68R10; 11B83

On a neutral particle with a magnetic quadrupole moment in a uniform effective magnetic field

Authors: I. C. Fonseca, K. Bakke

Abstract: Quantum effects on a Landau-type system associated with a moving atom with a magnetic quadrupole moment subject to confining potentials are analysed. It is shown that the spectrum of energy of the Landau-type system can be modified, where the degeneracy of the energy levels can be broken. In three particular cases, it is shown that the analogue of the cyclotron frequency is modified, and the possi… ▽ More Quantum effects on a Landau-type system associated with a moving atom with a magnetic quadrupole moment subject to confining potentials are analysed. It is shown that the spectrum of energy of the Landau-type system can be modified, where the degeneracy of the energy levels can be broken. In three particular cases, it is shown that the analogue of the cyclotron frequency is modified, and the possible values of this angular frequency of the system are determined by the quantum numbers associated with the radial modes and the angular momentum and by the parameters associated with confining potentials in order that bound states solutions can be achieved. △ Less

Submitted 16 June, 2016; originally announced June 2016.

Comments: Accepted for publication in Advances in High Energy Physics. arXiv admin note: text overlap with arXiv:1603.01518

Journal ref: Advances in High Energy Physics 2016, 9153079 (2016)