Showing 1–50 of 168 results for author: Rodriguez, M A

Operators in the Fock-Toeplitz algebra

Authors: Wolfram Bauer, Robert Fulsche, Miguel Angel Rodriguez Rodriguez

Abstract: We consider various classes of bounded operators on the Fock space $F^2$ of Gaussian square integrable entire functions over the complex plane. These include Toeplitz (type) operators, weighted composition operators, singular integral operators, Volterra-type operators and Hausdorff operators and range from classical objects in harmonic analysis to more recently introduced classes. As a leading pr… ▽ More We consider various classes of bounded operators on the Fock space $F^2$ of Gaussian square integrable entire functions over the complex plane. These include Toeplitz (type) operators, weighted composition operators, singular integral operators, Volterra-type operators and Hausdorff operators and range from classical objects in harmonic analysis to more recently introduced classes. As a leading problem and closely linked to well-known compactness characterizations we pursue the question of when these operators are contained in the Toeplitz algebra. This paper combines a (certainly in-complete) survey of the classical and more recent literature including new ideas for proofs from the perspective of quantum harmonic analysis (QHA). Moreover, we have added a number of new theorems and links between known results. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Comments: 36 pages; comments are welcome

MSC Class: 30H20; 46E22; 47B35; 47B33

Refining microstructures in additively manufactured Al/Cu gradients through TiB$_2$ inclusions

Authors: Michael J. Abere, Hyein Choi, Levi Van Bastian, Luis Jauregui, Tomas F. Babuska, Mark. A Rodriguez, Frank W. DelRio, Shaun R. Whetten, Andrew B. Kustas

Abstract: The additive manufacture of compositionally graded Al/Cu parts by laser engineered net sha** (LENS) is demonstrated. The use of a blue light build laser enabled deposition on a Cu substrate. The thermal gradient and rapid solidification inherent to selective laser melting enabled mass transport of Cu up to 4 mm away from a Cu substrate through a pure Al deposition, providing a means of producing… ▽ More The additive manufacture of compositionally graded Al/Cu parts by laser engineered net sha** (LENS) is demonstrated. The use of a blue light build laser enabled deposition on a Cu substrate. The thermal gradient and rapid solidification inherent to selective laser melting enabled mass transport of Cu up to 4 mm away from a Cu substrate through a pure Al deposition, providing a means of producing gradients with finer step sizes than the printed layer thicknesses. Printing graded structures with pure Al, however, was prevented by the growth of Al$_2$Cu$_3$ dendrites and acicular grains amid a matrix of Al$_2$Cu. A combination of adding TiB$_2$ grain refining powder and actively varying print layer composition suppressed the dendritic growth mode and produced an equiaxed microstructure in a compositionally graded part. Material phase was characterized for crystal structure and nanoindentation hardness to enable a discussion of phase evolution in the rapidly solidifying melt pool of a LENS print. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: In review at JOM

Autonomous Vehicle Patrolling Through Deep Reinforcement Learning: Learning to Communicate and Cooperate

Authors: Chenhao Tong, Maria A. Rodriguez, Richard O. Sinnott

Abstract: Autonomous vehicles are suited for continuous area patrolling problems. Finding an optimal patrolling strategy can be challenging due to unknown environmental factors, such as wind or landscape; or autonomous vehicles' constraints, such as limited battery life or hardware failures. Importantly, patrolling large areas often requires multiple agents to collectively coordinate their actions. However,… ▽ More Autonomous vehicles are suited for continuous area patrolling problems. Finding an optimal patrolling strategy can be challenging due to unknown environmental factors, such as wind or landscape; or autonomous vehicles' constraints, such as limited battery life or hardware failures. Importantly, patrolling large areas often requires multiple agents to collectively coordinate their actions. However, an optimal coordination strategy is often non-trivial to be manually defined due to the complex nature of patrolling environments. In this paper, we consider a patrolling problem with environmental factors, agent limitations, and three typical cooperation problems -- collision avoidance, congestion avoidance, and patrolling target negotiation. We propose a multi-agent reinforcement learning solution based on a reinforced inter-agent learning (RIAL) method. With this approach, agents are trained to develop their own communication protocol to cooperate during patrolling where faults can and do occur. The solution is validated through simulation experiments and is compared with several state-of-the-art patrolling solutions from different perspectives, including the overall patrol performance, the collision avoidance performance, the efficiency of battery recharging strategies, and the overall fault tolerance. △ Less

Submitted 28 January, 2024; originally announced February 2024.

Deep Back-Filling: a Split Window Technique for Deep Online Cluster Job Scheduling

Authors: Lingfei Wang, Aaron Harwood, Maria A. Rodriguez

Abstract: Job scheduling is a critical component of workload management systems that can significantly influence system performance, e.g., in HPC clusters. The scheduling objectives are often mixed, such as maximizing resource utilization and minimizing job waiting time. An increasing number of researchers are moving from heuristic-based approaches to Deep Reinforcement Learning approaches in order to optim… ▽ More Job scheduling is a critical component of workload management systems that can significantly influence system performance, e.g., in HPC clusters. The scheduling objectives are often mixed, such as maximizing resource utilization and minimizing job waiting time. An increasing number of researchers are moving from heuristic-based approaches to Deep Reinforcement Learning approaches in order to optimize scheduling objectives. However, the job scheduler's state space is partially observable to a DRL-based agent because the job queue is practically unbounded. The agent's observation of the state space is constant in size since the input size of the neural networks is predefined. All existing solutions to this problem intuitively allow the agent to observe a fixed window size of jobs at the head of the job queue. In our research, we have seen that such an approach can lead to "window staleness" where the window becomes full of jobs that can not be scheduled until the cluster has completed sufficient work. In this paper, we propose a novel general technique that we call \emph{split window}, which allows the agent to observe both the head \emph{and tail} of the queue. With this technique, the agent can observe all arriving jobs at least once, which completely eliminates the window staleness problem. By leveraging the split window, the agent can significantly reduce the average job waiting time and average queue length, alternatively allowing the use of much smaller windows and, therefore, faster training times. We show a range of simulation results using HPC job scheduling trace data that supports the effectiveness of our technique. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: This paper has been accepted for presentation at HPCC, 2022

CloudSim Express: A Novel Framework for Rapid Low Code Simulation of Cloud Computing Environments

Authors: Tharindu B. Hewage, Shashikant Ilager, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Cloud computing environment simulators enable cost-effective experimentation of novel infrastructure designs and management approaches by avoiding significant costs incurred from repetitive deployments in real Cloud platforms. However, widely used Cloud environment simulators compromise on usability due to complexities in design and configuration, along with the added overhead of programming langu… ▽ More Cloud computing environment simulators enable cost-effective experimentation of novel infrastructure designs and management approaches by avoiding significant costs incurred from repetitive deployments in real Cloud platforms. However, widely used Cloud environment simulators compromise on usability due to complexities in design and configuration, along with the added overhead of programming language expertise. Existing approaches attempting to reduce this overhead, such as script-based simulators and Graphical User Interface (GUI) based simulators, often compromise on the extensibility of the simulator. Simulator extensibility allows for customization at a fine-grained level, thus reducing it significantly affects flexibility in creating simulations. To address these challenges, we propose an architectural framework to enable human-readable script-based simulations in existing Cloud environment simulators while minimizing the impact on simulator extensibility. We implement the proposed framework for the widely used Cloud environment simulator, the CloudSim toolkit, and compare it against state-of-the-art baselines using a practical use case. The resulting framework, called CloudSim Express, achieves extensible simulations while surpassing baselines with over a 71.43% reduction in code complexity and an 89.42% reduction in lines of code. △ Less

Submitted 10 November, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

μ-DDRL: A QoS-Aware Distributed Deep Reinforcement Learning Technique for Service Offloading in Fog computing Environments

Authors: Mohammad Goudarzi, Maria A. Rodriguez, Majid Sarvi, Rajkumar Buyya

Abstract: Fog and Edge computing extend cloud services to the proximity of end users, allowing many Internet of Things (IoT) use cases, particularly latency-critical applications. Smart devices, such as traffic and surveillance cameras, often do not have sufficient resources to process computation-intensive and latency-critical services. Hence, the constituent parts of services can be offloaded to nearby Ed… ▽ More Fog and Edge computing extend cloud services to the proximity of end users, allowing many Internet of Things (IoT) use cases, particularly latency-critical applications. Smart devices, such as traffic and surveillance cameras, often do not have sufficient resources to process computation-intensive and latency-critical services. Hence, the constituent parts of services can be offloaded to nearby Edge/Fog resources for processing and storage. However, making offloading decisions for complex services in highly stochastic and dynamic environments is an important, yet difficult task. Recently, Deep Reinforcement Learning (DRL) has been used in many complex service offloading problems; however, existing techniques are most suitable for centralized environments, and their convergence to the best-suitable solutions is slow. In addition, constituent parts of services often have predefined data dependencies and quality of service constraints, which further intensify the complexity of service offloading. To solve these issues, we propose a distributed DRL technique following the actor-critic architecture based on Asynchronous Proximal Policy Optimization (APPO) to achieve efficient and diverse distributed experience trajectory generation. Also, we employ PPO clip** and V-trace techniques for off-policy correction for faster convergence to the most suitable service offloading solutions. The results obtained demonstrate that our technique converges quickly, offers high scalability and adaptability, and outperforms its counterparts by improving the execution time of heterogeneous services. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Reinforcement Learning (RL) Augmented Cold Start Frequency Reduction in Serverless Computing

Authors: Siddharth Agarwal, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Function-as-a-Service is a cloud computing paradigm offering an event-driven execution model to applications. It features serverless attributes by eliminating resource management responsibilities from developers and offers transparent and on-demand scalability of applications. Typical serverless applications have stringent response time and scalability requirements and therefore rely on deployed s… ▽ More Function-as-a-Service is a cloud computing paradigm offering an event-driven execution model to applications. It features serverless attributes by eliminating resource management responsibilities from developers and offers transparent and on-demand scalability of applications. Typical serverless applications have stringent response time and scalability requirements and therefore rely on deployed services to provide quick and fault-tolerant feedback to clients. However, the FaaS paradigm suffers from cold starts as there is a non-negligible delay associated with on-demand function initialization. This work focuses on reducing the frequency of cold starts on the platform by using Reinforcement Learning. Our approach uses Q-learning and considers metrics such as function CPU utilization, existing function instances, and response failure rate to proactively initialize functions in advance based on the expected demand. The proposed solution was implemented on Kubeless and was evaluated using a normalised real-world function demand trace with matrix multiplication as the workload. The results demonstrate a favourable performance of the RL-based agent when compared to Kubeless' default policy and function keep-alive policy by improving throughput by up to 8.81% and reducing computation load and resource wastage by up to 55% and 37%, respectively, which is a direct outcome of reduced cold starts. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: 13 figures, 10 pages, 3 tables

A Deep Recurrent-Reinforcement Learning Method for Intelligent AutoScaling of Serverless Functions

Authors: Siddharth Agarwal, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Function-as-a-Service (FaaS) introduces a lightweight, function-based cloud execution model that finds its relevance in applications like IoT-edge data processing and anomaly detection. While CSP offer a near-infinite function elasticity, these applications often experience fluctuating workloads and stricter performance constraints. A typical CSP strategy is to empirically determine and adjust des… ▽ More Function-as-a-Service (FaaS) introduces a lightweight, function-based cloud execution model that finds its relevance in applications like IoT-edge data processing and anomaly detection. While CSP offer a near-infinite function elasticity, these applications often experience fluctuating workloads and stricter performance constraints. A typical CSP strategy is to empirically determine and adjust desired function instances, "autoscaling", based on monitoring-based thresholds such as CPU or memory, to cope with demand and performance. However, threshold configuration either requires expert knowledge, historical data or a complete view of environment, making autoscaling a performance bottleneck lacking an adaptable solution.RL algorithms are proven to be beneficial in analysing complex cloud environments and result in an adaptable policy that maximizes the expected objectives. Most realistic cloud environments usually involve operational interference and have limited visibility, making them partially observable. A general solution to tackle observability in highly dynamic settings is to integrate Recurrent units with model-free RL algorithms and model a decision process as a POMDP. Therefore, in this paper, we investigate a model-free Recurrent RL agent for function autoscaling and compare it against the model-free Proximal Policy Optimisation (PPO) algorithm. We explore the integration of a LSTM network with the state-of-the-art PPO algorithm to find that under our experimental and evaluation settings, recurrent policies were able to capture the environment parameters and show promising results for function autoscaling. We further compare a PPO-based autoscaling agent with commercially used threshold-based function autoscaling and posit that a LSTM-based autoscaling agent is able to improve throughput by 18%, function execution by 13% and account for 8.4% more function instances. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 12 pages, 13 figures, 4 tables

Commutative $G$-invariant Toeplitz C$^\ast$ algebras on the Fock space and their Gelfand theory through Quantum Harmonic Analysis

Authors: Robert Fulsche, Miguel Angel Rodriguez Rodriguez

Abstract: We discuss the notion of spectral synthesis for the setting of Quantum Harmonic Analysis. Using these concepts, we study subalgebras of the full Toeplitz algebra with certain invariant symbols and their commutators. In particular, we find a new class of commutative Toeplitz C$^\ast$ algebras on the Fock space. In the end, we investigate the Gelfand theory of those commutative C$^\ast$ algebras. We discuss the notion of spectral synthesis for the setting of Quantum Harmonic Analysis. Using these concepts, we study subalgebras of the full Toeplitz algebra with certain invariant symbols and their commutators. In particular, we find a new class of commutative Toeplitz C$^\ast$ algebras on the Fock space. In the end, we investigate the Gelfand theory of those commutative C$^\ast$ algebras. △ Less

Submitted 22 November, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: Final version, to appear in the Journal of Operator Theory

MSC Class: Primary: 47L80; Secondary: 47B35; 30H20

Integrable Ito equations and properties of the associated Fokker-Planck equations

Authors: Giuseppe Gaeta, Miguel Angel Rodriguez

Abstract: In a recent paper we have classified scalar Ito equations which admits a standard symmetry; these are also directly integrable by the Kozlov substitution. In the present work, we consider the diffusion (Fokker-Planck) equations associated to such symmetric Ito equations. In a recent paper we have classified scalar Ito equations which admits a standard symmetry; these are also directly integrable by the Kozlov substitution. In the present work, we consider the diffusion (Fokker-Planck) equations associated to such symmetric Ito equations. △ Less

Submitted 19 June, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 24 pages, no figures

Journal ref: Open Communications in Nonlinear Mathematical Physics, Volume 3 (June 21, 2023) ocnmp:11380

Non-Existence of S-Integrable Three-Point Partial Difference Equations in the Lattice Plane

Authors: Decio Levi, Miguel A. Rodríguez

Abstract: Determining if an (1+1)-differential-difference equation is integrable or not (in the sense of possessing an infinite number of symmetries) can be reduced to the study of the dependence of the equation on the lattice points, according to Yamilov's theorem. We shall apply this result to a class of differential-difference equations obtained as partial continuous limits of 3-points difference equatio… ▽ More Determining if an (1+1)-differential-difference equation is integrable or not (in the sense of possessing an infinite number of symmetries) can be reduced to the study of the dependence of the equation on the lattice points, according to Yamilov's theorem. We shall apply this result to a class of differential-difference equations obtained as partial continuous limits of 3-points difference equations in the plane and conclude that they cannot be integrable. △ Less

Submitted 1 November, 2023; v1 submitted 14 April, 2023; originally announced April 2023.

MSC Class: 39A14; 39A36

Journal ref: SIGMA 19 (2023), 084, 7 pages

Inference Rules for Binary Predicates in a Multigranular Framework

Authors: Stephen J. Hegner, M. Andrea Rodriguez

Abstract: In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference system for assertions using these predicates is developed. It is customized for the granular framework; particularly, it models both bottom and top granules correctly, and it requires all granules other then the bottom to… ▽ More In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference system for assertions using these predicates is developed. It is customized for the granular framework; particularly, it models both bottom and top granules correctly, and it requires all granules other then the bottom to be nonempty. Furthermore, it is single use, in the sense that no assertion is used more than once as an antecedent in a proof. In the second part of this work, a method is developed for extending a sound and complete inference system on a framework which admits Armstrong models to one which provides sound and complete inference on all assertions, both positive and negative. This method is then applied to the binary granule predicates, to obtain a sound and complete inference system for subsumption and disjointness, as well as their negations. △ Less

Submitted 27 March, 2023; originally announced March 2023.

An Energy-aware and Fault-tolerant Deep Reinforcement Learning based approach for Multi-agent Patrolling Problems

Authors: Chenhao Tong, Aaron Harwood, Maria A. Rodriguez, Richard O. Sinnott

Abstract: Autonomous vehicles are suited for continuous area patrolling problems. However, finding an optimal patrolling strategy can be challenging for many reasons. Firstly, patrolling environments are often complex and can include unknown environmental factors, such as wind or landscape. Secondly, autonomous vehicles can have failures or hardware constraints, such as limited battery life. Importantly, pa… ▽ More Autonomous vehicles are suited for continuous area patrolling problems. However, finding an optimal patrolling strategy can be challenging for many reasons. Firstly, patrolling environments are often complex and can include unknown environmental factors, such as wind or landscape. Secondly, autonomous vehicles can have failures or hardware constraints, such as limited battery life. Importantly, patrolling large areas often requires multiple agents that need to collectively coordinate their actions. In this work, we consider these limitations and propose an approach based on model-free, deep multi-agent reinforcement learning. In this approach, the agents are trained to patrol an environment with various unknown dynamics and factors. They can automatically recharge themselves to support continuous collective patrolling. A distributed homogeneous multi-agent architecture is proposed, where all patrolling agents execute identical policies locally based on their local observations and shared location information. This architecture provides a patrolling system that can tolerate agent failures and allow supplementary agents to be added to replace failed agents or to increase the overall patrol performance. The solution is validated through simulation experiments from multiple perspectives, including the overall patrol performance, the efficiency of battery recharging strategies, the overall fault tolerance, and the ability to cooperate with supplementary agents. △ Less

Submitted 8 June, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Integrable Ito equations with multiple noises

Authors: Giuseppe Gaeta, Miguel Angel Rodriguez

Abstract: The classification of scalar Ito equations with a single noise source which admit a so called standard symmetry and hence are -- by the Kozlov construction -- integrable is by now complete. In this paper we study the situation, occurring in physical as well as biological applications, where there are two independent noise sources. We determine all such autonomous Ito equations admitting a standard… ▽ More The classification of scalar Ito equations with a single noise source which admit a so called standard symmetry and hence are -- by the Kozlov construction -- integrable is by now complete. In this paper we study the situation, occurring in physical as well as biological applications, where there are two independent noise sources. We determine all such autonomous Ito equations admitting a standard symmetry; we then integrate them by means of the Kozlov construction. We also consider the case of three or more independent noises, showing no standard symmetry is present. △ Less

Submitted 23 November, 2022; v1 submitted 5 November, 2022; originally announced November 2022.

Comments: 32 pages, no figures. V3 is the published version

Journal ref: Open Communications in Nonlinear Mathematical Physics, Volume 2 (November 25, 2022) ocnmp:10275

On Kubernetes-aided Federated Database Systems

Authors: Zheng Li, Nicolás Saldías-Vallejos, María Andrea Rodríguez, Austen Rainer

Abstract: Cloud computing has made federated database systems (FDBS) significantly more practical to implement than in the past. As part of a recent Web-based Geographic Information System (WebGIS) project, we are employing cloud-native technologies (from the container ecosystem) to develop a federated database (DB) infrastructure, to help manage and utilise the distributed and various geospatial data. Unfo… ▽ More Cloud computing has made federated database systems (FDBS) significantly more practical to implement than in the past. As part of a recent Web-based Geographic Information System (WebGIS) project, we are employing cloud-native technologies (from the container ecosystem) to develop a federated database (DB) infrastructure, to help manage and utilise the distributed and various geospatial data. Unfortunately, there seem to be inherent challenges and complexity of applying the container and Kubernetes technologies to building and running DB systems. Considering that most of the geospatial and theme data are pre-obtained and fixed in our WebGIS project, we decided to focus on the read-only user queries and still resort to Kubernetes to implement an FDBS instance to use. Unlike the de facto practices (e.g., using the StatefulSets mechanism, extending Kuberentes APIs, or employing KubeFed), our solution for Kubernetes-aided FDBS simplifies the tech stack by investigating the fractal object of federated data management, inclusively containerising DB instances, and using the lightweight Deployment mechanism to handle stateless DB containers. Overall, this research not only reveals an easy-to-implement approach to constructing read-only components in a fully-fledged FDBS, but also proposes and demonstrates a novel methodology for FDBS investigations. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Comments: 8 pages

On higher-dimensional superintegrable systems: A new family of classical and quantum Hamiltonian models

Authors: Miguel A. Rodriguez, Piergiulio Tempesta

Abstract: We introduce a family of $n$-dimensional Hamiltonian systems which, contain, as special reductions, several superintegrable systems as the Tremblay-Turbiner-Winternitz system, a generalized Kepler potential and the anisotropic harmonic oscillator with Rosochatius terms. We conjecture that there exist special values in the space of parameters, apart from those leading to known cases, for which this… ▽ More We introduce a family of $n$-dimensional Hamiltonian systems which, contain, as special reductions, several superintegrable systems as the Tremblay-Turbiner-Winternitz system, a generalized Kepler potential and the anisotropic harmonic oscillator with Rosochatius terms. We conjecture that there exist special values in the space of parameters, apart from those leading to known cases, for which this new Hamiltonian family is superintegrable. △ Less

Submitted 20 December, 2022; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: 9 pages, no figures

MSC Class: 70H06

Compositionally Complex Perovskite Oxides for Solar Thermochemical Water Splitting

Authors: Dawei Zhang, Hector A. De Santiago, Boyuan Xu, Cijie Liu, Jamie Trindell, Wei Li, Jiyun Park, Mark A. Rodriguez, Eric N. Coker, Josh Sugar, Anthony McDaniel, Stephan Lany, Liang Ma, Yi Wang, Gregory Collins, Hanchen Tian, Wenyuan Li, Yue Qi, Xingbo Liu, Jian Luo

Abstract: Solar thermochemical hydrogen generation (STCH) is a promising approach for eco-friendly H2 production, but conventional STCH redox compounds often suffer from thermodynamic and kinetic limitations with limited tunability. Expanding from the nascent high-entropy ceramics field, this study explores a new class of compositionally complex perovskite oxides (La0.8Sr0.2)(Mn(1-x)/3Fe(1-x)/3CoxAl(1-x)/3)… ▽ More Solar thermochemical hydrogen generation (STCH) is a promising approach for eco-friendly H2 production, but conventional STCH redox compounds often suffer from thermodynamic and kinetic limitations with limited tunability. Expanding from the nascent high-entropy ceramics field, this study explores a new class of compositionally complex perovskite oxides (La0.8Sr0.2)(Mn(1-x)/3Fe(1-x)/3CoxAl(1-x)/3)O3 for STCH. In situ X-ray diffraction demonstrates the phase stability during redox cycling and in situ X-ray photoelectron spectroscopy shows preferential redox of Co. The extent of reduction increases, but the intrinsic kinetics decreases, with increased Co content. Consequently, (La0.8Sr0.2)(Mn0.2Fe0.2Co0.4Al0.2)O3-δ achieves an optimal balance between the thermodynamics and kinetics properties. The combination of a moderate enthalpy of reduction, high entropy of reduction, and preferable surface oxygen exchange kinetics enables a maximum H2 yield of 395 +- 11 μmol g-1 in a short 1-hour redox duration. Entropy stabilization expectedly contributes to the structure stability during redox without phase transformation, which enables an exceptional STCH stability for >50 cycles under harsh interrupted conditions. The underlying redox mechanism is further elucidated by the density functional theory based parallel Monte Carlo computation, which represents a new computation paradigm first established here. This study suggests a new class of non-equimolar compositionally complex ceramics for STCH and chemical loo**. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Energy Consumption Analysis Of Machining Centers Using Bayesian Analysis And Genetic Optimization

Authors: Johnatan Cardona Jiménez, María I. Ardila, J. S. Rudas, Cesar A. Isaza M., Edwin J. Núñez, Miguel A. Rodriguez

Abstract: Responding to the current urgent need for low carbon emissions and high efficiency in manufacturing processes, the relationships between three different machining factors (depth of cut, feed rate, and spindle rate) on power consumption and surface finish (roughness) were analysed by applying a Bayesian seemingly unrelated regressions (SUR) model. For the analysis, an optimization criterion was est… ▽ More Responding to the current urgent need for low carbon emissions and high efficiency in manufacturing processes, the relationships between three different machining factors (depth of cut, feed rate, and spindle rate) on power consumption and surface finish (roughness) were analysed by applying a Bayesian seemingly unrelated regressions (SUR) model. For the analysis, an optimization criterion was established and minimized by using an optimization algorithm that combines evolutionary algorithm methods with a derivative-based (quasi-Newton) method to find the optimal conditions for energy consumption that obtains a good surface finish quality. A Bayesian ANOVA was also performed to identify the most important factors in terms of variance explanation of the observed outcomes. The data were obtained from a factorial experimental design performed in two computerized numerical control (CNC) vertical machining centers (Haas UMC-750 and Leadwell V-40iT). Some results from this study show that the feed rate is the most influential factor in power consumption, and the depth of cut is the factor with the stronger influence on roughness values. An optimal operational point is found for the three factors with a predictive error of less than 0.01% and 0.03% for the Leadwell V-40iT machine and the Haas UMC-750 machine, respectively. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Symmetry classification of scalar autonomous Ito stochastic differential equations with simple noise

Authors: Giuseppe Gaeta, Miguel Angel Rodriguez

Abstract: It is known that knowledge of a symmetry of a scalar Ito stochastic differential equations leads, thanks to the Kozlov substitution, to its integration. In the present paper we provide a classification of scalar autonomous Ito stochastic differential equations with simple noise possessing symmetries; here "simple noise" means the noise coefficient is of the form $\s (x,t) = s x^k$, with $s$ and… ▽ More It is known that knowledge of a symmetry of a scalar Ito stochastic differential equations leads, thanks to the Kozlov substitution, to its integration. In the present paper we provide a classification of scalar autonomous Ito stochastic differential equations with simple noise possessing symmetries; here "simple noise" means the noise coefficient is of the form $\s (x,t) = s x^k$, with $s$ and $k$ real constants. Such equations can be taken to a standard form via a well known transformation; for such standard forms we also provide the integration of the symmetric equations. Our work extends previous classifications in that it also consider recently introduced types of symmetries, in particular standard random symmetries, not considered in those. △ Less

Submitted 24 September, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: published version; 49 pages in OCNMP format

Journal ref: Open Communications in Nonlinear Mathematical Physics, Volume 2 (September 29, 2022) ocnmp:9770

Evidence of decoupling of surface and bulk states in Dirac semimetal $Cd_{3}As_{2}$

Authors: W. Yu, D. X. Rademacher, N. R. Valdez, M. A. Rodriguez, T. M. Nenoff, W. Pan

Abstract: Dirac semimetals have attracted a great deal of current interest due to their potential applications in topological quantum computing, low-energy electronic applications, and single photon detection in the microwave frequency range. Herein are results from analyzing the low magnetic (B) field weak-antilocalization behaviors in a Dirac semimetal $Cd_{3}As_{2}$ thin flake device. At high temperature… ▽ More Dirac semimetals have attracted a great deal of current interest due to their potential applications in topological quantum computing, low-energy electronic applications, and single photon detection in the microwave frequency range. Herein are results from analyzing the low magnetic (B) field weak-antilocalization behaviors in a Dirac semimetal $Cd_{3}As_{2}$ thin flake device. At high temperatures, the phase coherence length $l_φ$ first increases with decreasing temperature (T) and follows a power law dependence of $l_φ\propto$ T$^{-0.4}$. Below ~ 3K, $l_φ$ tends to saturate to a value of ~ 180 nm. Another fitting parameter $α$, which is associated with independence transport channels, displays a logarithmic temperature dependence for T > 3K, but also tends to saturate below ~ 3K. The saturation value, ~ 1.45, is very close to 1.5, indicating three independent electron transport channels, which we interpret as due to decoupling of both the top and bottom surfaces as well as the bulk. This result, to our knowledge, provides first evidence that the surfaces and bulk states can become decoupled in electronic transport in Dirac semimetal $Cd_{3}As_{2}$. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: 19 pages, 4 figures

Journal ref: 2022 Nanotechnology 33 415002

Multi-Label Retinal Disease Classification using Transformers

Authors: M. A. Rodriguez, H. AlMarzouqi, P. Liatsis

Abstract: Early detection of retinal diseases is one of the most important means of preventing partial or permanent blindness in patients. In this research, a novel multi-label classification system is proposed for the detection of multiple retinal diseases, using fundus images collected from a variety of sources. First, a new multi-label retinal disease dataset, the MuReD dataset, is constructed, using a n… ▽ More Early detection of retinal diseases is one of the most important means of preventing partial or permanent blindness in patients. In this research, a novel multi-label classification system is proposed for the detection of multiple retinal diseases, using fundus images collected from a variety of sources. First, a new multi-label retinal disease dataset, the MuReD dataset, is constructed, using a number of publicly available datasets for fundus disease classification. Next, a sequence of post-processing steps is applied to ensure the quality of the image data and the range of diseases, present in the dataset. For the first time in fundus multi-label disease classification, a transformer-based model optimized through extensive experimentation is used for image analysis and decision making. Numerous experiments are performed to optimize the configuration of the proposed system. It is shown that the approach performs better than state-of-the-art works on the same task by 7.9% and 8.1% in terms of AUC score for disease detection and disease classification, respectively. The obtained results further support the potential applications of transformer-based architectures in the medical imaging field. △ Less

Submitted 28 July, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: 13 pages, 4 figures, 12 tables. Submitted to IEEE Journal of Biomedical and Health Informatics. Dataset: https://data.mendeley.com/datasets/pc4mb3h8hz/1

Commutative Banach Algebras Generated by Toeplitz Operators on the Bergman Space

Authors: Miguel Angel Rodriguez Rodriguez

Abstract: We present and study commutative Banach algebras generated by Toeplitz operators with generalized quasi-radial pseudo-homogeneous symbols acting on the Bergman space over the unit ball. We develop the Gelfand theory of these algebras and give some structural information about them. In particular, we provide a description of the radical of these algebras. This paper generalizes and completes the re… ▽ More We present and study commutative Banach algebras generated by Toeplitz operators with generalized quasi-radial pseudo-homogeneous symbols acting on the Bergman space over the unit ball. We develop the Gelfand theory of these algebras and give some structural information about them. In particular, we provide a description of the radical of these algebras. This paper generalizes and completes the results from previous works related to Toeplitz operators with quasi-radial quasi-homogeneous symbols. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Blackbird's language matrices (BLMs): a new benchmark to investigate disentangled generalisation in neural networks

Authors: Paola Merlo, Aixiu An, Maria A. Rodriguez

Abstract: Current successes of machine learning architectures are based on computationally expensive algorithms and prohibitively large amounts of data. We need to develop tasks and data to train networks to reach more complex and more compositional skills. In this paper, we illustrate Blackbird's language matrices (BLMs), a novel grammatical dataset developed to test a linguistic variant of Raven's progres… ▽ More Current successes of machine learning architectures are based on computationally expensive algorithms and prohibitively large amounts of data. We need to develop tasks and data to train networks to reach more complex and more compositional skills. In this paper, we illustrate Blackbird's language matrices (BLMs), a novel grammatical dataset developed to test a linguistic variant of Raven's progressive matrices, an intelligence test usually based on visual stimuli. The dataset consists of 44800 sentences, generatively constructed to support investigations of current models' linguistic mastery of grammatical agreement rules and their ability to generalise them. We present the logic of the dataset, the method to automatically construct data on a large scale and the architecture to learn them. Through error analysis and several experiments on variations of the dataset, we demonstrate that this language task and the data that instantiate it provide a new challenging testbed to understand generalisation and abstraction. △ Less

Submitted 22 May, 2022; originally announced May 2022.

Comments: 15 pages, 9 figures, 1 table

Machine Learning-based Orchestration of Containers: A Taxonomy and Future Directions

Authors: Zhiheng Zhong, Minxian Xu, Maria Alejandra Rodriguez, Chengzhong Xu, Rajkumar Buyya

Abstract: Containerization is a lightweight application virtualization technology, providing high environmental consistency, operating system distribution portability, and resource isolation. Existing mainstream cloud service providers have prevalently adopted container technologies in their distributed system infrastructures for automated application management. To handle the automation of deployment, main… ▽ More Containerization is a lightweight application virtualization technology, providing high environmental consistency, operating system distribution portability, and resource isolation. Existing mainstream cloud service providers have prevalently adopted container technologies in their distributed system infrastructures for automated application management. To handle the automation of deployment, maintenance, autoscaling, and networking of containerized applications, container orchestration is proposed as an essential research problem. However, the highly dynamic and diverse feature of cloud workloads and environments considerably raises the complexity of orchestration mechanisms. Machine learning algorithms are accordingly employed by container orchestration systems for behavior modelling and prediction of multi-dimensional performance metrics. Such insights could further improve the quality of resource provisioning decisions in response to the changing workloads under complex environments. In this paper, we present a comprehensive literature review of existing machine learning-based container orchestration approaches. Detailed taxonomies are proposed to classify the current researches by their common features. Moreover, the evolution of machine learning-based container orchestration technologies from the year 2016 to 2021 has been designed based on objectives and metrics. A comparative analysis of the reviewed techniques is conducted according to the proposed taxonomies, with emphasis on their key characteristics. Finally, various open research challenges and potential future directions are highlighted. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 33 pages, 10 figures

Hybrid SDN Evolution: A Comprehensive Survey of the State-of-the-Art

Authors: Sajad Khorsandroo, Adrian Gallego Sanchez, Ali Saman Tosun, Jose' Manuel Arco Rodriguez, Roberto Doriguzzi-Corin

Abstract: Software-Defined Networking (SDN) is an evolutionary networking paradigm which has been adopted by large network and cloud providers, among which are Tech Giants. However, embracing a new and futuristic paradigm as an alternative to well-established and mature legacy networking paradigm requires a lot of time along with considerable financial resources and technical expertise. Consequently, many e… ▽ More Software-Defined Networking (SDN) is an evolutionary networking paradigm which has been adopted by large network and cloud providers, among which are Tech Giants. However, embracing a new and futuristic paradigm as an alternative to well-established and mature legacy networking paradigm requires a lot of time along with considerable financial resources and technical expertise. Consequently, many enterprises can not afford it. A compromise solution then is a hybrid networking environment (a.k.a. Hybrid SDN (hSDN)) in which SDN functionalities are leveraged while existing traditional network infrastructures are acknowledged. Recently, hSDN has been seen as a viable networking solution for a diverse range of businesses and organizations. Accordingly, the body of literature on hSDN research has improved remarkably. On this account, we present this paper as a comprehensive state-of-the-art survey which expands upon hSDN from many different perspectives. △ Less

Submitted 30 March, 2021; originally announced March 2021.

Discovering features in gravitational-wave data through detector characterization, citizen science and machine learning

Authors: S Soni, C P L Berry, S B Coughlin, M Harandi, C B Jackson, K Crowston, C Østerlund, O Patane, A K Katsaggelos, L Trouille, V-G Baranowski, W F Domainko, K Kaminski, M A Lobato Rodriguez, U Marciniak, P Nauta, G Niklasch, R R Rote, B Téglás, C Unsworth, C Zhang

Abstract: The observation of gravitational waves is hindered by the presence of transient noise (glitches). We study data from the third observing run of the Advanced LIGO detectors, and identify new glitch classes. Using training sets assembled by monitoring of the state of the detector, and by citizen-science volunteers, we update the Gravity Spy machine-learning algorithm for glitch classification. We fi… ▽ More The observation of gravitational waves is hindered by the presence of transient noise (glitches). We study data from the third observing run of the Advanced LIGO detectors, and identify new glitch classes. Using training sets assembled by monitoring of the state of the detector, and by citizen-science volunteers, we update the Gravity Spy machine-learning algorithm for glitch classification. We find that a new glitch class linked to ground motion at the detector sites is especially prevalent, and identify two subclasses of this linked to different types of ground motion. Reclassification of data based on the updated model finds that 27 % of all transient noise at LIGO Livingston belongs to the new glitch class, making it the most frequent source of transient noise at that site. Our results demonstrate both how glitch classification can reveal potential improvements to gravitational-wave detectors, and how, given an appropriate framework, citizen-science volunteers may make discoveries in large data sets. △ Less

Submitted 6 September, 2021; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: 26 pages, 10 figures

Journal ref: Classical and Quantum Gravity, 2021, Volume 38, Number 19

Generating nonlinearities from conditional linear operations, squeezing and measurement for quantum computation and super-Heisenberg sensing

Authors: Mattias T. Johnsson, Pablo M. Poggi, Marco A. Rodríguez, Rafael N. Alexander, Jason Twamley

Abstract: Large optical nonlinearities can have numerous applications, ranging from the generation of cat-states for optical quantum computation, through to quantum sensing where the sensitivity exceeds Heisenberg scaling in the resources. However, the generation of ultra-large optical nonlinearities has proved immensely challenging experimentally. We describe a novel protocol where one can effectively gene… ▽ More Large optical nonlinearities can have numerous applications, ranging from the generation of cat-states for optical quantum computation, through to quantum sensing where the sensitivity exceeds Heisenberg scaling in the resources. However, the generation of ultra-large optical nonlinearities has proved immensely challenging experimentally. We describe a novel protocol where one can effectively generate large optical nonlinearities via the conditional application of a linear operation on an optical mode by an ancilla mode, followed by a measurement of the ancilla and corrective operation on the probe mode. Our protocol can generate high quality optical Schr{ö}dinger cat states useful for optical quantum computing and can be used to perform sensing of an unknown rotation or displacement in phase space, with super-Heisenberg scaling in the resources. We finally describe a potential experimental implementation using atomic ensembles interacting with optical modes via the Faraday effect. △ Less

Submitted 18 February, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 18 pages, 9 figures. New in this version: typos fixed. Fixed order of subfigs in Fig. 2

Journal ref: Phys. Rev. Research 3, 023222 (2021)

Reducing Road Vehicle Fuel Consumption by Exploiting Connectivity and Automation: A Literature Survey

Authors: Miguel Alvarez, Chu Xu, Manuel A. Rodriguez, Abdullah Al-Mamun, Mohamed Wahba, Sean Brennan, Hosam K. Fathy

Abstract: This paper examines the degree to which connectivity and automation can potentially reduce the overall fuel consumption of on-road vehicles. The paper begins with a simulation study highlighting the tradeoff between: (i) the fuel that a vehicle can save through speed trajectory sha**, versus (ii) the additional inter-vehicle spacing needed for this trajectory sha** to be feasible. This study s… ▽ More This paper examines the degree to which connectivity and automation can potentially reduce the overall fuel consumption of on-road vehicles. The paper begins with a simulation study highlighting the tradeoff between: (i) the fuel that a vehicle can save through speed trajectory sha**, versus (ii) the additional inter-vehicle spacing needed for this trajectory sha** to be feasible. This study shows that connectivity and automation are essential, rather than merely useful, for substantial reductions in the fuel consumed by fixed on-road vehicle powertrain/chassis configurations in traffic. Motivated by this insight, we survey the literature on the fuel savings achievable through different connected/automated vehicle technologies. This includes optimal vehicle routing, eco-arrival/departure at intersections, platooning, speed trajectory optimization, predictive driveline disengagement, predictive gear shifting, and predictive powertrain accessory control. This survey shows that the ability to shape vehicle speed trajectories collaboratively plays a dominant role in reducing urban/suburban fuel consumption, while platooning plays a dominant role in influencing the attainable fuel savings on the highway. Moreover, the survey shows that the degree to which connectivity/automation can reduce on-road vehicle fuel consumption, in both urban/suburban and highway settings, depends critically on the integration of powertrain- and chassis-level control. △ Less

Submitted 30 November, 2020; originally announced November 2020.

Journal ref: 14th International Symposium on Advanced Vehicle Control, 2018

Software-Defined Multi-domain Tactical Networks: Foundations and Future Directions

Authors: Redowan Mahmud, Adel N. Toosi, Maria Alejandra Rodriguez, Sharat Chandra Madanapalli, Vijay Sivaraman, Len Sciacca, Christos Sioutis, Rajkumar Buyya

Abstract: Software Defined Networking (SDN) has emerged as a programmable approach for provisioning and managing network resources by defining a clear separation between the control and data forwarding planes. Nowadays SDN has gained significant attention in the military domain. Its use in the battlefield communication facilitates the end-to-end interactions and assists the exploitation of edge computing re… ▽ More Software Defined Networking (SDN) has emerged as a programmable approach for provisioning and managing network resources by defining a clear separation between the control and data forwarding planes. Nowadays SDN has gained significant attention in the military domain. Its use in the battlefield communication facilitates the end-to-end interactions and assists the exploitation of edge computing resources for processing data in the proximity. However, there are still various challenges related to the security and interoperability among several heterogeneous, dynamic, intermittent, and data packet technologies like multi-bearer network (MBN) that need to be addressed to leverage the benefits of SDN in tactical environments. In this chapter, we explicitly analyse these challenges and review the current research initiatives in SDN-enabled tactical networks. We also present a taxonomy on SDN-based tactical network orchestration according to the identified challenges and map the existing works to the taxonomy aiming at determining the research gaps and suggesting future directions. △ Less

Submitted 21 October, 2020; originally announced October 2020.

The open supersymmetric Haldane-Shastry spin chain and its associated motifs

Authors: Jose Carrasco, Federico Finkel, Artemio González-López, Miguel A. Rodríguez

Abstract: We study the open version of the su$(m|n)$ supersymmetric Haldane-Shastry spin chain associated to the $BC_N$ extended root system. We first evaluate the model's partition function by modding out the dynamical degrees of freedom of the su$(m|n)$ supersymmetric spin Sutherland model of $BC_N$ type, whose spectrum we fully determine. We then construct a generalized partition function depending polyn… ▽ More We study the open version of the su$(m|n)$ supersymmetric Haldane-Shastry spin chain associated to the $BC_N$ extended root system. We first evaluate the model's partition function by modding out the dynamical degrees of freedom of the su$(m|n)$ supersymmetric spin Sutherland model of $BC_N$ type, whose spectrum we fully determine. We then construct a generalized partition function depending polynomially on two sets of variables, which yields the standard one when evaluated at a suitable point. We show that this generalized partition function can be written in terms of two variants of the classical skew super Schur polynomials, which admit a combinatorial definition in terms of a new type of skew Young tableaux and border strips (or, equivalently, extended motifs). In this way we derive a remarkable description of the spectrum in terms of this new class of extended motifs, reminiscent of the analogous one for the closed Haldane-Shastry chain. We provide several concretes examples of this description, and in particular study in detail the su$(1|1)$ model finding an analytic expression for its Helmholtz free energy in the thermodynamic limit. △ Less

Submitted 16 October, 2020; originally announced October 2020.

Comments: 51 pages, typeset with LaTeX

High-Performance Mining of COVID-19 Open Research Datasets for Text Classification and Insights in Cloud Computing Environments

Authors: Jie Zhao, Maria A. Rodriguez, Rajkumar Buyya

Abstract: COVID-19 global pandemic is an unprecedented health crisis. Since the outbreak, many researchers around the world have produced an extensive collection of literatures. For the research community and the general public to digest, it is crucial to analyse the text and provide insights in a timely manner, which requires a considerable amount of computational power. Clouding computing has been widely… ▽ More COVID-19 global pandemic is an unprecedented health crisis. Since the outbreak, many researchers around the world have produced an extensive collection of literatures. For the research community and the general public to digest, it is crucial to analyse the text and provide insights in a timely manner, which requires a considerable amount of computational power. Clouding computing has been widely adopted in academia and industry in recent years. In particular, hybrid cloud is gaining popularity since its two-fold benefits: utilising existing resource to save cost and using additional cloud service providers to gain assess to extra computing resources on demand. In this paper, we developed a system utilising the Aneka PaaS middleware with parallel processing and multi-cloud capability to accelerate the ETL and article categorising process using machine learning technology on a hybrid cloud. The result is then persisted for further referencing, searching and visualising. Our performance evaluation shows that the system can help with reducing processing time and achieving linear scalability. Beyond COVID-19, the application might be used directly in broader scholarly article indexing and analysing. △ Less

Submitted 15 September, 2020; originally announced September 2020.

Workflow-as-a-Service Cloud Platform and Deployment of Bioinformatics Workflow Applications

Authors: Muhammad H. Hilman, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Workflow management systems (WMS) support the composition and deployment of workflow-oriented applications in distributed computing environments. They hide the complexity of managing large-scale applications, which includes the controlling data pipelining between tasks, ensuring the application's execution, and orchestrating the distributed computational resources to get a reasonable processing ti… ▽ More Workflow management systems (WMS) support the composition and deployment of workflow-oriented applications in distributed computing environments. They hide the complexity of managing large-scale applications, which includes the controlling data pipelining between tasks, ensuring the application's execution, and orchestrating the distributed computational resources to get a reasonable processing time. With the increasing trends of scientific workflow adoption, the demand to deploy them using a third-party service begins to increase. Workflow-as-a-service (WaaS) is a term representing the platform that serves the users who require to deploy their workflow applications on third-party cloud-managed services. This concept drives the existing WMS technology to evolve towards the development of the WaaS cloud platform. Based on this requirement, we extend CloudBus WMS functionality to handle the workload of multiple workflows and develop the WaaS cloud platform prototype. We implemented the Elastic Budget-constrained resource Provisioning and Scheduling algorithm for Multiple workflows (EBPSM) algorithm that is capable of scheduling multiple workflows and evaluated the platform using two bioinformatics workflows. Our experimental results show that the platform is capable of efficiently handling multiple workflows execution and gaining its purpose to minimize the makespan while meeting the budget. △ Less

Submitted 2 June, 2020; originally announced June 2020.

Comments: submitted as book chapter to Knowledge Management in Development of Data-Intensive Software Systems (KMDDIS)

The Probabilistic Backbone of Data-Driven Complex Networks: An example in Climate

Authors: Catharina Graafland, José M. Gutiérrez, Juan M. López, Diego Pazó, Miguel A. Rodríguez

Abstract: Correlation Networks (CNs) inherently suffer from redundant information in their network topology. Bayesian Networks (BNs), on the other hand, include only non-redundant information (from a probabilistic perspective) resulting in a sparse topology from which generalizable physical features can be extracted. We advocate the use of BNs to construct data-driven complex networks as they can be regarde… ▽ More Correlation Networks (CNs) inherently suffer from redundant information in their network topology. Bayesian Networks (BNs), on the other hand, include only non-redundant information (from a probabilistic perspective) resulting in a sparse topology from which generalizable physical features can be extracted. We advocate the use of BNs to construct data-driven complex networks as they can be regarded as the probabilistic backbone of the underlying complex system. Results are illustrated at the hand of a global climate dataset. △ Less

Submitted 2 November, 2020; v1 submitted 8 December, 2019; originally announced December 2019.

Journal ref: Sci Rep 10, 11484 (2020)

New structures to solve aggregated queries for trips over public transportation networks

Authors: Nieves R. Brisaboa, Antonio Fariña, Daniil Galaktionov, Tirso V. Rodeiro, M. Andrea Rodríguez

Abstract: Representing the trajectories of mobile objects is a hot topic from the widespread use of smartphones and other GPS devices. However, few works have focused on representing trips over public transportation networks (buses, subway, and trains) where a user's trips can be seen as a sequence of stages performed within a vehicle shared with many other users. In this context, representing vehicle journ… ▽ More Representing the trajectories of mobile objects is a hot topic from the widespread use of smartphones and other GPS devices. However, few works have focused on representing trips over public transportation networks (buses, subway, and trains) where a user's trips can be seen as a sequence of stages performed within a vehicle shared with many other users. In this context, representing vehicle journeys reduces the redundancy because all the passengers inside a vehicle share the same arrival time for each stop. In addition, each vehicle journey follows exactly the sequence of stops corresponding to its line, which makes it unnecessary to represent that sequence for each journey. To solve data management for transportation systems, we designed a conceptual model that gave us a better insight into this data domain and allowed us the definition of relevant terms and the detection of redundancy sources among those data. Then, we designed two compact representations focused on users' trips (TTCTR) and on vehicle trips (AcumM), respectively. Each approach owns some strengths and is able to answer some queries efficiently. We include experimental results over synthetic trips generated from accurate schedules obtained from a real network description (from the bus transportation system of Madrid) to show the space/time trade-off of both approaches. We considered a wide range of different queries about the use of the transportation network such as counting-based or aggregate queries regarding the load of any line of the network at different times. △ Less

Submitted 20 November, 2019; originally announced November 2019.

Comments: This research has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions H2020-MSCA-RISE-2015 BIRDS GA No. 690941

Journal ref: Proc. of the 25th International Symposium on String Processing and Information Retrieval (SPIRE), Lima, Peru, October 9-11th, pp 85-101 (2018)

Zero Bias Conductance Peak in Dirac Semimetal-Superconductor Devices

Authors: W. Yu, Rafael Haenel, M. A. Rodriguez, S. R. Lee, F. Zhang, M. Franz, D. I. Pikulin, W. Pan

Abstract: Majorana zero modes (MZMs), fundamental building blocks for realizing topological quantum computers, can appear at the interface between a superconductor and a topological material. One of the experimental signatures that has been widely pursued to confirm the existence of MZMs is the observation of a large, quantized zero-bias conductance peak (ZBCP) in the differential conductance measurements.… ▽ More Majorana zero modes (MZMs), fundamental building blocks for realizing topological quantum computers, can appear at the interface between a superconductor and a topological material. One of the experimental signatures that has been widely pursued to confirm the existence of MZMs is the observation of a large, quantized zero-bias conductance peak (ZBCP) in the differential conductance measurements. In this Letter, we report observation of such a large ZBCP in junction structures of normal metal (titanium/gold Ti/Au) + Dirac semimetal (cadmium arsenide Cd3As2) + conventional superconductor (aluminum Al), with a value close to four times that of the normal state conductance. Our detailed analyses suggest that this large ZBCP is most likely not caused by MZMs. We attribute the ZBCP, instead, to the existence of a supercurrent between two far-separated superconducting Al electrodes, which shows up as a zero-bias peak because of the circuitry and thermal fluctuations of the supercurrent phase, a mechanism conceived by Ivanchenko and Zil'berman more than 50 years ago [JETP 28, 1272 (1969)]. Our results thus call for extreme caution when assigning the origin of a large ZBCP to MZMs in a multiterminal semiconductor or topological insulator/semimetal setup. We thus provide criteria for identifying when the ZBCP is definitely not caused by an MZM. Furthermore, we present several remarkable experimental results of a supercurrent effect occurring over unusually long distances and clean perfect Andreev reflection features. △ Less

Submitted 6 July, 2020; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: with Supplemental Material, which includes theoretical modeling, experimental raw data sets used in Figure 3, and data fitting code

Journal ref: Phys. Rev. Research 2, 032002 (2020)

Resource-sharing Policy in Multi-tenant Scientific Workflow-as-a-Service Cloud Platform

Authors: Muhammad H. Hilman, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Increased adoption of scientific workflows in the community has urged for the development of multi-tenant platforms that provide these workflow executions as a service. As a result, Workflow-as-a-Service (WaaS) concept has been created by researchers to address the future design of Workflow Management Systems (WMS) that can serve a large number of users from a single point of service. These platfo… ▽ More Increased adoption of scientific workflows in the community has urged for the development of multi-tenant platforms that provide these workflow executions as a service. As a result, Workflow-as-a-Service (WaaS) concept has been created by researchers to address the future design of Workflow Management Systems (WMS) that can serve a large number of users from a single point of service. These platforms differ from traditional WMS in that they handle a workload of workflows at runtime. A traditional WMS is usually designed to execute a single workflow in a dedicated process while WaaS cloud platforms enhance the process by exploiting multiple workflows execution in a multi-tenant environment model. In this paper, we explore a novel resource-sharing policy to improve system utilization and to fulfil various Quality of Service (QoS) requirements from multiple users in WaaS cloud platforms. We propose an Elastic Budget-constrained resource Provisioning and Scheduling algorithm for Multiple workflows that can reduce the computational overhead by encouraging resource sharing to minimize workflows' makespan while meeting a user-defined budget. Our experiments show that the EBPSM algorithm can utilize the resource-sharing policy to achieve higher performance in terms of minimizing the makespan compared to the state-of-the-art budget-constraint scheduling algorithm. △ Less

Submitted 23 June, 2020; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: The manuscript has been revised in several sections. Add one subsection of experimental validation. Submitted to Journal of Computer and System Sciences

FEniCS Mechanics: A Package for Continuum Mechanics Simulations

Authors: Miguel A. Rodriguez, Christoph M. Augustin, Shawn C. Shadden

Abstract: FEniCS Mechanics is a Python package to facilitate computational mechanics simulations. The Python library dolfin, from the FEniCS Project, is used to formulate and numerically solve the problem in variational form. The general balance laws from continuum mechanics are used to enable rapid prototy** of different material laws. In addition to its generality, FEniCS Mechanics also checks the input… ▽ More FEniCS Mechanics is a Python package to facilitate computational mechanics simulations. The Python library dolfin, from the FEniCS Project, is used to formulate and numerically solve the problem in variational form. The general balance laws from continuum mechanics are used to enable rapid prototy** of different material laws. In addition to its generality, FEniCS Mechanics also checks the input provided by users to ensure that problem definitions are physically consistent. In turn, this code enables simulations of custom mechanics problems to be more accessible to those with limited programming or mechanics knowledge. △ Less

Submitted 21 January, 2019; originally announced January 2019.

Comments: This work was supported in part from the NSF award 1663747 and the NSF GRFP. Additionally, this project has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Action H2020-MSCA-IF-2016 InsiliCardio, GA No. 750835

Journal ref: SoftwareX 9:107-111, 2019

A Compact Representation for Trips over Networks built on self-indexes

Authors: Nieves R. Brisaboa, Antonio Fariña, Daniil Galaktionov, M. Andrea Rodriguez

Abstract: Representing the movements of objects (trips) over a network in a compact way while retaining the capability of exploiting such data effectively is an important challenge of real applications. We present a new Compact Trip Representation (CTR) that handles the spatio-temporal data associated with users' trips over transportation networks. Depending on the network and types of queries, nodes in the… ▽ More Representing the movements of objects (trips) over a network in a compact way while retaining the capability of exploiting such data effectively is an important challenge of real applications. We present a new Compact Trip Representation (CTR) that handles the spatio-temporal data associated with users' trips over transportation networks. Depending on the network and types of queries, nodes in the network can represent intersections, stops, or even street segments. CTR represents separately sequences of nodes and the time instants when users traverse these nodes. The spatial component is handled with a data structure based on the well-known Compressed Suffix Array (CSA), which provides both a compact representation and interesting indexing capabilities. The temporal component is self-indexed with either a Hu-Tucker-shaped Wavelet-tree or a Wavelet Matrix that solve range-interval queries efficiently. We show how CTR can solve relevant counting-based spatial, temporal, and spatio-temporal queries over large sets of trips. Experimental results show the space requirements (around 50-70% of the space needed by a compact non-indexed baseline) and query efficiency (most queries are solved in the range of 1-1000 microseconds) of CTR. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Comments: 42 pages

Journal ref: Information Systems, Volume 78, November 2018, Pages 1-22

Using Compressed Suffix-Arrays for a Compact Representation of Temporal-Graphs

Authors: Nieves R. Brisaboa, Diego Caro, Antonio Fariña, M. Andrea Rodriguez

Abstract: Temporal graphs represent binary relationships that change along time. They can model the dynamism of, for example, social and communication networks. Temporal graphs are defined as sets of contacts that are edges tagged with the temporal intervals when they are active. This work explores the use of the Compressed Suffix Array (CSA), a well-known compact and self-indexed data structure in the area… ▽ More Temporal graphs represent binary relationships that change along time. They can model the dynamism of, for example, social and communication networks. Temporal graphs are defined as sets of contacts that are edges tagged with the temporal intervals when they are active. This work explores the use of the Compressed Suffix Array (CSA), a well-known compact and self-indexed data structure in the area of text indexing, to represent large temporal graphs. The new structure, called Temporal Graph CSA (TGCSA), is experimentally compared with the most competitive compact data structures in the state-of-the-art, namely, EDGELOG and CET. The experimental results show that TGCSA obtains a good space-time trade-off. It uses a reasonable space and is efficient for solving complex temporal queries. Furthermore, TGCSA has wider expressive capabilities than EDGELOG and CET, because it is able to represent temporal graphs where contacts on an edge can temporally overlap. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Comments: 41 pages, Information Sciences

Journal ref: Information Sciences Volume 465, October 2018, Pages 459-483

Containers Orchestration with Cost-Efficient Autoscaling in Cloud Computing Environments

Authors: Maria A. Rodriguez, Rajkumar Buyya

Abstract: Containers are standalone, self-contained units that package software and its dependencies together. They offer lightweight performance isolation, fast and flexible deployment, and fine-grained resource sharing. They have gained popularity in better application management and deployment in recent years and are being widely used by organizations to deploy their increasingly diverse workloads such a… ▽ More Containers are standalone, self-contained units that package software and its dependencies together. They offer lightweight performance isolation, fast and flexible deployment, and fine-grained resource sharing. They have gained popularity in better application management and deployment in recent years and are being widely used by organizations to deploy their increasingly diverse workloads such as web services, big data, and IoT in either proprietary clusters or cloud data centres. This has led to the emergence of container orchestration platforms, which are designed to manage the deployment of containerized applications in large-scale clusters. The majority of these platforms are tailored to optimize the scheduling of containers on a fixed-sized private cluster but are not enabled to autoscale the size of the cluster nor to consider features specific to public cloud environments. In this work, we propose a comprehensive container resource management approach that has three different objectives. The first one is to optimize the initial placement of containers by efficiently scheduling them on existing resources. The second one is to autoscale the number of resources at runtime based on the current cluster's workload. The third one is a rescheduling mechanism to further support the efficient use of resources by consolidating applications into fewer VMs when possible. Our algorithms are implemented as a plugin-scheduler for Kubernetes platform. We evaluated our framework and the effectiveness of the proposed algorithms on an Australian national cloud infrastructure. Our experiments demonstrate that considerable cost savings can be achieved by dynamically managing the cluster size and placement of applications. We find that our proposed approaches are capable of reducing the cost by 58% when compared to the default Kubernetes scheduler. △ Less

Submitted 1 December, 2018; originally announced December 2018.

Comments: 22 pages, 4 figures, 5 Tables

Task Runtime Prediction in Scientific Workflows Using an Online Incremental Learning Approach

Authors: Muhammad H. Hilman, Maria A. Rodriguez, Rajkumar Buyya

Abstract: Many algorithms in workflow scheduling and resource provisioning rely on the performance estimation of tasks to produce a scheduling plan. A profiler that is capable of modeling the execution of tasks and predicting their runtime accurately, therefore, becomes an essential part of any Workflow Management System (WMS). With the emergence of multi-tenant Workflow as a Service (WaaS) platforms that u… ▽ More Many algorithms in workflow scheduling and resource provisioning rely on the performance estimation of tasks to produce a scheduling plan. A profiler that is capable of modeling the execution of tasks and predicting their runtime accurately, therefore, becomes an essential part of any Workflow Management System (WMS). With the emergence of multi-tenant Workflow as a Service (WaaS) platforms that use clouds for deploying scientific workflows, task runtime prediction becomes more challenging because it requires the processing of a significant amount of data in a near real-time scenario while dealing with the performance variability of cloud resources. Hence, relying on methods such as profiling tasks' execution data using basic statistical description (e.g., mean, standard deviation) or batch offline regression techniques to estimate the runtime may not be suitable for such environments. In this paper, we propose an online incremental learning approach to predict the runtime of tasks in scientific workflows in clouds. To improve the performance of the predictions, we harness fine-grained resources monitoring data in the form of time-series records of CPU utilization, memory usage, and I/O activities that are reflecting the unique characteristics of a task's execution. We compare our solution to a state-of-the-art approach that exploits the resources monitoring data based on regression machine learning technique. From our experiments, the proposed strategy improves the performance, in terms of the error, up to 29.89%, compared to the state-of-the-art solutions. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: Accepted for presentation at main conference track of 11th IEEE/ACM International Conference on Utility and Cloud Computing

Multiple Workflows Scheduling in Multi-tenant Distributed Systems: A Taxonomy and Future Directions

Authors: Muhammad H. Hilman, Maria A. Rodriguez, Rajkumar Buyya

Abstract: The workflow is a general notion representing the automated processes along with the flow of data. The automation ensures the processes being executed in the order. Therefore, this feature attracts users from various background to build the workflow. However, the computational requirements are enormous and investing for a dedicated infrastructure for these workflows is not always feasible. To cate… ▽ More The workflow is a general notion representing the automated processes along with the flow of data. The automation ensures the processes being executed in the order. Therefore, this feature attracts users from various background to build the workflow. However, the computational requirements are enormous and investing for a dedicated infrastructure for these workflows is not always feasible. To cater to the broader needs, multi-tenant platforms for executing workflows were began to be built. In this paper, we identify the problems and challenges in the multiple workflows scheduling that adhere to the platforms. We present a detailed taxonomy from the existing solutions on scheduling and resource provisioning aspects followed by the survey of relevant works in this area. We open up the problems and challenges to shove up the research on multiple workflows scheduling in multi-tenant distributed systems. △ Less

Submitted 21 May, 2019; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: Several changes has been done based on reviewers' comments after first round review. This is a pre-print for paper (currently under second round review) submitted to ACM Computing Surveys

Container-based Cluster Orchestration Systems: A Taxonomy and Future Directions

Authors: Maria A. Rodriguez, Rajkumar Buyya

Abstract: Containers, enabling lightweight environment and performance isolation, fast and flexible deployment, and fine-grained resource sharing, have gained popularity in better application management and deployment in addition to hardware virtualization. They are being widely used by organizations to deploy their increasingly diverse workloads derived from modern-day applications such as web services, bi… ▽ More Containers, enabling lightweight environment and performance isolation, fast and flexible deployment, and fine-grained resource sharing, have gained popularity in better application management and deployment in addition to hardware virtualization. They are being widely used by organizations to deploy their increasingly diverse workloads derived from modern-day applications such as web services, big data, and IoT in either proprietary clusters or private and public cloud data centers. This has led to the emergence of container orchestration platforms, which are designed to manage the deployment of containerized applications in large-scale clusters. These systems are capable of running hundreds of thousands of jobs across thousands of machines. To do so efficiently, they must address several important challenges including scalability, fault-tolerance and availability, efficient resource utilization, and request throughput maximization among others. This paper studies these management systems and proposes a taxonomy that identifies different mechanisms that can be used to meet the aforementioned challenges. The proposed classification is then applied to various state-of-the-art systems leading to the identification of open research challenges and gaps in the literature intended as future directions for researchers. △ Less

Submitted 2 November, 2018; v1 submitted 16 July, 2018; originally announced July 2018.

Cost-Efficient Orchestration of Containers in Clouds: A Vision, Architectural Elements, and Future Directions

Authors: Rajkumar Buyya, Maria A. Rodriguez, Adel Nadjaran Toosi, Jaeman Park

Abstract: This paper proposes an architectural framework for the efficient orchestration of containers in cloud environments. It centres around resource scheduling and rescheduling policies as well as autoscaling algorithms that enable the creation of elastic virtual clusters. In this way, the proposed framework enables the sharing of a computing environment between differing client applications packaged in… ▽ More This paper proposes an architectural framework for the efficient orchestration of containers in cloud environments. It centres around resource scheduling and rescheduling policies as well as autoscaling algorithms that enable the creation of elastic virtual clusters. In this way, the proposed framework enables the sharing of a computing environment between differing client applications packaged in containers, including web services, offline analytics jobs, and backend pre-processing tasks. The devised resource management algorithms and policies will improve utilization of the available virtual resources to reduce operational cost for the provider while satisfying the resource needs of various types of applications. The proposed algorithms will take factors that are previously omitted by other solutions into consideration, including 1) the pricing models of the acquired resources, 2) and the fault-tolerability of the applications, and 3) the QoS requirements of the running applications, such as the latencies and throughputs of the web services and the deadline of the analytical and pre-processing jobs. The proposed solutions will be evaluated by develo** a prototype platform based on one of the existing container orchestration platforms. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Comments: 11 pages, 4 figures

Journal ref: Proceedings of the Mathematics, Informatics, Science, and Education International Conference (MISEIC 2018), Surabaya, Indonesia, July 21, 2018

A new class of entropic information measures, formal group theory and information geometry

Authors: Miguel A. Rodríguez, Álvaro Romaniega, Piergiulio Tempesta

Abstract: In this work, we study generalized entropies and information geometry in a group-theoretical framework. We explore the conditions that ensure the existence of some natural properties and at the same time of a group-theoretical structure for a large class of entropies. In addition, a method for defining new entropies, using previously known ones with some desired group-theoretical properties is pro… ▽ More In this work, we study generalized entropies and information geometry in a group-theoretical framework. We explore the conditions that ensure the existence of some natural properties and at the same time of a group-theoretical structure for a large class of entropies. In addition, a method for defining new entropies, using previously known ones with some desired group-theoretical properties is proposed. In the second part of this work, the information geometrical counterpart of the previous construction is examined and a general class of divergences are proposed and studied. Finally, a method of constructing new divergences from known ones is discussed; in particular, some results concerning the Riemannian structure associated with the class of divergences under investigation are formulated. △ Less

Submitted 4 July, 2018; originally announced July 2018.

Comments: 17 pages

Journal ref: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (2019)

π and 4π Josephson Effects Mediated by a Dirac Semimetal

Authors: Wenlong Yu, Wei Pan, Douglas L. Medlin, Mark A. Rodriguez, Stephen R Lee, Zhi-qiang Bao, Fan Zhang

Abstract: Cd3As2 is a three-dimensional topological Dirac semimetal with connected Fermi-arc surface states. It has been suggested that topological superconductivity can be achieved in the nontrivial surface states of topological materials by utilizing the superconductor proximity effect. Here we report observations of both π and 4π periodic supercurrents in aluminum-Cd3As2-aluminum Josephson junctions. The… ▽ More Cd3As2 is a three-dimensional topological Dirac semimetal with connected Fermi-arc surface states. It has been suggested that topological superconductivity can be achieved in the nontrivial surface states of topological materials by utilizing the superconductor proximity effect. Here we report observations of both π and 4π periodic supercurrents in aluminum-Cd3As2-aluminum Josephson junctions. The π period is manifested by both the magnetic-field dependence of the critical supercurrent and the appearance of half-integer Shapiro steps in the a.c. Josephson effect. Our macroscopic theory suggests that the π period arises from interference between the induced bulk superconductivity and the induced Fermi arc surface superconductivity. The 4π period is manifested by the missing first Shapiro steps and is expected for topological superconductivity. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Journal ref: Phys. Rev. Lett. 120, 177704 (2018)

Thermodynamics and criticality of supersymmetric spin chains with long-range interactions

Authors: Federico Finkel, Artemio González-López, Iván León, Miguel Á. Rodríguez

Abstract: We study the thermodynamics and critical behavior of su($m|n$) supersymmetric spin chains of Haldane-Shastry type with a chemical potential term. We obtain a closed-form expression for the partition function and deduce a description of the spectrum in terms of the supersymmetric version of Haldane's motifs, which we apply to obtain an analytic expression for the free energy per site in the thermod… ▽ More We study the thermodynamics and critical behavior of su($m|n$) supersymmetric spin chains of Haldane-Shastry type with a chemical potential term. We obtain a closed-form expression for the partition function and deduce a description of the spectrum in terms of the supersymmetric version of Haldane's motifs, which we apply to obtain an analytic expression for the free energy per site in the thermodynamic limit. By studying the low-temperature behavior of the free energy, we characterize the critical behavior of the chains with $1\le m,n\le2$, determining the critical regions and the corresponding central charge. We also show that in the su($2|1$), su($1|2$) and su($2|2$) chains the bosonic or fermionic densities can undergo first-order (discontinuous) phase transitions at $T=0$, in contrast with the previously studied su(2) case. △ Less

Submitted 15 March, 2018; v1 submitted 22 December, 2017; originally announced December 2017.

Comments: 44 pages, 10 figures. Minor corrections, references added

Journal ref: J. Stat. Mech.-Theory E. (2018) 043101

A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade

Authors: Rajkumar Buyya, Satish Narayana Srirama, Giuliano Casale, Rodrigo Calheiros, Yogesh Simmhan, Blesson Varghese, Erol Gelenbe, Bahman Javadi, Luis Miguel Vaquero, Marco A. S. Netto, Adel Nadjaran Toosi, Maria Alejandra Rodriguez, Ignacio M. Llorente, Sabrina De Capitani di Vimercati, Pierangela Samarati, Dejan Milojicic, Carlos Varela, Rami Bahsoon, Marcos Dias de Assuncao, Omer Rana, Wanlei Zhou, Hai **, Wolfgang Gentzsch, Albert Y. Zomaya, Haiying Shen

Abstract: The Cloud computing paradigm has revolutionised the computer science horizon during the past decade and has enabled the emergence of computing as the fifth utility. It has captured significant attention of academia, industries, and government bodies. Now, it has emerged as the backbone of modern economy by offering subscription-based services anytime, anywhere following a pay-as-you-go model. This… ▽ More The Cloud computing paradigm has revolutionised the computer science horizon during the past decade and has enabled the emergence of computing as the fifth utility. It has captured significant attention of academia, industries, and government bodies. Now, it has emerged as the backbone of modern economy by offering subscription-based services anytime, anywhere following a pay-as-you-go model. This has instigated (1) shorter establishment times for start-ups, (2) creation of scalable global enterprise applications, (3) better cost-to-value associativity for scientific and high performance computing applications, and (4) different invocation/execution models for pervasive and ubiquitous applications. The recent technological developments and paradigms such as serverless computing, software-defined networking, Internet of Things, and processing at network edge are creating new opportunities for Cloud computing. However, they are also posing several new challenges and creating the need for new approaches and research strategies, as well as the re-evaluation of the models that were developed to address issues such as scalability, elasticity, reliability, security, sustainability, and application models. The proposed manifesto addresses them by identifying the major open challenges in Cloud computing, emerging trends, and impact areas. It then offers research directions for the next decade, thus hel** in the realisation of Future Generation Cloud Computing. △ Less

Submitted 24 August, 2018; v1 submitted 24 November, 2017; originally announced November 2017.

Comments: 51 pages, 3 figures

Differential equations invariant under conditional symmetries

Authors: Decio Levi, Miguel Angel Rodriguez, Zora Thomova

Abstract: Nonlinear PDE's having {\bf given} conditional symmetries are constructed. They are obtained starting from the invariants of the "conditional symmetry" generator and imposing the extra condition given by the characteristic of the symmetry. Several of examples starting from the Boussinesq and including non-autonomous Korteweg-De Vries like equations are given to showcase the methodology introduced. Nonlinear PDE's having {\bf given} conditional symmetries are constructed. They are obtained starting from the invariants of the "conditional symmetry" generator and imposing the extra condition given by the characteristic of the symmetry. Several of examples starting from the Boussinesq and including non-autonomous Korteweg-De Vries like equations are given to showcase the methodology introduced. △ Less

Submitted 9 February, 2018; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 12 pages

Compact Trip Representation over Networks

Authors: Nieves R. Brisaboa, Antonio Fariña, Daniil Galaktionov, M. Andrea Rodríguez

Abstract: We present a new Compact Trip Representation (CTR) that allows us to manage users' trips (moving objects) over networks. These could be public transportation networks (buses, subway, trains, and so on) where nodes are stations or stops, or road networks where nodes are intersections. CTR represents the sequences of nodes and time instants in users' trips. The spatial component is handled with a da… ▽ More We present a new Compact Trip Representation (CTR) that allows us to manage users' trips (moving objects) over networks. These could be public transportation networks (buses, subway, trains, and so on) where nodes are stations or stops, or road networks where nodes are intersections. CTR represents the sequences of nodes and time instants in users' trips. The spatial component is handled with a data structure based on the well-known Compressed Suffix Array (CSA), which provides both a compact representation and interesting indexing capabilities. We also represent the temporal component of the trips, that is, the time instants when users visit nodes in their trips. We create a sequence with these time instants, which are then self-indexed with a balanced Wavelet Matrix (WM). This gives us the ability to solve range-interval queries efficiently. We show how CTR can solve relevant spatial and spatio-temporal queries over large sets of trajectories. Finally, we also provide experimental results to show the space requirements and query efficiency of CTR. △ Less

Submitted 13 December, 2016; originally announced December 2016.

Comments: This research has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions H2020-MSCA-RISE-2015 BIRDS GA No. 690941

Journal ref: 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings pp 240-253