LIBRA An Economical Hybrid Approach for Cloud Applications with Strict SLAs

Function-as-a-Service (FaaS) has recently emerged to reduce the deploymentcost of running cloud applications . LIBRA leverages both VM-based and serverless resources to efficiently manage cloud resources for theapplications. LIBRA closely monitors the application demand and provisions appropriate VM and Serverless resources such that the running cost is minimizedand Service-Level Agreements are met .…

StylePTB A Compositional Benchmark for Fine grained Controllable Text Style Transfer

Text style transfer aims to controllably generate text with targetedstylistic changes while maintaining core meaning from the source sentenceconstant . Many existing style transfer benchmarks do not offer fine-grained control on sentence structure, emphasis, and content of the sentence . We introduce a large-scale benchmark, StylePTB, with pairedsentences undergoing 21 stylistic changes spanning atomic lexical,syntactic, semantic, and thematic transfers of text .…

Feedback Vertex Set on Hamiltonian Graphs

We study the computational complexity of Feedback Vertex Set on subclasses ofHamiltonian graphs . In particular, we consider Hamiltonian graphs that areregular or are planar and regular . We also study the less known class of $p$-Hamiltonian-ordered graphs, which admit for any $ p$-tupleof vertices a Hamiltonian cycle visiting them in the order given by the tuples of vertices .…

Characterization of Decomposition of Matrix Multiplication Tensors

The canonical polyadic (CP) decomposition of tensors thatcorresponds to matrix multiplications is studied . Finding the rank of thesetensors and computing the decompositions is a fundamental problem of algebraiccomplexity theory . In this paper, we present a novel decomposition . of the tensormultiplication of matrices of the size 3×3 with 3×6 with rank 40 .…

Cybersecurity in Smart Farming Canada Market Research

The Cyber Science Lab (CSL) and Smart Cyber-Physical System (SCPS) Lab at theUniversity of Guelph conduct a market study of cybersecurity technologyadoption and requirements for smart and precision farming in Canada . Weconducted 17 stakeholder/key opinion leader interviews in Canada and the USA, to complete this study .…

LearningCity Knowledge Generation for Smart Cities

LearningCity aims to create knowledge creation in smart cities through anomaly detection and dataannotation, supported in both an automated and crowdsourced manner . The solution has been validated over an existing smart city deployment in Santander, and the OrganiCityexperimentation-as-a-service ecosystem .…

Hovering UAV Based FSO Communications Channel Modelling Performance Analysis and Parameter Optimization

Relay-assisted free-space optical (FSO) communication systems are exploited as a means to mitigate the limiting effects of the turbulence inducedatmospheric scintillation . Due to their mobility andflexibility, unmanned aerial vehicles (UAVs) provide new opportunities for FSOrelaying systems . In this paper, a hovering UAV-based serial FSOdecode-and-forward relaying system is investigated .…

The Undecidability of Conditional Affine Information Inequalities and Conditional Independence Implication with a Binary Constraint

The undecidability is proved via a reduction from the periodic tiling problem . The problem is a variant of the domino problem . This is a step towardsthe conjecture on the undecideability of conditional independence implication . We establish the undefecidabilities of conditional affine informationinequalities, and the problems of deciding whether the intersection of the region and a given affine subspace is empty .…

View Guided Point Cloud Completion

This paper presents a view-guided solution for the task of point cloudcompletion . ViPC (view-guided pointcloud completion) takes the missing crucial global structure information from an extra single-view image . By leveraging a framework that sequentiallyperforms effective cross-modality and cross-level fusions, our method achievessignificantly superior results over typical existing solutions .…

GAttANet Global attention agreement for convolutional neural networks

Transformer attention architectures, similar to those developed for naturallanguage processing, have recently proved efficient also in vision . We report experiments with a simple such attentionsystem that can improve the performance of standard convolutional networks,with relatively few additional parameters . We demonstrate the usefulness of this network (GAttANet) for variousconvolutional backbones (from a simple 5-layer toy model to a standard ResNet50architecture) and datasets (CIFAR10, CIFAR100, Imagenet-1k) Each time, ourglobal attention system improves accuracy over the corresponding baseline .…

Intra Class Uncertainty Loss Function for Classification

In our framework, the features extracted by deep networks of each class arecharacterized by independent Gaussian distribution . The means of the Gaussian play a similar role as the centeranchor in existing methods . In addition, we introduce a margin to intra-class uncertainty to make each cluster more compact and reduce the imbalance of feature distribution from different categories .…

Effectiveness of Social Virtual Reality

A lot of work in social virtual reality has focused on effectiveness of specific social behaviours such as eye-gaze, turntaking, gestures and other verbal and non-verbal cues . We have built upon theseto look at emergent phenomena such as co-presence, leadership and trust .…

Cloth Interactive Transformer for Virtual Try On

2D image-based virtual try-on has attracted increased attention from themultimedia and computer vision communities . We propose a novel two-stage Cloth Interactive Transformer (CIT) for virtualtry-on . In the first stage, we design a CIT matching block, aiming to perform alearnable thin-plate spline transformation that can capture more reasonable long-range relation .…

Fabrication aware Design for Furniture with Planar Pieces

We propose a computational design tool to enable casual end-users to easilydesign, fabricate, and assemble flat-pack furniture with guaranteedmanufacturability . Using our system, users select parameterized components from a library and constrain their dimensions . Then they abstractly specifyconnections among components to define the furniture .…

Semantic Frame Forecast

This paper introduces semantic frame forecast, a task that predicts thesemantic frames that will occur in the next 10, 100, or even 1,000 sentences in a running story . We represent a storyblock using the term frequencies (TF) of semantic frames in it, normalized by each frame’s inverse document frequency (IDF) We conduct semantic frameforecast experiments on 4,794 books from the Bookcorpus and 7,962 scientificabstracts from CODA-19 .…

Investigating Methods to Improve Language Model Integration for Attention based Encoder Decoder ASR Models

Attention-based encoder-decoder (AED) models learn an implicit internallanguage model (ILM) from the training transcriptions . Bayesian interpretation as in the hybrid autoregressivetransducer (HAT) suggests dividing by the prior of the discriminative acoustic model, which corresponds to this implicit LM . We propose several novel methods to estimate the ILM directly from the AED model .…

Consequence aware Sequential Counterfactual Generation

Counterfactuals have become a popular technique nowadays for interacting with black-box machine learning models and understanding how to change a particularinstance to obtain a desired outcome . Most existing approaches assume instant materialization of these changes, ignoring that they may require effort and a specific order of application .…

Machine Translation Decoding beyond Beam Search

Beam search is the go-to method for decoding auto-regressive machinetranslation models . While it yields consistent improvements in terms of BLEU, it is only concerned with finding outputs with high model likelihood . Our aim is to establish whether beam search can be replaced by a more powerfulmetric-driven search technique .…

Approach for modeling single branches of meadow orchard trees with 3D point clouds

The goal of this research is to create a tree model to automaticallydetermine possible pruning points for stand-alone trees within meadows . The algorithm is capable of building a skeleton model based on a pre-segmented photogrammetric 3D point cloud . Good results were achieved in assigning the points to their leading branches and building a virtual treemodel, reaching an overall accuracy of 95.19% .…

Estimation of Summary to Text Inconsistency by Mismatched Embeddings

The proposed ESTIME, Estimator of Summary-to-Text Inconsistency byMismatched Embeddings, correlates with expert scores in summary-level SummEvaldataset stronger than other common evaluation measures . ESTIME is more sensitive to subtle errors than other common evaluation measurement means . We also introduce a method of generating subtle factualerrors in human summaries .…

FUDGE Controlled Text Generation With Future Discriminators

Future Discriminators for Generation (FUDGE) is a flexible and modular method for controlled text generation . Given a pre-existing model G forgenerating text from a distribution of interest, FUDGE enables conditioning on a desired attribute a (for example, formality) while requiring access only to the model’s output logits .…

Speaking of Trust Speech as a Measure of Trust

We propose to use speech cues (on what, when and how the user talks) as an objective real-time measure of trust . This could be implemented in the robot to calibrate towards appropriate trust . However, we would like to open the discussion on how to deal with the ethical implications of this trust measure .…

Secure and Privacy Preserving Stored Surveillance Video Sharing atop Permissioned Blockchain

At present, more than a billion closed-circuit television (CCTV) cameras are watching the world . Traditional video surveillance system (VSS) cannot guaranteethe protection of the privacy of individuals caught on CCTV cameras . The paper proposes a Secure and Privacy-preserving Stored surveillance videosharing (SePriS) mechanism for authorized users/nodes based on smart contracts,blockchain (BC), and enciphering of video frames using DAB, DCT, advanced encryptionstandard (AES), and block shuffling (BS) algorithm .…

What We Measure in Mixed Reality Experiments

There are many potential measures that one might use when evaluating mixed reality experiences . In this position paper I will argue that there arevarious stances to take for evaluation, depending on the framing of the work . I will sketch out some directions for developing more robust measures that can help the field move forward.…

SuperSim a test set for word similarity and relatedness in Swedish

SuperSim is alarge-scale similarity and relatedness test set for Swedish built with experthuman judgments . The test set is composed of 1,360 word-pairs independentlyjudged for both relatedness and similarity by five annotators . We evaluate different models (Word2Vec, fastText, and GloVe) trained on two separate datasets (Swedish Gigaword and Swedish Wikipediadump) to provide a baseline for future comparison .…

Distributed Learning Systems with First order Methods

Scalable and efficient distributed learning is one of the main driving forces behind the recent rapid advancement of machine learning and artificialintelligence . In this work, we hope to provide a brief introduction of some distributedlearning techniques that have recently been developed, namely lossycommunication compression (e.g.,…