Results 71 to 80 of about 1,347,993 (267)
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Formal Methods in the Philosophy of Science
Studia Logica, 2008 Traditionally, the merit of first-order logical formalizations of philosophical problems -- in particular, in the philosophy of science -- has been regarded as twofold: First, logical formalization forces philosophical investigators to define all concepts precisely, thereby sometimes discovering that a concept can be ``constructed'' from more primitive
Horsten, Leon, Douven, Igor
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
Formal Method in Service Composition in Heath Care Systems [PDF]
Journal of Advances in Computer Engineering and Technology, 2018 One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives.
Zahra Baatmaanghelich +2 more
doaj
On the Impact of Formal Methods in the SOA
Electronic Notes in Theoretical Computer Science, 2006 AbstractWe present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. In particular we focus on transactional support in the Web Service Architecture. The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely ...
BOCCHI, LAURA, CIANCARINI, PAOLO
openaire +3 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
Acta Polytechnica, 2000 In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory.
S. Hostomský, I. Jelínek
doaj
SAT-based lazy formal analysis method for security protocols
Tongxin xuebao, 2014 A SAT-based security protocol formalization analysis method named SAT-LMC is proposed.The method introduces optimized the initial state and transformational rules with “lazy” idea.The efficiency of detection is significantly improved.Moreover，by adding ...
Chun-xiang GU +4 more
doaj +2 more sources
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
FORMAL METHOD TO IMPLEMENT FUZZY REQUIREMENTS
Dyna, 2012 RESUMEN: Muchos requerimientos de usuario pueden involucrar criterios de preferencia expresados en el lenguaje natural por medio de términos difusos; éstos son llamados requerimientos difusos. Por otro lado, los lenguajes de consulta a bases de datos han
MARLENE GONCALVES +2 more
doaj