Hiroshi Nakano

Orcid: 0000-0003-2745-9340

According to our database1, Hiroshi Nakano authored at least 34 papers between 1980 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Evaluation of Correlation between Psychomotor Vigilance Task Scores and Drowsiness Estimation Levels Obtained from Facial Videos.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

2021
Sparse Topological Pharmacophore Graphs for Interpretable Scaffold Hopping.
J. Chem. Inf. Model., 2021

2020
Exploring Topological Pharmacophore Graphs for Scaffold Hopping.
J. Chem. Inf. Model., 2020

2019
Assessing Correlation of High-Resolution NDVI with Fertilizer Application Level and Yield of Rice and Wheat Crops Using Small UAVs.
Remote. Sens., 2019

Using Learning Analytics to Build a Learning Support Program for Distance Learning in Nursing.
Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

2017
Photo absorption of p-coumaric acid in aqueous solution: RISM-SCF-SEDD theory approach.
J. Comput. Chem., 2017

A modal typing system for self-referential programs and specifications.
CoRR, 2017

2016
A 60GHz-Band High-Efficiency Antenna with a Thick Resin Layer and Differentially Fed through a Hole in a Silicon Chip.
IEICE Trans. Commun., 2016

2015
Trajectory tracking control of a vehicle with a large sideslip angle.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2015

2014
Control of a four-wheel independently driven electric vehicle with a large sideslip angle.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Control of an electric vehicle with a large sideslip angle using driving forces of four independently-driven wheels and steer angle of front wheels.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013
Manufacture and Performance of a 60GHz-Band High-Efficiency Antenna with a Thick Resin Layer and the Feed through a Hole in a Silicon Chip.
IEICE Trans. Commun., 2013

2012
Evaluation and Training System of Muscle Strength for Leg Rehabilitation Utilizing an MR Fluid Active Loading Machine.
Proceedings of the Field and Service Robotics, 2012

Virtualization and Nested Virtualization for Constructing a Reproducible Online Laboratory.
Proceedings of the IEEE Global Engineering Education Conference, 2012

A simple eye-gaze detecting function for touch-typing training system.
Proceedings of the IEEE Global Engineering Education Conference, 2012

2011
Type checking and typability in domain-free lambda calculi.
Theor. Comput. Sci., 2011

2010
NVLab, a Networking Virtual Web-Based Laboratory that Implements Virtualization and Virtual Network Computing Technologies.
IEEE Trans. Learn. Technol., 2010

Inhabitation of polymorphic and existential types.
Ann. Pure Appl. Log., 2010

2008
Compact accurate scalable model for millimeter wave InP CPW with under-bridge.
IEICE Electron. Express, 2008

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007
A Cost-Effective Transition between a Microstrip Line and a Post-Wall Waveguide Using a Laminated LTCC Substrate in 60-GHz Band.
IEICE Trans. Electron., 2007

2006
A Coaxial Line to Post-Wall Waveguide Transition for a Cost-Effective Transformer between a RF-Device and a Planar Slot-Array Antenna in 60-GHz Band.
IEICE Trans. Commun., 2006

2003
An experiment for verification of the auxiliary transmission-line method to evaluate a microwave thermal noise source.
IEEE Trans. Instrum. Meas., 2003

Avatar motion control by user body postures.
Proceedings of the Eleventh ACM International Conference on Multimedia, 2003

Real-time human figure control using tracked blobs.
Proceedings of the 12th International Conference on Image Analysis and Processing (ICIAP 2003), 2003

2001
On a Distance-Regular Graph of Even Height with k<sub>e</sub>= k<sub>f</sub>.
Graphs Comb., 2001

Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000
A Modality for Recursion.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999
A broadband microwave radiometer using correlation technique.
IEEE Trans. Instrum. Meas., 1999

1996
Two Extensions of PX system.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1994
A Constructive Logic Behind the Catch and Throw Mechanism.
Ann. Pure Appl. Log., 1994

The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property.
Proceedings of the Logic, 1994

1992
A Constructive Formalization of the Catch and Throw Mechanism
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1980
An Automatic Processing Of The Natural Language In The Word Count System.
Proceedings of the 8th International Conference on Computational Linguistics, 1980


  Loading...