Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Kengo Kido"'
Autor:
Eriko Kajimoto, Hajime Nagasu, Masanobu Takasu, Seiji Kishi, Masafumi Wada, Rie Tatsugawa, Akira Hirano, Tsukasa Iwakura, Reina Umeno, Yoshihisa Wada, Seiji Itano, Hiroyuki Kadoya, Kengo Kidokoro, Tamaki Sasaki, Naoki Kashihara
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Diabetic kidney disease (DKD) is a major disease characterized by early albuminuria and heightened risk of renal deterioration. Increased reactive oxygen species (ROS) production, especially in glomeruli, plays an important role in the progr
Externí odkaz:
https://doaj.org/article/eeb34ae80d3d48e9aa14fad2b776b2f7
Publikováno v:
ADHS
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is based on appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::445033968b279b39f6f31e6d6d246ebc
https://doi.org/10.1016/j.ifacol.2018.08.042
https://doi.org/10.1016/j.ifacol.2018.08.042
Publikováno v:
Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 9783030179090
CyPhy
CyPhy
We introduce an approximate bisimulation-based framework that gives an upper bound of the Skorokhod metric between a switched system with delays and its delay-free model. To establish the approximate bisimulation relation, we rely on an incremental s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7205c30a81f403ee8e53b517abacb828
https://doi.org/10.1007/978-3-030-17910-6_9
https://doi.org/10.1007/978-3-030-17910-6_9
Publikováno v:
Programming Languages and Systems ISBN: 9783319712369
APLAS
APLAS
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al. that combines real algebraic geometry and SDP optimiza
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64ea32ecc30a5871f3b1b574ef9d7c22
https://doi.org/10.1007/978-3-319-71237-6_24
https://doi.org/10.1007/978-3-319-71237-6_24
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662491218
SNR@CAV
SNR@CAV
We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid systems, but some special care is needed for abstraction of continuous dynamic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1f7eedb25d3021e416417abb11ca28f
https://doi.org/10.1007/978-3-662-49122-5_11
https://doi.org/10.1007/978-3-662-49122-5_11
Autor:
Atsuyuki Tokuyama, Eiichiro Kanda, Seiji Itano, Megumi Kondo, Yoshihisa Wada, Hiroyuki Kadoya, Kengo Kidokoro, Hajime Nagasu, Tamaki Sasaki, Naoki Kashihara
Publikováno v:
PLoS ONE, Vol 16, Iss 5, p e0251554 (2021)
Serum zinc (Zn) levels tend to be low in chronic kidney disease (CKD) patients. This cohort study was conducted to investigate the relationship between zinc deficiency and CKD progression. Patients were classified into two groups based on Zn levels <
Externí odkaz:
https://doaj.org/article/bc5a6f9e82204b89bd7af3b0365ee5ed
Essential role and therapeutic targeting of the glomerular endothelial glycocalyx in lupus nephritis
Autor:
Hiroyuki Kadoya, Ning Yu, Ina Maria Schiessl, Anne Riquier-Brison, Georgina Gyarmati, Dorinne Desposito, Kengo Kidokoro, Matthew J. Butler, Chaim O. Jacob, János Peti-Peterdi
Publikováno v:
JCI Insight, Vol 5, Iss 19 (2020)
Lupus nephritis (LN) is a major organ complication and cause of morbidity and mortality in patients with systemic lupus erythematosus (SLE). There is an unmet medical need for developing more efficient and specific, mechanism-based therapies, which d
Externí odkaz:
https://doaj.org/article/49d4911099a742328b2e305afd6da690
Autor:
Yuji Sogawa, Hajime Nagasu, Shigeki Iwase, Chieko Ihoriya, Seiji Itano, Atsushi Uchida, Kengo Kidokoro, Shun’ichiro Taniguchi, Masafumi Takahashi, Minoru Satoh, Tamaki Sasaki, Takafumi Suzuki, Masayuki Yamamoto, Tiffany Horng, Naoki Kashihara
Publikováno v:
Scientific Reports, Vol 7, Iss 1, Pp 1-11 (2017)
Abstract Chronic inflammation can be a major driver of the failure of a variety of organs, including chronic kidney disease (CKD). The NLR family pyrin domain-containing 3 (NLRP3) inflammasome has been shown to play a pivotal role in inflammation in
Externí odkaz:
https://doaj.org/article/9c73df0e0041436cb20c07fe7d7a09e7
Autor:
Yuji Sogawa, Hajime Nagasu, Seiji Itano, Kengo Kidokoro, Shun'ichiro Taniguchi, Masafumi Takahashi, Hiroyuki Kadoya, Minoru Satoh, Tamaki Sasaki, Naoki Kashihara
Publikováno v:
PLoS ONE, Vol 13, Iss 10, p e0203823 (2018)
Hypertension causes vascular complications, such as stroke, cardiovascular disease, and chronic kidney disease (CKD). The relationship between endothelial dysfunction and progression of kidney disease is well known. However, the relationship between
Externí odkaz:
https://doaj.org/article/91b81fd7b8e5466abf67c3f8dc3ca309