↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "WFRF:(Hasegawa Y) srt2:(2000-2004)"

Sökning: WFRF:(Hasegawa Y) > (2000-2004)

Resultat 1-3 av 3

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Okazaki, Y, et al. (författare) Analysis of the mouse transcriptome based on functional annotation of 60,770 full-length cDNAs 2002 Ingår i: Nature. - : Springer Science and Business Media LLC. - 0028-0836 .- 1476-4687. ; 420:6915, s. 563-573 Tidskriftsartikel (refereegranskat)
2.	Hähnle, Reiner, 1962, et al. (författare) Model Generation Theorem Proving with Finite Interval Constraints 2003 Ingår i: Information Processing Society of Japan. - 0387-5806. ; 43:12, s. 4059-4067 Tidskriftsartikel (refereegranskat)abstract Model Generation Theorem Proving (MGTP) is a class of deduction procedures for first-order logic that were successfully used to solve hard combinatorial problems. For some applications the representation of models in MGTP and its extension CMGTP causes redundancy. Here we suggest to extend members of model candidates in such a way that a predicate p can have not only terms as arguments, but at certain places also subsets of totally ordered finite domains. The ensuing language and deduction system relies on constraints based on finite intervals in totally ordered sets and is called IV-MGTP. We show soundness/completeness of the procedure, and the experimental results that show considerable potential of the method.
3.	Itagaki, Y., et al. (författare) Static and dynamic structures of halogenated dimethyl ether radical cations: An EPR and MO Study 2002 Ingår i: Phys. Chem. Chem. Phys.. ; 4, s. 2524-2529 Tidskriftsartikel (refereegranskat)

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 1-3 av 3

Avgränsa träffmängd

Typ av publikation: tidskriftsartikel (3)

Typ av innehåll: refereegranskat (3)

Författare/redaktör: Hasegawa, Y. (1); Zhu, Y. (1); Sato, K. (1); Wang, Y. (1); Jansson, M. (1); Yang, L. (1); visa fler...; Wang, P. (1); Suzuki, H. (1); Sakai, K (1); Ramachandran, S (1); Hasegawa, A (1); Kasukawa, T (1); Itoh, M. (1); Shimada, K. (1); Watanabe, Y. (1); Yagi, K (1); Matsuda, H. (1); Lunell, S (1); Okazaki, Y (1); Carninci, P (1); Nakamura, M. (1); Wahlestedt, C (1); Hähnle, Reiner, 1962 (1); Kawaji, H (1); Hayashizaki, Y (1); Schneider, C. (1); Lyons, PA (1); Petrovsky, N. (1); Lenhard, B (1); Ravasi, T (1); Kawai, J (1); Hume, DA (1); Sandelin, A (1); Quackenbush, J. (1); Lee, Y (1); Gojobori, T. (1); Shibata, K. (1); Birney, E (1); Wells, C. (1); Shiotani, M. (1); Rogers, J. (1); McKenzie, L (1); Grimmond, S (1); Zimmer, A (1); Lander, ES (1); Wagner, L. (1); Reid, J (1); Qi, D (1); Yuan, Z (1); Itagaki, Y (1); visa färre...

Lärosäte: Uppsala universitet (1); Chalmers tekniska högskola (1); Karolinska Institutet (1)

Språk: Engelska (3)

Forskningsämne (UKÄ/SCB): Naturvetenskap (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy