363 research outputs found
Densification of FL chains via residuated frames
No full textWe introduce a systematic method for densification, i.e., embedding a given chain into a dense one preserving certain identities, in the framework of FL algebras (pointed residuated lattices). Our method, based on residuated frames, offers a uniform proof for many of the known densification and standard completeness results in the literature. We propose a syntactic criterion for densification, called semianchoredness. We then prove that the semilinear varieties of integral FL algebras defined by semi-anchored equations admit densification, so that the corresponding fuzzy logics are standard complete. Our method also applies to (possibly non-integral) commutative FL chains. We prove that the semilinear varieties of commutative FL algebras defined by knotted axioms (Formula presented.) (with (Formula presented.)) admit densification. This provides a purely algebraic proof to the standard completeness of uninorm logic as well as its extensions by knotted axioms
Linear Logical Characterization of Polyspace Functions (Extended Abstract)
No full text) Kazushige Terui 3 Abstract Light Linear Logic (LLL) of [Gir95] characterizes the polytime functions through a careful handling of structural inference rules of logic. Based on this purely logical approach, we give a characterization of the polyspace functions. Our logical system is an extension of Intuitionistic Light Affine Logic (ILAL) of [Asp98], a variant of LLL with full (unrestricted) weakening. We introduce the notion of split terms and enrich ILAL by allowing a !- box to be formed from a split term. The resulting system, called Intuitionistic Polyspace Affine Logic, precisely characterizes the polyspace functions. 1 Introduction Linear Logical Approach to Computational Complexity. Over the past few decades, a considerable number of studies have been made on logical characterizations of computational complexity classes, aiming at giving an inherent (machine-independent) account on computational complexity from the logical point of view. Among those, Light Linear Logic (LL..
Negative regulation of gamma-globin gene expression by cyclic AMP-dependent pathway in erythroid cells
No full textOur previous studies demonstrated roles of cyclic nucleotides in gamma-globin gene expression. We recently found that, upon activation of the cAMP pathway, expression of the gamma-globin gene is inhibited in K562 cells but induced in adult erythroblasts. Here we show that c-Myb, a proto-oncogene product that plays a role in cell growth and differentiation, is involved in the cAMP-mediated differential regulation of gamma-globin gene expression in K562 cells and primary erythroblasts. Our studies found that c-Myb is expressed at a high level in K562 cells compared to primary erythroblasts, and that c-Myb expression is further increased following the treatment with forskolin, an adenylate cyclase activator. The induction of gamma-globin gene expression was also inhibited in K562 cells by raising the levels of c-Myb expression. Importantly, forskolin-induced erythroid differentiation in K562 cells, as determined by the expression of glycophorins and CD71, suggesting that high-level expression of c-Myb may not be sufficient to inhibit the differentiation of erythroid cells. In contrast, c-Myb was not expressed in adult erythroblasts treated with forskolin and primary erythroblasts may lack the c-Myb-mediated inhibitory mechanism for gamma-globin gene expression. Together, these results show that the cAMP pathway blocks gamma-globin gene expression in K562 cells by increasing c-Myb expression and c-Myb plays a role in defining the mode of response of the gamma-globin gene to fetal hemoglobin inducers in erythroid cells. (c) 2006 Elsevier Inc. All rights reserved
sj-docx-1-jdr-10.1177_00220345221075968 – Supplemental material for Loss of IκBζ Drives Dentin Formation via Altered H3K4me3 Status
No full textSupplemental material, sj-docx-1-jdr-10.1177_00220345221075968 for Loss of IκBζ Drives Dentin Formation via Altered H3K4me3 Status by H. Yuan, S. Suzuki, H. Terui, S. Hirata-Tsuchiya, E. Nemoto, K. Yamasaki, M. Saito, H. Shiba, S. Aiba and S. Yamada in Journal of Dental Research</p
Impedance modelling and single-bunch collective instability simulations for the SuperKEKB main rings
No full textThe SuperKEKB is an electron-positron collider consisting of two storage rings: the 4 GeV-positron low-energy ring and the 7 GeV-electron high-energy ring. The impedance of the rings has been modeled using electromagnetic simulation codes and used to study the single-bunch collective instabilities. The wake potentials are exported from the impedance model and included in a particle tracking simulation code, PyHEADTAIL. In this paper, we review the impedance modeling and the results of the collective instability simulations
Code for: Emergent dual scaling of riverine biodiversity
No full textREADME
Article information
File descriptions
License
Session information
Article information
Title: Emergent dual scaling of riverine biodiversity
Author: Akira Terui, Seoghyun Kim, Christine L. Dolph, Taku Kadoya, Yusuke Miyazaki
File descriptions
See metadata.html (to view metadata.html, clone the repository and open metadata.html from your local computer). Note that the raw empirical data are not available in this repository due to licensing issues.
License
Code - MIT License
GIS layers adapted from the following materials are licensed under:
Copernicus Global Land Service: Creative Commons Attribution 4.0 International
WorldClim 1.4: Creative Commons Attribution-ShareAlike 4.0 International License
MERIT Hydro: Attribution-NonCommercial 4.0 International
Session information
## R version 4.1.0 (2021-05-18)
## Platform: x86_64-w64-mingw32/x64 (64-bit)
## Running under: Windows 10 x64 (build 19042)
##
## Matrix products: default
##
## locale:
## [1] LC_COLLATE=English_United States.1252
## [2] LC_CTYPE=English_United States.1252
## [3] LC_MONETARY=English_United States.1252
## [4] LC_NUMERIC=C
## [5] LC_TIME=English_United States.1252
##
## attached base packages:
## [1] parallel stats graphics grDevices utils datasets methods
## [8] base
##
## other attached packages:
## [1] igraph_1.2.6 ggraph_2.0.5 iNEXT_2.0.20 avpc_0.0.1
## [5] kableExtra_1.3.4 knitr_1.33 doSNOW_1.0.19 snow_0.4-3
## [9] doParallel_1.0.16 iterators_1.0.13 mcbrnet_1.1.0 foreach_1.5.1
## [13] here_1.0.1 broom_0.7.9 sf_0.9-7 patchwork_1.1.1
## [17] forcats_0.5.1 stringr_1.4.0 dplyr_1.0.6 purrr_0.3.4
## [21] readr_2.0.0 tidyr_1.1.3 tibble_3.1.2 ggplot2_3.3.5
## [25] tidyverse_1.3.1
##
## loaded via a namespace (and not attached):
## [1] fs_1.5.0 lubridate_1.7.10 webshot_0.5.2 httr_1.4.2
## [5] rprojroot_2.0.2 tools_4.1.0 backports_1.2.1 utf8_1.2.1
## [9] R6_2.5.0 KernSmooth_2.23-20 DBI_1.1.1 colorspace_2.0-1
## [13] withr_2.4.2 gridExtra_2.3 tidyselect_1.1.1 compiler_4.1.0
## [17] cli_3.0.1 rvest_1.0.1 pacman_0.5.1 xml2_1.3.2
## [21] scales_1.1.1 classInt_0.4-3 proxy_0.4-26 systemfonts_1.0.2
## [25] digest_0.6.27 rmarkdown_2.9 svglite_2.0.0 pkgconfig_2.0.3
## [29] htmltools_0.5.1.1 dbplyr_2.1.1 rlang_0.4.11 readxl_1.3.1
## [33] rstudioapi_0.13 farver_2.1.0 generics_0.1.0 jsonlite_1.7.2
## [37] magrittr_2.0.1 Rcpp_1.0.7 munsell_0.5.0 fansi_0.5.0
## [41] viridis_0.6.1 lifecycle_1.0.0 stringi_1.6.1 yaml_2.2.1
## [45] MASS_7.3-54 plyr_1.8.6 grid_4.1.0 ggrepel_0.9.1
## [49] crayon_1.4.1 graphlayouts_0.7.1 haven_2.4.1 hms_1.1.0
## [53] pillar_1.6.2 reshape2_1.4.4 codetools_0.2-18 reprex_2.0.0
## [57] glue_1.4.2 evaluate_0.14 modelr_0.1.8 tweenr_1.0.2
## [61] vctrs_0.3.8 tzdb_0.1.2 cellranger_1.1.0 polyclip_1.10-0
## [65] gtable_0.3.0 assertthat_0.2.1 xfun_0.23 ggforce_0.3.3
## [69] tidygraph_1.2.0 e1071_1.7-7 class_7.3-19 viridisLite_0.4.0
## [73] units_0.7-2 ellipsis_0.3.
Impact of omission/reduction of vincristine from R-CHOP in treatment of DLBCL
No full text博士(医学) 乙第3118号(主論文の要旨、要約、審査結果の要旨、本文)，著者名:Shoko MARSHALL, Noriko NISHIMURA, Norihito INOUE, Hirofumi YAMAUCHI, Naoko TSUYAMA, Kengo TAKEUCHI, Yuko MISHIMA, Masahiro YOKOYAMA, Toshie OGASAWARA, Naoki MORI, Tetsuya OGAWA, Hiroshi SAKURA, Yasuhito TERUI，タイトル:Impact of Omission/Reduction of Vincristine From R-CHOP in Treatment of DLBCL，掲載誌:Clinical lymphoma, myeloma & leukemia(2152-2669)，巻・頁・年:21巻3号 p.162～169(2021)，著作権関連情報© 2020 The Author(s).，DOI:10.1016/j.clml.2020.12.01
Combined effects of immigration potential and habitat quality on diadromous fishes
No full textIn river systems, considerable debate exists as to why small-scale conservation with a primary focus on habitat quality brings little improvement to biological communities. To reveal potential causes of the enigmatic consequences, further explorations should focus on how species' response to local environments is determined within a watershed. Here, we examined how immigration potential influences habitat associations of four diadromous fishes in the Shubuto River system in Hokkaido, Japan: sculpins (Cottus sp. ME and C. hangiongensis), gobies (Gymnogobius opperiens) and sea lamprey larvae (Lethenteron japonicum). We used closeness to the sea (i.e., distance from the sea) as a proxy for immigration potential, since the source of immigrants of the diadromous fishes is the river mouth. A multilevel modeling approach revealed that immigration potential had a "bottom-up effect" on local habitat-abundance relationships (current velocity and substrate coarseness), but habitat preferences did not vary along the gradient of immigration potential. This likely reflects the limited dispersal capabilities of the study species, whereby shorter travel distances may greatly enhance colonization success. Our study raises the possibility that the effectiveness of small-scale riverine conservation can be improved by selecting areas where successful colonization would be expected. Explicitly incorporating this consideration into conservation decision-making would help achieve greater success in environmental restoration and preservation actions
Intersection Types for Light Affine Lambda Calculus
No full textAbstractLight Affine Lambda Calculus is a term calculus for polynomial time computation ([K. Terui. Light affine lambda calculus and polytime strong normalization. In Proceedings of LICS'01, pages 209–220, 2001]). Some of the terms of Light Affine Lambda Calculus must however be regarded as errors. Intuitionistic Light Affine Logic (ILAL) types only terms without errors, but not all of them. We introduce two type assignment systems with intersection types : in the first one, typable pseudo-terms are exactly the terms without errors ; in the second one, they are exactly those that reduce to normal terms without errors
- …
