-
Effects of Oxidation on the Tribological Properties of Diamond Sliding Against Silica. Insights from Ab initio Molecular Dynamics
Authors:
Huong T. T. Ta,
Nam V. Tran,
M. C. Righi
Abstract:
Tribological phenomena such as adhesion, friction, and wear can undermine the functionality of devices and applications based on the diamond-silica interface. Controlling these phenomena is highly desirable, but difficult since extrinsic factors, such as the surface termination by adsorbed species, can deeply affect the reactivity of diamond and its resistance to wear. In this work, we investigate…
▽ More
Tribological phenomena such as adhesion, friction, and wear can undermine the functionality of devices and applications based on the diamond-silica interface. Controlling these phenomena is highly desirable, but difficult since extrinsic factors, such as the surface termination by adsorbed species, can deeply affect the reactivity of diamond and its resistance to wear. In this work, we investigate the effects of diamond oxidation by massive ab initio molecular dynamics simulations of silica sliding against diamond surfaces considering different surface orientations, O-coverages, and tribological conditions. Our findings reveal a dual role of oxygen that depends on coverage. At full coverage, the adsorbed oxygen is very effective in friction and wear reduction because the repulsion with the silica counter-surface prevents the formation of chemical bonds across the interface. At reduced coverage and high pressure, Si-O-C bonds are anyway established. In this situation the presence of oxygen results detrimental as it weakens the surface C-C bonds making the surface more vulnerable to wear. Indeed we observed atomic wear on the C(110) surface at 50% O-coverage under harsh tribological conditions. The mechanisms of friction reduction and atomistic wear are explained through the analysis of the electronic properties and surface-surface interactions. Overall, our accurate in silico experiments shed light into the effects of adsorbed oxygen on the tribological behavior of diamond and show how oxidized diamond can be worn by silica.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Atomistic Wear Mechanisms in Diamond: Effects of Surface Orientation, Stress, and Interaction with Adsorbed Molecules
Authors:
Huong T. T. Ta,
Nam V. Tran,
M. C. Righi
Abstract:
Despite its unrivaled hardness, diamond can be severely worn during the interaction with others, even softer materials. In this work, we calculate from first-principles the energy and forces necessary to induce the atomistic wear of diamond, and compare them for different surface orientations and passivation by oxygen, hydrogen, and water fragments. The primary mechanism of wear is identified as t…
▽ More
Despite its unrivaled hardness, diamond can be severely worn during the interaction with others, even softer materials. In this work, we calculate from first-principles the energy and forces necessary to induce the atomistic wear of diamond, and compare them for different surface orientations and passivation by oxygen, hydrogen, and water fragments. The primary mechanism of wear is identified as the detachment of carbon chains. This is particularly true for oxidized diamond and diamond interacting with silica. A very interesting result concerns the role of stress, which reveals that compressive stresses can highly favor wear, making it even energetically favorable.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Transformer-based approaches to Sentiment Detection
Authors:
Olumide Ebenezer Ojo,
Hoang Thang Ta,
Alexander Gelbukh,
Hiram Calvo,
Olaronke Oluwayemisi Adebanji,
Grigori Sidorov
Abstract:
The use of transfer learning methods is largely responsible for the present breakthrough in Natural Learning Processing (NLP) tasks across multiple domains. In order to solve the problem of sentiment detection, we examined the performance of four different types of well-known state-of-the-art transformer models for text classification. Models such as Bidirectional Encoder Representations from Tran…
▽ More
The use of transfer learning methods is largely responsible for the present breakthrough in Natural Learning Processing (NLP) tasks across multiple domains. In order to solve the problem of sentiment detection, we examined the performance of four different types of well-known state-of-the-art transformer models for text classification. Models such as Bidirectional Encoder Representations from Transformers (BERT), Robustly Optimized BERT Pre-training Approach (RoBERTa), a distilled version of BERT (DistilBERT), and a large bidirectional neural network architecture (XLNet) were proposed. The performance of the four models that were used to detect disaster in the text was compared. All the models performed well enough, indicating that transformer-based models are suitable for the detection of disaster in text. The RoBERTa transformer model performs best on the test dataset with a score of 82.6% and is highly recommended for quality predictions. Furthermore, we discovered that the learning algorithms' performance was influenced by the pre-processing techniques, the nature of words in the vocabulary, unbalanced labeling, and the model parameters.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Map** Process for the Task: Wikidata Statements to Text as Wikipedia Sentences
Authors:
Hoang Thang Ta,
Alexander Gelbukha,
Grigori Sidorov
Abstract:
Acknowledged as one of the most successful online cooperative projects in human society, Wikipedia has obtained rapid growth in recent years and desires continuously to expand content and disseminate knowledge values for everyone globally. The shortage of volunteers brings to Wikipedia many issues, including develo** content for over 300 languages at the present. Therefore, the benefit that mach…
▽ More
Acknowledged as one of the most successful online cooperative projects in human society, Wikipedia has obtained rapid growth in recent years and desires continuously to expand content and disseminate knowledge values for everyone globally. The shortage of volunteers brings to Wikipedia many issues, including develo** content for over 300 languages at the present. Therefore, the benefit that machines can automatically generate content to reduce human efforts on Wikipedia language projects could be considerable. In this paper, we propose our map** process for the task of converting Wikidata statements to natural language text (WS2T) for Wikipedia projects at the sentence level. The main step is to organize statements, represented as a group of quadruples and triples, and then to map them to corresponding sentences in English Wikipedia. We evaluate the output corpus in various aspects: sentence structure analysis, noise filtering, and relationships between sentence components based on word embedding models. The results are helpful not only for the data-to-text generation task but also for other relevant works in the field.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
WikiDes: A Wikipedia-Based Dataset for Generating Short Descriptions from Paragraphs
Authors:
Hoang Thang Ta,
Abu Bakar Siddiqur Rahman,
Navonil Majumder,
Amir Hussain,
Lotfollah Najjar,
Newton Howard,
Soujanya Poria,
Alexander Gelbukh
Abstract:
As free online encyclopedias with massive volumes of content, Wikipedia and Wikidata are key to many Natural Language Processing (NLP) tasks, such as information retrieval, knowledge base building, machine translation, text classification, and text summarization. In this paper, we introduce WikiDes, a novel dataset to generate short descriptions of Wikipedia articles for the problem of text summar…
▽ More
As free online encyclopedias with massive volumes of content, Wikipedia and Wikidata are key to many Natural Language Processing (NLP) tasks, such as information retrieval, knowledge base building, machine translation, text classification, and text summarization. In this paper, we introduce WikiDes, a novel dataset to generate short descriptions of Wikipedia articles for the problem of text summarization. The dataset consists of over 80k English samples on 6987 topics. We set up a two-phase summarization method - description generation (Phase I) and candidate ranking (Phase II) - as a strong approach that relies on transfer and contrastive learning. For description generation, T5 and BART show their superiority compared to other small-scale pre-trained models. By applying contrastive learning with the diverse input from beam search, the metric fusion-based ranking models outperform the direct description generation models significantly up to 22 ROUGE in topic-exclusive split and topic-independent split. Furthermore, the outcome descriptions in Phase II are supported by human evaluation in over 45.33% chosen compared to 23.66% in Phase I against the gold descriptions. In the aspect of sentiment analysis, the generated descriptions cannot effectively capture all sentiment polarities from paragraphs while doing this task better from the gold descriptions. The automatic generation of new descriptions reduces the human efforts in creating them and enriches Wikidata-based knowledge graphs. Our paper shows a practical impact on Wikipedia and Wikidata since there are thousands of missing descriptions. Finally, we expect WikiDes to be a useful dataset for related works in capturing salient information from short paragraphs. The curated dataset is publicly available at: https://github.com/declare-lab/WikiDes.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
A formal proof of the Kepler conjecture
Authors:
Thomas Hales,
Mark Adams,
Gertrud Bauer,
Dat Tat Dang,
John Harrison,
Truong Le Hoang,
Cezary Kaliszyk,
Victor Magron,
Sean McLaughlin,
Thang Tat Nguyen,
Truong Quang Nguyen,
Tobias Nipkow,
Steven Obua,
Joseph Pleso,
Jason Rute,
Alexey Solovyev,
An Hoai Thi Ta,
Trung Nam Tran,
Diep Thi Trieu,
Josef Urban,
Ky Khac Vu,
Roland Zumkeller
Abstract:
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.