Complexity of optimizing over the integers

In the first part of this paper, we present a unified framework for analyzing the algorithmic complexity of any optimization problem, whether it becontinuous or discrete in nature . This helps to formalize notions like “input”,”size” and “complexity” in the context of general mathematical optimization .…

Mutual cooperation and tolerance to defection in the context of socialization the theoretical model and experimental evidence

Previous findings reveal that socialization effectively promotes cooperation in the well-known Prisoner’s dilemma (PD) game . However, theoretical concepts fail to describe high levels of cooperation (probability higher than 50%) that were observed empirically . In this paper, we derive asymmetrical quantal response equilibrium (QRE) in PD in Markov strategies andtest it against experimental data .…

Fine grained style control in Transformer based Text to speech Synthesis

In this paper, we present a novel architecture to realize fine-grained stylecontrol on the transformer-based text-to-speech synthesis (TransformerTTS) We model the speaking style by extracting a time sequence of local style tokens (LST) from the reference speech . We prevent style embedding from encoding linguistic content by randomly truncating LST during training and using wav2vec 2.0features .…

Delay Sensitive and Power Efficient Quality Control of Dynamic Video Streaming using Adaptive Super Resolution

A novel dynamic video streaming algorithm that compresses video chunks at the transmitter and separately enhancesthe quality at the receiver using SR . Simulation results show that the proposed scheme pursues the quality-of-services (QoS) of the video streaming better than the adaptive quality control without the cooperation of the transmitters and the receiver .…

MELONS generating melody with long term structure using transformers and structure graph

The creation of long melody sequences requires effective expression of musical structure . MELONS adopts a multi-step generation method with transformer-based networks by factoring melody generation into two sub-problems: structuregeneration and structure conditional melody generation . Experimental resultsshow that MELON can produce structured melodies with high quality and richcontents.…

An enumeration of 1 perfect ternary codes

We study codes with parameters of the ternary Hamming $(n,3^{n-m), 3)$ code . The rank of the code is defined as thedimension of its affine span . We count their number and prove that all such codes can be obtained from each other by a sequence of two-coordinate switchings .…

Improved Analysis of EDCS via Gallai Edmonds Decomposition

An EDCS is a sparse subgraphsatisfying simple edge-degree constraints that is guaranteed to include an(almost) $\frac{2}{3)$-approximate matching of the base graph . Since itsintroduction, the EDCS has been successfully applied to numerous models ofcomputation . Motivated by this success, we revisit EDCS and present an improvedbound for its key property in general graphs .…

Photonic Networks on Chip Employing Multilevel Signaling A Cross Layer Comparative Study

Photonic network-on-chip (PNoC) architectures employ photonic links withdense wavelength-division multiplexing (DWDM) to enable high throughput on-chiptransfers . Increasing the DWDM degree (i.e., using a largernumber of wavelengths) requires sophisticated and costly lasersources along with extra photonic hardware . This extra hardware can introduceundesired noise to the photonic link and increase the bit-error-rate (BER), power, and area consumption of PNoCs .…

Inclusive Design Accessibility Settings for People with Cognitive Disabilities

The advancement of technology has progressed faster than any other field inthe world and with the development of these new technologies, it is important to make sure that these tools can be used by everyone, including people with disabilities . The purpose of this paper is to suggest amore affordable and readily available option for ALS assistive technology that can be implemented on a smartphone or tablet .…

Complexity of optimizing over the integers

In the first part of this paper, we present a unified framework for analyzing the algorithmic complexity of any optimization problem, whether it becontinuous or discrete in nature . This helps to formalize notions like “input”,”size” and “complexity” in the context of general mathematical optimization .…

A Modeling Framework for Efficient Reduced Order Simulations of Parametrized Lithium Ion Battery Cells

In this contribution we present a new modeling and simulation framework for Lithium-ion battery cells . We first derive a new continuum model for a rather general intercalation battery cell on the basis of non-equilibriumthermodynamics . The reduced basis method is a model order reduction technique on thebasis of an incremental hierarchical approximate proper orthogonaldecomposition approach and empirical operator interpolation .…

Inclusive Design Accessibility Settings for People with Cognitive Disabilities

The advancement of technology has progressed faster than any other field inthe world and with the development of these new technologies, it is important to make sure that these tools can be used by everyone, including people with disabilities . The purpose of this paper is to suggest amore affordable and readily available option for ALS assistive technology that can be implemented on a smartphone or tablet .…

Deep Federated Learning for Autonomous Driving

Autonomous driving is an active research topic in both academia and industry . We propose a peer-to-peer Deep Federated Learning (DFL) approach totrain deep architectures in a fully decentralized manner and remove the need for central orchestration . We design a new Federated Autonomous Driving network(FADNet) that can improve the model stability, ensure convergence, and handleimbalanced data distribution problems while is being trained with federatedlearning methods .…

Open Player Modeling Empowering Players through Data Transparency

Data is becoming an important central point for making design decisions formost software . As data-driven methods and systems start to populate these environments, a good question is: can we make models developed from this data transparent to users? In this paper, wesynthesize existing work from the Intelligent User Interface and LearningScience research communities, where they started to investigate the potential of making such data and models available to users .…

Structural invariants in individuals language use the ego network of words

The cognitive constraints that humans exhibit in their social interactions have been extensively studied by anthropologists . We postulate thatsimilar regularities can be found in other cognitive processes such as language production . We analyse a dataset containing tweets of a heterogeneous group of Twitter users (regular users and professional writers) Leveraging amethodology similar to the one used to uncover the well-established socialcognitive constraints, we find that a concentric layered structure (which wecall ego network of words) very well captures how individuals organise the words they use .…

Delay Sensitive and Power Efficient Quality Control of Dynamic Video Streaming using Adaptive Super Resolution

A novel dynamic video streaming algorithm that compresses video chunks at the transmitter and separately enhancesthe quality at the receiver using SR . Simulation results show that the proposed scheme pursues the quality-of-services (QoS) of the video streaming better than the adaptive quality control without the cooperation of the transmitters and the receiver .…

Secure Email A Usability Study

More than 60% of e-mail users are unaware of theexistence of end-to-end encryption technologies and never tried to use one . Users are overwhelmed with the management of publickeys and struggle with the setup of encryption technology in their mail software .…

Complexity of optimizing over the integers

In the first part of this paper, we present a unified framework for analyzing the algorithmic complexity of any optimization problem, whether it becontinuous or discrete in nature . This helps to formalize notions like “input”,”size” and “complexity” in the context of general mathematical optimization .…

A Time Encoding approach to training Spiking Neural Networks

Spiking Neural Networks (SNNs) have been gaining in popularity, it seems that the algorithms used to train them are not powerful enough to solve the same tasks as those tackled by classical Artificial Neural Networks . In this paper, we provide an extra tool to help us understand and train SNNs by using theory from the field of time encoding .…

Provably Efficient Reinforcement Learning in Decentralized General Sum Markov Games

This paper addresses the problem of learning an equilibrium efficiently ingeneral-sum Markov games through decentralized multi-agent reinforcementlearning . We propose an algorithm in which each agent independently runs optimistic V-learning (a variant of Q-learning) to explore the unknown environment, while using a stabilized onlinemirror descent (OMD) subroutine for policy updates .…

MELONS generating melody with long term structure using transformers and structure graph

The creation of long melody sequences requires effective expression of musical structure . MELONS adopts a multi-step generation method with transformer-based networks by factoring melody generation into two sub-problems: structuregeneration and structure conditional melody generation . Experimental resultsshow that MELON can produce structured melodies with high quality and richcontents.…

Incremental Community Detection in Distributed Dynamic Graph

In this paper, we propose an incremental community detection algorithm for maintaining a dynamic graph over streaming data . The results demonstrate that our IDWCC algorithm performs up tothree times faster than the DWCC algorithm for a similar accuracy . Wevalidate the functionality and efficiency of our framework in processingstreaming data and performing large in-memory distributed dynamic graphanalytics .…

LazySets jl Scalable Symbolic Numeric Set Computations

LazySets.jl is an easy-to-use, general-purpose and scalable library for computations that mix symbolics and numerics . It is the core library of JuliaReach, a cutting-edge software addressing the fundamental problem of reachability analysis . The library was originally designed for reachability and formal verification, but its scope goes beyond such topics .…