Regulations set by governmental and non-governmental maritime regulatory bodies are set to highly impact the cruise ship industry and put pressure on ship owners to invest in energy-efficient ships as well as improve the overall ship operation. To this end, various studies have been performed to analyze the economic and environmental impact of ener...
status: published
Published in International journal of environmental research and public health
Calm and quiet green spaces provide health benefits for urban residents. Yet as cities become more densely populated, increasing public users to green spaces may reduce or moderate these benefits. We examine how increased pedestrian density in a green street changes self-reported wellbeing. We use a between subject experimental design that added pu...
Published in Frontiers in Energy Research
Developing a minimum backbone grid in the power system planning is beneficial to improve the power system’s resilience. To obtain a minimum backbone grid, a mixed integer linear programming (MILP) model with network connectivity constraints for a minimum backbone grid is proposed. In the model, some constraints are presented to consider the practic...
This report documents the program and the outcomes of Dagstuhl Seminar 22411 "Theory and Practice of SAT and Combinatorial Solving". The purpose of this workshop was to explore the Boolean satisfiability (SAT) problem, which plays a fascinating dual role in computer science. By the theory of NP-completeness, this problem captures thousands of impor...
Neural networks are increasingly being used as components in safety-critical applications, for instance, as controllers in embedded systems. Their formal safety verification has made significant progress but typically considers only idealized real-valued networks. For practical applications, such neural networks have to be quantized, i.e., implemen...
The current risk stratification in prostate cancer (PCa) is frequently insufficient to adequately predict disease development and outcome. One hallmark of cancer is telomere maintenance. For telomere maintenance, PCa cells exclusively employ telomerase, making it essential for this cancer entity. However, TERT, the catalytic protein component of th...
A New Model for the Multiple Constant Multiplication Problem
In response to marine habitats destruction and living population depletion, marine spatial planning (MSP) proposes to regulate uses of the marine environment. Practically, MSP seeks an ocean zoning to meet both ecological and socio-economic objectives eventually aiming at a sustainable development. In particular, an identified conservation answer t...
The inventory routing problem (IRP) arises in a broad spectrum of real-life applications related to joint decisions of inventory and routing. In the basic IRP, a supplier has to make decisions about the delivery timing, delivered quantity of a single product and routing with a single vehicle to a set of retailers without backlog. It poses computati...
