skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications

TERASHIMA, Keita ; KOBAYASHI, Koichi ; YAMASHITA, Yuh

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2024/01/01, Vol.E107.A(1), pp.31-37 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

2
ILP Based Approaches for Optimizing Early Decompute in Two Level Adiabatic Logic Circuits
Material Type:
Artigo
Adicionar ao Meu Espaço

ILP Based Approaches for Optimizing Early Decompute in Two Level Adiabatic Logic Circuits

USHIODA, Yuya ; KANEKO, Mineo

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2024/03/01, Vol.E107.A(3), pp.600-609 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

3
A Synthesis Method Based on Multi-Stage Optimization for Power-Efficient Integrated Optical Logic Circuits
Material Type:
Artigo
Adicionar ao Meu Espaço

A Synthesis Method Based on Multi-Stage Optimization for Power-Efficient Integrated Optical Logic Circuits

MATSUO, Ryosuke ; SHIOMI, Jun ; ISHIHARA, Tohru ; ONODERA, Hidetoshi ; SHINYA, Akihiko ; NOTOMI, Masaya

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2021/11/01, Vol.E104.A(11), pp.1546-1554 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

4
SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic Locking
Material Type:
Artigo
Adicionar ao Meu Espaço

SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic Locking

CHEN, Yung-Chih

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2020/05/01, Vol.E103.A(5), pp.733-740 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

5
Methods for Reducing Power and Area of BDD-Based Optical Logic Circuits
Material Type:
Artigo
Adicionar ao Meu Espaço

Methods for Reducing Power and Area of BDD-Based Optical Logic Circuits

MATSUO, Ryosuke ; SHIOMI, Jun ; ISHIHARA, Tohru ; ONODERA, Hidetoshi ; SHINYA, Akihiko ; NOTOMI, Masaya

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2019/12/01, Vol.E102.A(12), pp.1751-1759 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

6
An Analysis of Local BTI Variation with Ring-Oscillator in Advanced Processes and Its Impact on Logic Circuit and SRAM
Material Type:
Artigo
Adicionar ao Meu Espaço

An Analysis of Local BTI Variation with Ring-Oscillator in Advanced Processes and Its Impact on Logic Circuit and SRAM

IGARASHI, Mitsuhiko ; UCHIDA, Yuuki ; TAKAZAWA, Yoshio ; YABUUCHI, Makoto ; TSUKAMOTO, Yasumasa ; SHIBUTANI, Koji ; KOBAYASHI, Kazutoshi

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2021/11/01, Vol.E104.A(11), pp.1536-1545 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

7
Function Design for Minimum Multiple-Control Toffoli Circuits of Reversible Adder/Subtractor Blocks and Arithmetic Logic Units
Material Type:
Artigo
Adicionar ao Meu Espaço

Function Design for Minimum Multiple-Control Toffoli Circuits of Reversible Adder/Subtractor Blocks and Arithmetic Logic Units

ALI, Md Belayet ; HIRAYAMA, Takashi ; YAMANAKA, Katsuhisa ; NISHITANI, Yasuaki

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2018/12/01, Vol.E101.A(12), pp.2231-2243 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

8
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications

SAKAKIBARA, Ami ; USHIO, Toshimitsu

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2018/02/01, Vol.E101.A(2), pp.313-321 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

9
Expressing Algorithms as Concise as Possible via Computability Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Expressing Algorithms as Concise as Possible via Computability Logic

KWON, Keehang

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2014/06/01, Vol.E97.A(6), pp.1385-1387 [Periódico revisado por pares]

The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

10
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints
Material Type:
Artigo
Adicionar ao Meu Espaço

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints

KOBAYASHI, Koichi ; NAGAMI, Takuro ; HIRAISHI, Kunihiko

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2015, Vol.E98.A(2), pp.626-634 [Periódico revisado por pares]

The Institute of Electronics, Information and Communication Engineers

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1997  (53)
  2. 1997Até2005  (103)
  3. 2006Até2011  (100)
  4. 2012Até2018  (104)
  5. Após 2018  (63)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (399)
  2. Japonês  (175)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.