External Files Research Articles

On Refining the SZZ Algorithm with Bug Discussion Data

ContextResearchers testing hypotheses related to factors leading to low-quality software often rely on historical data, specifically on details regarding when defects were introduced into a codebase of interest. The prevailing techniques to determine the introduction of defects revolve around variants of the SZZ algorithm. This algorithm leverages information on the lines modified during a bug-fixing commit and finds when these lines were last modified, thereby identifying bug-introducing commits.ObjectivesDespite several improvements and variants, SZZ struggles with accuracy, especially in cases of unrelated modifications or that touch files not involved in the introduction of the bug in the version control systems (aka tangled commit and ghost commits).MethodsOur research investigates whether and how incorporating content retrieved from bug discussions can address these issues by identifying the related and external files and thus improve the efficacy of the SZZ algorithm.ResultsTo conduct our investigation, we take advantage of the links manually inserted by Mozilla developers in bug reports to signal which commits inserted bugs. Thus, we prepared the dataset, RoTEB, comprised of 12,472 bug reports. We first manually inspect a sample of 369 bug reports related to these bug-fixing or bug-introducing commits and investigate whether the files mentioned in these reports could be useful for SZZ. After we found evidence that the mentioned files are relevant, we augment SZZ with this information, using different strategies, and evaluate the resulting approach against multiple SZZ variations.ConclusionWe define a taxonomy outlining the rationale behind developers’ references to diverse files in their discussions. We observe that bug discussions often mention files relevant to enhancing the SZZ algorithm’s efficacy. Then, we verify that integrating these file references augments the precision of SZZ in pinpointing bug-introducing commits. Yet, it does not markedly influence recall. These results deepen our comprehension of the usefulness of bug discussions for SZZ. Future work can leverage our dataset and explore other techniques to further address the problem of tangled commits and ghost commits. Data & material: https://zenodo.org/records/11484723.

Detecting command injection vulnerabilities in Linux-based embedded firmware with LLM-based taint analysis of library functions

With the popularization of IoT devices, embedded firmware security has attracted people’s attention. Command injection (CI) is one of the most common types of vulnerabilities in Linux-based embedded firmware. It is caused by user input being propagated to functions responsible for command execution without strict sanitization, which can be detected by static taint analysis. Unfortunately, single-binary taint analysis tools cannot find vulnerabilities caused by custom dynamically linked library functions (DLLFs) that are implemented in external library files, while multi-binary analysis tools are time-consuming. In this paper, we present SLFHunter, an approach that leverages Large Language Model (LLM) to analyze sensitive custom DLLFs separately, and imports their information into single-binary taint analysis tools to overcome this challenge. Our approach follows filtering rules to find out sensitive DLLFs that call common sink functions, and analyzes them with LLMs to find sink library functions (SLFs) where input parameters can be passed to executed command strings. Finally, SLFs are marked as new sinks to help existing tools discover CI vulnerabilities caused by them. We implemented SLFHunter as a ChatGPT-based module for EmTaint and evaluated it with a dataset consisting of 100 Linux-based embedded firmware samples from 13 vendors. The results show that our prompts can guide ChatGPT 4.0 to identify SLFs with 95% accuracy after being improved with a trick we dubbed “double-check”. SLFHunter can help EmTaint find 42 additional CI vulnerabilities with an average time cost increase of 89 s on our dataset, which demonstrates the effectiveness and efficiency of our approach.

Organizing Spanish-British mining companies: the case of “La Española”, 1866-1942

ABSTRACT During the 19th century, Spain emerged as a major producer of lead, attracting the interest of numerous international companies to the region. In this context, numerous alliances emerged between local and foreign companies, leading to the participation of new investors in the area. This phenomenon propelled the Linares-La Carolina mining district to become the world’s largest producer of lead toward the end of the 19th century. However, the internal dynamics of these companies and the alliances that were formed within them are still little known. This study focuses on the mining company ‘La Española’, allowing a detailed analysis of the Spanish-British alliances that emerged within its structure, from its foundation in 1863 to its closure in 1942. The profiles of the investors who participated are examined. in it and how these alliances were commercially documented. The investigation is based on an exhaustive analysis of the company’s documentation, which ranges from its internal files to various external files. The findings reveal relevant information about the profiles of the investors involved, the relationships between them, and the sophisticated commercial documentation used to consolidate these alliances. This analysis provides a new perspective on business dynamics in the international mining industry and commercial relations between Spain and the United Kingdom during the 19th and early 20th centuries.

Pikoe: A computer program for distorted-wave impulse approximation calculation for proton induced nucleon knockout reactions

pikoe, Proton-Induced KnockOut reaction calculation for Exclusive processes, is a Fortran 90 program that calculates triple- and quadruple-differential cross sections, vector analyzing powers, and momentum distributions of reaction residues, for proton-induced nucleon knockout reactions in normal and inverse kinematics. The distorted-wave impulse approximation with the factorization approximation to the nucleon-nucleon transition matrix is adopted, and the distorted waves of the incoming proton and the outgoing two nucleons are calculated quantum mechanically. Kinematics of the reaction particles are treated in a relativistic manner, which gives the proper asymptotics of the three-body scattering wave in the plane-wave limit. Program summaryProgram Title: pikoeCPC Library link to program files:https://doi.org/10.17632/m594h58kck.1Licensing provisions: MITProgramming language: Fortran 90Supplementary material: See https://www.rcnp.osaka-u.ac.jp/~kazuyuki/pikoe/index.phpNature of problem: Calculation of triple- and quadruple-differential cross sections, vector analyzing powers, and momentum distributions of reaction residues, for nucleon knockout reactions with proton beams/targets in normal/inverse kinematics.Solution method: Numerov method for solving single-channel second-order differential equations; multi dimensional integration with the Gauss-Legendre quadrature rule.Additional comments including restrictions and unusual features: The global optical potential by Koning and Deraloche [1] for nucleons at energies from 1 keV to 200 MeV, for (near-)spherical nuclei with mass number between 24 and 209, is implemented in the program. Tables of nucleon-nucleon (NN) elastic differential cross sections and NN transition amplitudes calculated with the NN effective interaction by Franey and Love [2] are provided as external files for pikoe (included in the package). Users are encouraged to prepare tables for the optical potentials and the cross sections of the elementary process according to the reaction system of interest by themselves. With external files thus prepared, pikoe can be applied to various kinds of knockout processes such as α or deuteron knockout by proton, α-induced knockout reactions, etc. Calculation of spin observables, the vector analyzing power in fact, however, is restricted to nucleon-induced nucleon knockout processes with the coplanar kinematics.

PyBEST: Improved functionality and enhanced performance

PyBEST: Improved functionality and enhanced performance

Nano Conducting Particles Based Antireflection Coating for Silicon Solar Cells

An attempt has been made to investigate the effect of antireflection coating containing aluminum nanoparticles over the layer of silicon nitride on silicon surface. In this regard numerical calculations have been performed to obtain reflectance for varying radius (i.e., 50 nm, 62.5 nm and 70 nm) as well as periods (i.e., 100 nm, 110 nm 125 nm, 250 nm and 300 nm) of Al-NCPs using transfer matrix method (TMM). The refractive index of nanoparticles under consideration is wavelength dependent. Inclusion of metal nanoparticles in the antireflection coating has reduced reflectance significantly. Calculated reflectance has been used as an external file in PC1D simulator to study the performance of silicon solar cells.

Turnstile File Transfer: A Unidirectional System for Medium-Security Isolated Clusters

Data transfer between isolated clusters is imperative for cybersecurity education, research, and testing. Such techniques facilitate hands-on cybersecurity learning in isolated clusters, allow cybersecurity students to practice with various hacking tools, and develop professional cybersecurity technical skills. Educators often use these remote learning environments for research as well. Researchers and students use these isolated environments to test sophisticated hardware, software, and procedures using full-fledged operating systems, networks, and applications. Virus and malware researchers may wish to release suspected malicious software in a controlled environment to observe their behavior better or gain the information needed to assist their reverse engineering processes. The isolation prevents harm to networked systems. However, there are times when the data is required to move in such quantities or speeds that it makes downloading onto an intermediate device untenable. This study proposes a novel turnstile model, a mechanism for one-way file transfer from one enterprise system to another without allowing data leakage. This system protects data integrity and security by connecting the isolated environment to the external network via a locked-down interconnection. Using medium-security isolated clusters, the researchers successfully developed a unidirectional file transfer system that acts as a one-way “turnstile” for secure file transfer between systems not connected to the internet or other external networks. The Turnstile system (source code available at github.com/monnin/turnstile) provides unidirectional file transfer between two computer systems. The solution enabled data to be transferred from a source system to a destination system without allowing any data to be transferred back in the opposite direction. The researchers found an automated process of transferring external files to isolated clusters optimized the transfer speed of external files to isolated clusters using Linux distributions and commands.

MPI reduction and broadcast algorithms for computer clusters with multistage interconnection networks

Algorithms for MPI Allreduce, Bcast and Reduce collective operations have been developed. They are based on the dynamic construction of process groups at all levels of the memory hierarchy within the computing node and levels of the multistage interconnection network. The description of the network topology is loaded from an external file. Аlgorithms are implemented on the basis of the Open MPI library in an isolated collective component. Experiments on a cluster with a two-tier InfiniBand EDR network have shown the effectiveness of the algorithms for messages up to 16KB.

Flexible implementation of the particle shape and internal inhomogeneity in the invariant imbedding T-matrix method.

We report a new implementation of the invariant imbedding T-matrix (IITM) method based on a discrete spherical grid approach for representing the particle shape and internal inhomogeneity. The new version of the IITM (referred to as the IITM-discrete) improves the flexibility of the IITM-especially for inhomogeneous particles. It is much more convenient for specifying the particle morphology in the electromagnetic wave scattering simulations. Particle shape is represented by a series of discrete spherical layers ranging from the inscribed sphere to the circumscribed sphere. Spherical layers are discretized by the centroidal Voronoi tessellation (CVT) approach. The procedure of computing the U-matrix (the only shape-dependent module in the T-matrix program) is simplified upon using the gridded particle shape and refractive index information saved in an external file. The grid resolution is a key factor that determines the numerical accuracy and computational cost. Numerical tests of IITM-discrete show its compatibility with other light scattering methods. Using IITM-discrete, we found that the internal inhomogeneity could have large impact on dust optical properties.

Lightweight Integration of a Data Cache for Opportunistic Usage of HPC Resources in HEP Workflows

A data caching setup has been implemented for the High Energy Physics (HEP) computing infrastructure in Freiburg, Germany, as a possible alternative to local long-term storage. Files are automatically cached on disk upon first request by a client, can be accessed from cache for subsequent requests, and are deleted after predefined conditions are met. The required components are provided to a dedicated HEP cluster, and, via virtual research environments, to the opportunistically used High-Performance Computing (HPC) Cluster NEMO (Neuroscience, Elementary Particle Physics, Microsystems Engineering and Materials Science). A typical HEP workflow has been implemented as benchmark test to identify any overhead introduced by the caching setup with respect to direct, non-cached data access, and to compare the performance of cached and non-cached access to several external files sources. The results indicate no significant overhead in the workflow and faster file access with the caching setup, especially for geographically distant file sources. Additionally, the hardware requirements for various numbers of parallel file requests were measured for estimating future requirements.

Numerical Study on Surface Reconstruction and Roughness of Magnetorheological Elastomers

A methodology is implemented to deform the surface of a magnetorheological elastomer (MRE) exposed to an external magnetic field by means of data matrix manipulation of the surface. The elastomer surface is created randomly using the Garcia and Stoll method to realize a nonuniform morphology similar to that found in real MREs. Deformations are induced by means of the translations of the magnetic particles inside the elastomer, under the influence of a uniform magnetic field, generating changes in the surface roughness. Our model computes these deformations using a three-dimensional Gaussian function bounded at 2 standard deviations from its mean value, taking as the standard deviation value the radius of the particle that causes the deformation. To find the regions deformed by the particles, we created a methodology based on the consultation, creation and modification of a system of matrices that control each point of the random surface created. This methodology allows us to work with external files of initial and subsequent positions of each particle inside the elastomer, and allows us to manipulate and analyze the results in a smoother and faster way. Results were found to be satisfactory and consistent when calculating the percentage of surface deformation of real systems.

The new GeoModel suite, a lightweight detector description and visualization toolkit for HEP

The GeoModel toolkit is an open-source suite of standalone tools that provides the user with lightweight tools to describe, visualize, test, and debug detector descriptions and geometries for HEP standalone studies and experiments. GeoModel has been designed with independence and responsiveness in mind and offers a development environment free of other large HEP tools and frameworks, and with a very quick development cycle. With very few and lightweight dependencies, GeoModel is easy to install on all systems, in a modular way; and pre-compiled binaries are provided for the major platforms, for a quick and easy installation. Coded entirely in C++, GeoModel offers the user tools to describe geometries inside C++ code or in external XML files, create persistent representation with a low disk footprint and interactively visualize and inspect the geometry in a 3D view. It also offers a plugin mechanism and an optional Geant4 application to simulate the described geometry in a standalone environment. GeoModel has been developed as part of the software for the ATLAS experiment at the LHC, and evolved towards an experiment-independent toolkit. In this contribution, we describe all the available tools, with a focus on the latest additions, which provide users with more visualization, debug, and simulation tools.

Lorenzetti Showers - A general-purpose framework for supporting signal reconstruction and triggering with calorimeters

Calorimeters play an important role in high-energy physics experiments. Their design includes electronic instrumentation, signal processing chain, computing infrastructure, and also a good understanding of their response to particle showers produced by the interaction of incoming particles. This is usually supported by full simulation frameworks developed for specific experiments so that their access is restricted to the collaboration members only. Such restrictions limit the general-purpose developments that aim to propose innovative approaches to signal processing, which may include machine learning and advanced stochastic signal processing models. This work presents the Lorenzetti Showers, a general-purpose framework that mainly targets supporting novel signal reconstruction and triggering strategies using segmented calorimeter information. This framework fully incorporates developments down to the signal processing chain level (signal shaping, energy estimation, and noise mitigation techniques) to allow advanced signal processing approaches in modern calorimetry and triggering systems. The developed framework is flexible enough to be extended in different directions. For instance, it can become a tool for the phenomenology community to go beyond the usual detector design and physics process generation approaches. Program summaryProgram Title: Lorenzetti ShowersCPC Library link to program files:https://doi.org/10.17632/sy64367452.1Developer's repository link:https://github.com/lorenzetti-hep/lorenzettiLicensing provisions: GPLv3Programming language: Python, C++.Nature of problem: In experimental high-energy physics, simulation is essential for experiment preparation, design and interpretations of ongoing acquisitions. Especially for calorimeters, an accurate simulation that can describe detector geometry, behavior to different physics processes and signal generation close to the readout electronics and data acquisition levels is required to properly develop signal processing and computational methods. Such detectors may face very challenging demands arising from the new designs, such as pileup mitigation and noise reduction tasks under unprecedented levels. In this sense, simulation requirements continuously increase in complexity and performance, because new physics searches require large datasets and accurate modeling to experimental effects.Solution method: The Lorenzetti Showers is an integrated software framework that provides complete calorimeter information close enough to the electronic readout chain. Thus, the proposed framework allows users to access cell readout values, configurable sensor pulse-shapes, crosstalk modeling, and different energy estimation methods. It aims at supporting designs that target low or high pileup operation conditions in an easy-to-use modular structure. The developed framework is based on Pythia 8 (particle generation) and Geant4 (interactions with the calorimeter technique under analysis). An efficient data recording structure was used to allow full access to the Lorenzetti Showers outputs. In summary, the Lorenzetti Showers tool provides to the scientific community a user-friendly, flexible, user-oriented, and low-level calorimeter simulation framework.Additional comments including restrictions and unusual features: The framework current version provides the implementation of a generic segmented calorimeter (electromagnetic and hadronic sections), which may be modified by the user, if desired. It allows the generation of particles interactions using Pythia 8 (native) or any generator compatible with the HepMC format (which may be integrated using an external input file) and propagation through a user-configurable calorimeter using Geant4.

Розробка платформи для автоматизації тестування веб-додатків

In the modern fast-paced world of web development, automated testing of web applications has become an integral part of the software development process. This article provides an overview of a platform for automating web application testing, which simplifies the process of creating, executing, and analyzing automated tests. The main components of the platform, their functional capabilities, and advantages are discussed. One of the key components of this platform is a module for interacting with the web application, which provides a convenient way to control the browser and perform actions on web pages, such as navigation, form filling, clicking on elements, and more. This enables automated verification of various aspects of web application functionality and correctness. Another important component is the reporting module, which ensures the collection and storage of test results. It allows for the creation of detailed reports on executed tests, identified errors, and other useful information. This module helps understand the state of the software, facilitates the detection of issues, and simplifies error reproduction. The platform also includes a module for creating test data, which can be useful for generating random data, loading test datasets from databases or external files. This allows developers to create various testing scenarios and execute them on different data sets. One of the key advantages of this platform is the ability to configure testing parameters for different projects and environments. Developers can set different configurations, such as browser types, versions, extensions, and utilities used, for each individual project. This allows for customization of testing according to specific needs and ensures maximum compatibility. The platform also provides additional utilities to facilitate the testing process, such as integration with code repositories, version control systems, build automation, and deployment tools. This contributes to fast and efficient test execution, simplifies their integration into the development process, and improves overall software quality. Overall, this web application testing automation platform provides developers with convenient tools that simplify the testing process, ensure high-quality software, and facilitate the rapid deployment of web applications.

Custom software development of structural dimension optimization software for the buckling of stiffened plates

<abstract> <p>Existing structural optimization software tools only integrate the Euler buckling function of rods and plates and do not consider the buckling strength constraint of stiffened plates, thus failing to meet the optimization design requirements of thin-walled structures such as ship hulls. In this study, according to the buckling strength specifications for stiffened plates of ships, the custom software development of a structural optimization program with "buckling constraints of stiffened plates" was performed using the HyperMesh optimization design software. The finite-element grid of the stiffened plate was divided; the average stress, stress gradient and other parameters associated with the buckling of stiffened plates were determined; the DRESP3 card was set; the external OML function file was linked and the buckling strength of the stiffened plates was introduced into the dimensional optimization design model as a constraint. The proposed method was used to optimize the structure scantlings of a platform, achieving a reduction of 8.96% compared with the original scheme, while also meeting the requirements of structural strength, deformation and buckling strength. The results demonstrated that the dimensional optimization software with buckling constraints is operable and can aid in the rapid structural optimization design of stiffened plates.</p> </abstract>

Audit_cc: A Stata command for the analysis of matched case-control audits of cervical cancer screening

Background and objectivesCervical screening programmes are crucial for the early diagnosis and prevention of cancer of the cervix. Regular auditing is vital for ensuring that these programmes achieve their full potential and meet their objectives in practice. Unfortunately, the time and skills required for the statistical analysis of the data collected are often important limiting factors. Comparisons across countries and over time have also been particularly difficult due to a lack of standardized definitions and methodology. We aimed to overcome these problems. MethodsUsing the statistical software Stata, we developed a new command called audit_cc for the analysis of matched case-control audits of cervical cancer screening. Analyses are reported for two measures of screening history: time since last test and time since last negative test. ResultsThe command carries out the data manipulation which is required for the analysis and allows to save the resulting data set in an external file for further investigations. It promotes consistent evaluations of screening programmes over time and across studies and facilitates the creation of automatic publication-quality reports, which are especially useful in the context of routine audits. Conclusionsaudit_cc is a valid tool that not only simplifies the analysis and reporting of cervical screening audits but also allows meaningful international comparisons. Although it is specific for cervical cancer, it can be seen as an example of how the standardisation of exposure definitions and key methodological issues can enable consistent and comparable evaluations of screening programmes across different countries and settings.

Discrete Bat Optimizer for Disassembly Line Balancing Problem

The recycling of end-of-life (EOL) products is the primary link in the remanufacturing process. EOL products rely on disassembly lines to retain valuable parts for remanufacturing. In this work, a disassembly line balancing model is established based on an AND/OR graph. It takes precedence relation, cycle time restriction, failure risk, and time uncertainty into consideration and aims to maximize the dismantling profit and minimize the energy consumption. Then, a multi-objective discrete bat optimizer based on Pareto rules is designed according to the problem model, and a precedence preserving crossover operator, a single point mutation operator and a 2-optimization operator are used to simulate the flight strategy of bats to satisfy the search of feasible solutions. To speed up the convergence, we propose an elite strategy to maintain the non-dominate solutions in the external files. By decomposing products of different sizes and analyzing the experimental results, the proposed algorithm is evaluated with the existing multi-objective discrete gray wolf optimizer, artificial bee colony optimizer, non-dominated sorting genetic algorithm II, and multi-objective evolutionary algorithm based on decomposition. The effectiveness of the proposed algorithm in solving this problem is verified.

Discrete Bat Optimizer for Disassembly Line Balancing Problem

The recycling of end-of-life (EOL) products is the primary link in the remanufacturing process. EOL products rely on disassembly lines to retain valuable parts for remanufacturing. In this work, a disassembly line balancing model is established based on an AND/OR graph. It takes precedence relation, cycle time restriction, failure risk, and time uncertainty into consideration and aims to maximize the dismantling profit and minimize the energy consumption. Then, a multi-objective discrete bat optimizer based on Pareto rules is designed according to the problem model, and a precedence preserving crossover operator, a single point mutation operator and a 2-optimization operator are used to simulate the flight strategy of bats to satisfy the search of feasible solutions. To speed up the convergence, we propose an elite strategy to maintain the non-dominate solutions in the external files. By decomposing products of different sizes and analyzing the experimental results, the proposed algorithm is evaluated with the existing multi-objective discrete gray wolf optimizer, artificial bee colony optimizer, non-dominated sorting genetic algorithm II, and multi-objective evolutionary algorithm based on decomposition. The effectiveness of the proposed algorithm in solving this problem is verified.

LIDA: The Leiden Ice Database for Astrochemistry

Context. High-quality vibrational spectra of solid-phase molecules in ice mixtures and for temperatures of astrophysical relevance are needed to interpret infrared observations toward protostars and background stars. Such data are collected worldwide by several laboratory groups in support of existing and upcoming astronomical observations. Over the last 25 yr, the Laboratory for Astrophysics at Leiden Observatory has provided more than 1100 (high-resolution) spectra of diverse ice samples. Aims. In time with the recent launch of the James Webb Space Telescope, we have fully upgraded the Leiden Ice Database for Astrochemistry (LIDA) adding recently measured spectra. The goal of this paper is to describe what options exist regarding accessing and working with a large collection of infrared (IR) spectra, and the ultraviolet-visible (UV/vis) to the mid-infrared refractive index of H2O ice. This also includes astronomy-oriented online tools to support the interpretation of IR ice observations. Methods. This ice database is based on open-source Python software, such as Flask and Bokeh, used to generate the web pages and graph visualization, respectively. Structured Query Language (SQL) is used for searching ice analogs within the database and Jmol allows for three-dimensional molecule visualization. The database provides the vibrational modes of molecules known and expected to exist as ice in space. These modes are characterized using density functional theory with the orca software. The IR data in the database are recorded via transmission spectroscopy of ice films condensed on cryogenic substrates. The real UV/vis refractive indices of H2O ice are derived from interference fringes created from the simultaneous use of a monochromatic HeNe laser beam and a broadband Xe-arc lamp, whereas the real and imaginary mid-IR values are theoretically calculated. LIDA not only provides information on fundamental ice properties, but it also offers online tools. The first tool, SPECFY, is directly linked to the data in the database to create a synthetic spectrum of ices towards protostars. The second tool allows the uploading of external files and the calculation of mid-infrared refractive index values. Results. LIDA provides an open-access and user-friendly platform to search, download, and visualize experimental data of astrophysically relevant molecules in the solid phase. It also provides the means to support astronomical observations; in particular, those that will be obtained with the James Webb Space Telescope. As an example, we analysed the Infrared Space Observatory spectrum of the protostar AFGL 989 using the resources available in LIDA and derived the column densities of H2O, CO and CO2 ices.

Explanatory machine learning for justified trust in human-AI collaboration: Experiments on file deletion recommendations.

In the digital age, saving and accumulating large amounts of digital data is a common phenomenon. However, saving does not only consume energy, but may also cause information overload and prevent people from staying focused and working effectively. We present and systematically examine an explanatory AI system (Dare2Del), which supports individuals to delete irrelevant digital objects. To give recommendations for the optimization of related human-computer interactions, we vary different design features (explanations, familiarity, verifiability) within and across three experiments (N 1 = 61, N 2 = 33, N 3= 73). Moreover, building on the concept of distributed cognition, we check possible cross-connections between external (digital) and internal (human) memory. Specifically, we examine whether deleting external files also contributes to human forgetting of the related mental representations. Multilevel modeling results show the importance of presenting explanations for the acceptance of deleting suggestions in all three experiments, but also point to the need of their verifiability to generate trust in the system. However, we did not find clear evidence that deleting computer files contributes to human forgetting of the related memories. Based on our findings, we provide basic recommendations for the design of AI systems that can help to reduce the burden on people and the digital environment, and suggest directions for future research.