Results 51 to 60 of about 324,086 (304)
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
Implementation of the Bulgarian-Polish online dictionary
Cognitive Studies | Études cognitives, 2015 Implementation of the Bulgarian-Polish online dictionary The paper describes the implementation of an online Bulgarian-Polish dictionary as a technological tool for applications in digital humanities.
Ludmila Dimitrova, Ralitsa Dutsova
doaj +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
The structure of an entry in the National corpus of Tuvan language
Новые исследования Тувы, 2016 Contemporary information technologies and mathematical modelling has made creating corpora of natural languages significantly easier. A corpus is an information and reference system based on a collection of digitally processed texts.
Mengi V. Ondar
doaj +2 more sources
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
Dansk-engelsk medicinsk ordbog. Generering af fagsprogsordbog fra glosekartotek
Hermes, 1988 A status report on the transformation of an idiosyncratic word list into a special-purpose dictionary is given. Pending the inclusion of additional lemmas and a modification of entry design that challenges the current trend in special-purpose ...
Morten Pilegaard
doaj +1 more source
Dictionaries merger for text expansion in question answering
, 2004 This paper presents an original way to add new data in a reference dictionary from several other lexical resources, without loosing any consistence. This operation is carried in order to get lexical information classified by the sense of the entry.
Jacquemin, Bernard
core +3 more sources
Advanced Energy Materials, EarlyView.This review focuses on operando studies of battery materials by X‐ray diffraction (XRD) and total X‐ray scattering (TXS). This work highlights potential pitfalls and identify best‐practices for operando studies and reviews some unusual experiments to illustrate how these methods can be applied beyond the evaluation of the early‐stage cycling mechanisms
Amalie Skurtveit +5 more
wiley +1 more source
Digital Humanities in the Nordic and Baltic Countries Publications, 2018 This paper describes FSvReader, a tool for easier access to Old Swedish (13th–16th century) texts. Through automatic fuzzy linking of words in a text to a dictionary describing the language of the time, the reader has direct access to dictionary pop-up
Yvonne Adesam +2 more
doaj +1 more source
Knight\u27s Challenge Answered [PDF]
, 2009 Only one solution was received for the Five-Jog Knight puzzle contest posed in the November Word Ways. Submitted in mid-December, editor Jeremiah Farrell\u27s solution managed to achieve a 20/20 Collegiate score, which is to say that every word in its 20-
Puder, Jim
core +1 more source