Results 51 to 60 of about 5,429,668 (289)

Structured theories in LCF [PDF]

, 1983
An extension to the Edinburgh LCF interactive theorem-proving system is described which provides new ways of constructing theories, drawing upon ideas from the Clear specification language. A new theory can be built from an existing theory in two new ways: by renaming its types and constants, or by abstraction (forgetting some types and constants and ...
Donald Sannella, Rod M. Burstall
openaire   +2 more sources

Comparative Evaluation of Hemodiafiltration, Hemoperfusion, and Standard Hemodialysis on Efficacy, Inflammatory Control, Dialysis Adequacy, and Safety in End‐Stage Renal Disease: A Prospective Observational Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo, Weisi Dai, Jie Mao, Mei Ye, Xingshan Lu, Xiaocui Zhang   +5 more
wiley   +1 more source

Sociological Explanation of the Relationship between Social Trust and Social Tolerance Based on Giddens’ Structuration Theory [PDF]

توسعه اجتماعی, 2018
In the theory of structuration, Giddens believes that structures facilitate the actions and also can not be reproduced without the agencies. The assumption of this study is that social trust and its dimensions (basic, interpersonal and institutional) can
Vajihe Jalaeian Bakhshande, Vahid Ghasemi, mohammad taghi iman   +2 more
doaj   +1 more source

Effect of DFPP on Ferroptosis in Peripheral Blood CD14+ Monocytes of Hyperlipidemic Patients Involving the ACSL4/LPCAT3/ALOX5 Pathway

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, Lan Li, Qingmei Yang, Meipeng Wu   +3 more
wiley   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

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, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

Theory of aging in structural glasses [PDF]

The Journal of Chemical Physics, 2004
The random first-order transition theory of the dynamics of supercooled liquids is extended to treat aging phenomena in nonequilibrium structural glasses. A reformulation of the idea of “entropic droplets” in terms of libraries of local energy landscapes is introduced which treats in a uniform way the supercooled liquid (reproducing earlier results ...
Lubchenko, Vassiliy, Wolynes, Peter G.
openaire   +3 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

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

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, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

"This does my head in". Ethnographic study of self-management by people with diabetes

BMC Health Services Research, 2012
Background Self-management is rarely studied 'in the wild'. We sought to produce a richer understanding of how people live with diabetes and why self-management is challenging for some.
Hinder Susan, Greenhalgh Trisha
doaj   +1 more source

Septin 9 PB domains coordinate centrosome positioning and microtubule acetylation to control epithelial polarity

FEBS Letters, EarlyView.
Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai, Mohyeddine Omrane, Nassima Benzoubir, Didier Samuel, Ama Gassama‐Diagne   +4 more
wiley   +1 more source