Results 181 to 190 of about 13,404,605 (326)

A Dynamic Epistemic Logic with Lying and Theory of Mind Limitations. [PDF]

J Logic Lang Inf
Top JD, Verbrugge R, de Weerd H.
europepmc   +1 more source

Basic proof theory

Cambridge tracts in theoretical computer science, 1996
A. Troelstra, H. Schwichtenberg
semanticscholar   +1 more source

Closed‐Loop Solid‐State Synthesis Planning for Materials Discovery With Large Language Models

Advanced Materials, EarlyView.
Leveraging literature data, we build a large‐language‐model‐driven workflow that extracts synthesis steps from 4407 papers, retrieves similar precedents, and generates candidate solid‐state synthesis recipes. The system benchmarks against ground‐truth and then operates in a closed loop with experiments to synthesize oxy‐selenide electrolyte materials ...
Dong Won Jeon, Dong Hwi Kim, Taeyang Jeon, Joo Yeong Na, Heegyu Kim, Hyunsouk Cho, Dae Soo Jung, Ju Li, Jin‐Sung Park, Sung Beom Cho   +9 more
wiley   +1 more source

Theoretical foundations of soft topological granular structures for multi-criteria social network analysis. [PDF]

R Soc Open Sci
Oza A.
europepmc   +1 more source

Programmable Functional Silicification of DNA Origami Nanostructures

Advanced Materials, EarlyView.
This work introduces additional functionality into silica‐coated DNA origami nanostructures using non‐standard silica precursors. A fluorescent precursor enables enhanced intracellular tracking, while a disulfide‐containing reagent yields redox‐responsive, degradable silica coatings.
Anna V. Baptist, Lasse Guericke, Philipp Mauker, Oliver Thorn‐Seshold, Amelie Heuer‐Jungemann   +4 more
wiley   +1 more source

Specific Position of Halogen in Crystalline TADF Scintillators Enables Efficient Triplet Harvesting Through Vibrational Modulation of Spin–Orbit Coupling

Advanced Materials, EarlyView.
Specific ortho‐halogenation transforms crystalline TADF emitters into efficient organic scintillators. Fluorine reduces the effective singlet–triplet separation, while chlorine combines near‐degenerate excited states with vibrational modulation of spin–orbit coupling.
Illia E. Serdiuk, Michał Mońka, Artur Sikorski, Konrad J. Drozdowski, Mohanad S. Eid, Krzysztof Wisniewski, Damian Trzybiński, Marcin E. Witkowski, Winicjusz Drozdowski   +8 more
wiley   +1 more source

Maximal Domain for Strategy-Proof Rules in Allotment Economies [PDF]

We consider the problem of allocating an amount of a perfectly divisible good among a group of n agents. We study how large a preference domain can be to allow for the existence of strategy-proof, symmetric, and efficient allocation rules when the amount
Hideyuki Mizobuchi, Shigehiro Serizawa
core  

A New Origin for Entropy: Jauch's Conservation Law and the Geometry of Thermodynamics. [PDF]

Found Phys
Roberts BW.
europepmc   +1 more source

Algebraic proof theory for substructural logics: Cut-elimination and completions

Annals of Pure and Applied Logic, 2012
A. Ciabattoni, Nikolaos Galatos, K. Terui   +2 more
semanticscholar   +1 more source

Liquid Crystal Elastomer‐Based Haptic Pixel Arrays at Your Fingertips for Advanced Human–Machine Interfaces

Advanced Materials, EarlyView.
We mechanically program liquid crystal elastomer coatings as a stimuli‐responsive and digitally addressable platform for refreshable tactile displays; we validate the perceptual performance of our dynamic device matches conventional static tactile media.
Tom Bruining, Enjun Lin, Yu Zou, Meike Heldoorn, Pengrong Lyu, Samuël A. M. Weima, Astrid M. L. Kappers, Myrthe A. Plaisier, Satoshi Aya, Danqing Liu   +9 more
wiley   +1 more source