Results 71 to 80 of about 23,486 (260)
Modeling Incomplete Knowledge of Semantic Web Using Bayesian Networks
Applied Artificial Intelligence, 2019 Interoperable ontologies already exist in the biomedical field, enabling scientists to communicate with minimum ambiguity. Unfortunately, ontology languages, in the semantic web, such as OWL and RDF(S), are based on crisp logic and thus they cannot ...
Messaouda Fareh
doaj +1 more source
Energies, 2019 In this article, a novel maximum power point tracking (MPPT) controller for a photovoltaic (PV) system is presented. The proposed MPPT controller was designed in order to extract the maximum of power from the PV-module and reduce the oscillations once ...
Noureddine Bouarroudj +5 more
doaj +1 more source
The Dialectica interpretation of first-order classical affine logic
Theory and Applications of Categories, 2006 Summary: We give a Dialectica-style interpretation of first-order classical affine logic. By moving to a contraction-free logic, the translation (a.k.a. D-translation) of a first-order formula into a higher-type \(\exists\forall\)-formula can be made symmetric with respect to duality, including exponentials.
openaire +2 more sources
Advanced Science, EarlyView.This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin +12 more
wiley +1 more source
Teoria kategorii i niektóre jej logiczne aspekty
Zagadnienia Filozoficzne w Nauce, 2018 This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself.
Mariusz Stopa
doaj
On two classical results in the first order logic
Publications de l'Institut Mathematique, 2004 Summary: A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand's theorem concerning validity of existential formulas is extracted.
openaire +3 more sources
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
Advanced Science, EarlyView.Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka +3 more
wiley +1 more source
T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities
Advanced Science, EarlyView.T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu +7 more
wiley +1 more source
Advanced Science, EarlyView.A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui +9 more
wiley +1 more source