Results 211 to 220 of about 205,593 (312)

Some systems of natural deduction. [PDF]

Notre Dame Journal of Formal Logic, 1967
openaire   +2 more sources

Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)

, 2009
Yuuki Andou
openalex   +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

The effects of the diagnosis-intervention packet payment reform in China: evidence from Guangzhou. [PDF]

Front Public Health
Wang Y, Huang X, Lu N, Xu X, Wang L, Du W, Xu W.   +6 more
europepmc   +1 more source

Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation.

, 2016
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco   +2 more
openalex   +1 more source

Strong Normalization for Truth Table Natural Deduction

, 2019
Herman Geuvers, Iris van der Giessen, Tonny Hurkens   +2 more
openalex   +2 more sources

What to Make and How to Make It: Combining Machine Learning and Statistical Learning to Design New Materials

Advanced Intelligent Discovery, EarlyView.
Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley   +1 more source

Finding deceivers in social context with large language models and how to find them: the case of the Mafia game. [PDF]

Sci Rep
Yoo B, Kim KJ.
europepmc   +1 more source

Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook

Advanced Intelligent Discovery, EarlyView.
Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang, Xinyi Chen, Xu Ye, Yulin Yang, Bin Ai   +4 more
wiley   +1 more source

A brain-inspired sequence learning model based on a logic. [PDF]

Sci Rep
Xu B.
europepmc   +1 more source