Results 51 to 60 of about 839,744 (319)
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Cognitive impairment and exercise intolerance are common in dialysis patients. Cerebral perfusion and oxygenation play a major role in both cognitive function and exercise execution; HD session per se aggravates cerebral ischemia in this population. This study aimed to compare cerebral oxygenation and perfusion at rest and in mild
Marieta P. Theodorakopoulou +10 more
wiley +1 more source
Helium refining by superfluidity Patent [PDF]
, 1965 Helium refining by ...
Hildebrandt, A. F.
core +1 more source
, 2018 To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respect to R.
Benabdelali, Marwa +3 more
core +1 more source
Specifying and Refining Internal Operations in Z [PDF]
, 1998 An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the interface to the environment (i.e.
Boiten, Eerke Albert +3 more
core +3 more sources
Relational Concurrent Refinement: Timed Refinement [PDF]
, 2011 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-by-event basis rather than per trace.
Derrick, John, Boiten, Eerke Albert
openaire +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Catalytic reduction of toxic dyes over nickel oxide nanoparticles supported on CMK-3 catalyst
Scientific ReportsIn the current paper, a NiO nanoparticles-loaded mesoporous carbon (CMK-3) catalyst, denoted as NiO/CMK-3, has been successfully synthesized using a facile strategy.
Mohammed M. Younus +3 more
doaj +1 more source
Investigation of Tantalum Recycling by Electron Beam Melting
Metals, 2016 Investigations are carried out and obtained experimental and theoretical data for tantalum scrap recycling by electron beam melting (EBM) is presented in this paper. Different thermal treatment process conditions are realized and results are discussed. A
Katia Vutova +5 more
doaj +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
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source