Results 91 to 100 of about 462,502 (313)

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

Deformation‐Induced Formation of Stray Grains in Additive Manufacturing of Single Crystals

Advanced Science, EarlyView.
Stray grain formation severely limits the additive manufacturing of single‐crystal alloys. By integrating in situ synchrotron techniques, ex situ characterization, and multi‐scale multi‐physics modeling, the authors reveal that stray grains originate from dislocations at the solid‐liquid interface, rather than thermal supercooling in conventional ...
Dongsheng Zhang, Zixu Guo, Yuxiao Li, Lu Wang, Yu Wu, Darui Sun, Wentao Yan, Yuanyuan Guo, Han Wang, Wei Liu, Ye Tao, Bingbing Zhang   +11 more
wiley   +1 more source

Numerical simulations suggest asteroids (101955) Bennu and (162173) Ryugu are likely second or later generation rubble piles

Nature Communications
Rubble pile asteroids are widely understood to be composed of reaccumulated debris following a catastrophic collision between asteroids in the main asteroid belt, where each disruption can make a family of new asteroids.
K. J. Walsh, R-L. Ballouz, W. F. Bottke, C. Avdellidou, H. C. Connolly Jr, M. Delbo, D. N. DellaGiustina, E. R. Jawin, T. McCoy, P. Michel, T. Morota, M. C. Nolan, S. R. Schwartz, S. Sugita, D. S. Lauretta   +14 more
doaj   +1 more source

Dynamic Shifts in ER–Plasma Membrane Junctions Signaling Define Pro‐Metastatic N‐Glycosylation and Predict Prostate Cancer Progression

Advanced Science, EarlyView.
Prostate cancer remains a leading cause of male cancer death, yet screening cannot reliably identify aggressive disease, underscoring the need for tissue biomarkers. It is shown that primary tumors increase ER–plasma membrane junction signaling via STIM1/ORP5, whereas metastasis features their loss, Golgi dispersal, and rapid conversion of high‐mannose
Amanda J. Macke, Tania Kamal, Taylor E. Divita, Artem N. Pachikov, Chad A. LaGrange, Rajesh Ravichandran, Martha Morton, Robert Powers, Haowen Qiu, Jean‐Jack M. Riethoven, Colm Morrissey, Melinda Wojtkiewicz, Rebekah L. Gundry, Carol A. Casey, Armen Petrosyan   +14 more
wiley   +1 more source

Disentangling stellar activity from exoplanetary signals with interferometry

EPJ Web of Conferences, 2015
Stellar activity can express as many forms at stellar surfaces: dark spots, convective cells, bright plages. Particularly, dark spots and bright plages add noise on photometric data or radial velocity measurements used to detect exoplanets, and thus lead
Ligi Roxanne, Mourard Denis, Lagrange Anne-Marie, Perraut Karine, Chiavassa Andrea   +4 more
doaj   +1 more source

Ghost-free F(R) gravity with Lagrange multiplier constraint [PDF]

, 2017
We propose two new versions of ghost-free generalized F ( R ) gravity with Lagrange multiplier constraint. The first version of such theory for a particular degenerate choice of the Lagrange multiplier, corresponds to mimetic F ( R ) gravity.
S. Nojiri, S. Nojiri, S. Odintsov, S. Odintsov, V. Oikonomou, V. Oikonomou   +5 more
semanticscholar   +1 more source

Discovering Interpretable Semantics from Radio Signals for Contactless Cardiac Monitoring

Advanced Science, EarlyView.
This study presents a semantic representation framework for clinically interpretable cardiac monitoring from contactless radio signals. It formulates radio semantic learning as an information‐bottleneck problem and approximates the objective via intra‐modal compression and cross‐modal alignment, structuring radio measurements into meaningful semantic ...
Jinbo Chen, Haoyu Wang, Guixin Xu, Yuqin Yuan, Xinmeng Cai, Zhengwu Wei, Dongheng Zhang, Qibin Sun, Tianwei Zhang, Cuntai Guan, Yan Chen   +10 more
wiley   +1 more source

From Cell‐Free Transcriptomes to Single‐Cell Landscapes: Biomarker Discovery and Originating Cell Alteration Analysis via Graph Matrix Factorization

Advanced Science, EarlyView.
CellFreeGMF traces plasma cfRNA to likely originating cell types by integrating single‐cell atlases with graph‐regularized matrix factorization. The method decomposes cfRNA profiles into sample–cell contributions to reconstruct pseudo single‐cell expression.
Wenxiang Zhang, Wenjing Zhang, Hang Wei, Shiyan Liu, Junliang Shang, Weijie Gong, Hanwen Cheng, Xiujuan Lei, Yuhui Kou, Baoguo Jiang   +9 more
wiley   +1 more source

Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors

Advanced Electronic Materials, EarlyView.
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Adapting to Changing Rainfall and Developing Off‐Farm Employment: Implications for the Adoption of Direct Seeding in Rice Production

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Rice is the main staple food for more than half of the world's population and the income from rice is an essential source for livelihoods of millions of households. We examine whether direct seed in rice production is an adaptation of rice farmers to rainfall changes and farm labor scarcity.
Manh Hung Do
wiley   +1 more source