Results 161 to 170 of about 110,745 (301)

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

The patient 'must find his own way': public policies concerning access to medicines in Angola. [PDF]

J Pharm Policy Pract
João Fundanga Calipi ED, Manzini F, Ribeiro Molina L, Nair Leite S.   +3 more
europepmc   +1 more source

Contribution Margin - a Model of Performance Evaluation of Banks' Profit Centers [PDF]

My reason for embarking upon this project lies first and foremost in the fact that my responsibilities in the bank are inextricably bound to the concerns of managing the bank's operating performance; more specifically, to the planning and control of the ...
Ivan Ivandic
core  

Delivery of Pleckstrin‐Homology Domains Suppresses PI3K/Akt Signaling and Breast Cancer Metastasis

Advanced Science, EarlyView.
Current therapies curb tumor growth but not metastasis. Obscurin, a giant metastasis suppressor lost in breast cancer, restrains PI3K/Akt signaling but is impractical to restore. We deploy a mini‐obscurin, comprising the obscurin‐PH‐domain, which sequesters PI3K‐p85, potently suppressing invasion and metastasis.
Matthew Eason, Anindya Sen, Suhan Cho, Se Jong Lee, Keyata Thompson, Md Musavvir Mahmud, Poornima Dubey, Talia Guardia, Anthony Kim, Stuart Martin, Nathan Wright, Konstantinos Konstantopoulos, Aikaterini Kontrogianni‐Konstantopoulos   +12 more
wiley   +1 more source

A distributed differential game approach to trajectory planning for offshore wind farm inspection. [PDF]

PLoS One
Liao Y, You S, Wang H, Yu S, Xue W.
europepmc   +1 more source

An innovative circle drawing template in areolar tattoing. [PDF]

JPRAS Open, 2023
Faenza M, Antonetti A, Crisci E, Nicoletti MM, Pieretti G, Ferraro GA.   +5 more
europepmc   +1 more source

Adipocyte‐Derived Exosomal miR‐5099 Mitigates M1 Macrophage Polarization and Adipose Inflammation via c‐Met/NF‐κB Axis to Improve Metabolic Health

Advanced Science, EarlyView.
Celastrol upregulates adipocyte‐derived exosomal miR‐5099, suppressing the macrophage c‐Met/NF‐κB axis to mitigate pro‐inflammatory M1 polarization and adipose inflammation. These miR‐5099‐enriched exosomes also act as endocrine signals targeting the liver, muscle, and adipocytes to significantly enhance systemic insulin sensitivity.
Ping Tang, Lixin Tai, Hongxia Xu, Dongliang Zhu, Jiajia Li, Hao Feng, Jinghui Cui, Shuhai Lin, Li‐jun Di, Li Wang   +9 more
wiley   +1 more source

Secure federated transfer learning with enhanced secure multiparty computation for privacy preserving smart EHR systems. [PDF]

Sci Rep
Kim TH, Bhat CR, Yimer TE.
europepmc   +1 more source

Proposals for further development of the deposit insurance system in Belarus [PDF]

, 2003
-
core  

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source