Results 51 to 60 of about 94,591 (293)
Advanced Science, EarlyView.Nitrosyl heme emerges as an extracellular nitrodilator that dilates arteries without crossing the cell membrane. Instead, heme‐NO mobilizes NO moieties from a preformed intracellular NO store within vascular smooth muscle, providing both functional and chemical evidence for the NANOS model, revealing a previously unrecognized mechanism of arterial ...
Taiming Liu +9 more
wiley +1 more source
Вестник Кемеровского государственного университета, 2015 The article describes the propositional frame-based method of teaching Chinese exemplified by frames “berry”, “color” and “disease”. Using this technique the Chinese language teaching leads to a more precise better understanding of the structural and ...
L. A. Araeva, S. I. Li
doaj
Inference of Field-Sensitive Reachability and Cyclicity
, 2014 In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination: this information guarantees that the depth of the data structure to which x points is greater than the depth of the structure ...
Genaim, Samir, Zanardini, Damiano
core +1 more source
The modal logic of Reverse Mathematics [PDF]
, 2014 The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way.
Mummert, Carl +2 more
core +1 more source
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
Advanced Science, EarlyView.Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source
Systems and Soft ComputingIn this study, the shortcoming of the conventional procedure is demonstrated by proposing the novel technique of complex propositional picture fuzzy sets with some fundamental concepts based on algebraic and Sugeno Weber norms.
Zeeshan Ali, Dragan Pamucar
doaj +1 more source
Selenium‐Based Nanoplatforms: An Emerging Theranostic Paradigm for Gynecological Cancers
Advanced Science, EarlyView.This reivew summarizes Selenium as a multifunctional anticancer regulator in gynecological cancers. It reduces tumor risk, enhances therapeutic efficacy, and reduces treatment toxicity. Selenium also overcomes chemoraditherapy resistance, improving overall treatment outcomes. ABSTRACT Gynecological cancers present significant therapeutic challenges due
Hejing Liu +9 more
wiley +1 more source
Is attention a non-propositional attitude? [PDF]
, 2018 I argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes.
Watzl, Sebastian
core
Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade
Agribusiness, EarlyView.ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley +1 more source