-
Coercive Field Reduction in Ultra-thin Al1-XScXN via Interfacial Engineering with a Scandium Electrode
Authors:
Yinuo Zhang,
Rajeev Kumar Rai,
Giovanni Esteves,
Yubo Wang,
Deep M. Jariwala,
Eric A. Stach,
Roy H. Olsson III
Abstract:
Aluminum scandium nitride (AlScN) ferroelectrics are promising for next-generation non-volatile memory applications due to their high remnant polarization as well as fast switching and scalability to nanometer thicknesses. As device dimensions shrink, the coercive field in ultra-thin ferroelectric films increases, which challenges low-voltage operation. We demonstrate that interfacial engineering…
▽ More
Aluminum scandium nitride (AlScN) ferroelectrics are promising for next-generation non-volatile memory applications due to their high remnant polarization as well as fast switching and scalability to nanometer thicknesses. As device dimensions shrink, the coercive field in ultra-thin ferroelectric films increases, which challenges low-voltage operation. We demonstrate that interfacial engineering through bottom electrode selection and strain management reduces this coercive field increase and improves ferroelectric performance. Robust ferroelectricity is observed in ultra-thin AlScN capacitors deposited on a Sc bottom electrode under both alternating current and direct current conditions. The coercive field is reduced by over 20 percent compared to capacitors with an Al bottom electrode. Furthermore, dynamic switching behavior is analyzed using the KAI model. At low frequencies (less than 16.7 kHz), capacitors with Sc and Al bottom electrodes exhibit comparable KAI exponents (0.036 and 0.028, respectively), indicating similar switching kinetics. However, at higher frequencies, the capacitor with an Al bottom electrode shows a significantly higher exponent (0.093), indicating stronger frequency dependence, whereas the capacitor with a Sc bottom electrode maintains a stable exponent of 0.036. Scanning Electron Nanobeam Diffraction is used to measure strain differences in AlScN thin films grown on templates with different lattice mismatch, revealing a correlation between lattice mismatch, film strain, and switching behavior in ultra-thin films.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Evaluating the Effectiveness of LLMs in Fixing Maintainability Issues in Real-World Projects
Authors:
Henrique Nunes,
Eduardo Figueiredo,
Larissa Rocha,
Sarah Nadi,
Fischer Ferreira,
Geanderson Esteves
Abstract:
Large Language Models (LLMs) have gained attention for addressing coding problems, but their effectiveness in fixing code maintainability remains unclear. This study evaluates LLMs capability to resolve 127 maintainability issues from 10 GitHub repositories. We use zero-shot prompting for Copilot Chat and Llama 3.1, and few-shot prompting with Llama only. The LLM-generated solutions are assessed f…
▽ More
Large Language Models (LLMs) have gained attention for addressing coding problems, but their effectiveness in fixing code maintainability remains unclear. This study evaluates LLMs capability to resolve 127 maintainability issues from 10 GitHub repositories. We use zero-shot prompting for Copilot Chat and Llama 3.1, and few-shot prompting with Llama only. The LLM-generated solutions are assessed for compilation errors, test failures, and new maintainability problems. Llama with few-shot prompting successfully fixed 44.9% of the methods, while Copilot Chat and Llama zero-shot fixed 32.29% and 30%, respectively. However, most solutions introduced errors or new maintainability issues. We also conducted a human study with 45 participants to evaluate the readability of 51 LLM-generated solutions. The human study showed that 68.63% of participants observed improved readability. Overall, while LLMs show potential for fixing maintainability issues, their introduction of errors highlights their current limitations.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
The e-value and the Full Bayesian Significance Test: Logical Properties and Philosophical Consequences
Authors:
Julio Michael Stern,
Carlos Alberto de Braganca Pereira,
Marcelo de Souza Lauretto,
Luis Gustavo Esteves,
Rafael Izbicki,
Rafael Bassi Stern,
Marcio Alves Diniz,
Wagner de Souza Borges
Abstract:
This article gives a conceptual review of the e-value, ev(H|X) -- the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this stat…
▽ More
This article gives a conceptual review of the e-value, ev(H|X) -- the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this statistical test by its logical or compositional properties, showing a mutual complementarity between results of mathematical statistics and the logical desiderata lying at the foundations of this theory.
△ Less
Submitted 22 June, 2024; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Logical coherence in Bayesian simultaneous three-way hypothesis tests
Authors:
Bernardo F. Reimann,
Rafael Izbicki,
Julio M. Stern,
Rafael B. Stern,
Luis G. Esteves
Abstract:
This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes simultaneous test be logically coherent. Second, if more general loss functions are used, then it is possible to obtain Bayes simultaneous tests that are always logi…
▽ More
This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes simultaneous test be logically coherent. Second, if more general loss functions are used, then it is possible to obtain Bayes simultaneous tests that are always logically coherent. An explicit example of such a loss function is provided.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Reconfigurable Compute-In-Memory on Field-Programmable Ferroelectric Diodes
Authors:
Xiwen Liu,
John Ting,
Yunfei He,
Merrilyn Mercy Adzo Fiagbenu,
Jeffrey Zheng,
Dixiong Wang,
Jonathan Frost,
Pariasadat Musavigharavi,
Giovanni Esteves,
Kim Kisslinger,
Surendra B. Anantharaman,
Eric A. Stach,
Roy H. Olsson III,
Deep Jariwala
Abstract:
The deluge of sensors and data generating devices has driven a paradigm shift in modern computing from arithmetic-logic centric to data-centric processing. Data-centric processing require innovations at device level to enable novel compute-in-memory (CIM) operations. A key challenge in construction of CIM architectures is the conflicting trade-off between the performance and their flexibility for…
▽ More
The deluge of sensors and data generating devices has driven a paradigm shift in modern computing from arithmetic-logic centric to data-centric processing. Data-centric processing require innovations at device level to enable novel compute-in-memory (CIM) operations. A key challenge in construction of CIM architectures is the conflicting trade-off between the performance and their flexibility for various essential data operations. Here, we present a transistor-free CIM architecture that permits storage, search and neural network operations on sub-50nm thick Aluminum Scandium Nitride ferroelectric diodes (FeDs). Our circuit designs and devices can be directly integrated on top of Silicon microprocessors in a scalable process. By leveraging the field-programmability, non-volatility and non-linearity of FeDs, search operations are demonstrated with a cell footprint < 0.12 um2 when projected onto 45-nm node technology. We further demonstrate neural network operations with 4-bit operation using FeDs. Our results highlight FeDs as candidates for efficient and multifunctional CIM platforms.
△ Less
Submitted 9 September, 2024; v1 submitted 10 February, 2022;
originally announced February 2022.
-
Teaching decision theory proof strategies using a crowdsourcing problem
Authors:
Luis G. Esteves,
Rafael Izbicki,
Rafael B. Stern
Abstract:
Teaching how to derive minimax decision rules can be challenging because of the lack of examples that are simple enough to be used in the classroom. Motivated by this challenge, we provide a new example that illustrates the use of standard techniques in the derivation of optimal decision rules under the Bayes and minimax approaches. We discuss how to predict the value of an unknown quantity,…
▽ More
Teaching how to derive minimax decision rules can be challenging because of the lack of examples that are simple enough to be used in the classroom. Motivated by this challenge, we provide a new example that illustrates the use of standard techniques in the derivation of optimal decision rules under the Bayes and minimax approaches. We discuss how to predict the value of an unknown quantity, $θ\! \in \! \{0,1\}$, given the opinions of $n$ experts. An important example of such crowdsourcing problem occurs in modern cosmology, where $θ$ indicates whether a given galaxy is merging or not, and $Y_1, \ldots, Y_n$ are the opinions from $n$ astronomers regarding $θ$. We use the obtained prediction rules to discuss advantages and disadvantages of the Bayes and minimax approaches to decision theory. The material presented here is intended to be taught to first-year graduate students.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Logically-consistent hypothesis testing in the hexagon of oppositions
Authors:
Julio M. Stern,
Luis G. Esteves,
Rafael Izbicki,
Rafael B. Stern
Abstract:
Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests…
▽ More
Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Interpretable hypothesis tests
Authors:
Victor Coscrato,
Luís Gustavo Esteves,
Rafael Izbicki,
Rafael Bassi Stern
Abstract:
Although hypothesis tests play a prominent role in Science, their interpretation can be challenging. Three issues are (i) the difficulty in making an assertive decision based on the output of an hypothesis test, (ii) the logical contradictions that occur in multiple hypothesis testing, and (iii) the possible lack of practical importance when rejecting a precise hypothesis. These issues can be addr…
▽ More
Although hypothesis tests play a prominent role in Science, their interpretation can be challenging. Three issues are (i) the difficulty in making an assertive decision based on the output of an hypothesis test, (ii) the logical contradictions that occur in multiple hypothesis testing, and (iii) the possible lack of practical importance when rejecting a precise hypothesis. These issues can be addressed through the use of agnostic tests and pragmatic hypotheses.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
Pragmatic hypotheses in the evolution of science
Authors:
Luis G. Esteves,
Rafael Izbicki,
Rafael B. Stern,
Julio M. Stern
Abstract:
This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be acce…
▽ More
This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These pragmatic versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais.
△ Less
Submitted 24 December, 2018;
originally announced December 2018.
-
maigesPack: A Computational Environment for Microarray Data Analysis
Authors:
Gustavo H. Esteves,
Roberto Hirata Jr
Abstract:
Microarray technology is still an important way to assess gene expression in molecular biology, mainly because it measures expression profiles for thousands of genes simultaneously, what makes this technology a good option for some studies focused on systems biology. One of its main problem is complexity of experimental procedure, presenting several sources of variability, hindering statistical mo…
▽ More
Microarray technology is still an important way to assess gene expression in molecular biology, mainly because it measures expression profiles for thousands of genes simultaneously, what makes this technology a good option for some studies focused on systems biology. One of its main problem is complexity of experimental procedure, presenting several sources of variability, hindering statistical modeling. So far, there is no standard protocol for generation and evaluation of microarray data. To mitigate the analysis process this paper presents an R package, named maigesPack, that helps with data organization. Besides that, it makes data analysis process more robust, reliable and reproducible. Also, maigesPack aggregates several data analysis procedures reported in literature, for instance: cluster analysis, differential expression, supervised classifiers, relevance networks and functional classification of gene groups or gene networks.
△ Less
Submitted 11 November, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.
