Transfer Learning for Human & AI

MEDIC (available at:https://crisisnlp.org/medic/index.html) is the largest social media image classification dataset for humanitarian response consisting of 71,198 images . The proposed dataset is an important resource for advancing image-based disaster management and multi-task machinelearning research . MEDIC is the first dataset of its kind: social media images, disaster response, andmulti-task learning research .…

The maximum independent set problem is one of the most important problems ingraph algorithms . Our algorithm runs in $O^*(1.1443^n) time and polynomial space . We design several reduction rules and a fast exact algorithm for themaximum weighted independent set .…

Fragile Points Method (FPM) has been augmented by an interface damagemodel at the interfaces of the FPM domains, to simulate crack initiation and development . The FPM method is based on a discontinuous Galerkin weakform where point-based piece-wise-continuous polynuous test and trialfunctions are used instead of element-based basis functions .…

Information Retrieval(IR) techniques are increasingly being used to suggest potential buggy sourcecode locations, for given bug reports . But effectiveness in accurately localizing bugs in softwaresystem remains low . In most IR-based bug localization techniques, the impact of the queries’ configurations are not fully considered .…

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines . The paradigm ofmodel-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven approach allows usto validate our system at design time.…

Traditionally, finite automata theory has been used as a framework for therepresentation of possibly infinite sets of strings . In this work, we show that sets ofsets of strings represented by automata are closed under the usual Boolean operations, such as union, intersection, difference and even a suitable notion of complementation .…

Vehicular Ad Hoc Network (VANET) is a type of mobile ad hoc network (MANET) that facilitates communication among vehicles . VANET provides inter-vehicularcommunications to serve for the application like road traffic safety andtraffic efficiency . Infotainment service has been an anticipating trend inVANets, and video streaming has a high potential in VANNETs .…

Deciding whether a family of disjoint line segments in the plane can belinked into a simple polygon is NP-hard .…

Reconfigurable intelligentsurfaces (RISs) as part of smart radio environments promise improved radio link qualities by means of purposefulcultivation of passive reflections . Obstructed mmWave or THz beamscan can be guided around obstacles through RIS reflection paths to improve theotherwise limited coverage .…

Cirquent calculus is a novel system for resource-conscious logics . It is a refinement of calculus with mechanisms that allow to account for the possibility of sharing of subexpressions/subresources between different resources . This is achieved by dealing with circuit-styleconstructs, termed cirquents, instead of formulas, sequents or other tree-likestructures .…

We study regular graphs in which the random walks starting from a positivefraction of vertices have small mixing time . We prove that any such graph isvirtually an expander and has no small separator . This answers a question of Pak [SODA, 2002].…

In the prophet secretary problem, $n$ values are drawn independently from known distributions, and presented in random order . A decision-maker must accept or reject each value when it is presented, and may accept at most $k$values in total . We study the performance of static threshold policies, which accept the first$k$ values exceeding a fixed threshold .…

The complexity class LOGCFL (resp., LOGDCFL) consists of all languages thatare many-one reducible to context-free languages using logarithmic space . We extend this old subject to stack-statecomplexity (i.e., the total number of inner states plus simultaneously pushablestack symbol series) of nonuniform families of various pushdown automata .…

Player synergies are a salient feature of team sports . In cricket, player synergies may be reflected in batting partnerships . We construct bowlership networks based on these pairwisesynergies . We assert that these bowlership networks can be analysed for team selection before a match, and making bowling changes during the match .…

A paper aims to discover whether these techniques can be generalised across various datasets . The optimal number of extracteddimensions has been identified for each dataset and LDA decreases the performance of the ML models on two datasets . We argue for the need for a universal (benchmark) feature set tofacilitate further advancement and progress in this field of research .…

Industrial Internet of Things (IIoT) networks have become an increasinglyattractive target of cyberattacks . Powerful Machine Learning (ML) models have recently been adopted to implement Network Intrusion Detection Systems (NIDSs), which can protect IIoT networks . For the successful training of such ML models,it is important to select the right set of data features, which maximise thedetection accuracy as well as computational efficiency .…

This paper studies controlling segregation in social networks via exogenousincentives . Decisions made by the users to connect with each other determine the evolution of the social network . We explore an algorithmic recommendation mechanism where the exogenous incentive in the utility function is based on weak ties .…

SentryFS is a specialized file system that strategically strategically “sprays” specially-crafted honey files across the filesystem . The canaries are generated using Natural Language Processing (NLP) and the content and the metadata is constantly updated to make the canaries appearmore attractive for smarter ransomware that is selective in choosing victim files .…

Unmanned Aerial Vehicles (UAVs) have gained significant importance in diverse sectors, mainly military uses . But there is still a long way to go before drones are capable enough to besafely used without human surveillance . The ultimate goal of this research is to advance collision avoidance techniques through quantitative safety risk assessment .…

In the 1960s, statistical physicists discovered a fascinating algorithm forcounting perfect matchings in planar graphs . Valiant later showed that the same problem is #P-hard for general graphs . Since then, the algorithm for planargraphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or$K_{5}$ and more generally, to any graph class excluding a fixed minor $H$that can be drawn in the plane with a single crossing .…

Traditionally, finite automata theory has been used as a framework for therepresentation of possibly infinite sets of strings . In this work, we show that sets ofsets of strings represented by automata are closed under the usual Boolean operations, such as union, intersection, difference and even a suitable notion of complementation .…

This paper presents our work-in-progress study on reference architectures asboundary objects for realizing trustworthy collaborative Cyber-Physical Systems . Furthermore, the preliminary results from interviews with systems engineering experts from industry and academia are also discussed . Theinterview results reveal challenges in using reference architectures during the development process .…

The actual experimental process differs from textbooks in severalpoints, namely: Number and diversity of activities, existence of different roles, and granularity of the concepts used by the roles . We have created conceptual and process models that represent how experimentation is really conducted in the Research Group .…

Traditionally, finite automata theory has been used as a framework for therepresentation of possibly infinite sets of strings . In this work, we show that sets ofsets of strings represented by automata are closed under the usual Boolean operations, such as union, intersection, difference and even a suitable notion of complementation .…

Deciding whether a family of disjoint line segments in the plane can belinked into a simple polygon is NP-hard .…

Technology-assisted review (TAR) workflows based on iterative active learning are widely used in document review applications . Most stopping rules for one-phase TAR workflows lack valid statistical guarantees, which has encouraged their use in some legal contexts . Counterintuitively, incurring alarger sampling cost to reduce excess recall leads to lower total cost in almost all scenarios .…

Industrial Control System (ICS) networks transmit control and monitoring datain critical environments such as smart grid . Cyber attacks on smart gridcommunication may cause fatal consequences on energy production, distribution,and eventually the lives of people . Traditional smart grid security tools like firewalls or Intrusion Detection Systems (IDS) are not able to detect internal threats .…

In the 1960s, statistical physicists discovered a fascinating algorithm forcounting perfect matchings in planar graphs . Valiant later showed that the same problem is #P-hard for general graphs . Since then, the algorithm for planargraphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or$K_{5}$ and more generally, to any graph class excluding a fixed minor $H$that can be drawn in the plane with a single crossing .…

The complexity class LOGCFL (resp., LOGDCFL) consists of all languages thatare many-one reducible to context-free languages using logarithmic space . We extend this old subject to stack-statecomplexity (i.e., the total number of inner states plus simultaneously pushablestack symbol series) of nonuniform families of various pushdown automata .…

This paper presents a framework based on matrices of monoids for the study ofcoupled cell networks . We formally prove within the proposed framework, that the set of results about invariant synchrony patterns for unweighted networks also holds for the weighted case .…

Peer reviewed publications are considered the gold standard in certifying and disseminating ideas that a research community considers valuable . Authors participate in a VCG auction for review slots by submitting their papers along with a bid that represents theirexpected value for having their paper reviewed .…

Deciding whether a family of disjoint line segments in the plane can belinked into a simple polygon is NP-hard .…

Content moderation (removing or limiting the distribution of posts based on contents) is one tool social networks use to fight problems such as harassment and disinformation . Manually screening all content is usually impractical given the scale of social media data, and the need for nuancedhuman interpretations makes fully automated approaches infeasible .…

MEDIC (available at:https://crisisnlp.org/medic/index.html) is the largest social media image classification dataset for humanitarian response consisting of 71,198 images . The proposed dataset is an important resource for advancing image-based disaster management and multi-task machinelearning research . MEDIC is the first dataset of its kind: social media images, disaster response, andmulti-task learning research .…

Traditionally, finite automata theory has been used as a framework for therepresentation of possibly infinite sets of strings . In this work, we show that sets ofsets of strings represented by automata are closed under the usual Boolean operations, such as union, intersection, difference and even a suitable notion of complementation .…

Fragile Points Method (FPM) has been augmented by an interface damagemodel at the interfaces of the FPM domains, to simulate crack initiation and development . The FPM method is based on a discontinuous Galerkin weakform where point-based piece-wise-continuous polynuous test and trialfunctions are used instead of element-based basis functions .…

In education, open-ended quiz questions have become an important tool for assessing students’ knowledge . Yet, manually preparing such questions is a tedious task, and thus automatic question generation has been proposed as apossible alternative . We propose a model that can generate a specified number of answer candidates for a given passage of text, which can then be used by instructors to write questions manually or can be passed as an input to answer-aware question generators .…

URLs are central to a myriad of cyber-security threats, from phishing to the distribution of malware . VirusTotal analysed 311M records containing 77M uniquereal-world URLs submitted to VirusTotal from Dec 2019 to Jan 2020 . From this dataset, 2.6M suspicious campaigns were identified based on their metadata, of which 77,810 were doubly verified as malicious .…

In the 1960s, statistical physicists discovered a fascinating algorithm forcounting perfect matchings in planar graphs . Valiant later showed that the same problem is #P-hard for general graphs . Since then, the algorithm for planargraphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or$K_{5}$ and more generally, to any graph class excluding a fixed minor $H$that can be drawn in the plane with a single crossing .…

This paper presents our work-in-progress study on reference architectures asboundary objects for realizing trustworthy collaborative Cyber-Physical Systems . Furthermore, the preliminary results from interviews with systems engineering experts from industry and academia are also discussed . Theinterview results reveal challenges in using reference architectures during the development process .…

Fragile Points Method (FPM) has been augmented by an interface damagemodel at the interfaces of the FPM domains, to simulate crack initiation and development . The FPM method is based on a discontinuous Galerkin weakform where point-based piece-wise-continuous polynuous test and trialfunctions are used instead of element-based basis functions .…

Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines . The paradigm ofmodel-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven approach allows usto validate our system at design time.…

Deciding whether a family of disjoint line segments in the plane can belinked into a simple polygon is NP-hard .…

A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph . A radio labeling of a graph $G$ is a mapping $f$ : $V(G) such that $f(u)-f(v) holds for every pairof vertices $u$ and $v$ in $G$.…

Multi-cloud concept has broaden the world of cloud computing and has become abuzzword today . The word multi-cloud envisions utilization of services from multiple heterogeneous cloud providers via a single architecture at customerpremises . Cloud computing has many issues and offers open research challenges, still the academics and industrial research has paved a pathway formulti-cloud environment .…

Modern software development relies on the reuse of functionalitiesthrough Application Programming Interfaces (APIs) However, client developers have issues identifying the correct usage of a certain API, causing misusesaccompanied by software crashes or usability bugs . Researchers have identified a set of eight graph-based distance algorithms and applied them on two datasets of real-world API usages and misuses .…

In resource allocation, it is common to assume that agents have a utility for allocated items and zero utility for unallocated ones . For example, in the pandemic, allocation of ventilators,oxygen beds, and critical medical help yields dis-utility to an agent when notreceived in time, i.e.,…

Deciding whether a family of disjoint line segments in the plane can belinked into a simple polygon is NP-hard .…

In the 1960s, statistical physicists discovered a fascinating algorithm forcounting perfect matchings in planar graphs . Valiant later showed that the same problem is #P-hard for general graphs . Since then, the algorithm for planargraphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or$K_{5}$ and more generally, to any graph class excluding a fixed minor $H$that can be drawn in the plane with a single crossing .…

URLs are central to a myriad of cyber-security threats, from phishing to the distribution of malware . VirusTotal analysed 311M records containing 77M uniquereal-world URLs submitted to VirusTotal from Dec 2019 to Jan 2020 . From this dataset, 2.6M suspicious campaigns were identified based on their metadata, of which 77,810 were doubly verified as malicious .…