Results 51 to 60 of about 27,177 (320)

Factors Driving Battery and Solar Purchase Decision of Residents: a Behavioural Choice Experiment Using a Hybrid Discrete Choice and Latent Variable Model

Advanced Sustainable Systems, EarlyView.
This article explores what drives households to adopt solar PV and battery systems in South East Queensland. Using hybrid discrete choice experiments, it reveals distinct adopter profiles and highlights cost, system size, and energy independence as key motivators.
Mohammad Alipour, Elnaz Irannezhad, Rodney A. Stewart, Oz Sahin   +3 more
wiley   +1 more source

Automated Synthesis of Tableau Calculi [PDF]

Logical Methods in Computer Science, 2011
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
Renate A. Schmidt, Dmitry Tishkovsky
doaj   +1 more source

On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus

Mathematical Problems of Computer Science, 2022
The sizes of linear and tree-like proofs for any formulae families are investigated in some systems of propositional calculus: in different sequent systems (with quantifier rules, with the substitution rule, with the cut rule, without the cut rule ...
Levon A. Apinyan, Anahit A. Chubaryan
doaj   +1 more source

A Replicable and Generalizable Neuroimaging‐Based Indicator of Pain Sensitivity Across Individuals

Advanced Science, EarlyView.
Humans differ in their sensitivity to pain. With six large and diverse fMRI datasets (total N = 1046), this study finds that such individual differences in pain sensitivity can be tracked by fMRI responses to painful stimuli. A highly generalizable machine learning model is further built to predict pain sensitivity across all datasets and analgesic ...
Li‐Bo Zhang, Xue‐Jing Lu, Hui‐Juan Zhang, Zhao‐Xing Wei, Ya‐Zhuo Kong, Yi‐Heng Tu, Gian Domenico Iannetti, Li Hu   +7 more
wiley   +1 more source

Synaptic Dysfunction in the Anterior Cingulate Cortex Underlies Pain‐Anxiety Comorbidity in a Mandibular Asymmetry Mouse Model

Advanced Science, EarlyView.
This study establishes a mandibular asymmetry (MA) mouse model that recapitulates chronic orofacial pain and anxiety comorbidity. Anterior cingulate cortex (ACC) hyperactivation and synaptic dysfunction are identified as central neural mechanisms underlying these pathologies, with chemogenetic inhibition of ACC CaMKII+ neurons effectively reversing ...
Zhaoyichun Zhang, Yanran Zhang, Jialin Si, Honghui Mao, Feng He, Jin Ning, Guaiguai Ma, Xiaohua Chen, Haoxiang Xiao, Yuanyuan Zhu, Haifeng Zhang, Yifan Lu, Qian Liu, Meng Nian, Shiquan Sun, Shibin Yu, Shengxi Wu, Ze Fan, Zuolin Jin, Jing Huang   +19 more
wiley   +1 more source

Genome‐Wide Protein Interaction Analysis in Parasitic Gyrodactylus Flatworms–Fish Hosts System and Drug Target Identification

Advanced Science, EarlyView.
Genomic data offer a powerful tool for studying the molecular interactions between parasites and their hosts, but they remain scarce for parasitic monogenean flatworms. This study presents the first high‐quality phased genome assembly for monogeneans (Gyrodactylus kobayashii), and uses it to predict key interacting proteins between monogenean parasite ‐
Dong Zhang, Jie‐Mei Zhao, Chuan‐Yu Xiang, Yi‐Wen Ma, Hong‐Peng Lei, Yu‐Ying Shi, Shun Zhou, Xiaofei Zeng, Jinsong Chen, Fei Liu, Benhe Zeng, Rui Song, Ye Hu, Feng Zhang, Xiang Liu, Wen‐Xiang Li, Gui‐Tang Wang, Ivan Jakovlić   +17 more
wiley   +1 more source

Graphical Sequent Calculi for Modal Logics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj   +1 more source

A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]

, 2016
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core  

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

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources