Results 71 to 80 of about 667,864 (326)
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
Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy
Advanced Science, EarlyView.Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu +4 more
wiley +1 more source
Representation of bilingual dictionaries entries
RUDN Journal of Language Studies, Semiotics and Semantics, 2016 In the article the microstructure of the modern bilingual dictionary, in particular the structure and contents of the dictionary entry is considered. Addressing the analysis of dictionary parameters allows to take lexicographic information on the word ...
N M Nesova
doaj
Ciência da Informação, 2010 O artigo descreve a estrutura e as formas de acesso características dos dicionários eletrônicos do tipo on-line disponíveis ao aprendiz de língua inglesa, comparando o conteúdo e os recursos de dois dicionários monolíngues e dois dicionários bilíngües ...
Isabel Cristina Tedesco Selistre
doaj +1 more source
Special Field and Subject Field Lexicography Contributing to Lexicography
Lexikos, 2020 Restricted dictionaries are fully-fledged dictionaries and their contribution to lexicography should never be underestimated. Because restricted dictionaries often are neglected in lexicographic discussions this article emphasises the significance of ...
Rufus H. Gouws
doaj +1 more source
Topology of the conceptual network of language
, 2002 We define two words in a language to be connected if they express similar concepts. The network of connections among the many thousands of words that make up a language is important not only for the study of the structure and evolution of languages, but ...
A.-L. Barabási +16 more
core +1 more source
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 +9 more
wiley +1 more source
Analysis Dictionary Learning Based Classification: Structure for Robustness [PDF]
IEEE Transactions on Image Processing, 2019 This manuscript has been accepted and published to IEEE Transactions on Image Processing on June ...
Tang, Wen +3 more
openaire +3 more sources
Deep Decision Trees for Discriminative Dictionary Learning with Adversarial Multi-Agent Trajectories
, 2018 With the explosion in the availability of spatio-temporal tracking data in modern sports, there is an enormous opportunity to better analyse, learn and predict important events in adversarial group environments.
Denman, Simon +3 more
core +1 more source
Terahertz Channel Modeling, Estimation and Localization in RIS‐Assisted Systems
Advanced Electronic Materials, EarlyView.Reconfigurable intelligent surfaces have become a recent intensive research focus. Based on practical applications, channel strategies for RIS‐assisted terahertz wireless communication systems are categorized into three different types: channel modeling, channel estimation, and channel localization.
Hongjing Wang +9 more
wiley +1 more source