VIDA A simulation model of domestic VIolence in times of social DistAncing

The COVID-19 pandemic led Brazil to recommend and, at times, imposes social distancing, with the partial closure of economic activities, schools,and restrictions on events and public services . Preliminary evidence shows thatintense coexistence increases domestic violence, while social distancingmeasures may have prevented access to public services and networks,information, and help .…

Two beams are better than one Enabling reliable and high throughput mmWave links

Millimeter-wave communication with high throughput and high reliability is poised to be a gamechanger for V2X and VR applications . mmReliable achieves close to 100% reliabilityproviding 1.5 times better throughput than traditional single-beam systems . It creates custom beam patterns with multiple lobes andoptimizes their angle, phase, and amplitude to maximize the signal strength at the receiver .…

Ergodic Exploration using Tensor Train Applications in Insertion Tasks

A large class of ergodic control algorithms relies on spectral analysis, which suffers from the curse of dimensionality . The proposed solution is efficient both computationally and storage-wise, hencemaking it suitable for its online implementation in robotic systems . The approach is applied to a peg-in-hole insertion task using a 7-axis Franka EmikaPanda robot, where the task can be achieved without the use of force/torque sensors.…

Trace Ratio Optimization with an Application to Multi view Learning

A trace ratio optimization problem over the Stiefel manifold is investigated from theory and numerical computations . A new frameworkand its instantiated concrete models are proposed and demonstrated on realworld data sets . Numerical results show that the efficiency of the proposed methods and effectiveness of the new multi-view subspace learningmodels are demonstrated .…

Interpretable discovery of new semiconductors with machine learning

Machine learning models of materials$^{1-5$ accelerate discovery compared toab initio methods . Deep Adaptive Regressive Regressive Weighted Intelligent Network (DARWIN) predicts K$_2$CuX$_3$ (X = Cl, Br) as a promising materialsfamily, based on its electronegativity difference . We synthesized and found these materials to be stable, direct bandgap UV emitters.…

Benchmarking Simulation Based Inference

Recent advances in probabilistic modelling have led to a large number of ‘likelihood-free’ algorithms which do not require numerical evaluation of likelihoods . We provide a benchmark with inference tasks and performance metrics . We found that the choice of performance metric is critical, that even state-of-the-art algorithms have substantial room for improvement .…

Counting and localizing defective nodes by Boolean network tomography

Identifying defective items in larger sets is a main problem with manyapplications in real life situations . We investigate old and new identifiability conditions contributing this problem both from atheoretical and applied perspective . What is the precise tradeoff between number of nodes and number of paths such that at most $k$ nodes can beidentified unambiguously ?…

HighAir A Hierarchical Graph Neural Network Based Air Quality Forecasting Method

Existing air quality forecasting methods cannot effectively model thediffusion processes of air pollutants between cities and monitoring stations, which may suddenly deteriorate the air quality of a region . In this paper, we propose HighAir, i.e., a hierarchical graph neural network-based air quality forecast method, which adopts an encoder-decoder architecture and considers complex air quality influencing factors, e.g.,…

Joint aggregation of cardinal and ordinal evaluations with an application to a student paper competition

An important problem in decision theory concerns the aggregation of individual rankings/ratings into a collective evaluation . We illustrate a new aggregation method in the context of the 2007 MSOM’s student paper competition . This approach is potentially useful in managerialdecision making problems by a committee selecting projects from a large set or capital budgeting involving multiple priorities .…

A Compact Deep Learning Model for Face Spoofing Detection

Presentation attack detection (PAD) has received significant attention from research communities and has become a major field of research . Instead of completely extracting hand-crafted texture features or relying only on deep neural networks, we address theproblem via fusing both wide and deep features in a unified neuralarchitecture .…

Declarative Demand Driven Reverse Engineering

Binary reverse engineering is a challenging task because it often requires reasoning using both domain-specific knowledge and logical inference . We argue that deductivedivedivedatabases serve as a natural abstraction for interfacing between visual analysis tools and high-performance logicalinference engines that compute facts about binaries .…

Falx Synthesis Powered Visualization Authoring

Falx is a synthesis-powered visualization tool that allows users to specify visualizations without needing to worry about data layout . Falxautomatically infers the visualization specification and transforms the data to match the design . In a study with 33 data analysts on four visualization tasks, we found that users can effectively adopt Falxto create visualizations they otherwise cannot implement .…

People Places and Ties Landscape of social places and their social network structures

Social networks of ‘Restaurants’ and ‘Indoor Recreation’ are more likely to be tight-knit communities of pre-existing friendshipswhereas ‘Places of Worship’ and “Community Amenities’ page categories are morelikely to bridge new friendship ties . Certain types of Facebook pages demonstrate a large degree of clustering suggesting community preference or potential complementarities to concentration .…

Airfoil GAN Encoding and Synthesizing Airfoils forAerodynamic aware Shape Optimization

The current design of aerodynamic shapes, like airfoils, involvescomputationally intensive simulations to explore the possible design space . In this work, we propose adata-driven shape encoding and generating method, which automatically learnsrepresentations . The representations are then used in the optimization ofsynthesized airfoil shapes based on their aerodynamic performance .…

Data driven peakon and periodic peakon travelling wave solutions of some nonlinear dispersive equations via deep learning

In the field of mathematical physics, there exist many physically interestingnonlinear dispersive equations with peakon solutions . Peakon solutions are solitary waves with discontinuous first-order derivative at the wave peak . In this paper, we apply the multi-layer physics-informed neural networks (PINNs) deep learning to study the data-driven peakon and periodic peakon solution of somewell-known nonlinear dispersion equations with initial-boundary valueconditions such as the Camassa-Holm (CH) equation, Degasperis-Procesi equation, modified CH equation with cubic nonlinearity, mCH-Novikov equation, andetc.…

Expanding Explainability Towards Social Transparency in AI systems

Explanations in human-human interactions are socially-situated . Explainable AI(XAI) approaches have been predominantly algorithm-centered . We introduce and explore Social Transparency (ST), a sociotechnically informed perspective thatorporates the socio-organizational context into explaining AI-mediateddecision-making . We suggestedconstitutive design elements of ST and developed a conceptual framework tounpack ST’s effect and implications at the technical, decision-making, and organizational level .…

Hybrid matheuristics to solve the integrated lot sizing and scheduling problem on parallel machines with sequence dependent and non triangular setup

This paper approaches the integrated lot sizing and scheduling problem(ILSSP) In which non-identical machines work in parallel with non-triangularsequence-dependent setup costs and times, setup carry-over and capacity limit . The proposed matheuristicssignificantly outperformed CPLEX solver with a fixed CPU time limit in most of the tested instances .…

Real or Virtual Using Brain Activity Patterns to differentiate Attended Targets during Augmented Reality Scenarios

Augmented Reality is the fusion of virtual components and our realsurroundings . The simultaneous visibility of generated and natural objectsoften requires users to direct their selective attention to a specific target . In this study, we investigated whether thistarget is real or virtual by using machine learning techniques to classifyelectroencephalographic (EEG) data collected in Augmented reality scenarios .…

The Daily Life of Software Engineers during the COVID 19 Pandemic

Following onset of the COVID-19 pandemic and subsequent lockdowns, software engineers’ daily life was disrupted and abruptly forced into remoteworking from home . This change deeply impacted typical working routines,affecting both well-being and productivity . Several tech companies allow their employees to work from home indefinitely if they wish to do so .…

Practical Speech Re use Prevention in Voice driven Services

AEOLUS is a security overlay that proactively embeds a dynamic acoustic nonce at the time of user interaction . It detects the presence of the embedded nonce inthe recorded speech to ensure freshness of the input speech . AEOLus yields 0.5% FRR at0% FAR for speech re-use prevention upto a distance of 4 meters in threereal-world environments with different background noise levels .…

GSM GPRS Based Smart Street Light

Street lighting system has always been the traditional manual system ofilluminating the streets in Bangladesh . A dedicated person is posted only to control the street lights of a zone, who roams around the zonal area to switch on and switch off the lights two times a day .…

Integrating a joint Bayesian generative model in a discriminative learning framework for speaker verification

The task for speaker verification (SV) is to decide an utterance is spoken by a target or imposter speaker . In most SV studies, a log-likelihood ratio(L_LLR) score is estimated based on a generative probability model on speakerfeatures . However, thegenerative model usually focuses on feature distributions and does not have thediscriminative feature selection ability, which is easy to be distracted bynuisance features .…

Reliable Fleet Analytics for Edge IoT Solutions

Edge computing is emerging to enable AIoT applications. Edge computing enables generating insights and making decisions at or near the data source, reducing the amount of data sent to thecloud or a central repository . We propose a framework forfacilitating machine learning at the edge for AIOT applications, to enablecontinuous delivery, deployment, and monitoring of machine learning models atthe edge (Edge MLOps) The contribution is an architecture that includesservices, tools, and methods for delivering fleet analytics at scale.…