Approximating the 3-period Incremental Knapsack Problem
On solving the Best-Worst Method in multi-criteria decision-making⁎
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...
Redução dos custos operacionais na gestão da distribuição de cargas por meio da utilização das ferramentas curva ABC e S...
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...
Development of a Coupled 3-D DEM-LBM Model for Simulation of Dynamic Rock-Fluid Interaction
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...
Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center
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...
Präskriptive Entscheidungsunterstützung für wissensintensive Geschäftsprozesse
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...
Toward Certification for Free! : Correct-By-Construction ML Oracles with Polymorphic LCF Style
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...
A Reduction Framework for Approximate Extended Formulations and a Faster Algorithm for Convex Optimization
Ph.D.
Improved Flexible Runway Use Modeling: A Multi-Objective Optimization Concerning Pairwise RECAT-EU Separation Minima, Re...
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...
A column generation strategy for large scale airline crew pairing Problems
Ph.D.
