Results 51 to 60 of about 9,361 (252)

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

An exciting Approach to Theoretical Spectroscopy

Advanced Science, EarlyView.
ABSTRACT Theoretical spectroscopy, and more generally, electronic‐structure theory, are powerful concepts for describing the complex many‐body interactions in materials. They cover methods from ground‐state properties to lattice excitations and light‐matter interaction, including time‐resolved variants.
Martí Raya‐Moreno, Alexander Buccheri, Noah Alexy Dasch, Nasrin Farahani, Ignacio Gonzalez Oliva, Andris Gulans, Seokhyun Hong, Manoar Hossain, Hannah Kleine, Martin Kuban, Sven Lubeck, Benedikt Maurer, Pasquale Pavone, Fabian Peschel, Daria Popova‐Gorelova, Lu Qiao, Elias Richter, Santiago Rigamonti, Ronaldo Rodrigues Pela, Maximilian Schebek, Kshitij Sinha, Daniel T. Speckhard, Jan Stutz, Sebastian Tillack, Dmitry Tumakov, Jānis Užulis, Mara Voiculescu, Cecilia Vona, Mao Yang, Claudia Draxl   +29 more
wiley   +1 more source

Multiscale Coupling From Mastication to Retronasal Aroma Perception: The PG‐DTCFN Model and Multiphysics Simulation

Advanced Science, EarlyView.
Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen, Xiongfeng He, Zihao Li, Zidong Chen, Jiajin Sun, Xinyu Jiang, Yunhui Zhang, Lizhang Wu, Ran Wang, Jingnan Lu, Bo Wang, Kezhou Cai, Baocai Xu   +12 more
wiley   +1 more source

Dictionary’ Use among Second Year Students of English at the University of Constantine 1

Revue des Sciences Humaines, 2019
Despite the dynamic growth of research into dictionary use, we are still far from getting definitive answers to many important questions regarding dictionary use. We still do not know much about how dictionaries are perceived and used by students. We are
Amina Ouafa BENZITOUNI
doaj  

Advanced Cantonese ESL Learners' Use of a Monolingual Dictionary for Language Production

Lexikos, 2012
This article reports on the results of a research study which investigated the use of monolingual dictionaries by Hong Kong advanced Cantonese ESL learners in the production of target language sentences.
Alice Y.W. Chan
doaj   +1 more source

DDSurfer: A Weakly‐Supervised Dual‐Stream Deep Learning Framework for Cortical Surface Reconstruction From Diffusion MRI

Advanced Science, EarlyView.
DDSurfer reconstructs cortical surfaces directly from diffusion MRI without requiring T1‐weighted scans. By fusing complementary microstructural features and learning diffeomorphic deformations, it efficiently generates accurate white matter and pial surfaces, improving geometric fidelity and morphometric reliability across datasets for robust surface ...
Chengjin Li, Wei Zhang, Xi Zhu, Yuqian Chen, Nir A. Sochen, Jarrett Rushmore, Carl‐Fredrik Westin, Yogesh Rathi, Lauren J. O'Donnell, Ofer Pasternak, Fan Zhang   +10 more
wiley   +1 more source

Integrated Single‐Cell and TCR Profiling Reveals Protection‐Associated CD8+ T Cell Subsets Linked to Viral Control in PRRSV

Advanced Science, EarlyView.
PRRSV vaccine‐mediated protection is associated with clonally expanded cytotoxic CD8+ T cell subsets driven by viral structural proteins and supported by innate TLR4/TLR8 signaling and CD4+ T cell help, whereas non‐protective responses are characterized by dysfunctional exhausted‐like CD8+ T cells linked to poor viral control.
Can Kong, Siang Chen, Maolin Li, Meng Wang, Hailin Zhang, Bolun Zhou, Zhenhua Xie, Chen Wang, Peng Gao, Jianjun Luo, Hanchun Yang, Runsheng Chen, Dongdong Zhang, Jie Li, Jun Han   +14 more
wiley   +1 more source

Agent‐Based Simulations of Lung Tumor Evolution Suggest That Ongoing Cell Competition Drives Realistic Clonal Expansions

Advanced Science, EarlyView.
Computational simulations of tumor evolution are increasingly used to infer the rules underlying cancer growth, with the goal of one day recommending tailored treatments. Here we show that the properties of lung cancer sequencing data are best replicated by a model which assumes that cells compete both to proliferate and survive. ABSTRACT Computational
Helena Coggan, James R. M. Black, Carlos Martínez‐Ruiz, Kristiana Grigoriadis, Jasmin Fisher, Nicholas McGranahan   +5 more
wiley   +1 more source

Drawing the Profile of Students of English as Dictionary Users

Revue des Sciences Humaines, 2014
Fifty freshmen students of English took part in a study in order to establish their profile as dictionary users. The respondents completed a questionnaire regarding the types of dictionaries they used, the frequency of use, the main reasons for ...
Chaker HAMDI
doaj  

Theoretical Challenges to Practical Specialised Lexicography

Lexikos, 2011
<p>Abstract: During the last decades, part of lexicography has developed into an independent science with an elaborated system of theories based on the users' needs and corresponding dictionary functions.
Sven Tarp
doaj   +1 more source