Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Reinforcement Learning for Multi-Agent Systems with Temporal Logic SpecificationsTERASHIMA, Keita ; KOBAYASHI, Koichi ; YAMASHITA, YuhIEICE 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 EngineersTexto completo disponível |
|
2 |
Material Type: Artigo
|
ILP Based Approaches for Optimizing Early Decompute in Two Level Adiabatic Logic CircuitsUSHIODA, Yuya ; KANEKO, MineoIEICE 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 EngineersTexto completo disponível |
|
3 |
Material Type: Artigo
|
A Synthesis Method Based on Multi-Stage Optimization for Power-Efficient Integrated Optical Logic CircuitsMATSUO, Ryosuke ; SHIOMI, Jun ; ISHIHARA, Tohru ; ONODERA, Hidetoshi ; SHINYA, Akihiko ; NOTOMI, MasayaIEICE 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 EngineersTexto completo disponível |
|
4 |
Material Type: Artigo
|
SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic LockingCHEN, Yung-ChihIEICE 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 EngineersTexto completo disponível |
|
5 |
Material Type: Artigo
|
Methods for Reducing Power and Area of BDD-Based Optical Logic CircuitsMATSUO, Ryosuke ; SHIOMI, Jun ; ISHIHARA, Tohru ; ONODERA, Hidetoshi ; SHINYA, Akihiko ; NOTOMI, MasayaIEICE 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 EngineersTexto completo disponível |
|
6 |
Material Type: Artigo
|
An Analysis of Local BTI Variation with Ring-Oscillator in Advanced Processes and Its Impact on Logic Circuit and SRAMIGARASHI, Mitsuhiko ; UCHIDA, Yuuki ; TAKAZAWA, Yoshio ; YABUUCHI, Makoto ; TSUKAMOTO, Yasumasa ; SHIBUTANI, Koji ; KOBAYASHI, KazutoshiIEICE 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 EngineersTexto completo disponível |
|
7 |
Material Type: Artigo
|
Function Design for Minimum Multiple-Control Toffoli Circuits of Reversible Adder/Subtractor Blocks and Arithmetic Logic UnitsALI, Md Belayet ; HIRAYAMA, Takashi ; YAMANAKA, Katsuhisa ; NISHITANI, YasuakiIEICE 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 EngineersTexto completo disponível |
|
8 |
Material Type: Artigo
|
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic SpecificationsSAKAKIBARA, Ami ; USHIO, ToshimitsuIEICE 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 EngineersTexto completo disponível |
|
9 |
Material Type: Artigo
|
Expressing Algorithms as Concise as Possible via Computability LogicKWON, KeehangIEICE 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 EngineersTexto completo disponível |
|
10 |
Material Type: Artigo
|
Optimal Control of Multi-Vehicle Systems with Temporal Logic ConstraintsKOBAYASHI, Koichi ; NAGAMI, Takuro ; HIRAISHI, KunihikoIEICE 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 EngineersTexto completo disponível |