Results 61 to 70 of about 51,257,820 (289)
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
Fachwörterbuch, Autorenwörterbuch und Wörterbuchhybride. Zu einem Problem der Fachlexikographie
Studia LinguisticaSpecialized lexicography is an important and dynamically developing branch of lexicography today, and specialized dictionaries are frequently used reference works.
Monika Bielińska
doaj +1 more source
The encyclopa︠e︡dia Japonica; a dictionary of commerce.
, 1906 Binder's title: Encyclopedic-dictionary of commerce.Added t.-p.
Encyclopedic-dictionary of Commerce.
core
The Mind From Within: Visceral Roots of Human Cognition
Advanced Science, EarlyView.The physiological activity of visceral organs, such as the heart, the lungs, and the gut, is surprisingly linked to many sophisticated mental operations, such as remembering the past, being aware of ourselves, making choices, and forging social bonds.
Alessandro Monti +1 more
wiley +1 more source
THE STUDIES OF BENER HAKKI HAKERİ ON THE DOCUMENTATION OF THE EXISTANCE OF TURKISH CYPRIOT VOCABULARY / KIBRIS TÜRK SÖZ VARLIĞININ BELGELENMESİNDE BENER HAKKI HAKERİ’NİN ÇALIŞMALARI [PDF]
Folklor/Edebiyat, 2016 This study was conducted for Bener Hakkı Hakeri, who serves for Turkish Cypriot accent researches, and his study named Hakeri’s Cyprus Turkish Dictionary.
Gürkan Gümüşatam
doaj
The Project of building the historical dictionary of the Arabic language
قضايا لغوية, 2020 The present research studies a part of the projects which are related to “The Arabic Historical Dictionary“ and associated with the Doha Arabic Historical Dictionary foundation.
Houssam Eddine Taouririt, Imane Chacha
doaj +1 more source
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 +10 more
wiley +1 more source
Cyberspace, 2019 Dictionary is what is needed to find a term with the right translation. Current technological developments make things very easy and inexpensive. The use of smartphone technology is now very suitable to replace the printed dictionary into a digital ...
Haji Putra, Hendri Ahmadian
doaj +1 more source
, 2008 - Find definitoons and synonyms in an easy to use combined dictionary and thesaurus- Hundreads of wold links show you related words to build your vocabulary and give solutions to puzzles and word games-Instant access whatever you are with Oxford's ...
Hawker, Sara
core
Irish Health Research Forum meeting. Theme: should Ireland set health research priorities? [PDF]
, 2018 This report presents the proceedings of the Irish Health Research Forum on May 21st, 2018 focusing on the topic of whether Ireland should set health research ...
Medical Research Charities Group
core