Results 71 to 80 of about 12,538,458 (271)
Computer-aided analysis of concurrent systems [PDF]
The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited
Morgan, E. Timothy, Razouk, Rami R.
core +1 more source
ABSTRACT Background The delipid extracorporeal lipoprotein filter from plasma (DELP) treatment can effectively reduce blood lipid, increase blood flow, and improve neurological deficits in patients with acute ischemic stroke (AIS). However, its effect on vision and retinal microcirculation in stroke patients has never been reported.
Ning Li +9 more
wiley +1 more source
Analysis of Non-Linear Probabilistic Hybrid Systems
This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al.
Assouramou, Joseph, Desharnais, Josée
core +2 more sources
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
Assessing the deployment of solar-driven hydrogen from biomass at scale in the U.S.
Solar hydrogen from biomass gasification is a promising technology to sustainably produce hydrogen, responsibly dispose biomass waste, and reduce reliance on fossil fuels.
Chukwunwike O. Iloeje +5 more
doaj +1 more source
On the financial viability of negative emissions
Recent publications have raised concerns regarding the actual feasibility Negative Emission Technologies (NETs). Here the authors commented on the financial viability of large-scale late century NETs and suggested that expenditure peak will occur in the ...
Johannes Bednar +2 more
doaj +1 more source
Robust Grammatical Analysis for Spoken Dialogue Systems
We argue that grammatical analysis is a viable alternative to concept spotting for processing spoken input in a practical spoken dialogue system. We discuss the structure of the grammar, and a model for robust parsing which combines linguistic sources of
Bouma, Gosse +3 more
core +5 more sources
ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül +2 more
wiley +1 more source
Nuclear reactor descriptions for space power systems analysis [PDF]
For the small, high performance reactors required for space electric applications, adequate neutronic analysis is of crucial importance, but in terms of computational time consumed, nuclear calculations probably yield the least amount of detail for ...
Brown, N. J., Mccauley, E. W.
core +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
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

