Results 61 to 70 of about 15,280 (264)
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
Advanced Science, EarlyView.We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang +11 more
wiley +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
Обозрение психиатрии и медицинской психологии имени В.М. Бехтерева, 2018 Delusion is the most difficult problem in psychopathology. In the existing definitions of delusion there is no clear indication of the discriminant that enables us to reliably distinguish it from other psychopathologic phenomena.
V. E. Pashkovskiy
doaj
BELIEF AND DELUSION: THEIR COMMON ORIGIN BUT DIFFERENT COURSE OF DEVELOPMENT
Zygon, 1983 . Comparing the experiences of mystics and victims of delusion we find very similar states of conditions: an experience of abnormal significance, pseudohallucinations, the sense of mission, the suspension of time, extremes of mood, and the sudden and ...
doaj +2 more sources
Death Penalty and Psychiatric Evaluation in Japan
Frontiers in Psychiatry, 2018 Japan recently ordered a string of death sentences for offenders with mental illness. Based on the verdicts, we describe cases where one or more psychiatrists conducted psychiatric evaluations for several months and testified in lay judge courts.
Hiroko Kashiwagi, Naotsugu Hirabayashi
doaj +1 more source
Advanced Science, EarlyView.MarginPath is a novel vision‐language system that automates breast cancer margin assessment using a single label‐free multiphoton microscopy image. By integrating tumor‐associated collagen signatures with virtual H&E imaging, it generates accurate margin heatmaps and comprehensive diagnostic reports.
Shu Wang +15 more
wiley +1 more source
Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design
Advanced Science, EarlyView.A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram +4 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
Comprehensive Psychiatry, 1990 The DSM-III-R definition of delusions bears inconsistencies and does not account for the way delusions are detected clinically. It can be traced back to Karl Jaspers who was the first to mention the three criteria of delusions, which are to be found in the textbooks ever since: (1) certainty, (2) incorrigibility, and (3) impossibility or falsity of ...
openaire +2 more sources