Results 61 to 70 of about 45,041 (307)
Development of magnetic-wedge linear adjustable reactor
The Journal of Engineering, 2019 Adjustable reactor is an important VAR compensator for AC system, so it has practical significance to do researches on this device. This paper proposed a method of adjusting inductance value based on a controlled magnetic-wedge, which could change the ...
Ruiyang Guan, Xinlao Wei, Qingguo Chen
doaj +1 more source
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
Constructing quotient inductive-inductive types [PDF]
Proceedings of the ACM on Programming Languages, 2019 Quotient inductive-inductive types (QIITs) generalise inductive types in two ways: a QIIT can have more than one sort and the later sorts can be indexed over the previous ones. In addition, equality constructors are also allowed. We work in a setting with uniqueness of identity proofs, hence we use the term QIIT instead of higher inductive-inductive ...
Ambrus Kaposi +2 more
openaire +2 more sources
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
Annals of Pure and Applied Logic, 1990 Let \(I\exists^-_ 1\) be the subsystem of Peano arithmetic obtained by restricting the induction scheme to diophantine formulas without parameters. The main result of the paper says that \(I\exists^-_ 1\vdash IE^-_ 1+E\vdash\) Matijasevič's theorem, where \(IE^-_ 1\) is the scheme of parameter-free bounded existential induction and E is an \(\forall ...
openaire +3 more sources
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Induction and Co-induction in Sequent Calculus [PDF]
, 2004 This is an extended and revised version of an extended abstract which appeared in the proceedings of TYPES ...
Alwen Tiu, Alberto Momigliano
openaire +4 more sources