Jump to main content

yr 〜
yr

Search results 112

Formal verification and modeling in human-machine systems : papers from the AAAI spring symposium : technical report SS-14-02 : AAAI event : Mar 2014, Palo Alto, CA.

Formal verification and modeling in human-machine systems : papers from the AAAI spring symposium : technical report SS-14-02 : AAAI event : Mar 2014, Palo Alto, CA.
Paper図書
AAAI Press[2014]<M17-14-2953>
National Diet Library

Proceedings of the Human Factors and Ergonomics Society annual meeting : Sept. 30-Oct. 4, 2013 : San Diego, California USA Sep 2013, San Diego, CA.

Proceedings of the Human Factors and Ergonomics Society annual meeting : Sept. 30-Oct. 4, 2013 : San Diego, California USA Sep 2013, San Diego, CA.
Recording Media電子資料
Human Factors and Ergonomics Societyc2013.<M17-YH-14-50>
National Diet Library

Proceedings of the 13th international conference on man-machine-environment system engineering : annual conference on MMESE : Oct 2013, Yantai, China. (Lecture Notes in Electrical Engineering ; 259)

Proceedings of the 13th international conference on man-machine-environment system engineering : annual conference on MMESE : Oct 2013, Yantai, China. (Lecture Notes in Electrical Engineering ; 259)
Paper図書
Springer[2014]<M17-15-3349>
National Diet Library

2015 10th system of systems engineering conference : (SoSE 2015) : San Antonio, Texas, USA : 17-20 May 2015 : 10th international IEEE conference on system of systems engineering : May 2015, San Antonio, TX.

2015 10th system of systems engineering conference : (SoSE 2015) : San Antonio, Texas, USA : 17-20 May 2015 : 10th international IEEE conference on system of systems engineering : May 2015, San Antonio, TX.
Paper図書
IEEE[2015]<M17-17-1631>
National Diet Library

HRI'17 : proceedings of the 2017 ACM/IEEE international conference on human-robot interaction : March 6-9, 2017 : Vienna, Austria : 12th annual ACM/IEEE international conference on human-robot interaction : HRI 2017 : Mar 2017, Vienna, Austria.

HRI'17 : proceedings of the 2017 ACM/IEEE international conference on human-robot interaction : March 6-9, 2017 : Vienna, Austria : 12th annual ACM/IEEE international conference on human-robot interaction : HRI 2017 : Mar 2017, Vienna, Austria.
Paper図書
The Association for Computing Machinery[2017]<M17-19-619>
National Diet Library

2012 7th international conference on system of systems engineering : (SoSE 2012) : Genova, Italy : 16-19 July 2012 : IEEE SoSE2012 : Jul 2012, Genova, Italy.

2012 7th international conference on system of systems engineering : (SoSE 2012) : Genova, Italy : 16-19 July 2012 : IEEE SoSE2012 : Jul 2012, Genova, Italy.
Paper図書
IEEEc2012.<M17-13-1769>
National Diet Library

2016 8th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2016) : Hangzhou, China : 27-28 August 2016 : Aug 2016, Hangzhou, China.

2016 8th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2016) : Hangzhou, China : 27-28 August 2016 : Aug 2016, Hangzhou, China.
Paper図書
IEEE[2016]<M17-18-862>
National Diet Library

2016 25th IEEE international symposium on robot and human interactive communication : (RO-MAN 2016) : New York, New York, USA : 26-31 August 2016 : IEEE RO-MAN 2016 conference : Aug 2016, New York, NY.

2016 25th IEEE international symposium on robot and human interactive communication : (RO-MAN 2016) : New York, New York, USA : 26-31 August 2016 : IEEE RO-MAN 2016 conference : Aug 2016, New York, NY.
Paper図書
IEEE[2016]<M17-18-1217>
National Diet Library

2011 6th international conference on system of systems engineering : (SoSE 2011) : Albuquerque, New Mexico, USA : 27-30 June 2011 : 6th international IEEE conference on system of systems engineering : SoSE2011 : Jun 2011, Albuquerque, NM.

2011 6th international conference on system of systems engineering : (SoSE 2011) : Albuquerque, New Mexico, USA : 27-30 June 2011 : 6th international IEEE conference on system of systems engineering : SoSE2011 : Jun 2011, Albuquerque, NM.
Paper図書
IEEEc2011.<M17-12-2181>
National Diet Library

HRI'12 : proceedings of the seventh annual ACM/IEEE international conference on human-robot interaction : March 5-8, 2012 : Boston, Massachusetts, USA : HRI 2012 : Mar 2012, Boston, MA.

HRI'12 : proceedings of the seventh annual ACM/IEEE international conference on human-robot interaction : March 5-8, 2012 : Boston, Massachusetts, USA : HRI 2012 : Mar 2012, Boston, MA.
Paper図書
ACMc2012.<M17-13-1976>
National Diet Library

2012 7th ACM/IEEE international conference on human-robot interaction : (HRI 2012) : Boston, Massachusetts, USA : 5-8 March 2012 : 7th annual ACM/IEEE international conference on human-robot interaction : HART workshop : Mar 2012, Boston, MA.

2012 7th ACM/IEEE international conference on human-robot interaction : (HRI 2012) : Boston, Massachusetts, USA : 5-8 March 2012 : 7th annual ACM/IEEE international conference on human-robot interaction : HART workshop : Mar 2012, Boston, MA.
Paper図書
IEEEc2012.<M17-13-2220>
National Diet Library

2015 24th IEEE international symposium on robot and human interactive communication : (RO-MAN 2015) : Kobe, Japan : 31 August-4 September 2015 : RO-MAN2015 : Aug 2015, Kobe, Japan.

2015 24th IEEE international symposium on robot and human interactive communication : (RO-MAN 2015) : Kobe, Japan : 31 August-4 September 2015 : RO-MAN2015 : Aug 2015, Kobe, Japan.
Paper図書
IEEE[2015]<M17-17-1713>
National Diet Library

2015 7th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2015) : Hangzou, China : 26-27 August 2015 : Aug 2015, Hangzhou, China.

2015 7th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2015) : Hangzou, China : 26-27 August 2015 : Aug 2015, Hangzhou, China.
Paper図書
IEEE[2015]<M17-17-1168>
National Diet Library

2015 10th ACM/IEEE international conference on human-robot interaction : (HRI 2015) : Portland, Oregon, USA : 2-5 March 2015 : 10th annual ACM/IEEE international conference on human-robot interaction : Mar 2015, Portland, OR.

2015 10th ACM/IEEE international conference on human-robot interaction : (HRI 2015) : Portland, Oregon, USA : 2-5 March 2015 : 10th annual ACM/IEEE international conference on human-robot interaction : Mar 2015, Portland, OR.
Paper図書
IEEE[2015]<M17-20-320>
National Diet Library

2012 4th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2012) : Nanchang, China : 26-27 August 2012 : IHMSC2012 : Aug 2012, Nanchang, China.

2012 4th international conference on intelligent human-machine systems and cybernetics : (IHMSC 2012) : Nanchang, China : 26-27 August 2012 : IHMSC2012 : Aug 2012, Nanchang, China.
Paper図書
IEEEc2012.<M17-13-1370>
National Diet Library

2010 5th international conference on system of systems engineering : (SoSE 2010) : Loughborough, United Kingdom : 22-24 June 2010 : 5th international IEEE conference on system of systems engineering : SoSE2010 : Jun 2010, Loughborough, UK.

2010 5th international conference on system of systems engineering : (SoSE 2010) : Loughborough, United Kingdom : 22-24 June 2010 : 5th international IEEE conference on system of systems engineering : SoSE2010 : Jun 2010, Loughborough, UK.
Paper図書
IEEEc2010.<M17-12-734>
National Diet Library

6th ACM/IEEE international conference on human-robot interaction 2011 : (HRI 2011) : Lausanne, Switzerland : 6-9 March 2011. : HRI2011 : HRI'11 tutorials & workshops : Mar 2011, Lausanne, Switzerland.

6th ACM/IEEE international conference on human-robot interaction 2011 : (HRI 2011) : Lausanne, Switzerland : 6-9 March 2011. : HRI2011 : HRI'11 tutorials & workshops : Mar 2011, Lausanne, Switzerland.
Paper図書
Association for Computing Machineryc2011.<M17-11-2757>
National Diet Library
  • Subject HeadingRobotics -- Human factors -- Congresses. Human-machine systems -- Congresses.

2011 6th ACM/IEEE international conference on human-robot interaction : (HRI 2011) : Lausanne, Switzerland : 8-11 March 2011 : HRI2011 : HRI'11 tutorials & workshops : Mar 2011, Lausanne, Switzerland.

2011 6th ACM/IEEE international conference on human-robot interaction : (HRI 2011) : Lausanne, Switzerland : 8-11 March 2011 : HRI2011 : HRI'11 tutorials & workshops : Mar 2011, Lausanne, Switzerland.
Paper図書
IEEEc2011.<M17-14-189>
National Diet Library

2014 RO-MAN: the 23rd IEEE international symposium on robot and human interactive communication : Edinburgh, United Kingdom : 25-29 August 2014 : RO-MAN2014 : RO-MAN conferences : ROMAN14 : Aug 2014, Edinburgh, UK.

2014 RO-MAN: the 23rd IEEE international symposium on robot and human interactive communication : Edinburgh, United Kingdom : 25-29 August 2014 : RO-MAN2014 : RO-MAN conferences : ROMAN14 : Aug 2014, Edinburgh, UK.
Paper図書
IEEE[2014]<M17-16-1726>
National Diet Library

2014 sixth international conference on intelligent human-machine systems and cybernetics : (IHMSC 2014) : Hangzhou, China : 26-27 August 2014 : Aug 2014, Hangzhou, China.

2014 sixth international conference on intelligent human-machine systems and cybernetics : (IHMSC 2014) : Hangzhou, China : 26-27 August 2014 : Aug 2014, Hangzhou, China.
Paper図書
IEEE[2014]<M17-16-1575>
National Diet Library
RSS