Results 81 to 90 of about 189,149 (342)
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
The role of metacognition and obsessive-compulsive symptoms in psychosis: an analogue study
BMC Psychiatry, 2017 Background Several studies have indicated that obsessive-compulsive disorder (OCD) is a common comorbidity in patients with psychotic disorders, but there is sparse knowledge about the relationship between symptoms of OCD and psychotic symptoms ...
Kristen Hagen +4 more
doaj +1 more source
A Logical Defence of Maher's Model of Polythematic Delusions [PDF]
, 2010 We proceed to describe a model for the formation and maintenance of polythematic delusions encountered in schizophrenia, which is in adequacy with Brendan Maher's account of delusions.
Franceschi, Paul
core
AI‐Assisted Bioelectronics for Personalized Health Management
Advanced Electronic Materials, EarlyView.Recent advances in artificial intelligence (AI)‐assisted bioelectronics, including materials, device fabrication, working mechanisms, AI‐hardware integration, and proof‐of‐concept applications in digital health management, are summarized. The emergence of AI‐assisted bioelectronic systems and potential solutions to existing challenges are discussed ...
Huiwen Xiong +6 more
wiley +1 more source
How Much Do We Learn about Hallucinations from Thought-Experiments? [PDF]
, 2015 The idea that our sensory experience cannot serve as a ground for knowledge lingers on within philosophical thinking from its very beginning. Since even the ancient sceptics argued against the possibility of knowledge based on sense perception due to ...
Szelegieniec, Joanna Helena
core
Generative Artificial Intelligence Shaping the Future of Agri‐Food Innovation
AgriFood: Journal of Agricultural Products for Food, EarlyView.Emerging use cases of generative artificial intelligence in agri‐food innovation. ABSTRACT The recent surge in generative artificial intelligence (AI), typified by models such as GPT, diffusion models, and large vision‐language architectures, has begun to influence the agri‐food sector.
Jun‐Li Xu +2 more
wiley +1 more source
Farmers’ Protests in Germany: Media Coverage and Types of Bias
Agribusiness, EarlyView.ABSTRACT The German farmers’ protests of 2024 sparked widespread media coverage and public debate. Yet, media coverage was not always positive, reflecting the media's attention‐seeking and selective focus. Occurrences of farmers blocking media outlets reflected distrust in how their concerns were portrayed.
Felix Schlichte, Doris Läpple
wiley +1 more source
Naive realism and the scientific narration of perception [PDF]
, 2018 Naive realism is a widely debated topic in the philosophy of the mind. In this article I will review the theses of naive realism through the works of one of the most influential philosophers who supported and developed them, Michael Martin.
Bucci, Andrea
core
Psychiatric manifestations of multiple sclerosis and acute disseminated encephalomyelitis [PDF]
, 2006 It is unusual for acute disseminated encephalomyelitis and multiple sclerosis to present as purely psychiatric disorders. We report five patients with such demyelinating diseases and symptoms of psychosis, depression or anxiety.
Brinar, Marko +3 more
core +1 more source
Advanced Intelligent Discovery, EarlyView.Named entity recognition pipeline for knowledge extraction from scientific literature. Machine learning interatomic potential (MLIP) is an emerging technique that has helped achieve molecular dynamics simulations with unprecedented balance between efficiency and accuracy. Recently, the body of MLIP literature has been growing rapidly, which propels the
Bowen Zheng, Grace X. Gu
wiley +1 more source