Research
Research
Research
Research
108+ open-access research outputs.
The verification of concurrent programs under weak-memory models is a burgeoning effort, owing to the increasing adoption of weak memory in concurrent software and hardware. Release/Acquire has become…
Explicit stabilized methods are highly efficient time integrators for large and stiff systems of ordinary differential equations especially when applied to semi-discrete parabolic problems. However, w…
Accurate path loss (PL) prediction is crucial for successful network planning, antenna design, and performance optimization in wireless communication systems. Several conventional approaches for PL pr…
This paper aims at devising the shape of the external electromagnetic field which drives the spin dynamics of radical pairs to quantum coherent state through maximization of the triplet-singlet yield …
Action recognition models demonstrate strong generalization, but can they effectively transfer high-level motion concepts across diverse contexts, even within similar distributions? For example, can a…
The projective linear group $\text{PGL}(3)$ naturally acts on the Grassmannian $\text{Gr}(3, V_2)$ of $3$-dimensional subspaces of the vector space $V_2$ of homogeneous conics in 3 variables. It was p…
In this study we introduce a symbolic dataset composed of non-metric Iranian classical music, and algorithms for structural parsing of this music, and generation of variations. The corpus comprises MI…
We analyze the spectral properties of the high-dimensional random geometric graph $G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and …
The Kuramoto model is a classical nonlinear ODE system designed to study synchronization phenomena. Each equation represents the phase of an oscillator and the coupling between them is determined by a…
A straightforward gravitational path integral calculation implies that closed universes are trivial, described by a one dimensional Hilbert space. Two recent papers by Harlow-Usatyuk-Zhao and Abdalla-…
A fourth-order Schr\"{o}dinger equation for the description of charge transport in semiconductors in the ballistic regime is proposed with the inclusion of non-parabolic effects in the dispersion rela…
The homogeneous Kuramoto model on a graph $G = (V,E)$ is a network of $|V|$ identical oscillators, one at each vertex, where every oscillator is coupled bidirectionally (with unit strength) to its nei…
Sentiment analysis (SA) plays a vital role in Natural Language Processing (NLP) by ~identifying sentiments expressed in text. Although significant advances have been made in SA for widely spoken langu…
We prove the necessary and sufficient condition for the removability of the fundamental singularity, and equivalently for the unique solvability of the singular Dirichlet problem for the heat equation…
The Riccati equation method is used to establish new oscillation criteria for extended linear matrix Hamiltonian systems. This method allows to obtain results in in a new direction, which is to break …
In the seminal work of Benjamin,\cite{Ben} in the late 70's, he has derived the ubiquitous Benjamin model, which is a reduced model in the theory of water waves. Notably, it contains two parameters in…
We consider parameterized verification problems for networks of timed automata (TAs) based on different communication primitives. To this end, we first consider disjunctive timed networks (DTNs), i.e.…
Let $G$ be a group. Associate a directed graph (called the Engel digraph of $G$) with $G$ whose vertex set is $G$, with an arc $(x,y)$ if $[y, {}_k x]=1$ for some positive integer $k$, where $[y,{}_kx…
We revisit the proposal that an energy transfer from dark energy into dark matter can be described in field theory by a first order phase transition. We analyze the model proposed in Ref. Abdalla et a…
This paper introduces an efficient high-order numerical method for solving the 1D stationary Schr\"odinger equation in the highly oscillatory regime. Building upon the ideas from [Arnold, Ben Abdallah…
Free open-access publishing with Google Scholar indexing.
Submission Guide →