State efficient QFA Algorithm for Quantum Computers

Moore-Crutchfield quantum finite automaton(MCQFA) is proven to be exponentially more succinct than classical finiteautomata models . In this paper, we present a modified MCQFA algorithm for the language $mathtt{MOD}_{\rm p}$, the operators of which are selected based on the basis gates on the availablereal quantum computers .…

Analyzing a Knowledge Graph of Industry4 0 Standards

In this article, we tackle the problem of standard interoperability across different standardization frameworks, and devise a knowledge-driven approach . The STO ontology representsproperties of standards and standardization . The I40KG integrates more than 200 standards and fourstandardization frameworks . We analyze both thenumber of discovered relations between standards and accuracy of theserelations .…

A Data Driven Method for Recognizing Automated Negotiation Strategies

Understanding an opponent agent helps in negotiating with it . Wepropose a novel data-driven approach for recognizing an opponent’s snegotiation strategy . The approach includes a data generation method for anagent to generate domain-independent sequences by negotiating with a variety of opponents across domains, a feature engineering method for representingnegotiation data as time series with time-step features and overall features, and a hybrid (recurrent neural network-based) deep learning method .…

TransformerFusion Monocular RGB Scene Reconstruction using Transformers

TransformerFusion is a transformer-based 3D scene reconstruction approach . From an input monocular RGB video, the video frames are processed by a transformer network that fuses the observations into a volumetric featuregrid representing the scene . This feature grid is then decoded to a higher-resolutionscene reconstruction, using an MLP-based surface occupancy prediction frominterpolated coarse-to-fine 3D features .…

ATC an Advanced Tucker Compression library for multidimensional data

ATC is a C++ library for advanced Tucker-based compression of numerical data . It is based on the sequentially truncated higher-order singular value decomposition (ST-HOSVD) and bit plane truncation . Numerical results show that ATC maintains state-of-the-art Tucker compression rates, while providing average speed-ups of 2.6-3.6 and halving memory usage .…

Repulsive Surfaces

This paper develops a numerical framework for optimization of surface geometry while avoiding (self-)collision . The starting point is thetangent-point energy, which effectively pushes apart pairs of points that are close in space but distant along the surface . We develop a discretization ofthis energy for triangle meshes, and introduce a novel acceleration scheme .…

Demonstration of Faceted Search on Scholarly Knowledge Graphs

Traditional scholarly search systems listdocuments instead of providing direct answers to the search queries . As data in knowledge graphs are not acquainted semantically, they are not machine-readable . Instead, a search on scholarly knowledge graphs ends up in a full-text search, not a search in the content of scholarly literature .…

Dependent Type Systems as Macros

Turnstile+ is a high-level, macros-based metaDSL for building dependently typed languages . With it, programmers may rapidly prototype anditerate on the design of new dependently typing features and extensions . The framework’s support of language-oriented programming alsomakes it suitable for experimenting with systems of interacting components,e.g.,…

Certifying DFA Bounds for Recognition and Separation

Wesuggests to use determinacy of turn-based two-player games to generate certificates for the number of states that adeterministic finite automaton (DFA) needs in order to recognize a given language . We show that our approach is useful also for certification of separation of regular languages by a DFA of a given size .…

The Semantics of Package Management via Event Structures

We propose an approach to the semantics of package management which relatesit to general event structures, well-known mathematical objects used in these mathematical objects . In this approach, the data of a package repository is treated as a declarative specification of anondeterministic, concurrent program .…

Persistent Cup Length

In this paper, we lift the cup-length into the Persistent Cup-Lengthinvariant for the purpose of extracting non-trivial information about the evolution of the cohomology ring structure across a filtration . We show that the Cup-length Diagram can be computed from a family of representativecocycles and devise a polynomial time algorithm for the computation of thePersistent cup-Length .…

Instagrammable Data Using Visuals to Showcase More Than Numbers on AJ Labs Instagram Page

Use of data-driven storytelling is becoming increasingly integrated into theever-complex business models of news outlets, generating more impact and visibility . Previous studies have focused on studying these two effects separately . This paper identifies andanalyzes the use of data journalism on the Instagram content of AJ Labs, the team dedicated to producing data- driven and interactive stories for the AlJazeera news network .…

Linear Time Model Checking Branching Processes

Multi-type branching processes are a natural and well-studied model forgenerating random infinite trees . Branching processes feature bothnondeterministic and probabilistic branching, generalizing both transitionsystems and Markov chains . Westudy the complexity of model checking branching processes against linear-timeomega-regular specifications . The underlying general model-checking algorithm is based on the automata-theoretic approach, using unambiguous B\”uchi automata .…

Audio visual Attentive Fusion for Continuous Emotion Recognition

We propose an audio-visual spatial-temporal deep neural network with: (1) avisual block containing a pretrained 2D-CNN followed by a temporalconvolutional network . (2) an aural block containing several parallelTCNs; and (3) a leader-follower attentive fusion block combining theaudio-visual information . The fusion block emphasizes the visual modality while exploits thenoisy aural modality using the inter-modality attention mechanism .…

Trans4E Link Prediction on Scholarly Knowledge Graphs

The incomplepleteness of Knowledge Graphs (KGs) is a crucial issue affecting the quality of AI-based services . In the scholarly domain, KGs describing researchpublications typically lack important information, hindering our ability to analyze and predict research dynamics . In this work, we present Trans4E, a novel embedding model that isparticularly fit for KGs which include N to M relations with N$\gg$M .…

Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities

Resource allocation under uncertainty is a classical problem in city-scalecyber-physical systems . Consider emergency response as an example; urbanplanners and first responders optimize the location of ambulances to minimize response times to incidents such as road accidents . We present a general approach to hierarchical planning that leverages structure in city level CPS problems for resource allocation .…

Traffic Signal Control with Communicative Deep Reinforcement Learning Agents a Case Study

Two recently proposed multi-agent reinforcement learning methods can be applied to control traffic signals in urban areas . The two methods differ intheir use of a reward calculated locally or globally and in the management of agents’ communication . MA2C achieves the best performance in themajority of cases, outperforms the alternative method considered, and displays stability during the learning process .…

EqFix Fixing LaTeX Equation Errors by Examples

EqFix is a synthesis-based repairing system for LaTeX equations . It employs a set of fixing rules, and cansuggest possible repairs for common errors in LaTeX . Thefixing rules can be automatically synthesized from an input-outputexamples . Compared with a state-of-the-art string transformation synthesizer, Eqfix solved 37% more cases and spent only one third of their synthesis time .…

Overcoming Obstructions via Bandwidth Limited Multi Agent Spatial Handshaking

In this paper, we address bandwidth-limited and obstruction-prone perception, specifically in the context of multi-agent semanticsegmentation . We propose an end-to-end learn-able Multi-Agent Spatial Handshaking network (MASH) to process, compress, and propagate visual information across a robotic swarm . We demonstrate superior performance of our model compared against several baselines in a photo-realistic multi-robot AirSim environment,especially in the presence of image occlusions .…

Reinforcement Learning Provides a Flexible Approach for Realistic Supply Chain Safety Stock Optimisation

Reinforcement Learning (RL) offers promise in finding optimal solutions while accommodating more realistic problem features . Unlike analytical-based models, RL treats the problem as a black-box simulation environment mitigating against the problem of oversimplifying reality . RL can simultaneously optimise both safety stock level and order quantity parameters of an inventory policy .…

Chalcogenide optomemristors for multi factor neuromorphic computation

Nanosized films ofchalcogenide semiconductors can serve as building-blocks for novel types of computations where their electronic and optical properties are jointly exploited . We demonstrate that ultrathin photoactive cavities ofGe-doped Selenide can emulate the computationally powerful non-linearoperations of neo-Hebbian plasticity and the shunting inhibition .…

You Only Write Thrice Creating Documents Computational Notebooks and Presentations From a Single Source

Academic trade requires juggling multiple variants of the same content published in different formats: manuscripts, presentations, posters and notebooks . Wepropose to significantly reduce this burden by maintaining a single sourced document in a version-controlled environment (such as git) Hosted on GitHub, our approach supportschange tracking and versioning, as well as a transparent review process based on the underlying code issue management infrastructure .…

EmoGen Quantifiable Emotion Generation and Analysis for Experimental Psychology

EmoGen is a robust and configurable frameworkletting anyone author arbitrary quantifiable facial expressions in 3D through auser-guided genetic algorithm search . This paper covers the technical aspects of expressiongeneration, specifically our production-quality facial blendshape model, automatic corrective mechanisms of implausible facial configurations and the genetic algorithm implementation in the model space search .…

CLIP It Language Guided Video Summarization

A generic video summary is an abridged version of a video that conveys thewhole story and features the most important scenes . Users should have the option ofcustomizing the summary by using natural language to specify what is important . We propose a language-guidedmultimodal transformer that learns to score frames in a video based on their importance relative to one another and their correlation with a user-defined query .…

Web based Structural Identifiability Analyzer

Parameter identifiability describes whether, for a given differential model,one can determine parameter values from model equations . Knowing global or local identifibility properties allows construction of better practical experiments to identify parameters from experimental data . The program is freely available athttps://maple.cloud/app/6509768948056064.…

Instagrammable Data Using Visuals to Showcase More Than Numbers on AJ Labs Instagram Page

Use of data-driven storytelling is becoming increasingly integrated into theever-complex business models of news outlets, generating more impact and visibility . Previous studies have focused on studying these two effects separately . This paper identifies andanalyzes the use of data journalism on the Instagram content of AJ Labs, the team dedicated to producing data- driven and interactive stories for the AlJazeera news network .…

Web Archive Analytics

Web archive analytics is the exploitation of publicly accessible web pages and their evolution for research purposes . The Webis research group, a network of university chairs to which the authors belong, concluded an agreement with the Internet Archive todownload a substantial part of its web archive for research .…

Hafnia based Double Layer Ferroelectric Tunnel Junctions as Artificial Synapses for Neuromorphic Computing

Ferroelectric tunnel junctions (FTJ) based on hafnium zirconium oxide(Hf1-xZrxO2) are a promising candidate for future applications, such aslow-power memories and neuromorphic computing . The tunneling electroresistance(TER) is tunable through the polarization state of the HZO film . By exploiting previously reported switching behaviour and thegradual tunability of the resistance, FTJs can be used as potential candidates for the emulation of synapses for neuromorphic .…

Solving the subset sum problem with a nonideal biological computer

We consider the solution of the subset sum problem based on a parallelcomputer consisting of self-propelled biological agents moving in ananostructured network that encodes the NP-complete task in its geometry . Wedeveloped an approximate analytical method to analyze the effects of small errors in the nonideal junctions composing the computing network by using a Gaussianconfidence interval approximation of the multinomial distribution .…

Web based Structural Identifiability Analyzer

Parameter identifiability describes whether, for a given differential model,one can determine parameter values from model equations . Knowing global or local identifibility properties allows construction of better practical experiments to identify parameters from experimental data . The program is freely available athttps://maple.cloud/app/6509768948056064.…