Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Keiichiro Takada"'
Publikováno v:
Swarm and Evolutionary Computation. 44:511-521
This article presents an improvement of the Ant Colony Optimization (ACO) algorithm for specifically addressing the software verification problem. Model checking is a new formal verification technique that has been studied intensively. Given a model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::671c99262a30750680e02bc90036e334
https://doi.org/10.1016/j.swevo.2018.06.002
https://doi.org/10.1016/j.swevo.2018.06.002
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9789811037276
ICHSA
ICHSA
Model checking is a technique of verifying the model that represents the design of software or hardware. A model checker checks whether a model satisfies a given specification. Since general model checkers work based on a deterministic algorithm, che
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67c753942cc2e9bda2dcff1580d10fbc
https://doi.org/10.1007/978-981-10-3728-3_7
https://doi.org/10.1007/978-981-10-3728-3_7
Autor:
Keiichiro Takada, Taichi Kitamura, Hideo Tanaka, Kazuhiro Kobayashi, Tomokazu Uneda, Osamu Morikawa, Hisatoshi Konishi
Publikováno v:
The Journal of Organic Chemistry. 62:664-668
The reaction of 2-(alpha-lithioalkyl)benzonitriles, generated in situ by treatment of 2-alkylbenzonitriles with LDA in diglyme, with alpha,beta-unsaturated carboxylates and nitriles produced 1-amino-3,4-dihydro-2-naphthalenecarboxylates and carbonitr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9aa4c3add3b558de36e5e8973d03b4d0
https://doi.org/10.1021/jo961744r
https://doi.org/10.1021/jo961744r
Publikováno v:
Tetrahedron Letters. 37:2437-2440
New acyl anion equivalents bearing a hydroxyl group at the β-position have been developed. Treatment of 3-benzyloxy-1-isocyanopropenes with lithium diisopropylamide (LDA) in THF at −78 °C generated the 1-lithio compounds, which reacted with alkyl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5356911e97e4651afd0a3c16db7906bb
https://doi.org/10.1016/0040-4039(96)00312-7
https://doi.org/10.1016/0040-4039(96)00312-7
Autor:
Keiko Hatae, Atsuko Shimada, Yoshioki Shirojo, Keiichiro Takada, Tetsushi Murakami, Hitomi Nakai, Shugo Watabe
Publikováno v:
Journal of Food Science. 60:32-35
Seasonal changes in adenosine 5′-triphosphate, total free amino acids, and total oligopeptides in abalone meat were analyzed. Levels were higher in summer and lower in winter. In both seasons, the most abundant free amino acid was taurine followed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::859543da1fc26f5d755b8f8bf950bf45
https://doi.org/10.1111/j.1365-2621.1995.tb05600.x
https://doi.org/10.1111/j.1365-2621.1995.tb05600.x
Autor:
Hiroto Tanaka, Tomokazu Uneda, Keiichiro Takada, Tomohide Kitamura, Kazuhiro Kobayashi, Hisatoshi Konishi, Osamu Morikawa
Publikováno v:
ChemInform. 27
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69ca9b46cddf6f82bdf15d937d0c0358
https://doi.org/10.1002/chin.199626148
https://doi.org/10.1002/chin.199626148
Publikováno v:
ChemInform. 27
New acyl anion equivalents bearing a hydroxyl group at the β-position have been developed. Treatment of 3-benzyloxy-1-isocyanopropenes with lithium diisopropylamide (LDA) in THF at −78 °C generated the 1-lithio compounds, which reacted with alkyl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::384152efefcc46704835308feadf2da6
https://doi.org/10.1002/chin.199631080
https://doi.org/10.1002/chin.199631080
Autor:
Osamu Morikawa, Hideo Tanaka, Kazuhiro Kobayashi, Taichi Kitamura, Hisatoshi Konishi, Tomokazu Uneda, Keiichiro Takada
Publikováno v:
ChemInform. 28
The reaction of 2-(alpha-lithioalkyl)benzonitriles, generated in situ by treatment of 2-alkylbenzonitriles with LDA in diglyme, with alpha,beta-unsaturated carboxylates and nitriles produced 1-amino-3,4-dihydro-2-naphthalenecarboxylates and carbonitr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e04b6854f13a95df1b90c87125dbe7d
https://doi.org/10.1002/chin.199725090
https://doi.org/10.1002/chin.199725090
Autor:
Tomokazu Uneda, Osamu Morikawa, Tomohide Kitamura, Kazuhiro Kobayashi, Hisatoshi Konishi, Hiroto Tanaka, Keiichiro Takada
Publikováno v:
Chemistry Letters. 25:25-26
Reaction of o-(α-lithioalkyl)benzonitriles with α,β-unsaturated carboxylic acid derivatives produced 1-amino-3,4-dihydro-2-naphthalenecarboxylic acid derivatives through the tandem conjugate addition-enolate nitrile coupling sequence, which in tur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd70eb2f5ee6b15ef340b16779ffd0b5
https://doi.org/10.1246/cl.1996.25
https://doi.org/10.1246/cl.1996.25