Results 81 to 90 of about 1,848,485 (266)
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
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
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification
IEEE Access, 2019 Currently, there are 3.1 million American men affected by prostate cancer. Early detection represents the only way to safe lives. To evaluate a prostate cancer, the most widespread rank is the so-called Gleason score, based on the microscopic cancer ...
Luca Brunese +3 more
doaj +1 more source
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data. [PDF]
PLoS One, 2023 Klein J +4 more
europepmc +1 more source
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
IEEE AccessSoftwarization and virtualization in 5G and beyond necessitate thorough testing to ensure the security of critical infrastructure and networks. This involves identifying vulnerabilities and unintended emergent behaviors, from protocol designs to their ...
Jingda Yang, Sudhanshu Arya, Ying Wang
doaj +1 more source
Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]
JAMIA Open, 2023 Casale R +8 more
europepmc +1 more source
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source