Approximating the 3-period Incremental Knapsack Problem
Decision-making often refers to ranking alternatives based on many involved criteria. Since the introduction of the Analytic Hierarchy Process (AHP) in 1980, pairwise comparisons of criteria have a long tradition in multi-criteria decision-making. One of the main concerns of the AHP refers to the inconsistency of decision makers in pairwise compari...
The current Brazilian economic and political crisis has consequences such as the fall in consumption in the domestic market, the reduction of investments and production by companies as well as the fall in the flow of goods. In this context, logistics operators seek to reduce costs, improve their processes and align the distribution chain with the s...
Scour of rock is a challenging and interesting problem that combines rock mechanicsand hydraulics of turbulent flow. On a practical level, rock erosion is a critical issue facingmany of the world’s dams at which excessive scour of the dam foundation or spillway cancompromise the stability of the dam resulting in significant remediation costs, if no...
Published in Algorithmica
In the k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k$$\end{document}-center problem, given a metric space V and a positive integer k, one wants to select k element...
Published in HMD Praxis der Wirtschaftsinformatik
Die Unterstützung wissensintensiver Geschäftsprozesse gewinnt in Unternehmen eine zunehmende Bedeutung. Wissensintensive Prozesse sind daten- und zielgetrieben, oft schwach strukturiert und in ihrer Ausführung von Fall zu Fall individuell. Sie unterscheiden sich dadurch von stark strukturierten, stets wiederholbaren Routineprozessen. In Abhängigkei...
How can we reduce the required effort to develop certified programs in proof assistants such as Coq? A major trend is to introduce untrusted oracles able to justify their answers by producing a certificate, i.e. a witness of their computations. A trustworthy result is then built from this certificate by a certified checker. This alleviates the burd...
Ph.D.
A minimization of disturbance caused by aircraft noise events and a reduction of fuel consumption during the initial and final phase of flight. These are the two objectives that play an important role in the Flexible Runway Allocation Model. By taking into account fuel consumption alongside noise annoyance, this model enables to analyze and optimiz...
Ph.D.