Results 71 to 80 of about 10,271 (300)
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
Efficiency of orthogonal super greedy algorithm under the restricted isometry property
Journal of Inequalities and Applications, 2019 We investigate the efficiency of orthogonal super greedy algorithm (OSGA) for sparse recovery and approximation under the restricted isometry property (RIP).
Xiujie Wei, Peixin Ye
doaj +1 more source
Development of E-Dictionary Media in Food Science Courses
Jurnal PAJAR (Pendidikan dan Pengajaran), 2023 Technological advances require lecturers to be more active in developing learning media so that they can help students participate more actively in learning independently. This research aims to develop e-dictionary-based media in food science courses. The media development model adopts the Brog and Gall procedure.
Lelly Fridiarty +2 more
openaire +1 more source
First and Second Order Methods for Online Convolutional Dictionary Learning
, 2018 Convolutional sparse representations are a form of sparse representation with a structured, translation invariant dictionary. Most convolutional dictionary learning algorithms to date operate in batch mode, requiring simultaneous access to all training ...
Garcia-Cardona, Cristina +3 more
core +1 more source
Researching Users and Uses of Dictionaries [PDF]
, 2022 This chapter examines available investigative methods, and the profiles, preferences, requirements and strategies of dictionary users. It reviews user studies conducted over the past fifty years, reporting on what is currently known about the advantages ...
Nesi, Hilary
core
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
Online Dictionaries on the Internet: An Overview for the African Languages
Lexikos, 2011 <p>Abstract: The main purpose of this research article is rather bold, in that an attempt is made at a comprehensive overview of all currently available African-language Internet dictionaries.
Gilles-Maurice de Schryver
doaj +1 more source
e-Dictionaries in a Network of Information Tools in the e-Environment
Lexikos, 2020 Traditional dictionaries offer curated data to users. Users should therefore be able to find the correct data to solve their information need. However, users don't necessarily know the exact scope of lexicographic information.
Theo J.D. Bothma, Rufus H. Gouws
doaj +1 more source
English in the High School [PDF]
, 1915 "Reprinted from the Louisiana school work, January, 1915.""Read at the annual meeting of the high school principals of Louisiana, in Baton Rouge, December 10, 1914."Mode of access ...
Law, Richard A.
core +1 more source