Results 71 to 80 of about 357,293 (296)

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

A sinful state of man. A fragment from a systematic french-russian dictionary of religious lexis (part 1)

St.Tikhons' University Review. Series III. Philology, 2022
This article continues the publication of certain parts of the Systematic French-Russian Dictionary of Religious Lexis and represents a section of the larger chapter which includes the topics. As in the previous topics, the main problem in establishing equivalents was the fact that French lexemes are used in the Catholic context, which — in order to ...
openaire   +1 more source

High‐Conductivity Electrolytes Screened Using Fragment‐ and Composition‐Aware Deep Learning

Advanced Science, EarlyView.
We present a new deep learning framework that hierarchically links molecular and functional unit attributions to predict electrolyte conductivity. By integrating molecular composition, ratios, and physicochemical descriptors, it achieves accurate, interpretable predictions and large‐scale virtual screening, offering chemically meaningful insights for ...
Xiangwen Wang, Muyang Chen, Gengyi Bao, Yan Lai, Jinghe Cao, Xinhua Liu, Rui Tan   +6 more
wiley   +1 more source

Methods in Lexicography and Dictionary Research

Lexikos, 2015
Methods are used in every stage of dictionary-making and in every scientific analysis which is carried out in the field of dictionary research. This article presents some general considerations on methods in philosophy of science, gives an overview of ...
Stefan J. Schierholz
doaj   +1 more source

Spelling, phonology and etymology in Hittite historical linguistics, a review article on Kloekhorst, A. Etymological Dictionary of the Hittite Inherited Lexicon (Leiden: 2008) [PDF]

, 2011
This review article addresses the representation of glottal stops in Akkadian and Hittite ...
Bürde, Forrer, Gelb, Groddek, Har∂arson, Hasselbach, Hawkins, Hoffner, Hoffner, Hout, Hout, Jucquois, Kimball, Kloekhorst, Kloekhorst, Kouwenberg, Lehrman, Lehrman, Lipin, Mark Weeden, Melchert, Melchert, Melchert, Melchert, Miller, Morpurgo Davies, Neu, Otten, Pedersen, Popko, Popko, Rix, Schwemer, Seminara, Simon, Streck, Weeden, Wilhelm, Wilhelm, Yoshida   +39 more
core   +1 more source

Automatically Defining Protein Words for Diverse Functional Predictions Based on Attention Analysis of a Protein Language Model

Advanced Science, EarlyView.
Understanding protein sequence–function relationships remains challenging due to poorly defined motifs and limited residue‐level annotations. An annotation‐agnostic framework is introduced that segments protein sequences into “protein words” using attention patterns from protein language models.
Hedi Chen, Jingrui Zhong, Xiaochun Zhang, Jingke Chen, Lin Guo, Xiaoliang Xiong, Xiaonan Zhang, Xiangyu Liu, Bailong Xiao, Boxue Tian   +9 more
wiley   +1 more source

Tweetalige Frasewoordeboek/Bilingual Phrase Dictionary: 'n Fokus op funksies en enkele probleemareas

Lexikos, 2011
<p>Opsomming: Hierdie woordeboek deur P.A. Joubert sal bespreek word aan die hand van dievolgende aspekte: die volledigheid van die woordeboek, met inagneming van die teikengebruikeren die beginsels van outentisiteit en tipiesheid, die verwerking ...
Anna Nel Otto
doaj   +1 more source

Scrunch, growze, or chobble?: investigating regional variation in sound symbolism in the Survey of English Dialects [PDF]

, 2012
This paper draws on data extracted from Upton et al.’s (1994) Survey of English Dialects: The Dictionary and Grammar in investigating the regional distribution across England of sound symbolic phonesthemes, that is, word-initial consonant clusters which ...
Wright, D
core  

opXRD: Open Experimental Powder X‐Ray Diffraction Database

Advanced Intelligent Discovery, EarlyView.
We introduce the Open Experimental Powder X‐ray Diffraction Database, the largest openly accessible collection of experimental powder diffractograms, comprising over 92,000 patterns collected across diverse material classes and experimental setups. Our ongoing effort aims to guide machine learning research toward fully automated analysis of pXRD data ...
Daniel Hollarek, Henrik Schopmans, Jona Östreicher, Jonas Teufel, Bin Cao, Adie Alwen, Simon Schweidler, Mriganka Singh, Tim Kodalle, Hanlin Hu, Gregoire Heymans, Maged Abdelsamie, Arthur Hardiagon, Alexander Wieczorek, Siarhei Zhuk, Ruth Schwaiger, Sebastian Siol, François‐Xavier Coudert, Moritz Wolf, Carolin M. Sutter‐Fella, Ben Breitung, Andrea M. Hodge, Tong‐yi Zhang, Pascal Friederich   +23 more
wiley   +1 more source

State of soul of a religious person. A fragment from the systematic French-Russian dictionary of religious lexis (part 1)

St. Tikhons' University Review. Series III. Philology, 2023
This article continues the publication of certain parts of the SystematicFrench-Russian Dictionary of Religious Lexis and makes up part of the larger section Protagonistes de la religion Chrétienne, as well as of the subsection Etats d’âme de la créature humaine. In contrast to the already published topic Manifestations de la piété.
openaire   +2 more sources