Results 51 to 60 of about 590,841 (277)
Properties of Concurrent Programs [PDF]
A program property is a predicate on programs. In this paper we explore program properties of the form U -> V where U and V are either predicates on states of a program or program properties, and -> satisfies three rules that are also used in reasoning ...
Chandy, K. Mani
core +1 more source
Infinite Product Exponents for Modular Forms
Recently, D. Choi obtained a description of the coefficients of the infinite product expansions of meromorphic modular forms over $\Gamma_0(N)$. Using this result, we provide some bounds on these infinite product coefficients for holomorphic modular ...
Ali, Asra, Mani, Nitya
core +1 more source
Consumer Adoption of Internet of Things
ABSTRACT The Internet of Things (IoT), a pivotal technology in enhancing user connectivity, faces a paradox: its widespread potential yet limited consumer adoption. This study addresses this dichotomy by synthesizing a large‐scale meta‐analytic structural equation modeling (MASEM) and hierarchical linear meta‐analysis (HiLMA) of 2736 effect sizes from ...
Wagner Junior Ladeira +6 more
wiley +1 more source
Role of helical edge modes in the chiral quantum anomalous Hall state
Although indications are that a single chiral quantum anomalous Hall(QAH) edge mode might have been experimentally detected. There have been very many recent experiments which conjecture that a single chiral QAH edge mode always materializes along with a
Benjamin, Colin, Mani, Arjun
core +1 more source
ABSTRACT Of the three types of cytoskeleton known in animals—actin, microtubules, and intermediate filaments—only actin and microtubules exist in plants. Both play important roles in cellular shaping, organelle movement, organization of the endomembrane system, and cell signaling.
Norman R. Groves +3 more
wiley +1 more source
Spin 2 operators in holographic 4d N = 2 $$ \mathcal{N}=2 $$ SCFTs
A broad class of holographic duals for 4d N = 2 $$ \mathcal{N}=2 $$ SCFTs is based on the general half-BPS AdS 5 solutions to M-theory constructed by Lin, Lunin and Maldacena, and their Kaluza-Klein reductions to Type IIA.
Kevin Chen +2 more
doaj +1 more source
Approximations from Anywhere and General Rough Sets
Not all approximations arise from information systems. The problem of fitting approximations, subjected to some rules (and related data), to information systems in a rough scheme of things is known as the \emph{inverse problem}.
A Mani +23 more
core +1 more source
The present study uses the Modified Mohr‐Coulomb true‐triaxial failure criterion (MMC_TT), which predicts the strength of rock better than the MGC criterion in laboratory true‐triaxial tests to overcome the limitations. Moreover, based on the data from previously published five vertical wells in the Krishna‐Godavari basin (K‐G basin), an empirical ...
Ravindra K. Burnwal, Aditya Singh
wiley +1 more source
Typicality and thermality in 2d CFT
We identify typical high energy eigenstates in two-dimensional conformal field theories at finite c and establish that correlation functions of the stress tensor in such states are accurately thermal as defined by the standard canonical ensemble. Typical
Shouvik Datta, Per Kraus, Ben Michel
doaj +1 more source
G‐CSF for Mobilizing CD34+ Cells in Individuals With SCD: A Word of Caution
American Journal of Hematology, EarlyView.
Akshay Sharma +17 more
wiley +1 more source

