Toyota

Results: 5688



#Item
1Technology / Internet of things / Vehicle telematics / Transport / Emerging technologies / Economy of Japan / Toyota / Toyota Group / Motorola / Connected car / Mobility as a service / Carsharing

R&D activities Vehicle Communications R&D to connect vehicles to everything (V2X) We conduct research and development of technologies to connect the nextgeneration connected vehicles to everything else via radio or elect

Add to Reading List

Source URL: www.toyota-itc.com

Language: English - Date: 2018-06-01 01:59:13
2Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
3

研究開発活動 クルマ通信 V2Xで全てのモノをクルマにつなげる 次世代コネクテッドカーを無 線・通信でつなげる技術を研 究・開発しています。

Add to Reading List

Source URL: www.toyota-itc.com

Language: Japanese - Date: 2018-06-01 01:58:51
    4Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

    Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

    Add to Reading List

    Source URL: scungao.github.io

    Language: English - Date: 2018-09-27 16:37:21
    5

    PDF Document

    Add to Reading List

    Source URL: www.toyota.com

    - Date: 2018-07-20 11:58:27
      6

      PDF Document

      Add to Reading List

      Source URL: www.toyota-hotel.co.jp

      - Date: 2018-04-13 02:09:09
        7

        PDF Document

        Add to Reading List

        Source URL: www.toyota.ge

        - Date: 2017-09-05 08:09:01
          8

          PDF Document

          Add to Reading List

          Source URL: www.toyota-woodyou.co.jp

          - Date: 2016-03-31 10:23:42
            9

            PDF Document

            Add to Reading List

            Source URL: www.toyota.am

            - Date: 2018-02-26 08:28:19
              10

              PDF Document

              Add to Reading List

              Source URL: finance.toyota.ie

              - Date: 2018-01-29 05:54:03
                UPDATE