Results 41 to 50 of about 15,571 (268)
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Patients requiring long‐term continuous renal replacement therapy (CRRT) generally have poor prognoses. This study evaluated whether adding continuous intravenous sodium infusion (cIVNa) is associated with improved hemodynamics and outcomes in patients undergoing long‐term CRRT for ≥ 7 days.
Akinori Yamaguchi +6 more
wiley +1 more source
Higher inductive types, inductive families, and inductive-inductive types [PDF]
, 2020 Martin-Löf type theory is a formal language which is used both as a foundation for mathematics and the theoretical basis of a range of functional programming languages. Inductive types are an important part of type theory which is necessary to express data types by giving a list of rules stating how to form this data.
openaire +2 more sources
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge, 2003 The paper explains enumerative induction, the confirmation of a law by its positive instances, in ranking theoretic terms. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. And it shows, finally, that such schemes of enumerative induction uniquely correspond to mixtures of such nomological hypotheses.
openaire +3 more sources
High-Precision Hysteresis Sensing of the Quartz Crystal Inductance-to-Frequency Converter
Sensors, 2016 A new method for the automated measurement of the hysteresis of the temperature-compensated inductance-to-frequency converter with a single quartz crystal is proposed.
Vojko Matko, Miro Milanović
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Maintenance hemodialysis (MHD) patients frequently suffer from frailty, characterized by reduced physical function and poor prognosis. Myokines, such as myonectin, secreted by muscle, are emerging regulators of systemic health. This study investigated the relationship between serum myonectin, adipokines (adiponectin, omentin), and ...
Kenichi Kono +7 more
wiley +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Research on an Axial Flux PMSM with Radially Sliding Permanent Magnets
Energies, 2015 Axial flux permanent-magnet synchronous machines (PMSMs) are very suitable candidates for the power train of electric vehicles (EVs) due to high power density and high efficiency.
Jing Zhao, Bin Li, Zhongxin Gu
doaj +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
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 +2 more sources