Concepedia

Noriko Arai

NA

13

Publications

246

Citations

10

H-Index

1996

Active since

Affiliations

National Institute of Informatics(Current)

Hiroshima City University

Fujitsu (Japan)

Saitama Medical University

Noriko Arai is an author at National Institute of Informatics specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLanguageLinguisticsProof ComplexityFormal VerificationComputational LinguisticsVoice

Publications per year

1996–2022

13

Publications

13

The complexity of analytic tableaux

Noriko Arai, Toniann Pitassi, Alasdair Urquhart · 2001 · 36 citations

Analytic Tableaux, Computational Complexity Theory, Engineering +14

Simultaneous measurement of the size and methylation of chromosome 4qA-D4Z4 repeats in facioscapulohumeral muscular dystrophy by long-read sequencing

Yosuke Hiramuki, Yuriko Kure, Yoshihiko Saito et al. · Journal of Translational Medicine · 2022 · 31 citations · Full text

Relative efficiency of propositional proof systems: resolution vs. cut-free LK

Noriko Arai · Annals of Pure and Applied Logic · 2000 · 28 citations

Engineering, Automated Reasoning, Propositional Logic +9

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 23 citations · Full text

Engineering, Semantics, Mathematical Linguistics +19

TelMeA—Expressive avatars in asynchronous communications

Tōru Takahashi, Christoph Bartneck, Yasuhiro Katagiri et al. · International Journal of Human-Computer Studies · 2005 · 20 citations

Avatar Animation, Engineering, Telepresence +4

Rows per page

1–5 of 13