Suchergebnisse - HOSHINO, Naohiko

1

Semantics of higher-order quantum computation via geometry of interaction von Hasuo, Ichiro, Hoshino, Naohiko

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy von Hoshino, Naohiko

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, I., Hoshino, N.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

The geometry of Bayesian programming von Dal Lago, Ugo, Hoshino, Naohiko

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A Representation Theorem for Unique Decomposition Categories von Hoshino, Naohiko

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects von Hoshino, N.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Introduction to the Special Issue on Programming and Programming Languages von MATSUDA, Kazutaka, KOMIYA, Tsuneyasu, ARAHORI, Yoshitaka, HOSHINO, Naohiko

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

On the Lattice of Program Metrics von Lago, Ugo Dal, Hoshino, Naohiko, Pistone, Paolo

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

特集「プログラミングおよびプログラミング言語」の編集にあたって von 松田, 一孝, 小宮, 常康, 荒堀, 喜貴, 星野, 直彦

Veröffentlicht in コンピュータソフトウェア

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Partial Traces on Additive Categories von Hoshino, Naohiko

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Linear Realizability von Hoshino, Naohiko

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, Ichiro, Hoshino, Naohiko

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

On the Lattice of Program Metrics von Ugo Dal Lago, Hoshino, Naohiko, Pistone, Paolo

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

The Geometry of Bayesian Programming von Ugo Dal Lago, Hoshino, Naohiko

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Memoryful geometry of Interaction II: recursion and adequacy von Muroya, Koko, Hoshino, Naohiko, Hasuo, Ichiro

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, Ichiro, Hoshino, Naohiko

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

LAYOUT DATA ERROR DETERMINATION METHOD, LAYOUT DATA ERROR DETERMINATION DEVICE, LAYOUT DATA CREATION DEVICE, LAYOUT DATA ERROR DETERMINATION PROGRAM von HOSHINO NAOHIKO

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

MESSAGE RECEIVING AND PROCESSING SYSTEM von HOSHINO NAOHIKO

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

miR‐145, miR‐133a and miR‐133b: Tumor‐suppressive miRNAs target FSCN1 in esophageal squamous cell carcinoma von Kano, Masayuki, Seki, Naohiko, Kikkawa, Naoko, Fujimura, Lisa, Hoshino, Isamu, Akutsu, Yasunori, Chiyomaru, Takeshi, Enokida, Hideki, Nakagawa, Masayuki, Matsubara, Hisahiro

Veröffentlicht in International journal of cancer

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Novel LAMC2 fusion protein has tumor‐promoting properties in ovarian carcinoma von Daisuke, Hoshino, Kato, Hisamori, Fukumura, Kazuhiro, Mayeda, Akila, Miyagi, Yohei, Seiki, Motoharu, Koshikawa, Naohiko

Veröffentlicht in Cancer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Semantics of higher-order quantum computation via geometry of interaction von Hasuo, Ichiro, Hoshino, Naohiko

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy von Hoshino, Naohiko

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, I., Hoshino, N.

The geometry of Bayesian programming von Dal Lago, Ugo, Hoshino, Naohiko

A Representation Theorem for Unique Decomposition Categories von Hoshino, Naohiko

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects von Hoshino, N.

Introduction to the Special Issue on Programming and Programming Languages von MATSUDA, Kazutaka, KOMIYA, Tsuneyasu, ARAHORI, Yoshitaka, HOSHINO, Naohiko

On the Lattice of Program Metrics von Lago, Ugo Dal, Hoshino, Naohiko, Pistone, Paolo

特集「プログラミングおよびプログラミング言語」の編集にあたって von 松田, 一孝, 小宮, 常康, 荒堀, 喜貴, 星野, 直彦

Partial Traces on Additive Categories von Hoshino, Naohiko

Linear Realizability von Hoshino, Naohiko

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, Ichiro, Hoshino, Naohiko

On the Lattice of Program Metrics von Ugo Dal Lago, Hoshino, Naohiko, Pistone, Paolo

The Geometry of Bayesian Programming von Ugo Dal Lago, Hoshino, Naohiko

Memoryful geometry of Interaction II: recursion and adequacy von Muroya, Koko, Hoshino, Naohiko, Hasuo, Ichiro

Semantics of Higher-Order Quantum Computation via Geometry of Interaction von Hasuo, Ichiro, Hoshino, Naohiko

LAYOUT DATA ERROR DETERMINATION METHOD, LAYOUT DATA ERROR DETERMINATION DEVICE, LAYOUT DATA CREATION DEVICE, LAYOUT DATA ERROR DETERMINATION PROGRAM von HOSHINO NAOHIKO

MESSAGE RECEIVING AND PROCESSING SYSTEM von HOSHINO NAOHIKO

miR‐145, miR‐133a and miR‐133b: Tumor‐suppressive miRNAs target FSCN1 in esophageal squamous cell carcinoma von Kano, Masayuki, Seki, Naohiko, Kikkawa, Naoko, Fujimura, Lisa, Hoshino, Isamu, Akutsu, Yasunori, Chiyomaru, Takeshi, Enokida, Hideki, Nakagawa, Masayuki, Matsubara, Hisahiro

Novel LAMC2 fusion protein has tumor‐promoting properties in ovarian carcinoma von Daisuke, Hoshino, Kato, Hisamori, Fukumura, Kazuhiro, Mayeda, Akila, Miyagi, Yohei, Seiki, Motoharu, Koshikawa, Naohiko

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle