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 Serverless Cloud Integration For Quantum Computing

The proposed solution uses the up-to-date cloud native technologies (e.g. CloudFunctions, Containers, Microservices) and serves as a general framework todevelop multiple applications on the same infrastructure . Every triggeredrun leverages on multiple backend options, that include a scheduler managing the queuing mechanism to correctly schedule jobs and final results retrieval .…

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 .…

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 .…

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 .…

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.,…

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 .…

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 .…

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 .…

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 .…

Robust multigrid techniques for augmented Lagrangian preconditioning of incompressible Stokes equations with extreme viscosity variations

We present augmented Lagrangian Schur complement preconditioners and robustmultigrid methods for incompressible Stokes problems with extreme viscosityvariations . Such Stokes systems arise, for instance, upon linearization of nonlinear viscous flow problems . We extend a multigrid schemewith a discretization-dependent smoother and transfer operators fromtriangular/tetrahedral to quadrilateral/hexahedral finite elementdiscretizations .…

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 .…

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 .…

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 .…

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 .…

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.…

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.…

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 .…

A Novel Deep Reinforcement Learning Based Stock Direction Prediction using Knowledge Graph and Community Aware Sentiments

Turkish version of Bidirectional Encoder Representations fromTransformers (BerTurk) is employed to analyze the sentiments of the users . Q-learning methodology is used for the deep reinforcement learning side of the proposed model to construct the deep Q network . Garanti Bank (GARAN), Akbank (AKBNK),T\”urkiye (ISCTR) stocks in Istanbul Stock Exchange are used as a case study .…

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 .…

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 .…

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 .…

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 .…

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 .…

Structural biology in the clouds The WeNMR EOSC Ecosystem

Structural biology aims at characterizing the structural and dynamicproperties of biological macromolecules at atomic details . Gaining insight intothree dimensional structures of biomolecules and their interactions is critical for understanding the vast majority of cellular processes . Thematic Services in the European Open Science Cloud (EOSC) portal(www.eosc-portal.eu)…

From Epidemic to Pandemic Modelling

We present a methodology for systematically extending epidemic models tomultilevel and multiscale spatio-temporal pandemic ones . Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include populationstratification .…

On the Bike Spreading Problem

A free-floating bike-sharing system (FFBSS) is a dockless rental system where an individual can borrow a bike and returns it everywhere, within the servicearea . For guaranteeingsuch distribution, the FFBSS operator can use vans to manually relocate bikes, but it incurs high economic and environmental costs .…

Provident Vehicle Detection at Night for Advanced Driver Assistance Systems

Current algorithms share one limitation: They rely on directly visible objects . This is a major drawback compared to human behavior, where indirect visual cues caused by the actual object (e.g.,shadows) are already used intuitively to retrieve information . Humans already process light artifacts caused by oncoming vehicles to assume their future appearance, whereas current objectdetection systems rely on the oncoming vehicle’s direct visibility .…