Rationale & Objective: In this pilot study, we hypothesized that autosomal dominant polycystic kidney disease (ADPKD) is characterized by impaired kidney oxidative metabolism that associates with kidney size and cyst burden.
Study Design: Cross-sectional study.
Setting & Participants: Twenty adults with ADPKD (age, 31±6 years; 65% women; body mass index [BMI], 26.
Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa.
View Article and Find Full Text PDF