BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mehdi Ghasemi

Mehdi Ghasemi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.AGmath.OCComputer Visioncond-mat.mtrl-sciEmerging Technologiesmath.ACmath.RANetworking and Internet Architecture

Catalog footprint

What is connected

15works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2025arXiv

Molecular Insights into Caprock Integrity of Subsurface Hydrogen Storage: Perspective on Hydrogen-induced Swelling and Mechanical Response

The geological storage of hydrogen (H_2) requires reliable long-term caprock sealing, yet the nanoscale interactions between H_2 and clay minerals remain critically underexplored despite their importance for storage security. This lack of understanding has limited the ability to predict mechanical stability and leakage risks in H_2 storage formations. Using molecular simulations, this study investigates the swelling behavior and mechanical properties of sodium montmorillonite (Mt), a common smectite clay, under varying hydration states and interlayer H_2 contents. Results show that H_2 accelerates hydration-state transitions, narrows the stability window of crystalline swelling, and promotes asymmetric plume formation in confined interlayers. H_2 alters cation and water coordination, thereby weakening Na^+--Mt electrostatic interactions and modulating H-bond networks at the interface and in the bulk. Mechanical analysis reveals pronounced anisotropy in Mt. In-plane stiffness is mainly governed by basal spacing expansion, whereas out-of-plane stiffness is highly sensitive to the initial presence of water or H_2, which weaken interlayer cohesion. Tensile and compressive strengths in the in-plane directions follow in-plane stiffness trends, while the out-of-plane tensile strength is governed by Mt--water H-bonds. The presence of H_2 further promotes Mt sheets separation by disrupting nanoscale liquid bridges. Collectively, these results provide the first atomistic-scale evidence that intercalated H_2 reshapes swelling energetics, elastic anisotropy, and failure pathways in Mt, highlighting critical nanoscale mechanisms that may compromise caprock integrity during underground H_2 storage.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enabling Incremental Knowledge Transfer for Object Detection at the Edge

Object detection using deep neural networks (DNNs) involves a huge amount of computation which impedes its implementation on resource/energy-limited user-end devices. The reason for the success of DNNs is due to having knowledge over all different domains of observed environments. However, we need a limited knowledge of the observed environment at inference time which can be learned using a shallow neural network (SHNN). In this paper, a system-level design is proposed to improve the energy consumption of object detection on the user-end device. An SHNN is deployed on the user-end device to detect objects in the observing environment. Also, a knowledge transfer mechanism is implemented to update the SHNN model using the DNN knowledge when there is a change in the object domain. DNN knowledge can be obtained from a powerful edge device connected to the user-end device through LAN or Wi-Fi. Experiments demonstrate that the energy consumption of the user-end device and the inference time can be improved by 78% and 71% compared with running the deep model on the user-end device.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lower Bounds for a Polynomial on a basic closed semialgebraic set using geometric programming

$f,g_1,...,g_m$ be elements of the polynomial ring $\mathbb{R}[x_1,...,x_n]$. The paper deals with the general problem of computing a lower bound for $f$ on the subset of $\mathbb{R}^n$ defined by the inequalities $g_i\ge 0$, $i=1,...,m$. The paper shows that there is an algorithm for computing such a lower bound, based on geometric programming, which applies in a large number of cases. The algorithm extends and generalizes earlier algorithms of Ghasemi and Marshall, dealing with the case $m=0$, and of Ghasemi, Lasserre and Marshall, dealing with the case $m=1$ and $g_1= M-(x_1^d+\cdots+x_n^d)$. Here, $d$ is required to be an even integer $d \ge \max\{2,°(f)\}$. The algorithm is implemented in a SAGE program developed by the first author. The bound obtained is typically not as good as the bound obtained using semidefinite programming, but it has the advantage that it is computable rapidly, even in cases where the bound obtained by semidefinite programming is not computable.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Seminormed $\ast$-subalgebras of $\ell^{\infty}(X)$

Arbitrary representations of a commutative unital ($\ast$-) $\mathbb{F}$-algebra $A$ as a subalgeba of $\mathbb{F}^X$ are considered, where $\mathbb{F}=\mathbb{C}$ or $\mathbb{R}$ and $X\neq\emptyset$. The Gelfand spectrum of $A$ is explained as a topological extension of $X$ where a seminorm on the image of $A$ in $\mathbb{F}^X$ is present. It is shown that among all seminormes, the $\sup$-norm is of special importance which reduces $\mathbb{F}^X$ to $\ell^{\infty}(X)$. The Banach subalgebra of $\ell^{\infty}(X)$ of all $Σ$-measurable bounded functions on $X$, is studied for which $Σ$ is a $σ$-algebra of subsets of $X$. In particular, we study lifting of positive measures from $(X, Σ)$ to the Gelfand spectrum of this algebra and observe an unexpected shift in the support of measures. In the case that $Σ$ is the Borel algebra of a topology, we study the relation of the underlying topology of $X$ and the one of the Gelfand spectrum.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Integral representation of linear functionals on function spaces

Let $A$ be a vector space of real valued functions on a non-empty set $X$ and $L:A\rightarrow\mathbb{R}$ a linear functional. Given a $σ$-algebra $\mathcal{A}$, of subsets of $X$, we present a necessary condition for $L$ to be representable as an integral with respect to a measure $μ$ on $X$ such that elements of $\mathcal{A}$ are $μ$-measurable. This general result then is applied to the case where $X$ carries a topological structure and $A$ is a family of continuous functions and naturally $\mathcal{A}$ is the Borel structure of $X$. As an application, short solutions for the full and truncated $K$-moment problem are presented. An analogue of Riesz-Markov-Kakutani representation theorem is given where $C_{c}(X)$ is replaced with whole $C(X)$. Then we consider the case where $A$ only consists of bounded functions and hence is equipped with $\sup$-norm.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Moment problem in infinitely many variables

The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$, $i\in Ω$. The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's description of the support of the measure in terms of the non-negativity of the linear functional on a quadratic module of $\mathbb{R}[x_i \mid i \in Ω]$ in [Trans. Amer. Math. Soc., 365 (2013) 2489-2504] is shown to remain valid in this more general situation. The main tool used in the paper is an extension of the localization method developed by the third author.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the topologies induced by a cone

Let $A$ be a commutative and unital $\mathbb{R}$-algebra, and $M$ be an Archimedean quadratic module of $A$. We define a submultiplicative seminorm $\|\cdot\|_M$ on $A$, associated with $M$. We show that the closure of $M$ with respect to $\|\cdot\|_M$-topology is equal to the closure of $M$ with respect to the finest locally convex topology on $A$. We also compute the closure of any cone in $\|\cdot\|_M$-topology. Then we omit the Archimedean condition and show that there still exists a lmc topology associated to $M$, pursuing the same properties.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A New Full Adder Cell for Molecular Electronics

Due to high power consumption and difficulties with minimizing the CMOS transistor size, molecular electronics has been introduced as an emerging technology. Further, there have been noticeable advances in fabrication of molecular wires and switches and also molecular diodes can be used for designing different logic circuits. Considering this novel technology, we use molecules as the active components of the circuit, for transporting electric charge. In this paper, a full adder cell based on molecular electronics is presented. This full adder is consisted of resonant tunneling diodes and transistors which are implemented via molecular electronics. The area occupied by this kind of full adder would be much times smaller than the conventional designs and it can be used as the building block of more complex molecular arithmetic circuits.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras

Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$ in the topology induced by $ρ$, for any integer $d\ge1$. We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$-continuous $\mathbb{R}$-algebra homomorphism $α: A \rightarrow \mathbb{R}$ with $α(S)\subseteq[0,\infty)$, and that this result continues to hold when $ρ$ is replaced by any locally multiplicatively convex topology $τ$ on $A$. We obtain a representation of any linear functional $L : A \rightarrow \reals$ which is continuous with respect to any such $ρ$ or $τ$ and non-negative on $S$ as integration with respect to a unique Radon measure on the space of all real valued $\reals$-algebra homomorphisms on $A$, and we characterize the support of the measure obtained in this way.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Closure of the cone of sums of 2d-powers in real topological algebras

Let $R$ be a unitary commutative real algebra and $K\subseteq Hom(R,\mathbb{R})$, closed with respect to the product topology. We consider $R$ endowed with the topology $\mathcal{T}_K$, induced by the family of seminorms $ρ_α(a):=|α(a)|$, for $α\in K$ and $a\in R$. In case $K$ is compact, we also consider the topology induced by $\|a\|_K:=\sup_{α\in K}|α(a)|$ for $a\in R$. If $K$ is Zariski dense, then those topologies are Hausdorff. In this paper we prove that the closure of the cone of sums of 2d-powers, $\sum R^{2d}$, with respect to those two topologies is equal to $Psd(K):=\{a\in R:α(a)\geq 0,\textrm{for all}α\in K\}$. In particular, any continuous linear functional $L$ on the polynomial ring $R=\mathbb{R}[X_1,...,X_n]$ with $L(h^{2d})\ge0$ for each $h\in R$ is integration with respect to a positive Borel measure supported on $K$. Finally we give necessary and sufficient conditions to ensure the continuity of a linear functional with respect to those two topologies.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lower bounds on the global minimum of a polynomial

We extend the method of Ghasemi and Marshall [SIAM. J. Opt. 22(2) (2012), pp 460-473], to obtain a lower bound $f_{{\rm gp},M}$ for a multivariate polynomial $f(x) \in \mathbb{R}[x]$ of degree $ \le 2d$ in $n$ variables $x = (x_1,...,x_n)$ on the closed ball ${x \in \mathbb{R}^n : \sum x_i^{2d} \le M}$, computable by geometric programming, for any real $M$. We compare this bound with the (global) lower bound $f_{\rm gp}$ obtained by Ghasemi and Marshall, and also with the hierarchy of lower bounds, computable by semidefinite programming, obtained by Lasserre [SIAM J. Opt. 11(3) (2001) pp 796-816]. Our computations show that the bound $f_{{\rm gp},M}$ improves on the bound $f_{\rm gp}$ and that the computation of $f_{{\rm gp},M}$, like that of $f_{\rm gp}$, can be carried out quickly and easily for polynomials having of large number of variables and/or large degree, assuming a reasonable sparsity of coefficients, cases where the corresponding computation using semidefinite programming breaks down.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Moment Problem for Continuous Positive Semidefinite Linear functionals

Let $τ$ be a locally convex topology on the countable dimensional polynomial $\reals$-algebra $\rx:=\reals[X_1,...,X_n]$. Let $K$ be a closed subset of $\reals^n$, and let $M:=M_{\{g_1, ... g_s\}}$ be a finitely generated quadratic module in $\rx$. We investigate the following question: When is the cone $\Pos(K)$ (of polynomials nonnegative on $K$) included in the closure of $M$? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of $M=\sos$ with respect to weighted norm-$p$ topologies. We show that this closure coincides with the cone $\Pos(K)$ where $K$ is a certain convex compact polyhedron.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Using Orthogonal Channels for Supporting Multicast Service in Multi-channel Wireless Mesh Networks

Unlike wired networks, the capacity of a wireless network is interference limited due to the broadcast nature of wireless medium. Some multicast wireless network protocols do not consider channel assignment issue, that they cause interference at transmission nodes, hence do not use full capacity of the network. Interference can be reduced and throughput improved with the use of multichannel features. Therefore, this paper used orthogonal channels for sending and receiving nodes in the network. We propose EWM (Efficient Wireless Multicast) method that is distributed scheme for constructing multicast tree in multi-channel multi-interface wireless mesh networks (MIMC-WMN) which selects relay nodes and in distributed form assign orthogonal radio channels to them. To more decrease of interference in adding a branch to the tree, the route with minimum end-to-end delay from the source to the multicast receiver will be chosen. Thus, the tree is suitable for multimedia applicants. We also employ the broadcast nature of the wireless media to reduce the number of relay nodes. The proposed algorithm is compared with MCM algorithm in NS2.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Closure of the cone of sums of 2d-powers in certain weighted $\ell_1$-seminorm topologies

Berg, Christensen and Ressel prove that the closure of the cone of sums of squares in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal to the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result which is valid for any commutative semigroup. In later work Berg and Maserick and also Berg, Christensen and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted $\ell_1$-seminorm topology associated to an absolute value. In the present paper we give a new proof of these results which is based on Jacobi's representation theorem. At the same time, we use Jacobi's representation theorem to extend these results from sums of squares to sums of 2d-powers, proving, in particular, that for any integer $d>0$, the closure of the cone of sums of 2d-powers in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Lower bounds for polynomials using geometric programming

We make use of a result of Hurwitz and Reznick, and a consequence of this result due to Fidalgo and Kovacec, to determine a new sufficient condition for a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of squares. This result generalizes a result of Lasserre and a result of Fidalgo and Kovacec, and it also generalizes the improvements of these results given in [6]. We apply this result to obtain a new lower bound $f_{gp}$ for $f$, and we explain how $f_{gp}$ can be computed using geometric programming. The lower bound $f_{gp}$ is generally not as good as the lower bound $f_{sos}$ introduced by Lasserre and Parrilo and Sturmfels, which is computed using semidefinite programming, but a run time comparison shows that, in practice, the computation of $f_{gp}$ is much faster. The computation is simplest when the highest degree term of $f$ has the form $\sum_{i=1}^n a_iX_i^{2d}$, $a_i>0$, $i=1,...,n$. The lower bounds for $f$ established in [6] are obtained by evaluating the objective function of the geometric program at the appropriate feasible points.

0 citations0 reviewsNo code linkedOpen access