Liveness checking of Streamlined Blockchain Consensus

Byzantine consensus protocols are designed to build resilient systems to achieve consensus under Byzantine settings, maintaining safety guarantees under any network synchrony model and providing liveness in partially or fully synchronous networks.<br/>However, several Byzantine consensus protocols have been shown to violate liveness properties...

Control for Bipolar DC Microgrid and DC/DC Bidirectional Converter in Energy Access Context

Rural electrification remains a significant challenge for engineers, given its intricate relationship with multiple issues, including geographical constraints and underdeveloped infrastructural provisions. As a result, with the development of Solar Home Systems (SHS) and direct current (DC) microgrids, DC systems for energy access have emerged...

Lift Coefficient of an Accelerating Wing with Ground Effect

A F1 car is always in a dynamic flow when racing. The most common case would be acceleration, deceleration and turning a corner. Due to the new rule by FIA since 2021, ground effect is much more significant for F1 car. Limited by the experimental set-up of F1 teams, flow under the car and accelerating flow are hard to be measured quantitatively....

Evaluation of CMIP6 models performing on rainfall seasons and moisture tracking simulation in Yangtze River Basin

This study evaluates the performance of the CMIP6 models in simulating monsoon rainfall and moisture tracking in the Yangtze River basin. The findings reveal varying degrees of accuracy across different regions of the basin during the monsoon period. Downstream and midstream regions demonstrate higher accuracy, whereas upstream areas exhibit...

Exploring the effect of the information amount in explanation on different gaming expertise levels

Explainable AI (XAI) has gained increasing attention from more and more researchers with an aim to improve human interaction with AI systems. In the context of human-agent teamwork (HAT), providing explainability to the agent helps to increase shared team knowledge and belief, therefore improving overall teamwork. With various backgrounds and...

The effects of ionic strength and surface charge on O/W emulsion fouling of ceramic membranes quantified via DLVO and XDLVO models

Large amounts of oily wastewater which included oil-in-water (O/W) emulsions, also known as produced water (PW), were produced in tandem with the enhanced oil recovery (EOR). Ultrafiltration (UF) was an effective and economic method to separate micron-sized O/W emulsions, while the membrane fouling limited its development. Understanding the...

Develop an interface for model-informed prototyping of HAI interactions

As AI technology continues to advance, there's a growing need to integrate it into UX design. However, AI's unique characteristics do not seamlessly align with current design tools and mastering the technical aspects for designers is a significant challenge. The project goal is to develop a tool based on a developed semi-formal representation...

Exploring the Digital Evolution: Case Study of Bagnoregio’s Historical Significance and Media Impact

In line with the rapidly growing role of social media in shaping public perceptions of and attitudes towards heritage sites, this study is timely to scrutinize the influence of social media on how people perceive historical heritage with a special emphasis on Bagnoregio, Italy. Through investigating the interaction between modern values and...

Hungry for change: Research on a systemic way to tackle the nitrogen crisis

The Nitrogen Crisis has become a focal point for the global community, with the related European policy stirring uncertainty in the agricultural sector. This political unrest has been clearly manifested in the Netherlands, while natural areas remain exposed to high emission levels. Society calls for systematic solutions to the nitrogen issue...

SowGrowConnect: Circular Delta 2050: Sowing the seeds for a zero-emission society through a locally-oriented, knowledge-based greenhouse horticulture

The Dutch greenhouse industry contributing 19% of the national carbon emissions, highlights its significant role in the ever-increasing environmental, social, and political challenges developing from climate change. Geopolitical tensions including the war in Ukraine and the Covid-19 pandemic, coupled with resource scarcity and a world population...