Results 91 to 100 of about 13,143,476 (301)
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Hyperlipidemia is a major risk factor for atherosclerotic cardiovascular disease (ASCVD). Although statins are the cornerstone of lipid‐lowering therapy, their use may be limited in some patients by adverse effects. This study evaluated the possible impact of non‐drug treatment using double‐filtration plasmapheresis (DFPP) on CD14+
Yun Cheng +3 more
wiley +1 more source
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory
, 2022 We introduce and investigate an arithmetical data type designed for computation with rational numbers. Called the symmetric transrationals, this data type comes about as a more algebraically symmetric modification of the arithmetical data type of ...
van den Bos, P. +4 more
core +1 more source
Unifying cubical and multimodal type theory [PDF]
Logical Methods in Computer ScienceIn this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT).
Frederik Lerbjerg Aagaard +3 more
doaj +1 more source
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Early Dark Energy in Type IIB String Theory
Journal of High Energy Physics, 2023 Early Dark Energy (EDE) is a promising model to resolve the Hubble Tension, that, informed by Cosmic Microwave Background data, features a generalization of the potential energy usually associated with axion-like particles. We develop realizations of EDE
Michele Cicoli +5 more
doaj +1 more source
Type Theory and Homotopy [PDF]
, 2012 The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-Lof into homotopy theory, resulting in new examples of higher-dimensional ...
openaire +2 more sources
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory
Mathematics, 2020 In this paper, we will visit Rough Set Theory and the Alternative Set Theory (AST) and elaborate a few selected concepts of them using the means of higher-order fuzzy logic (this is usually called Fuzzy Type Theory).
Vilém Novák
doaj +1 more source
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Hybrid Type Theory: A Quartet in Four Movements
Principia: An International Journal of Epistemology, 2011 This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.
Antonia Huertas +3 more
doaj