Skip to contents

Yamazaki, Shunpei [Editor]; Fujita, Masahiro [Editor]

Physics and technology of crystalline oxide semiconductor CAAC-IGZO / Application to LSI / edited by Shunpei Yamazaki (Semiconductor Energy Laboratory Co., Ltd, Japan), Masahiro Fujita (University of Tokyo, Japan)

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester, West Sussex, United Kingdom: Wiley, 2017

Published in: Physics and technology of crystalline oxide semiconductor CAAC-IGZO ; appl
Fujita, Masahiro [Author]; Ghosh, Indradeep [Author]; Prasad, Mukul [Author]

Verification techniques for system-level design

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; Heidelberg [u.a.]: Elsevier, 2008

Published in: The Morgan Kaufmann series in systems on silicon
Kimizuka, Noboru [Editor]; Yamazaki, Shunpei [Editor]; Fujita, Masahiro [Editor]; Tsutsui, Tetsuo [Editor]

Physics and technology of crystalline oxide semiconductor CAAC-IGZO

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester, West Sussex, United Kingdom: Wiley, 2017

Published in: Wiley-SID series in display technology
Fujita, Masahiro [Author]

Proceedings of the 5th International Conference on Communication and Information Processing

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York,NY,United States: Association for Computing Machinery, 2019

Published in: ACM Other conferences- ACM Digital Library
Fujita, Masahiro [Author] ; Ghosh, Indradeep [Contributor]; Prasad, Mukul [Contributor]

Verification techniques for system-level design

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam ;: Morgan Kaufmann Publishers, c2008

Published in: The Morgan Kaufmann series in systems on silicon
Nguyen, Mai Ngoc [Author] ; Kragl, Udo [Degree supervisor]; Yoshizawa-Fujita, Masahiro [Degree supervisor] Universität Rostock, Universität Rostock Mathematisch-Naturwissenschaftliche Fakultät

Environmentally friendly process for recovering cellulose from rice straw and for producing regenerated cellulose films

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität, 2020
Fujita, Masahiro [Author]; Hayashi, Nahoko [Author]; Hotta, Syûgo [Author]

Trust in the Justice System : Internet Survey after Introducing Mixed Tribunal System in Japan

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2016

Published in: Oñati International Institute for the Sociology of Law: Oñati Socio-Legal Series ; 6(2016), 2, Seite 344-367
Becker, Bernd [Author]; Bertacco, Valeria [Author]; Drechsler, Rolf [Author]; Fujita, Masahiro [Author] ; Bernd Becker and Valeria Bertacco and Rolf Drechsler and Masahiro Fujita [Contributor]

09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Becker, Bernd [Author]; Fujita, Masahiro [Author]; Meinel, Christoph [Author]; Somenzi, Fabio [Author] ; Bernd Becker and Masahiro Fujita and Christoph Meinel and Fabio Somenzi [Contributor]

Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001
Becker, Bernd [Author]; Bryant, Randy [Author]; Fujita, Masahiro [Author]; Meinel, Christoph [Author] ; Bernd Becker and Randy Bryant and Masahiro Fujita and Christoph Meinel [Contributor]

Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997
Fey, Görschwin [Author]; Fujita, Masahiro [Author]; Miskov-Zivanov, Natasa [Author]; Roy, Kaushik [Author]; Sonza Reorda, Matteo [Author] ; Görschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda [Contributor]

Verifying Reliability (Dagstuhl Seminar 12341)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Nguyen, Mai Ngoc [Author] ; Kragl, Udo [Other]; Yoshizawa-Fujita, Masahiro [Other]

Environmentally friendly process for recovering cellulose from rice straw and for producing regenerated cellulose films

View online
Schließen

Access

... to E-book via DOI

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität Rostock, 2020
Fujita, Masahiro

Automatic correction of logic bugs in hardware design: Partial logic synthesis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2018

Published in: Procedia Computer Science, 125 (2018), Seite 790-800
Fujita, Masahiro

Automated Technology for Verification and Analysis: Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Automated Technology for Verification and Analysis (2016), Seite 3-10
Fujita, Masahiro

Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2015

Published in: Proceedings of the IEEE, 103 (2015) 11, Seite 2052-2060
Fujita, Masahiro

ROBOT BEHAVIOR CONTROL SYSTEM AND METHOD, AND ROBOT APPARATUS

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Acoustical Society of America (ASA), 2012

Published in: The Journal of the Acoustical Society of America, 132 (2012) 4, Seite 2779
Fujita, Masahiro

Automated Technology for Verification and Analysis: Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Automated Technology for Verification and Analysis (2011), Seite 43-50
Fujita, Masahiro

Mesoscale Models for Self-organization Simulation of Fine Particles in Fluid

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

The Society of Powder Technology, Japan, 2010

Published in: Journal of the Society of Powder Technology, Japan, 47 (2010) 5, Seite 327-338
Fujita, Masahiro

Intelligence Dynamics: a concept and preliminary experiments for open-ended learning agents

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2009

Published in: Autonomous Agents and Multi-Agent Systems, 19 (2009) 3, Seite 248-271
Fujita, Masahiro

Trends in Formal Verification Techniques for C-based Hardware Designs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Information Processing Society of Japan, 2009

Published in: IPSJ Transactions on System LSI Design Methodology, 2 (2009), Seite 2-17

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication