Results 81 to 90 of about 1,394,777 (330)

On Graphical Calculi for Modal Logics

O Que Nos Faz Pensar, 2016
We present a graphical approach to classical and intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing their semantics.
Paulo A. S. Veloso, Sheila R. M. Veloso
doaj  

Sequence, gaze, and modal semantics: modal verb selection in German permission inquiries

Linguistics
Two modal verbs of German are regularly used to express deontic possibility: können (‘can’) and dürfen (‘may’). We examine how speakers select between them, focusing on modal inquiries for permission to carry out some action (darf/kann ich das machen ...
Zinken Jörg, Mack Christina
doaj   +1 more source

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

Advanced Sustainable Systems, EarlyView.
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source

Farnesyltransferase Deficiency in Cardiomyocytes Initiates Senescence and Contributes to Cardiac Fibrosis

Advanced Science, EarlyView.
Lipid overload suppresses SREBF2‐mediated FNTB expression, leading to defective Lamin A maturation and nuclear envelope instability. This nuclear catastrophe triggers a pro‐fibrotic senescence program in cardiomyocytes. Notably, restoring nuclear integrity via AAV9‐based gene therapy effectively attenuates cardiac remodeling, identifying the ...
Yuxiao Chen, Lian Lou, Xuan Zhang, Lin Yan, Qi Zhang, Wen Shi, Jie Ding, Xu Lin, Rong Jiang, Shuo Liu, Thida Sok, Pengli Wang, Yun Mou, Jie Han, Shenjiang Hu, Xiaogang Guo, Jian Yang   +16 more
wiley   +1 more source

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +1 more source

High‐Fidelity Synthetic Data Replicates Clinical Prediction Performance in a Million‐Patient Diabetes Cohort

Advanced Science, EarlyView.
This study generates high‐fidelity synthetic longitudinal records for a million‐patient diabetes cohort, successfully replicating clinical predictive performance. However, deeper analysis reveals algorithmic biases and trajectory inconsistencies that escape standard quality metrics. These findings challenge current validation norms, demonstrating why a
Francisco Ortuño, Víctor M. de la Oliva Roque, Javier‐Ignacio Ramirez‐Lopez, David P. Kreil, Joaquín Dopazo, Carlos Loucera   +5 more
wiley   +1 more source

Persuasion strategies in medical media discourse: a functional and pragmatic analysis

Неофилология
INTRODUCTION. The relevance of the research is due to the need for a comprehensive study of the pragmatic aspect of communication in the media discourse of the modern medicine. The purpose of the study is to conduct a functional and pragmatic analysis of
G. N. Trofimova, M. V. Komleva
doaj   +1 more source

Named Models in Coalgebraic Hybrid Logic [PDF]

, 2010
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson, Dirk Pattinson, Lutz Schr ¨oder, Lutz Schroeder   +3 more
core   +4 more sources

Partial Semantics for Quantified Modal Logic [PDF]

Journal of Philosophical Logic, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Wireless, Battery‐Free Artificial Throat Patch with Deep Learning for Emotional Speech Recognition

Advanced Science, EarlyView.
In this work, Xu and co‐workers develop a wireless, battery‐free artificial throat patch system (ATPS) consisting of a carbon nanotube‐based thin‐film strain sensor and a miniaturized flexible printed circuit board, to enable real‐time sensing of throat signals.
Bingxin Xu, Guanming Lin, Xiaohui Hong, Chuting Liu, Xinyi Qu, Kangjian Jiao, Lei Zhang, Bingzhe Xu, Jun Yan, Yancong Qiao, Xudong Lin   +10 more
wiley   +1 more source