Results 51 to 60 of about 311,159 (279)

Blockchain-Enabled GDPR Compliance Enforcement for IIoT Data Access

Journal of Cybersecurity and Privacy
The General Data Protection Regulation (GDPR) imposes additional demands and obligations on service providers that handle and process personal data. In this paper, we examine how advanced cryptographic techniques can be employed to develop a privacy ...
Amina Isazade, Ali Malik, Mohammed B. Alshawki   +2 more
doaj   +1 more source

Gravity, torsion, Dirac field and computer algebra using MAPLE and REDUCE [PDF]

, 2002
The article presents computer algebra procedures and routines applied to the study of the Dirac field on curved spacetimes. The main part of the procedures is devoted to the construction of Pauli and Dirac matrices algebra on an anholonomic orthonormal ...
Vulcanov, D. N.
core   +3 more sources

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Non-commutative computer algebra and molecular computing [PDF]

Computer Science Journal of Moldova, 2001
Non-commutative calculations are considered from the molecular computing point of view. The main idea is that one can get more advantage in using molecular computing for non-commutative computer algebra compared with a commutative one.
Svetlana Cojocaru, Victor Ufnarovski
doaj  

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Enhancing blood glucose control through the fixed point theorem

Mathematical Modelling and Analysis
Diabetes is a chronic condition that poses significant health risks globally, arising from the body’s inability to effectively utilize insulin produced by the pancreas or insufficient insulin production.
Ayoub Sakkoum, Hamza Toufga, Lahbib Benahmadi, Wafae Chahid, Mustapha Lhous   +4 more
doaj   +1 more source

Selective Targeting of Immune Checkpoints HLA‐G and CD47 Using Novel Dual Signaling Protein DSP216 Promotes Innate Anticancer Immunity

Advanced Science, EarlyView.
The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob, Liat Tamir, Mufeed Abdeen, Ami Tamir, Alexandra Aronin, Itai Bloch, Roy Kahn, Iris Pecker, Mark Tykocinski, Gerwin Huls, Yaron Pereg, Ayelet Chajut, Edwin Bremer   +12 more
wiley   +1 more source

A generalized SEIRW-VN framework for modeling infectious disease dynamics

Scientific Reports
Understanding how infectious diseases spread requires models that integrate both human contact structure and environmental factors. We propose SEIRW-VN, a generalized epidemic framework that combines network heterogeneity, indirect transmission via ...
Abdoulaye Sow, Cherif Diallo, Hocine Cherifi   +2 more
doaj   +1 more source

The method of double chains for largest families with excluded subposets

Electronic Journal of Graph Theory and Applications, 2013
For a given finite poset $P$, $La(n,P)$ denotes the largest size of a family $\mathcal{F}$ of subsets of $[n]$ not containing $P$ as a weak subposet. We exactly determine $La(n,P)$ for infinitely many  $P$ posets.
Peter Burcsi, Daniel T. Nagy
doaj   +1 more source