Searched for: subject%3A%22consistency%22
(1 - 20 of 67)

Pages

document
Chakraborty, S.S. (author), Krishna, Shankara Narayanan (author), Mathur, Umang (author), Pavlogiannis, Andreas (author)
Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A fundamental computational problem is consistency testing: is the observed execution of a concurrent program in alignment with the specification of the underlying system? The problem has been studied...
journal article 2024
document
van der Jagt, T.F.W. (author), Jongbloed, G. (author), Vittorietti, M. (author)
Consider an opaque medium that contains 3D particles. All particles are convex bodies of the same shape, but they vary in size. The particles are randomly positioned and oriented within the medium and cannot be observed directly. Taking a planar section of the medium we obtain a sample of observed 2D section profile areas of the intersected...
journal article 2024
document
Nakos, Vangelis (author)
Portfolio optimization, a fundamental area of study in financial engineering,<br/>plays a crucial role in creating efficient portfolios. In this thesis, we consider<br/>a robust multi-period Mean-Variance portfolio optimization framework and<br/>apply it to real-world market data. The approach we look at incorporates a<br/>time-consistent...
master thesis 2023
document
van Lil, Wouter (author)
Serverless computing has allowed developers to write pieces of code comprising solely of the necessary functionality whilst not having to think about the underlying infrastructure. One prominent model is Function-as-a-Service (FaaS), where the code is structured into functions that run based on incoming events. This model was initially stateless...
master thesis 2023
document
Zwarts, Sijmen (author)
The first part of the thesis explores the process of homogenization, particularly for the permeability properties of rock samples. The Hill-Mandel postulate of energy consistency throughout the transitioning of scales is revisited since traditional homogenization methods rely on applying specific boundary conditions to enforce energy consistency...
master thesis 2023
document
Hao, Xuan (author), Qiu, Yubao (author), Jia, Guoqiang (author), Menenti, M. (author), Ma, Jiangming (author), Jiang, Zhengxin (author)
Land use–land cover (LULC) is an important feature for ecological environment research, land resource management and evaluation. Although global high-resolution LULC data sets are booming, their regional performances were still evaluated in limited regions. To demonstrate the local applicability of global LULC data products, six emerging LULC...
journal article 2023
document
Khan, Shinthia Azmeri (author), Afghari, A.P. (author), Yasmin, Shamsunnahar (author), Haque, Md Mazharul (author)
Run-off-road crashes are one of the most common crash types, especially in rural roadway environments contributing significantly to fatalities and severe injuries. These crashes are complex and multi-dimensional events, and factors like road geometry, driver behaviour, traffic characteristics and roadside features contribute to their occurrence,...
journal article 2023
document
Goens, Andrés (author), Chakraborty, S.S. (author), Sarkar, Susmit (author), Agarwal, Sukarn (author), Oswald, Nicolai (author), Nagarajan, Vijay (author)
Today's mobile, desktop, and server processors are heterogeneous, consisting not only of CPUs but also GPUs and other accelerators. Such heterogeneous processors are starting to expose a shared memory interface across these devices.Given that each of these individual devices typically supports a distinct instruction set architecture and a...
journal article 2023
document
Fu, Sheng (author), Chen, P. (author), Liu, Yufeng (author), Ye, Zhisheng (author)
Multinomial logistic regression models are popular in multicategory classification analysis, but existing models suffer several intrinsic drawbacks. In particular, the parameters cannot be determined uniquely because of the over-specification. Although additional constraints have been imposed to refine the model, such modifications can be...
journal article 2023
document
Fu, Sheng (author), Chen, P. (author), Ye, Zhisheng (author)
The multicategory support vector machine (MSVM) has been widely used for multicategory classification. Despite its widespread popularity, regular MSVM cannot provide direct probabilistic results and suffers from excessive computational cost, as it is formulated on the hinge loss function and it solves a sum-to-zero constrained quadratic...
journal article 2023
document
van der Eijk, M. (author), Wellens, P.R. (author)
The numerical prediction of two-phase flows with an interface is challenging, to a considerable extent because of the high density ratio at the interface. Numerical results become affected by momentum losses, diverging spurious interface velocities, free surface distortion, and even numerical instability. To prevent issues like these,...
journal article 2023
document
ten Eikelder, M.F.P. (author), Van Der Zee, K. G. (author), Akkerman, I. (author), Schillinger, D. (author)
Over the last decades, many diffuse-interface Navier-Stokes Cahn-Hilliard (NSCH) models with non-matching densities have appeared in the literature. These models claim to describe the same physical phenomena, yet they are distinct from one another. The overarching objective of this work is to bring all of these models together by laying down...
journal article 2023
document
Boereboom, Bram (author)
The Dutch government described its vision to achieve significant reductions in greenhouse emissions in the climate goals of 2030 and 2050. The energy infrastructure in the Netherlands will be a critical factor in achieving these goals. As an extension to the stated importance, understanding the current energy infrastructure is equally...
master thesis 2022
document
Prinsze, Daan (author)
During this research we have replaced Bracha’s layer in the state-of-the-art Bracha-Dolev protocol to improve the performance by decreasing the message complexity of the protocol running on top of a given network topology so long as the requirements stated by Bracha and Dolev are met. Bracha-Dolev is an algorithm that is used to establish a...
bachelor thesis 2022
document
Wang, Dandan (author), Xu, Jinlan (author), Gao, Fei (author), Wang, C.C. (author), Gu, Renshu (author), Lin, Fei (author), Rabczuk, Timon (author), Xu, Gang (author)
In this paper, a deep learning framework combined with isogeometric analysis (IGA for short) called IGA-Reuse-Net is proposed for efficient reuse of numerical simulation on a set of topology-consistent models. Compared with previous data-driven numerical simulation methods only for simple computational domains, our method can predict high...
journal article 2022
document
Karkalousos, D. (author), Noteboom, S. (author), Hulst, H. E. (author), Vos, F.M. (author), Caan, M.W.A. (author)
Objective. Machine Learning methods can learn how to reconstruct magnetic resonance images (MRI) and thereby accelerate acquisition, which is of paramount importance to the clinical workflow. Physics-informed networks incorporate the forward model of accelerated MRI reconstruction in the learning process. With increasing network complexity,...
journal article 2022
document
Li, Z. (author), Li, S. (author), Zhang, P. (author), Nunez, Alfredo (author), Dollevoet, R.P.B.J. (author)
This paper proposes a new hypothesis for the formation process of short pitch rail corrugation. An FE wheel-track dynamic model is utilized to verify the hypothesis by reproducing corrugation initiation and consistent growth. It is found longitudinal compression modes are responsible for corrugation initiation with necessary initial...
journal article 2022
document
Shi, P. (author), Billeter, M.J. (author), Eisemann, E. (author)
Screen-space ambient occlusion (SSAO) shows high efficiency and is widely used in real-time 3D applications. However, using SSAO algorithms in stereo rendering can lead to inconsistencies due to the differences in the screen-space information captured by the left and right eye. This will affect the perception of the scene and may be a source...
journal article 2022
document
Yang, Dingqi (author), Qu, Bingqing (author), Yang, J. (author), Wang, Liang (author), Cudre-Mauroux, Philipe (author)
Graph embeddings have become a key paradigm to learn node representations and facilitate downstream graph analysis tasks. Many real-world scenarios such as online social networks and communication networks involve streaming graphs, where edges connecting nodes are continuously received in a streaming manner, making the underlying graph...
journal article 2022
document
Kekkonen, H.N. (author)
We consider the statistical non-linear inverse problem of recovering the absorption term f &gt; 0 in the heat equation {∂tu-12Δu+fu=0onO×(0,T)u=gon∂ O×(0,T)u(·,0)=u0onO, where O ϵ ℝd is a bounded domain, T &lt; ∞ is a fixed time, and g, u 0 are given sufficiently smooth functions describing boundary and initial values respectively. The data...
journal article 2022
Searched for: subject%3A%22consistency%22
(1 - 20 of 67)

Pages