Results 151 to 160 of about 59,619 (316)
A Perspective on Interactive Theorem Provers in Physics
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
A study in the pragmatics of persuasion: a game theoretical approach
A speaker wishes to persuade a listener to take a certain action. The conditions under which the request is justified, from the listener’s point of view, depend on the state of the world, which is known only to the speaker. Each state is characterized by
Glazer, Jacob, Rubinstein, Ariel
core
Autoimmune Encephalitis in Acute Care—Pathology, Diagnosis, and Management
ABSTRACT Autoimmune encephalitis (AE) is characterized by immune‐mediated inflammation of the brain parenchyma, presenting with various neurological syndromes, including but not limited to seizures, altered consciousness, neuropsychiatric symptoms, and movement disorders.
Suneesh Thilak +9 more
wiley +1 more source
The present and future aspects of Digital Nudging and Digital Persuasion
This paper describes the current and future aspects of Digital Nudging and Digital Persuasion (DNDP). To find this, a case study approach has been followed, such as, we organized a workshop event aimed at supporting citizens and stakeholders in applying ...
Tripathi, Ashok +3 more
core
ABSTRACT Hydrogen sulfide (H2S) can be transformed into hydrogen (H2) through several chemical and catalytic processes, offering a promising route for both waste treatment and clean H2 production. This colorless, flammable, and toxic gas is found abundantly in swamps, volcanoes, hot springs, sewages, other natural gas fields, and even in refineries and
Divyesh Cirikonda +4 more
wiley +1 more source
Nookaler Ambitions: A Social-Psychological Analysis of Persuasive Speech
This study proposes a general model of persuasion based in social-psychology and cognitive information processing theory and is composed of an ideal listener/speaker/environment interaction. Drawing upon research conducted by Lowenthal and Guterman (1950)
Gladstone, Eric
core
Under colitis, Gsdmd mediates the release of IL‐33 from the epithelium of pregnant mice. IL‐33 can cross the placenta and enhance the proliferative capacity of neural stem cells, ultimately resulting in behavioral deficits in the offspring. Excessive pyroptosis in the colonic epithelium also triggers the translocation of LPS, which in turn increases ...
Huiyang Jia +4 more
wiley +1 more source
This study explores the opposing effects of the mGluR2 and mGluR3 receptors on amyloid precursor protein processing. mGluR2 promotes amyloidogenic cleavage, while mGluR3 favors non‐amyloidogenic pathways. Using a brain‐penetrant nanobody as a mGluR2 positive allosteric modulator, the study uncovers how its chronic activation aggravates amyloid‐β burden
Pierre‐André Lafon +21 more
wiley +1 more source
Spanish phishing and legitimate email dataset with technical and psychological annotations. [PDF]
Bustio-Martínez L +9 more
europepmc +1 more source
A physics‐based framework resolving graphite phase‐separation dynamics establishes a predictive, degradation‐aware fast‐charging methodology for commercial Li‐ion batteries. The resulting model‐informed protocol achieves 20%–80% state‐of‐charge in 14 min while matching the long‐term degradation of a commercial 25‐minute EV strategy.
Marco Lagnoni +10 more
wiley +1 more source

