Transfer Learning for Human & AI

We tackle the problem of accelerating column generation (CG) approaches to set cover formulations in operations research . At each iteration of CG wegenerate a dual solution that approximately solves the LP over all columnsconsisting of a subset of columns in the nascent set .…

The importance of subtyping to enable a wider range of well-typed programs isundeniable . In this work, we exploreubtyping in a system of nested, recursion, and polymorphic types with acoinductive interpretation . We prove that subtyped is undecidable even for the fragment with only internal choices and nested unary recursive type constructors .…

This paper examines the approach taken by team gitastrophe in the CG:SHOP2021 challenge . The challenge was to find a sequence of simultaneous moves ofsquare robots between two given configurations that minimized either totaldistance travelled or makespan (total time) Our winning approach has two main components: an initialization phase that finds a good initial solution, and a$k$-opt local search phase which optimizes this solution .…

This paper presents a remeshing-free, graph-based finite element method (FEM) for simulating ductile and brittle fracture . Existing FEM based methods suffer from an explosion in computational cost asthe system matrix size increases . We evaluate our algorithm extensively on a variety of brittle and ductile materials and compare its features with other state of the art methods .…

This paper tackles a challenging problem of generating photorealistic images from semantic layouts in few-shot scenarios . We present atraining strategy that performs pseudo labeling of semantic masks using theStyleGAN prior . Our framework cansynthesize high-quality images from not only dense semantic masks but alsosparse inputs such as landmarks and scribbles .…

Most state-of-the-art semantic mapping systems are based on supervised learning algorithms that cannot classify novel observations online . We present a solution to multi-robot distributed semantic mapping of noveland unfamiliar environments . Compared to the state ofthe art, the proposed solution produces 20-60% higher quality global maps that do not degrade even as many more local maps are fused .…

In this paper, we propose an approach to perform novel view synthesis and depth estimation via dense 3D reconstruction from a single image . Our NeMIunifies Neural radiance fields (NeRF) with Multiplane Images (MPI) Our method predicts a 4-channel image (RGB and volume density) at arbitrary depth values to jointly reconstruct the camera frustum and fill inoccluded contents .…

In this study, the scientific performance of Italian and Norwegian universityprofessors is analysed using bibliometric indicators . The study is based on over 36,000 individuals and their publication output during the period 2011-2015 . For the remaining 90% of the population, the gender differences are practically non-existent .…

We present a novel framework to learn to convert the perpixel photometricinformation at each view into spatially distinctive and view-invariantlow-level features, which can be plugged into existing multi-view stereopipeline for enhanced 3D reconstruction . Our results compare favorably with state-of-the-art techniques .…

A cascade of opinionformation spreads through a group of networked decision-makers in response to adistributed input signal . Using a nonlinear opinion dynamics model, we show how the triggering of anopinion cascade and the collective decision itself depend on both thedistributed input and the node agreement and disagreement centrality, determined by the spectral properties of the network graph .…

Recently, deep Reinforcement Learning (RL) algorithms have achieveddramatically progress in the multi-agent area . However, training theincreasingly complex tasks would be time-consuming and resources-exhausting. Toalleviate this problem, efficient leveraging the historical experience is essential, which is under-explored in previous studies .…

Interactive applications with automated feedback will largely influence thedesign of future networked infrastructures . The quality-of-service parameter for such applications is the end-to-end latency over the entire loop . By modelling the communicationof a feedback loop as a two-hop network, we address the problem of allocating resources in order to minimize the delay violation probability (DVP),i.e.…

We investigate approval-based committee voting with incomplete information about voters’ approval preferences . We consider several models ofincompleteness where each voter partitions the set of candidates into approved,disapproved, and unknown candidates . We study the complexity of some fundamental problems such as determining whether a given committee is apossible or necessary winning committee and whether it possibly or necessarilysatisfies representation axioms .…

The article discusses the approach for evaluating the innovation index of the products and technologies . The evaluation results can be used to create an awarehouse of the object descriptions with significant innovation potential . The cyclical nature of dynamicchanges in indicators, their interdependence was established, some generalfeatures of products promotion were found.…

Metric learning has been proposed to capture user-item interactions from implicit feedback, but existing methods only represent users and items in a single metric space . We propose novel framework of Multi-fAcet Recommender networks with Sphericaloptimization (MARS) by designing a cross-facet similarity measurement .…

This paper presents a simple decidable logic of functional dependence LFD . It is based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities . The expressivestrength, complete proof calculus and meta-properties of LFD are explored .…

Video-based sensing from aerial drones can provide rich data for numerous applications, including traffic analysis . SkyQuery is a novel aerial drone video sensing platform that provides an expressive, high-level programming language . We conduct diverse case studies usingSkyQuery in parking monitoring, pedestrian activity mapping, and traffic hazard detection scenarios to demonstrate the generalizability and effectiveness of our system .…

To effectively control large-scale distributed systems online, modelpredictive control (MPC) has to swiftly solve the underlying high-dimensionaloptimization . There are multiple techniques applied to accelerate the solving process in the literature, mainly attributed to software-based algorithmicadvancements and hardware-assisted computation enhancements .…

This document shows how Z specifications can be translated into $log . This can help users of other specification languages such as B and VDM to use the same lines . The presentation is rather informal and user-oriented . More technical and formal presentations can be found in the papers published by the authors .…

In this paper, we investigate the random access problem for adelay-constrained heterogeneous wireless network . The most intriguing part of this problem is that user 2 does not know the information of user 1 but needs to maximize the system timely throughput .…

IEEE 802.11bf Task Group is defining the appropriatemodifications to existing Wi-Fi standards to enhance sensing capabilities . We discuss some of the most interesting proposed technical features so far . We also introduce a roadmap of research challenges pertaining to Wi-fi sensing and its integration with future technologies and emerging spectrum bands .…

The article presents a systematic review of the results of the development of the theoretical basis and the pilot implementation of data storage technology . It is expected that the repository will contain information about objects with significant innovative potential .…

The paper presents the results of the experiments that were conducted to confirm the main ideas of the proposed approach to determining the objectsinnovativeness . This approach assumed that the product life cycle of whosedescriptions are placed in different data warehouses is adequate .…

Hand tracking has become an integral feature of recent generations of immersive virtual reality head-mounted displays . With the widespread adoption of this feature, hardware engineers and software developers are faced with anexciting array of opportunities and a number of challenges, mostly in relation to the human user .…

Proving that an unbounded distributed protocol satisfies a given safetyproperty amounts to finding a quantified inductive invariant that implies the property for all possible instance sizes of the protocol . We propose symmetricincremental induction, an extension of the finite-domain IC3/PDR algorithm, that automatically derives the required quantified induction ant byexploiting the connection between symmetry and quantification .…

The paper gives a formal description of analgorithm fitness function, which is a weighted sum of three heterogeneouscriteria . The selected methods for analytical determining of weight factors are described in detail . The authors present a research methodology using the experimental results from earlier in the discussed project “Data Warehouse Support on theBase Intellectual Web Crawler and Evolutionary Model for Target InformationSelection”.…

As large graph processing emerges, we observe a costly fork-processingpattern (FPP) common in many graph algorithms . The unique feature of the FPP is that it launches many independent queries from different source vertices on the same graph . We propose ForkGraph, a cache-efficient FPP processing system on multi-core architectures, to improve the cache reuse of the graph .…

Dynamic-mode decomposition (DMD) is a versatile framework for model-freeanalysis of time series that are generated by dynamical systems . We develop aDMD-based algorithm to investigate the formation of “functional communities” in networks of coupled, heterogeneous Kuramoto oscillators . In these functionalcommunities, the oscillators in the network have similar dynamics .…

Recommendation algorithms have been pointed out as one of the major culprits of misinformation spreading in the digital sphere . However, it is still unclear how these algorithms really propagate misinformation . A set of guidelines on how to adapt these algorithms is provided based on such analysis and a comprehensive review of the research .…

This study investigates the convergence of two bibliometric approaches to themeasurement of interdisciplinary research . In general, diversity of the reference list grows with the number of fields reflected in a paper’s authors’ list . However, this tendency varies across disciplines, and noticeable exceptions are found at individual paper level .…

This paper introduces a systematic approach to synthesize linearparameter-varying (LPV) representations of nonlinear (NL) systems . All nonlinearities of the original system are embedded into one NL function, which is factorized, based on a proposed algorithm . The overall procedure yields an LPV model in which the scheduling variable depends on the inputs and outputs of the system and their derivatives, achieving a practically applicable transformation of the model in case of low order derivatives .…

Big data frameworks provide data abstractions to developers, but there may be many challenges for developers to understand and debug the data processing code . Our approach leverages statistical sampling to minimize performance overhead, and provides intermediate information and hint messages for each data processingstep of a chained method pipeline .…

Electrical neuromodulation as a palliative treatment has been increasingly applied to epilepsy . However, most of the current treatments implement pre-determined actuation strategies rather than closed-loop neurofeedback . In this paper, rooted in optimal control theory, we propose a novel framework for real-time closed-loed-loop electrical neurmodulation in epilepsy .…

Attention maps, a popular heatmap-based explanation method for VisualQuestion Answering, are supposed to help users understand the model by highlighting portions of the image/question used by the model to infer answers . However, we see that users are often misled by current attention mapvisualizations that point to relevant regions despite the model producing anincorrect answer .…

We introduce a novel method for the implementation of shape optimziation influid dynamics applications . We propose to use the shape derivative to determine deformation fields with the help of the $p-$ Laplacian for $p 2$. This approach is closely related to the computation of steepest descentdirections of the shape functional in the $W^{1,\infty}-$ topology .…

This paper presents a model-free reinforcement learning (RL) algorithm to solve the risk-averse optimal control (RAOC) problem for discrete-timenonlinear systems . Successful RL algorithms have been presented to learn optimal control solutions under epistemic uncertainties (i.e., lack of knowledge of system dynamics), they do so by optimizing the expected utility of outcomes .…

RETIoT ( Requirements Engineering Technology for the Internetof Things based software systems) aims to provide methodological, technical,and tooling support to produce IoT software system requirements document . It iscomposed of an IoT scenario description technique, a checklist to verify IoTscenarios, construction processes, and templates for IoT software systems .…

This paper focuses on distributed learning-based control of decentralized multi-agent systems . It uses a Distributed ModelPredictive Control (DMPC) approach, where each agent’s sub-problem includes both local and shared objectives and constraints . To solve the resulting complex andnon-convex DMPC problems efficiently, we develop an algorithm called ADMM-C that combines a distributed ADMM algorithm and a Sequential Convexification method .…

The article considers the quantitative assessment approach to theinnovativeness of different objects . The proposed assessment model is based on the object data retrieval from various databases including the Internet . Wepresent an object linguistic model, the processing technique for themeasurement results including the results retrieved from the different searchengines, and the evaluating technique of the source credibility .…

This paper presents a novel multi-robot coverage path planning (CPP)algorithm – aka SCoPP – that provides a time-efficient solution . This algorithm accounts for discontinuities (e.g., no-fly zones) in aspecified area of interest, and provides an optimized ordered list ofway-points per robot using a discrete, computationally efficient, nearestneighbor path planning algorithm .…

Proof-of-Stake(PoS) is then proposed to tackle the energy issue . The rich-get-richer concern of PoS has been heavily debated in the blockchain community . The debate is centered around whether rich miners possessing more stakes obtain higher staking rewards and further increase their potential income in the future .…

High Energy Physics (HEP) experiments traditionally consume large amounts of CPU cycles for detectorsimulations and data analysis, but rarely use compute accelerators such asGPUs . As the LHC is upgraded to allow for higher luminosity, it may not provide enough computingpower to support simulation and data analyses needs .…

Tree-cut width is a graph parameter introduced by Wollan that is an analogue of treewidth for the immersion order on graphs . It is functionally equivalent to the largest size of awall that can be found in a graph as an immersion .…

The Kronecker product-based algorithm for context-free path querying (CFPQ) was proposed by Orachev et al. (2020) We reduce this algorithm to operationsover Boolean matrices and extend it with the mechanism to extract all paths of interest . We also prove $O(n^3/\log{n)$ time complexity of the proposed algorithm, where n is a number of vertices of the input graph .…

MultiScope is a general-purpose video pre-processor for object detection and tracking that explores multiple avenues for optimizing video queries to extract tracks from video . We compare MultiScope against three recentsystems on seven diverse datasets and find that it provides a 2.9x averagespeedup over the next best baseline at the same accuracy level .…

Methodology for handling edge attributes has been developed for a number of network models, but comparable techniques for edge-related attributes remain largely unavailable . We address this gap in the literature by extending the latent position random graph model to the line graph of a random graph .…

Lack of adequate training samples and noisy high-dimensional features are key challenges faced by Motor Imagery (MI) decoding algorithms . FBCNet employs a multi-view data representation followed byspatial filtering to extract spectro-spatially discriminative features . The results show that, by achieving 76.20% 4-class classification accuracy, FBCNetsets a new SOTA for BCIC-IV-2a dataset .…

At PODC 2014, A. Most\’efaoui, H. Moumen, and M. Raynal presented a new andsimple randomized signature-free binary consensus algorithm (denoted here MMR) that copes with the net effect of asynchrony Byzantine behaviors . MMR is optimal in several respects: it deals with up to t Byzantine processes where t < n/3and n is the number of processes, O(n\^2) messages and O(1) expected time . The proposed algorithm is the first loosely-self-stabilizing Byzantinefault-tolerant binary consensus algorithms suited to asynchronousmessage-passing systems . Furthermore, it only requires a bounded amount of memory. Furthermore, the obtained algorithm preserves its properties of optimal resilience andtermination, (i.e., t

High performance computing clusters operating in shared and batch mode pose challenges for processing sensitive data . We present a novel method for creating secure computing environments on traditionalmulti-tenant high-performance computing clusters . We show how this platform has been used in real-world research applications from different research domains .…

In this work we provide a detailed specification of how we extended and implemented Classic Paxos (CP) to execute Read-Modify-Writes . We also specify how we implemented All-aboard Paxos over CP and how we use carstamps to also add ABD reads and writes, to accelerate the common case, where RMWs are not needed .…