Zobrazeno 1 - 10
of 319
pro vyhledávání: '"KAZUHIRO OGATA"'
Autor:
Shuhei Onishi, Kotone Uchiyama, Ko Sato, Chikako Okada, Shunsuke Kobayashi, Keisuke Hamada, Tomohiro Nishizawa, Osamu Nureki, Kazuhiro Ogata, Toru Sengoku
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-11 (2024)
Abstract Histone H2B monoubiquitination (at Lys120 in humans) regulates transcription elongation and DNA repair. In humans, H2B monoubiquitination is catalyzed by the heterodimeric Bre1 complex composed of Bre1A/RNF20 and Bre1B/RNF40. The Bre1 protei
Externí odkaz:
https://doaj.org/article/da2110e1d1e94ea08bb735896aa0317c
Publikováno v:
IEEE Access, Vol 12, Pp 1672-1687 (2024)
Facing the quantum attack threat, a quantum-resistant version of the SSH Transport Layer protocol has been proposed and been standardized by an IETF working group. This standardization process has been motivated by the fact that if practical quantum
Externí odkaz:
https://doaj.org/article/69faec84310b4ac99bf274803fe29fff
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
PeerJ Computer Science, Vol 10, p e2098 (2024)
This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation. We use Maude, a high-level specification/programming language based on rewriting
Externí odkaz:
https://doaj.org/article/b7d3825ca84d47e08001bf5aa20f48c9
Autor:
Rie Seyama, Masashi Nishikawa, Yuri Uchiyama, Keisuke Hamada, Yuka Yamamoto, Masahiro Takeda, Takanori Ochi, Monami Kishi, Toshifumi Suzuki, Kohei Hamanaka, Atsushi Fujita, Naomi Tsuchida, Eriko Koshimizu, Kazuharu Misawa, Satoko Miyatake, Takeshi Mizuguchi, Shintaro Makino, Takashi Yao, Hidenori Ito, Atsuo Itakura, Kazuhiro Ogata, Koh-ichi Nagata, Naomichi Matsumoto
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-11 (2023)
Abstract RAC1 at 7p22.1 encodes a RAC family small GTPase that regulates actin cytoskeleton organization and intracellular signaling pathways. Pathogenic RAC1 variants result in developmental delay and multiple anomalies. Here, exome sequencing ident
Externí odkaz:
https://doaj.org/article/94a3131121604b75b7d26b0fca9cac45
Publikováno v:
PeerJ Computer Science, Vol 9, p e1556 (2023)
This article presents a security formal analysis of the hybrid post-quantum Transport Layer Security (TLS) protocol, a quantum-resistant version of the TLS protocol proposed by Amazon Web Services as a precaution in dealing with future attacks from q
Externí odkaz:
https://doaj.org/article/cf6379819ec84ebd988a94b441821f45
Publikováno v:
PeerJ Computer Science, Vol 9, p e1547 (2023)
Communication and information technologies shape the world’s systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, the available
Externí odkaz:
https://doaj.org/article/5d31a1d780334478abbf2a9a8a1535cc
Publikováno v:
Frontiers in Psychology, Vol 14 (2023)
In this paper, we present the findings of a study investigating the impact of shape on the taste perception of chocolate. Previous research has explored the influence of various sensory information on taste perception, but there has been little focus
Externí odkaz:
https://doaj.org/article/465695ca4bf84e18b35f77291618dcca
Publikováno v:
IEEE Access, Vol 10, Pp 133749-133765 (2022)
We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as $\varphi _{1} \leadsto \B
Externí odkaz:
https://doaj.org/article/42d741f708784d1bbc8fa998d7be334d
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
IEEE Access, Vol 10, Pp 24955-24975 (2022)
The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to be accepted by S. We supp
Externí odkaz:
https://doaj.org/article/6989742f340c442db5bbf7860b4deeb8
Publikováno v:
PeerJ Computer Science, Vol 9, p e1284 (2023)
The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical
Externí odkaz:
https://doaj.org/article/dc13ee4df1964a1789674f442d334bfb