The Experts below are selected from a list of 51 Experts worldwide ranked by ideXlab platform
Sorin Stratulat - One of the best experts on this subject based on the ideXlab platform.
-
a case study on algorithm discovery from proofs the Insert Function on binary trees
Symposium on Applied Computational Intelligence and Informatics, 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
-
SACI - A case study on algorithm discovery from proofs: The Insert Function on binary trees
2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
Isabela Dramnesc - One of the best experts on this subject based on the ideXlab platform.
-
a case study on algorithm discovery from proofs the Insert Function on binary trees
Symposium on Applied Computational Intelligence and Informatics, 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
-
SACI - A case study on algorithm discovery from proofs: The Insert Function on binary trees
2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
S. Yamakoshi - One of the best experts on this subject based on the ideXlab platform.
-
INFOCOM - A broadband access network based on optical signal processing: the photonic highway
Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration, 1Co-Authors: K. Yamaguchi, Nobuhiro Fujimoto, H. Rokugawa, T. Nakagami, S. YamakoshiAbstract:A broadband access network, the photonic highway, which is based on optical signal processing (OSP) and consists of photonic access nodes (PANs), which process optical signals directly, is discussed. Each PAN has an optical drop/Insert Function. The authors focus on the configuration of the fiber network and access nodes and describe its application to a metropolitan area network (MAN) and a CATV distribution network. They also describe the basic experiments conducted to verify the proposed architecture using newly developed bistable laser diodes. >
Tudor Jebelean - One of the best experts on this subject based on the ideXlab platform.
-
a case study on algorithm discovery from proofs the Insert Function on binary trees
Symposium on Applied Computational Intelligence and Informatics, 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
-
SACI - A case study on algorithm discovery from proofs: The Insert Function on binary trees
2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 2016Co-Authors: Isabela Dramnesc, Tudor Jebelean, Sorin StratulatAbstract:We present a proof-based automatic synthesis experiment in the context of sorting binary trees, namely the synthesis of the Function which Inserts an element in a sorted binary tree at the appropriate place. The algorithm is automatically extracted from the automatically produced proof of the conjecture which expresses the existence of the desired output for each appropriate input of the Function.
K. Yamaguchi - One of the best experts on this subject based on the ideXlab platform.
-
INFOCOM - A broadband access network based on optical signal processing: the photonic highway
Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration, 1Co-Authors: K. Yamaguchi, Nobuhiro Fujimoto, H. Rokugawa, T. Nakagami, S. YamakoshiAbstract:A broadband access network, the photonic highway, which is based on optical signal processing (OSP) and consists of photonic access nodes (PANs), which process optical signals directly, is discussed. Each PAN has an optical drop/Insert Function. The authors focus on the configuration of the fiber network and access nodes and describe its application to a metropolitan area network (MAN) and a CATV distribution network. They also describe the basic experiments conducted to verify the proposed architecture using newly developed bistable laser diodes. >