Results 71 to 80 of about 740,916 (240)

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

Classic Papers in Critical Care: A Bibliometric Analysis [PDF]

, 2019
Purpose- This study aimed to identify and analyze the bibliometric characteristics of the classic papers in the field of critical care. Design/methodology/approach- In this bibliometric overview, Google Scholar, Scopus and Web of Science were used for ...
Esmaeilzadeh, Maryam, Mahdiyoun, Seyed Ali, Mokhtari, Heidar   +2 more
core   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Genetic Diagnosis and Discovery Enabled by Large Language Models

Advanced Science, EarlyView.
We demonstrate that large language models (LLMs) can facilitate genetic diagnosis and discovery. LLMs were used to solve four types of genetic problems of sequentially increased complexity. An LLM‐based pipeline could analyze genetic variants in the genomic sequences of human hearing loss or rare genetic disease patients and assist in identifying ...
Tao Tu, Khaled Saab, Weida Liu, Zhouqing Fang, Zhuanfen Cheng, Svetolik Spasic, Maja Djurisic, Hiroaki Mohri, Wenlong Ren, Anil Palepu, Juraj Gottweis, Alan Karthikesalingam, Kavita Kulkarni, Annalisa Pawlosky, Devon Bonner, Elijah Kravets, Shruti Marwaha, Hector R. Mendez, Matthew T. Wheeler, Jonathan A. Bernstein, Undiagnosed Diseases Network, Cheng‐Yu Tsai, Chen‐Chi Wu, Konstantina M. Stankovic, Vivek Natarajan, Gary Peltz   +25 more
wiley   +1 more source

A longitudinal study of Google Scholar coverage between 2012 and 2013 [PDF]

, 2013
Harzing (2013) showed that between April 2011 and January 2012, Google Scholar has very significantly expanded its coverage in Chemistry and Physics, with a more modest expansion for Medicine and a natural increase in citations only for Economics ...
Harzing, Anne-Wil
core   +1 more source

Traceless Regulation of Genetic Circuitry

Advanced Science, EarlyView.
Energy‐based, as opposed to molecular, control offers unprecedented improvements in key circuit parameters. This review summarizes the fundamentals of such traceless switches, categorizes them by trigger modalities, and compares and contrasts distinct advantages as well as shortcomings of each kind.
Gokberk Unal, Martin Fussenegger
wiley   +1 more source

Application of Color and Size Measurement in Food Products Inspection

Indonesian Journal of Information Systems, 2019
Color and size are external aspects considered by consumers in purchasing a food product and are used in food product inspection using computer vision. This paper reviews recent applications of color and size measurement in food product inspection using ...
Joko Siswantoro
doaj   +1 more source

Google Scholar: creating a Google Scholar account [PDF]

Creating a Google Scholar account can showcase your papers and the citations that they’ve received.
CentAUR,
core  

Журналы в мировых электронных базах и проблемы вхождения в них [PDF]

, 2012
В роботі розглянуто методи та шляхи розміщення електронних версій журналів в Інтернеті і засоби доступу до них. Розглядаються особливості реалізації пошуку інформацію у електронних виданнях. Підкреслено значення світових баз наукових робіт Google Scholar
Tsurin, O. P., Цурін, О. П.
core  

Deformation Driven Suction Cups: A Mechanics‐Based Approach to Wearable Electronics

Advanced Science, EarlyView.
Deformation‐driven suction cups enable robust, reversible adhesion of wearable electronics to human skin spanning wide mechanical compliance, without adhesives or tight straps. By integrating mechanics modeling, experiments, and contact mechanics theory, this work reveals how cup geometry, substrate compliance, and interfacial adhesion govern suction ...
Seola Lee, Andrew Akerson, Roham Pardakhtim, Ehsan Hajiesmaili, Kevin Rhodes, Zidong Li, Andrew Stanley, Amirhossein Amini, Daniele Piazza, Chiara Daraio, Tianshu Liu   +10 more
wiley   +1 more source