Find Research Outputs

Search results

• Conference contribution

  Flow and nitric oxide increase hepatic function in co-culturing hepatocytes with hepatic stellate cells and endothelial cells

  Sumii, T., Fujita, R., Tanishita, K. & Kudo, S., Jan 1 2011, 2011 Int. Symp. on Micro-NanoMechatronics and Human Science, Symp. on "COE for Education and Research of Micro-Nano Mechatronics", Symposium on "Hyper Bio Assembler for 3D Cellular System Innovation". IEEE Computer Society, p. 20-23 4 p. 6102150. (2011 Int. Symp. on Micro-NanoMechatronics and Human Science, Symp. on "COE for Education and Research of Micro-Nano Mechatronics", Symposium on "Hyper Bio Assembler for 3D Cellular System Innovation").

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Hepatic Stellate Cells
  • Hepatocytes
  • Endothelial cells
  • Nitric oxide
  • Cell culture

• Flow boiling heat transfer and flow distribution in non-uniformly heated parallel mini-channels

  Kurose, K., Miyata, K., Hamamoto, Y. & Mori, H., 2018, Proceedings of the 3rd Thermal and Fluid Engineering Summer Conference, TFESC 2018. Begell House Inc., p. 1499-1502 4 p. (Proceedings of the Thermal and Fluids Engineering Summer Conference; vol. 2018-March).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • heat transmission
  • Boiling liquids
  • boiling
  • flow distribution
  • heat transfer
  2 Citations (Scopus)

• Flow boiling heat transfer of binary refrigerant mixtures inside a horizontal smooth tube

  Takamatsu, H., May 1994, 2nd Workshop on Two-Phase Flow : Heat Exchangers, AFERC. p. 47-64 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Flow boiling in transparent heated microtube

  Kawanami, O., Huang, S. C., Kawakami, K., Honda, I., Kawashima, Y. & Ohta, H., Dec 1 2008, Proceedings of the 6th International Conference on Nanochannels, Microchannels, and Minichannels, ICNMM2008. PART A ed. p. 685-691 7 p. (Proceedings of the 6th International Conference on Nanochannels, Microchannels, and Minichannels, ICNMM2008; no. PART A).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Boiling liquids
  • Heat transfer coefficients
  • Heat flux
  • Gold plating
  • Electroless plating

• Flow Characteristics and Separation Performance in a Hemispheric Head Cyclone Separator

  Munekata, M., Narita, A., Kitamura, G., Yoshikawa, H., Ono, K. & Watanabe, T., May 11 2017, Proceedings of the 13th International Symposium on Experimental Computational Aerothermodynamics of Internal Flows.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Flow characteristics of geothermal production well with multi-feed zones

  Katayama, Y., Itoi, R., Kumagai, N. & Iwasaki, T., Dec 1 2011, Geothermal Resources Council Annual Meeting 2011, Geothermal 2011. p. 1475-1479 5 p. (Transactions - Geothermal Resources Council; vol. 35 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • flow characteristics
  • well
  • Temperature
  • Numerical models
  • temperature
  1 Citation (Scopus)

• Flower bud initiation and development of jacaranda mimosifolia (Bignoniaceae) in Japan

  Miyajima, I., Takemura, C., Kobayashi, N., Soto, M. S. & Facciuto, G., Jul 15 2013, VII International Symposium on New Floricultural Crops. International Society for Horticultural Science, p. 71-76 6 p. (Acta Horticulturae; vol. 1000).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Jacaranda mimosifolia
  • bud initiation
  • Bignoniaceae
  • flower buds
  • Japan

• Flowing H ₂ Gas Concentration Measurement Using Ultrasound from Exterior of the Pipe

  Taskin, M., Kido, T. & Kato, Y., Dec 26 2018, 2018 IEEE SENSORS, SENSORS 2018 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8589539. (Proceedings of IEEE Sensors; vol. 2018-October).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Ultrasonics
  • Pipe
  • Gases
  • Drilling
  • Air
  3 Citations (Scopus)

• Flow measurement at partial flow rate with LDV around rear rotor of contra-rotating axial flow pump

  Yamashita, S., Watanabe, S., Okuma, K., Shirasawa, K. & Furukawa, A., Dec 1 2007, 2007 Proceedings of the 5th Joint ASME/JSME Fluids Engineering Summer Conference, FEDSM 2007. PART B ed. p. 909-914 6 p. (2007 Proceedings of the 5th Joint ASME/JSME Fluids Engineering Summer Conference, FEDSM 2007; vol. 2 FORA, no. PART B).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • axial flow pumps
  • Axial flow
  • flow measurement
  • Flow measurement
  • rotors

• Flow structure and unsteady behavior of hub-corner separation in a stator cascade of a multi-stage transonic axial compressor

  Saito, S., Yamada, K., Furukawa, M., Watanabe, K., Matsuoka, A. & Niwa, N., 2018, Turbomachinery. American Society of Mechanical Engineers (ASME), (Proceedings of the ASME Turbo Expo; vol. 2A-2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Flow structure
  • Stators
  • Compressors
  • Flow fields
  • Vortex flow
  4 Citations (Scopus)

• Flow traffic classification with support vector machine by using payload length

  Kohara, M., Hori, Y., Sakurai, K., Lee, H. & Ryou, J. C., Dec 1 2009, Proceedings of the 2009 2nd International Conference on Computer Science and Its Applications, CSA 2009. 5404180

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Support vector machines
  • Planning
  • Monitoring
  1 Citation (Scopus)

• Fluctuation of actin sliding over myosin thick filaments in vitro

  Noda, N., Imafuku, Y., Yamada, A. & Tawada, K., 2006, 2006 IEEE International Symposium on Micro-Nano Mechanical and Human Science, MHS. 4110395. (2006 IEEE International Symposium on Micro-Nano Mechanical and Human Science, MHS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • fluctuation
  • Fish
  • Muscle

• Fluctuation of position and energy of a fine particle in plasma nanofabrication

  Shiratani, M., Soejima, M., Seo, H., Itagaki, N. & Koga, K., Jan 1 2017, THERMEC 2016. Sommitsch, C., Ionescu, M., Mishra, B., Mishra, B., Kozeschnik, E. & Chandra, T. (eds.). Trans Tech Publications Ltd, p. 1772-1777 6 p. (Materials Science Forum; vol. 879).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • nanofabrication
  • Nanotechnology
  • Plasmas
  • Electrostatic force
  • Optical tweezers
  3 Citations (Scopus)

• Fluctuations in sliding motion of cytoskeltal filament driven by molecular motors

  Imafuku, Y., Mitarai, N., Tawada, K. & Nakanishi, H., Dec 1 2007, 2007 International Symposium on Micro-NanoMechatronics and Human Science, MHS. p. 193-198 6 p. 4420851. (2007 International Symposium on Micro-NanoMechatronics and Human Science, MHS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Computer simulation
  • Experiments

• Fluid-flow monitoring by A4-D geoelectrical techniques

  Mizunaga, H., Tanaka, T., Ushijima, K. & Ikeda, N., 2006, 19th Symposium on the Application of Geophysics to Engineering and Environmental Problems, SAGEEP 2006: Geophysical Applications for Environmental and Engineering Hazzards - Advances and Constraints. Environmental and Engineering Geophysical Society (EEGS), p. 1494-1504 11 p. (19th Symposium on the Application of Geophysics to Engineering and Environmental Problems, SAGEEP 2006: Geophysical Applications for Environmental and Engineering Hazzards - Advances and Constraints; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • fluid flow
  • Flow of fluids
  • Monitoring
  • monitoring
  • Tomography
  1 Citation (Scopus)

• Fluid flow simulations for the safety injection of carbon dioxide in Gundih CCS site, Indonesia

  Onishi, K., Nguyen, D. T., Fujii, H., Hato, M., Tsuji, T., Takahashi, T., Matsuoka, T., Sule, M. R. & Kadir, W. G. A., Nov 20 2015, Proceedings of the 12th SEGJ International Symposium. p. 99-102

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Flow simulation
  • Carbon dioxide
  • Flow of fluids

• Fluid flow tomography of reinjection well by the vertical electric profiling method in Kazuno area, Akita prefecture, Japan

  Ushijima, K., Mizunaga, H., Mori, H., Hattori, A. & Tajima, T., Dec 1 1991, Transactions - Geothermal Resources Council. Publ by Geothermal Resources Council, p. 297-299 3 p. (Transactions - Geothermal Resources Council; vol. 15).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Japan
  • Tomography
  • fluid flow
  • Flow of fluids
  • tomography
  2 Citations (Scopus)

• Fluid viscous damper optimal design for seismic protection of bridges

  Berton, S., Takahashi, T. & Sonoda, Y., Dec 1 2005, Proceedings of the 10th International Conference on Civil, Structural and Environmental Engineering Computing, Civil-Comp 2005.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Expansion joints
  • Fluids
  • Earthquakes
  • Box girder bridges
  • Piers

• Fluorescent nanodiamond - A novel nanomaterial for in vivo applications

  Mohan, N., Zhang, B., Chang, C. C., Yang, L., Chen, C. S., Fang, C. Y., Hsieh, H. H., Cho, C. Y., Wu, Y. C., Weng, J. H., Chung, B. C. & Chang, H. C., 2011, Carbon Functional Interfaces. p. 25-35 11 p. (Materials Research Society Symposium Proceedings; vol. 1362).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Nanodiamonds
  • Nanostructured materials
  • organisms
  • Fluorescence
  • fluorescence
  3 Citations (Scopus)

• Fluxgate gradiometer for magnetic nanoparticle magnetorelaxometry in unshielded environment

  Farag, A. L. E. M. M., Sasada, I. & Yoshida, T., Jan 1 2015, 2015 IEEE International Magnetics Conference, INTERMAG 2015. Institute of Electrical and Electronics Engineers Inc., 7156945

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Nanoparticles
  • Proteins
  • Relaxation time
  • Viruses
  • Washing
  1 Citation (Scopus)

• Flux pinning in amorphous MoSi films for abrikosov vortex memory

  Kubo, S., Mukaida, M. & Miyahara, K., Dec 1 1988, Advances in Cryogenic Engineering. Publ by Plenum Publ Corp, p. 789-796 8 p. (Advances in Cryogenic Engineering; vol. 34).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Flux pinning
  • Amorphous films
  • Vortex flow
  • Data storage equipment
  • Thin films

• Flyer mapping in art museums: Acquiring implicit feedback using physical objects

  Sasao, T. & Konomi, S., Jan 1 2017, Distributed, Ambient and Pervasive Interactions - 5th International Conference, DAPI 2017 Held as Part of HCI International 2017, Proceedings. Streitz, N. & Markopoulos, P. (eds.). Springer Verlag, p. 371-379 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10291 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Museums
  • Art
  • Interaction
  • Sensing
  • Object

• Focused Citation Count: A Combined Measure of Relevancy and Quality

  Nakatoh, T., Nakanishi, H., Baba, K. & Hirokawa, S., Jan 6 2016, Proceedings - 2015 IIAI 4th International Congress on Advanced Applied Informatics, IIAI-AAI 2015. Hirokawa, S., Hashimoto, K., Matsuo, T. & Mine, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 166-170 5 p. 7373895. (Proceedings - 2015 IIAI 4th International Congress on Advanced Applied Informatics, IIAI-AAI 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Focused search using community search logs

  Flanagan, B., Suzuki, T., Zeng, J., Yin, C., Sakai, T., Hashimoto, K. & Hirokawa, S., Jan 1 2013, 3rd International Conference on Digital Information Processing and Communications, ICDIPC 2013. Society of Digital Information and Wireless Communications (SDIWC), p. 557-563 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Search engines
  • Students

• Foldable augmented maps

  Martedi, S., Uchiyama, H., Enriquez, G., Saito, H., Miyashita, T. & Hara, T., 2010, 9th IEEE International Symposium on Mixed and Augmented Reality 2010: Science and Technology, ISMAR 2010 - Proceedings. p. 312 1 p. 5643621

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Demonstrations
  3 Citations (Scopus)

• Foldable augmented maps

  Martedi, S., Uchiyama, H., Enriquez, G., Saito, H., Miyashita, T. & Hara, T., Dec 1 2010, 9th IEEE International Symposium on Mixed and Augmented Reality 2010: Science and Technology, ISMAR 2010 - Proceedings. p. 65-72 8 p. 5643552. (9th IEEE International Symposium on Mixed and Augmented Reality 2010: Science and Technology, ISMAR 2010 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  9 Citations (Scopus)

• Font creation using class discriminative deep convolutional generative adversarial networks

  Abe, K., Iwana, B. K., Holmer, V. G. & Uchida, S., Dec 13 2018, Proceedings - 4th Asian Conference on Pattern Recognition, ACPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 238-243 6 p. 8575829. (Proceedings - 4th Asian Conference on Pattern Recognition, ACPR 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Rigid structures
  • Neural networks
  • Experiments
  4 Citations (Scopus)

• Font distribution observation by network-based analysis

  Nakamoto, C., Huang, R., Koizumi, S., Ishida, R., Feng, Y. & Uchida, S., Jan 1 2014, Camera-Based Document Analysis and Recognition - 5th International Workshop, CBDAR 2013, Revised Selected Papers. Springer Verlag, p. 83-97 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8357 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Character Recognition
  • Optical character recognition
  • Character recognition
  • Centrality
  • Observation
  1 Citation (Scopus)

• Food weight estimation using smartphone and cutlery

  Akpa, E. A. H., Suwa, H., Arakawa, Y. & Yasumoto, K., Jun 30 2016, IoTofHealth 2016 - Proceedings of the 1st Workshop on IoT-Enabled Healthcare and Wellness Technologies and Systems, co-located with MobiSys 2016. Association for Computing Machinery, Inc, p. 9-14 6 p. (IoTofHealth 2016 - Proceedings of the 1st Workshop on IoT-Enabled Healthcare and Wellness Technologies and Systems, co-located with MobiSys 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Smartphones
  • Containers
  • Image processing
  • Nutrition
  • Watches
  7 Citations (Scopus)

• Foot pressure and posture information-based visual feedback system for well-balanced gait in older people

  Nakashima, Y., Matsumoto, Y., Kobayashi, Y., Takizawa, K., Miura, S. & Fujie, M. G., Jan 1 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers Inc., p. 4163-4168 6 p. 7392749. (IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Feedback
  • Pressure distribution
  • Information services
  • Regression analysis
  • Display devices

• FORCED-CONVECTION HEAT TRANSFER TO SUPERCRITICAL HELIUM FLOWING IN A VERTICAL STRAIGHT CIRCULAR TUBE.

  Ito, T., Takata, Y., Kasao, D., Yamaguchi, M. & Hara, T., Dec 1 1986, AIChE Symposium Series. 251 ed. AIChE, p. 86-91 6 p. (AIChE Symposium Series; vol. 82, no. 251).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Helium
  • Forced convection
  • Heat transfer
  • Buoyancy
  • Heat transfer coefficients
  3 Citations (Scopus)

• Forced convective boiling of binary mixtures in a vertical tube

  Fujita, Y., Ohta, H. & Tsutsui, M., Dec 1 1991, Proc 3 ASME JSME Therm Eng Jt Conf. Publ by ASME, p. 17-24 8 p. (Proc 3 ASME JSME Therm Eng Jt Conf).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Binary mixtures
  • Boiling liquids
  • Heat flux
  • Nucleate boiling
  • Forced convection
  1 Citation (Scopus)

• Forced convective boiling of nonazeotropic refrigerant miztures of R22 and R114 inside a horizontal tube

  Takamatsu, H., Miyara, A., Koyama, S. & Tetsu, F., Nov 1988, 1st KSME/JSME Thermal Fluids Engineering Confrence. Vol. 1. p. 138-143 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Forced Vibration Analysis of a Tree Structure by the Transfer Influence Coefficient Method

  Inoue, T., 1993, Asia Pacific Vibration Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Force measurement using quartz crystal resonator integrated with sample clamping unit

  Sakuma, S., Hasegawa, N., Murozaki, Y. & Arai, F., Jul 2 2017, 2017 IEEE International Conference on Cyborg and Bionic Systems, CBS 2017. Institute of Electrical and Electronics Engineers Inc., p. 198-201 4 p. (2017 IEEE International Conference on Cyborg and Bionic Systems, CBS 2017; vol. 2018-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Crystal resonators
  • Resonator
  • Force measurement
  • Quartz
  • Crystal
  4 Citations (Scopus)

• Force producibility improvement of redundant parallel mechanism for haptic applications

  Arata, J., Ikedo, N. & Fujimoto, H., Dec 29 2011, IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. p. 2145-2150 6 p. 6048405

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Industrial research
  • Rigidity
  • Kinematics
  • Actuators
  • Bandwidth
  5 Citations (Scopus)

• Force Sensor Clamp for Fixation of Ultra-thin Membrane Using Micro-hole Array for Tensile Characterization ^∗

  Gao, Y., Sakuma, S., Murozaki, Y. & Arai, F., Jan 14 2019, 2018 IEEE International Conference on Cyborg and Bionic Systems, CBS 2018. Institute of Electrical and Electronics Engineers Inc., p. 9-12 4 p. 8612247. (2018 IEEE International Conference on Cyborg and Bionic Systems, CBS 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Force Sensor
  • Fixation
  • Clamping devices
  • Membrane
  • Characterization (materials science)
  1 Citation (Scopus)

• Force sensor probe using quartz crystal resonator having104 measurement range for mechanical characterization of spheroids

  Sato, A., Sakuma, S., Kojima, N., Tao, F. & Arai, F., 2016, 20th International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2016. Chemical and Biological Microsystems Society, p. 1382-1383 2 p. (20th International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Crystal resonators
  • Quartz
  • Sensors
  • Bioactivity
  • Dissolution

• Forearm motion assist with an exoskeleton adaptation to muscle activation patterns

  Kiguchi, K., Esaki, R. & Fukuda, T., Dec 1 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 2948-2953 6 p. (2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS); vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Muscle
  • Chemical activation
  • Fuzzy control
  • Patient rehabilitation
  • Experiments
  2 Citations (Scopus)

• Forecasting auroral substorms from observed data with a supervised learning algorithm

  Tanaka, T., Kitao, D., Sato, Y., Tanaka, Y. & Ikeda, D., Oct 22 2015, Proceedings - 11th IEEE International Conference on eScience, eScience 2015. Institute of Electrical and Electronics Engineers Inc., p. 284-287 4 p. 7304307. (Proceedings - 11th IEEE International Conference on eScience, eScience 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Solar wind
  • Classifier
  • Learning Algorithm
  • Supervised learning
  • Learning algorithms
  1 Citation (Scopus)

• Forecast techniques for predicting increase or decrease of attacks using bayesian inference

  Ishida, C., Arakawa, Y., Sasase, I. & Takemori, K., Dec 1 2005, 2005 IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing, PACRIM - Proceedings. p. 450-453 4 p. 1517323. (IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings; vol. 2005).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Intrusion detection
  18 Citations (Scopus)

• Foreground Enlargement of Omnidirectional Images by Spherical Trigonometry

  Yu, A. S., Kenji, H., Inoue, K. & Urahama, K., Nov 26 2018, 2018 24th International Conference on Pattern Recognition, ICPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 2630-2635 6 p. 8545697. (Proceedings - International Conference on Pattern Recognition; vol. 2018-August).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Visibility
  • Display devices
  • Pixels
  • Experiments
  1 Citation (Scopus)

• Forest search: A paradigm for faster exploration of scale-free networks

  Kurumida, Y., Ono, H., Sadakane, K. & Yamashita, M., 2006, Parallel and Distributed Processing and Applications - 4th International Symposium, ISPA 2006, Proceedings. Guo, M., Yang, L. T., Di Martino, B., Zima, H. P., Zima, H. P., Dongarra, J. & Tang, F. (eds.). Springer Verlag, p. 39-50 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4330).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scale-free Networks
  • Complex networks
  • World Wide Web
  • Search Algorithm
  • Data storage equipment

• Formal analysis of an anonymous fair exchange e-commerce protocol

  Kong, W., Ogata, K., Xiang, J. & Futatsugi, K., Dec 14 2004, Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004). Wei, D., Wang, H., Peng, Z., Kara, A. & He, Y. (eds.). p. 1100-1107 8 p. (Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Network protocols
  • Specification languages
  1 Citation (Scopus)

• Formal analysis of STM design with SAL infinite bounded model checker

  Kong, W., Shiraishi, T., Mizushima, Y., Katahira, N., Fukuda, A. & Watanabe, M., 2010, 12th International Conference on Advanced Communication Technology: ICT for Green Growth and Sustainable Development, ICACT 2010 - Proceedings. Vol. 2. p. 1003-1008 6 p. 5440212

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modeling languages
  • Demonstrations
  • Internet
  • Control systems

• Formal analysis of workflow systems with security considerations

  Kong, W., Ogata, K. & Futatsugi, K., Dec 1 2005, 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005. p. 531-536 6 p. (17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specification languages
  • Access control
  1 Citation (Scopus)

• Formal concept analysis of medical incident reports

  Baba, T., Liu, L. & Hirokawa, S., 2010, Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Proceedings. PART 3 ed. p. 207-214 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6278 LNAI, no. PART 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal concept analysis
  • Formal Concept Analysis
  • Text Mining
  • Accidents
  • Concept Lattice
  10 Citations (Scopus)

• Formaldehyde degradation filter via recombinant E.coli enzyme

  Yamaguchi, M., Tahara, Y., Kanemaru, M., Deguchi, M., Ozawa, S. & Arai, J. I., Jan 1 2003, APBME 2003 - IEEE EMBS Asian-Pacific Conference on Biomedical Engineering 2003. Institute of Electrical and Electronics Engineers Inc., p. 106-107 2 p. 1302606. (APBME 2003 - IEEE EMBS Asian-Pacific Conference on Biomedical Engineering 2003).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Recombinant proteins
  • Escherichia coli
  • Formaldehyde
  • Enzymes
  • Degradation
  2 Citations (Scopus)

• Formal equivalence classes model of fuzzy relational databases using relational calculus

  Akbar, M. D. & Mizoguchi, Y., Dec 4 2017, Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017; vol. 2017-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Relational Database
  • Equivalence classes
  • Equivalence
  • Join
  • Soft Computing
  1 Citation (Scopus)

• Formalion of SiGe quasi-single crystal grain on insulator by indentation-induced solid-phase crystallization

  Sadoh, T., Toko, K. & Miyao, M., Dec 1 2008, ECS Transactions - SiGe, Ge, and Related Compounds 3: Materials, Processing, and Devices. 10 ed. p. 219-222 4 p. (ECS Transactions; vol. 16, no. 10).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Single crystals
  • Crystallization
  • Indentation
  • Nucleation
  • Crystals