|
|
|
|
|
Arne Meier
In this paper, we study the relationship of parameterized enumeration complexity classes defined by Creignou et al. (MFCS 2013). Specifically, we introduce two hierarchies (IncFPTa and CapIncFPTa) of enumeration complexity classes for incremental fpt-tim...
ver más
|
|
|
|
|
|
|
|
|
|
|
Faisal N. Abu-Khzam and Karam Al Kontar
This paper provides an overview of the field of parameterized parallel complexity by surveying previous work in addition to presenting a few new observations and exploring potential new directions. In particular, we present a general view of how known ??...
ver más
|
|
|
|
|
|
|
|
|
|
|
Neeldhara Misra, Frances Rosamond and Meirav Zehavi
This Special Issue contains eleven articles?surveys and research papers?that represent fresh and ambitious new directions in the area of Parameterized Complexity. They provide ground-breaking research at the frontiers of knowledge, and they contribute to...
ver más
|
|
|
|
|
|
|
|
|
|
|
Andreas Emil Feldmann, Karthik C. S., Euiwoong Lee and Pasin Manurangsi
Parameterization and approximation are two popular ways of coping with NP-hard problems. More recently, the two have also been combined to derive many interesting results. We survey developments in the area both from the algorithmic and hardness perspect...
ver más
|
|
|
|
|
|
|
|
|
|
|
Robert Ganian and Sebastian Ordyniak
Integer Linear Programming (ILP) is among the most successful and general paradigms for solving computationally intractable optimization problems in computer science. ILP is NP-complete, and until recently we have lacked a systematic study of the complex...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ronald de Haan and Stefan Szeider
We present a list of parameterized problems together with a complexity classification of whether they allow a fixed-parameter tractable reduction to SAT or not. These problems are parameterized versions of problems whose complexity lies at the second lev...
ver más
|
|
|
|
|
|
|
|
|
|
|
Max Bannach and Till Tantau
Color coding is an algorithmic technique used in parameterized complexity theory to detect ?small? structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color pat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Laurent Bulteau and Mathias Weller
Bioinformatics regularly poses new challenges to algorithm engineers and theoretical computer scientists. This work surveys recent developments of parameterized algorithms and complexity for important NP-hard problems in bioinformatics. We cover sequence...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yanyan Fan, Zhenlin Jin, Xiaoyuan Luo, Shaobao Li and Baosu Guo
In this paper, we study the finite-time formation control problem of uncertain nonholonomic mobile robots following a parameterized path. A path-guided formation control scheme based on an extended state observer is proposed. To compensate for unmeasured...
ver más
|
|
|
|
|
|
|
|
|
|
|
Robert J. Weaver and Abigail L. Stehno
Mangroves offer vital ecological advantages including air and water filtration, coastal and estuarine habitat provision, sediment stabilization, and wave energy dissipation. Their intricate root systems play a key role in safeguarding shorelines from tsu...
ver más
|
|
|
|
|
|
|
|
|
|
|
Paolo Bocciarelli, Andrea D?Ambrogio and Tommaso Panetti
IoT-aware Business Processes (BPs) that exchange data with Internet of Things (IoT) devices, briefly referred to as IoT-aware BPs, are gaining momentum in the BPM field. Introducing IoT technologies from the early stages of the BP development process req...
ver más
|
|
|
|
|
|
|
|
|
|
|
Peng Chen and Huibing Wang
Semi-supervised metric learning intends to learn a distance function from the limited labeled data as well as a large amount of unlabeled data to better gauge the similarities of any two instances than using a general distance function. However, most exi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Abigail Dah, Boualem Khouider and Courtney Schumacher
Coastal convection is often organized into multiple mesoscale systems that propagate in either direction across the coastline (i.e., landward and oceanward). These systems interact non-trivially with synoptic and intraseasonal disturbances such as convec...
ver más
|
|
|
|
|
|
|
|
|
|
|
Philipp Ortner, Raphael Steinhöfler, Erich Leitgeb and Holger Flühr
Today?s air traffic management (ATM) system evolves around the air traffic controllers and pilots. This human-centered design made air traffic remarkably safe in the past. However, with the increase in flights and the variety of aircraft using European a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Carlo E. D. Riboldi and Alberto Rolando
Despite offering often significant advantages with respect to other flying machines, especially in terms of flight endurance, airships are typically harder to control. Technological solutions borrowed from the realm of shipbuilding, such as bow thrusters...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yongzhi Liu, Fan Jiang, Zihan Zhao, Tana and Xianqing Lv
Marine ranching is a stock enhancement project that has been an important part of aquaculture in China. Due to the lack of scientific management, disasters have occurred, resulting in millions of economic losses. Based on the observation system of marine...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mostafa Farrag, Gerald Corzo Perez and Dimitri Solomatine
Many grid-based spatial hydrological models suffer from the complexity of setting up a coherent spatial structure to calibrate such a complex, highly parameterized system. There are essential aspects of model-building to be taken into account: spatial re...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tiago João Freitas Correia,Américo Mateus,Susana Leonor
Pág. 43 - 53
Innovation is an increasingly relevant concept for the success of any organization, but it also represents a set of internal and external considerations, barriers and challenges to overcome. Along the concept of innovation, new paradigms emerge such as o...
ver más
|
|
|
|
|
|
|
|
|
|
|
Max Bannach and Sebastian Berndt
Parameterized complexity theory has led to a wide range of algorithmic breakthroughs within the last few decades, but the practicability of these methods for real-world problems is still not well understood. We investigate the practicability of one of th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Julien Baste, Lars Jaffke, Tomá? Masarík, Geevarghese Philip and Günter Rote
In this work, we study the d-Hitting Set and Feedback Vertex Set problems through the paradigm of finding diverse collections of r solutions of size at most k each, which has recently been introduced to the field of parameterized complexity. This paradig...
ver más
|
|
|
|
|
|