Results 31 to 40 of about 36,330 (291)

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

Protecting the “Homo Digitalis”

Naveiñ Reet: Nordic Journal of Law and Social Research, 2019
This paper analyses from a legal and philosophical perspective the appearance of a new human species, the so-called Homo Digitalis, a Homo Sapiens permanently interconnected with others throughout I.T devices. Twenty-four hours a day.
Antoni Abat Ninet
doaj   +1 more source

Discovery of an Adaptive Neuroimmune Response Driving Itch and Fast Tick Removal with Implications for Preventing Pathogen Transmission

Advanced Science, EarlyView.
Doehl et al. discovered an adaptive neuroimmune mechanism that induces itch in tick‐exposed guinea pigs, enabling rapid tick removal. This itch‐induced tick removal (IITR) is mediated by an adaptive cellular immune response and is independent of IgG, IgE, or TRPV1.
Johannes S. P. Doehl, Tiago D. Serafim, Serena Doh, Charles S. Grugan, Eva Iniguez, Luana Rogerio, Ronja Frigard, Ranadhir Dey, Pedro Cecilio, Xinglong Gu, Pang‐Yen Tseng, Aline da Silva Moreira, Mahnaz Minai, James Oristian, Hans Ackerman, Steven Brooks, Caroline Percopo, Siu‐Ping Ng, Derron A. Alves, Lucas Tirloni, Jennifer M. Anderson, Adriana Marques, Fabiano Oliveira, Shaden Kamhawi, Daniel E. Sonenshine, José M. C. Ribeiro, Mark Hoon, Jesus G. Valenzuela   +27 more
wiley   +1 more source

Chronic digitalis therapy in patients before heart transplantation is an independent risk factor for increased posttransplant mortality

Therapeutics and Clinical Risk Management, 2017
Rasmus Rivinius,1 Matthias Helmschrott,1 Arjang Ruhparwar,2 Ann-Kathrin Rahm,1,3 Fabrice F Darche,1 Dierk Thomas,1 Tom Bruckner,4 Philipp Ehlermann,1 Hugo A Katus,1 Andreas O Doesch1,5 1Department of Cardiology, Angiology and Pneumology, Heidelberg ...
Rivinius R, Helmschrott M, Ruhparwar A, Rahm AK, Darche FF, Thomas D, Bruckner T, Ehlermann P, Katus HA, Doesch AO   +9 more
doaj  

A digitális szakadék, mint új periféria-képző jelenség

Tér és Társadalom, 2004
A tanulmány elméleti és empirikus eredmények tükrében vizsgálja az információs társadalom fejlődéséből adódó egyenlőtlen helyzeteket, a digitális szakadék fogalmát.
Szarvák Tibor
doaj   +1 more source

Digitalizáció hatása a hazai kereskedelmi stratégiákra

International Journal of Engineering and Management Sciences, 2020
Tanulmányunk célja, hogy feltérképezzük a digitális tér illeszkedését napjaink és a jövő kereskedelmébe és meghatározzuk a digitalizáció hatását a hazai kereskedelmi stratégiákra.
Enikő Kontor, Marietta Kiss, András Fehér   +2 more
doaj   +1 more source

Kockázati tényezők a digitális térben

Belügyi Szemle, 2023
Cél: A tanulmány célja, hogy átfogóan vizsgálja a gyermekek tevékenységeit, az áldozattá válás kockázati tényezőit és egyes hatásait a digitális világban, az internethasználati szokásaikat és a közösségi média releváns működési sajátosságait ...
Boglárka Meggyesfalvi
doaj   +1 more source

Smart Flexible Tactile Sensors: Recent Progress in Device Designs, Intelligent Algorithms, and Multidisciplinary Applications

Advanced Intelligent Discovery, EarlyView.
Flexible tactile sensors have considerable potential for broad application in healthcare monitoring, human–machine interfaces, and bioinspired robotics. This review explores recent progress in device design, performance optimization, and intelligent applications. It highlights how AI algorithms enhance environmental adaptability and perception accuracy
Siyuan Wang, Ming Dong, Rongrong Bao, Caofeng Pan   +3 more
wiley   +1 more source

Digital Agriculture: Past, Present, and Future

Advanced Intelligent Discovery, EarlyView.
Digital agriculture integrates Internet of Things, artificial intelligence, and blockchain to enhance efficiency and sustainability in farming. This review outlines its evolution, current applications, and future directions, highlighting both technological advances and key challenges for global implementation.
Xiaoding Wang, Chengxian Wu, Qibin Wu, Youxiong Que   +3 more
wiley   +1 more source

Louis Alphonse Adrian

Educación Química
Louis Alphonse Adrian (1832-1911) was a French pharmacist who with Auguste Trillat studied the synthesis and chemistry of phosphoglycerates, neutral and acid, their derivatives, properties, and dosage, particularly, organic and calcium phosphoglycerates,
Jaime Wisniak
doaj   +1 more source