A5101630392- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Physics of Superconductivity and Magnetism
- Formal Methods in Verification
- RNA Research and Splicing
- Nuclear Structure and Function
- Computational Drug Discovery Methods
- Particle physics theoretical and experimental studies
- Luminescence Properties of Advanced Materials
- Magnetic and transport properties of perovskites and related materials
- Superconducting Materials and Applications
- Carbon Nanotubes in Composites
- Quantum Chromodynamics and Particle Interactions
- Solid-state spectroscopy and crystallography
- Genomics and Chromatin Dynamics
- Magnetic properties of thin films
- Microbial Natural Products and Biosynthesis
- Cancer-related gene regulation
- Machine Learning in Materials Science
- Electron and X-Ray Spectroscopy Techniques
- Neurobiology of Language and Bilingualism
- X-ray Diffraction in Crystallography
- Text Readability and Simplification
- Protein Structure and Dynamics
- Particle Accelerators and Free-Electron Lasers
Kobe University
2025
Sony (Taiwan)
2023
Nara Institute of Science and Technology
2020-2022
Kyoto University
1988-2019
National Tsing Hua University
2019
Sony Corporation (United States)
2016-2018
Kinan Hospital
2018
University of Pittsburgh
2012
Kanazawa University
2010-2011
Ryukoku University
1994-2011
We propose a modal logic that enables us to handle self-referential formulae, including ones with negative self-references, which on one hand, would introduce logical contradiction, namely Russell's paradox, in the conventional setting, while other are necessary capture certain class of programs such as fixed point combinators and objects so-called binary methods object oriented programming. Our provides basis for axiomatic semantics wider range new framework natural construction recursive...
ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSupercritical carbon dioxide extraction of oils from Antarctic krillKatsumi Yamaguchi, Masahiro Murakami, Hiroshi Nakano, Shoji Konosu, Tsunehiko Kokura, Yamamoto, Masahiko Kosaka, and Kazuhiko HataCite this: J. Agric. Food Chem. 1986, 34, 5, 904–907Publication Date (Print):September 1, 1986Publication History Published online1 May 2002Published inissue 1 September...
Gain or loss of whole chromosomes is often observed in cancer cells and thought to be due aberrant chromosome segregation during mitosis. Proper depends on a faithful interaction between spindle microtubules kinetochores. Several components the nuclear pore complex/nucleoporins play critical roles orchestrating rapid remodeling events that occur Our recent studies revealed nucleoporin, Rae1, plays maintaining bipolarity. Here, we show association another termed Tpr (translocated promoter...
Abstract Nuclear pore complexes are massive multiprotein channels responsible for traffic between the nucleus and cytoplasm, composed of approximately 30 proteins, termed nucleoporins (Nup). Our recent studies indicated that Rae1 Tpr play critical roles in maintaining spindle bipolarity during cell division. In present study, we found another nucleoporin, Nup88, was localized on spindles together with Nup214 mitosis. Nup88 expression is linked to progression carcinogenesis, has been proposed...
AbstractChromosomal translocations involving chimeric fusions of the nucleoporin NUP98 protein have often been described in acute myelogenous leukemia (AML). All fusion proteins an identical N terminus, which contains GLEBS motif for interaction with mRNA export factor RAE1 and FG repeats that associate transcription factors HDAC1 p300. It is virtually unknown whether these partners affect leukemogenesis. We previously showed depletion caused aneuploidy, enhanced tumorigenesis. speculated...
Anterior visceral endoderm (AVE) plays essential roles with respect to anterior–posterior axis development in the early mouse embryo. To assess genetic cascade involved AVE formation, cis-regulatory elements directing expression of vertebrate Otx2 genes were analyzed via generation transgenic mice. is regulated directly by forkhead transcription factor, Foxa2 . Moreover, for Wnt antagonists, Dkk1 and Cerl , during pre- streak stages; however, appears be dispensable subsequent associated...
GI24, an immunoglobulin superfamily member, has been cloned from a placenta cDNA library as gene product that promoted activation of matrix metalloproteinase (MMP)‐2 mediated by membrane type (MT) 1–MMP. Co‐expression GI24 with MT1‐MMP in HEK293T cells increased the cell‐surface level concomitant cleavage at juxtamembrane site to shed extracellular domain. HT1080 fibrosarcoma stably transfected expressed higher and showed more invasive ability collagen gel than control cells. was cleaved...
We have calculated the band structures of solid pentacene. One our models makes use experimental data obtained for a single crystal [R. B. Campbell et al., Acta. Crystallogr. 14, 705 (1961); R. and J. M. Robertson, 15, 289 (1962)] other one considers thin film fabricated by present authors. Our calculations indicate that electronic properties pentacene are markedly different from those crystal, although densities molecules in these solids not significantly different. The energy gaps been...
Miscibility for blends of isotactic polypropylene (PP) and ethylene-d4−propylene random copolymer (EPR)s prepared by copolymerization propylene perdeuterated ethylene with metallocene catalyst has been investigated small-angle neutron scattering (SANS). SANS experiments were conducted the PP EPRs containing 19 mol % (D-EPR19) 47 (D-EPR47) deuterated unit at various temperatures. results indicated that most are in homogeneous one-phase mixture, Flory−Huggins interaction parameter χ analyzed...
We report a measurement of the time-integrated $CP$ asymmetry in neutral charm meson decay $D^0 \to K^0_S K^0_S$ using 921~fb$^{-1}$ data collected at $Υ(4S)$ and $Υ(5S)$ resonances with Belle detector KEKB asymmetric-energy $e^+e^-$ collider. The observed is $$ A_{CP}(D^0 K^0_S) = (-0.02 \pm 1.53 0.17) \%, where first uncertainty statistical second systematic. This latter dominated by error normalisation channel. result consistent Standard Model expectations improves respect to previous...
The primary goal of ligand-based virtual screening is to identify active compounds consisting a core scaffold that not found in the current compound pool. Scaffold hopping term used for this purpose. In present study, topological representations pharmacophore features on chemical graphs were investigated hopping. Pharmacophore (PhGs), which consist as nodes and their distances edges, representation important information being active. We ranking methods prioritizing PhGs proposed method,...
We present an extraction of azimuthal correlations between two pairs charged pions detected in opposite jets from electron-positron annihilation. These may arise the dependence di-pion fragmentation on polarization parent quark process $e^+e^- \rightarrow q \bar{q}$. Due to correlation polarizations, cross-section pair production, which pion are a dijet event, exhibits modulation angles planes containing hadron with respect production plane. The measurement this allows access combinations...
The catch/throw mechanism, a programming construct for nonlocal exit, plays an important role when programmers handle exceptional situations. A constructive formalization that captures the mechanism in proofs-as-programs notion is given. modified version of LJ equipped with inference rules corresponding to operations catch and throw introduced. Then it shown one can actually extract programs made use from proofs under certain realizability interpretation. Although provides only restricted...
The aim of scaffold hopping (SH) is to find compounds consisting different scaffolds from those in already known active compounds, giving an opportunity for unexplored regions chemical space. We previously demonstrated the usefulness pharmacophore graphs (PhGs) this purpose through proof-of-concept virtual screening experiments. PhGs consist nodes and edges corresponding pharmacophoric features (PFs) their topological distances. Although were effective SH, they are hard interpret as complete...
The dc conduction properties of Al/polyimide Langmuir–Blodgett (LB) film/Al structure are reported. current-voltage characteristics and the temperature dependence current measured compared with expectation from a tunneling theory, which takes natural oxide aluminum into consideration. It is concluded that in five- or seven-layered LB film predominantly by direct electrons.