( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Motion sickness effect in biosignals and body motion disturbance on 4K video viewing.

, , , и . GCCE, стр. 1-2. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

Другие публикации лиц с тем же именем

Challenging EMC problems on two-dimensional communication systems., , и . INSS, стр. 130-137. IEEE, (2010)Evolutionary Computation Approaches to Halftoning Algorithm., и . International Conference on Evolutionary Computation, стр. 787-791. IEEE, (1994)Higher-Order Model Checking in Direct Style., , и . APLAS, том 10017 из Lecture Notes in Computer Science, стр. 295-313. (2016)Verification of Tree-Processing Programs via Higher-Order Model Checking., , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 312-327. Springer, (2010)A ZDD-Based Efficient Higher-Order Model Checking Algorithm., и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 354-371. Springer, (2014)Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes., , и . APLAS, том 8301 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2013)Dependent type inference with interpolants., и . PPDP, стр. 277-288. ACM, (2009)Model-checking higher-order functions.. PPDP, стр. 25-36. ACM, (2009)Translation of tree-processing programs into stream-processing programs based on ordered linear type., , и . J. Funct. Program., 18 (3): 333-371 (2008)Tree Automata for Non-linear Arithmetic., и . RTA, том 5117 из Lecture Notes in Computer Science, стр. 291-305. Springer, (2008)