Searched for: subject%3A%22dependability%22
(1 - 20 of 335)

Pages

document
Taberna, A. (author)
Amid the Anthropocene, the escalating threat of flooding, driven by extreme rainfall and sea-level rise, challenges societies worldwide. In the last two decades, floods have impacted billions and inflicted colossal economic losses. Concurrently, the global trend towards urbanization predicts that by 2050, about 70\% of the global population will...
doctoral thesis 2024
document
Sandifort, Jelle (author)
This paper presents a comprehensive experimental study on the use and impact of external repositories in the Maven ecosystem. For this research the prevalence, naming patterns, and potential risks associated with external repositories were analyzed. We analyzed 199,188 packages and found that 3.29% of projects employ external repositories. Our...
bachelor thesis 2024
document
Kuļikovskis, Gints (author)
This study conducts an investigation of the challenges faced by aging projects in Maven Central, focusing on the issue of missing dependencies. Using the Maven Explorer indexer, we systematically examine the correlation between the age of a project and the frequency of dependency resolution failures. Our analysis reveals a notable trend: older...
bachelor thesis 2024
document
van der Schoot, Mathijs (author)
The Maven ecosystem, with an emphasis on Maven Central, contains a plethora of toy-projects. This paper addresses this problem by formulating a core containing the pillars of the Maven ecosystem, such that it can be exploited for research concerning li- brary quality. The construction of said core is done by analyzing the availability, relevance...
bachelor thesis 2024
document
Parolya, N. (author), Heiny, Johannes (author), Kurowicka, D. (author)
Consider a random vector y = Σ <sup>1/2</sup> x, where the p elements of the vector x are i.i.d. real-valued random variables with zero mean and finite fourth moment, and Σ <sup>1/2</sup> is a deterministic p × p matrix such that the eigenvalues of the population correlation matrix R of y are uniformly bounded away from zero and infinity. In...
journal article 2024
document
Rębacz, Mateusz (author)
Open Source developers typically use Git repositories to transparently store the source code of projects and contribute to the code of others. There are millions of repositories actively hosted on platforms such as GitHub. This presents an opportunity for sharing knowledge between related projects – the so-called digital siblings. Finding...
bachelor thesis 2024
document
Ihsan, A.F. (author), van Horssen, W.T. (author), Tuwankotta, J.M. (author)
In this paper, a classical Stefan problem with a prescribed and small time-dependent temperature at the boundary is studied. By using a multiple time-scales perturbation method, it is shown analytically how the moving boundary profile is influenced by the prescribed temperature at the boundary and the initial conditions. Only a few exact...
journal article 2024
document
De Martino, P. (author)
Over time, a large number of stakeholders have affected the Italian port city of Naples. The millenary history of Naples reveals a port that has been strongly intertwined with the city. Yet, recent history shows a different story. The historical investigation analysed in this article points out a conflict between several different authorities...
journal article 2024
document
Centeio Jorge, C. (author), van Zoelen, E.M. (author), Verhagen, R.S. (author), Mehrotra, S. (author), Jonker, C.M. (author), Tielman, M.L. (author)
As human-machine teams become a more common scenario, we need to ensure mutual trust between humans and machines. More important than having trust, we need all teammates to trust each other appropriately. This means that they should not overtrust or undertrust each other, avoiding risks and inefficiencies, respectively. We usually think of...
book chapter 2024
document
Andrade Borges, Emilia (author)
This thesis addresses the topic of ongoing (excessive) deformations observed in balanced cantilever prestressed concrete bridges all over the world. Many authors attribute this behavior to the time-dependent phenomena of creep and shrinkage. Balanced cantilever bridges are classified as creep-sensitive structures, and for that reason, a detailed...
master thesis 2023
document
Lagemann, Luca (author)
Mechanical metamaterials are architected materials with unique properties derived from their internal structure, rather than the material they consist of. Introducing distinct stable states into the material architecture allows the creation of mechanical metamaterials with multiple effective properties that can be altered post-fabrication. So...
master thesis 2023
document
Pouliasis, George (author)
Wave overtopping of coastal structures is generally expressed in terms of average discharge and maximum overtopping volume. While substantial research can be found on the relationship of such variables with incident spectral characteristics and other geometrical dimensions, limited research has been done to identify the conditions for which...
master thesis 2023
document
Holten, Lucas (author)
Writing software that follows its specification is important for many applications. One approach to guarantee this is formal verification in a dependently-typed programming language. Formal verification in these dependently-typed languages is based on proof writing. Sadly, while proofs are easy to check for computers, writing proofs can be...
master thesis 2023
document
Ntagkras, Dimitris (author)
As the energy transition gains momentum, the development of effective energy storage technologies is crucial. Among these technologies, batteries are of utmost importance as they store chemical energy that can be converted into electrical energy. The operation of batteries is a complex process that involves the interplay of material technology,...
master thesis 2023
document
Schaper, Jelle (author)
Concrete is widely used in civil engineering and despite its long history, accurate prediction of the hardening process, particularly in partially restrained conditions, remains a challenge. During the hardening of partially restrained concrete, residual stresses occur due to restrained deformations caused by factors such as heating/cooling and...
master thesis 2023
document
Steensma, Tijmen (author)
The Green Deal (Fetting, 2020), initiated by the European Commission, aims to reduce greenhouse gas emissions within the EU to limit global warming to 1.5 degrees Celsius compared to pre-industrial levels (International Panel of Climate Change, 2022). The EU focuses on energy that is acceptable, applicable, available, and affordable – referring...
master thesis 2023
document
Tomassen, Niels (author)
This research explores the size variations of artifacts in Maven Central, a repository containing a large collection of Java artifacts. This analysis sheds light on the coding habits and dependency management ecosystems within Maven Central, emphasizing the importance of managing artifact sizes effectively. It also provides valuable insights to...
bachelor thesis 2023
document
de Bruin, Ivar (author)
Agda is a language used to write computer-verified proofs. It has a module system that provides namespacing, module parameters and module aliases. These parameters and aliases can be used to write shorter and cleaner proofs. However, the current implementation of the module system has several problems, such as an exponential desugaring of module...
master thesis 2023
document
Bastenhof, Jeroen (author)
Refactoring is a useful tool for increasing the overall quality of software without making changes to how it interacts with the environment. To verify that a refactoring operation correctly transforms an expression, one can provide a formal proof. Using Agda, a dependently-typed language, as a proof assistant, we investigate the feasibility of...
bachelor thesis 2023
document
Khakimova, Maria (author)
While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - becomes non-trivial. Due to an identified gap in literature...
bachelor thesis 2023
Searched for: subject%3A%22dependability%22
(1 - 20 of 335)

Pages