학술논문
'학술논문'
에서 검색결과 74건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2021, 5(OOPSLA))
Academic Journal
In: Journal of Medicinal Chemistry . (Journal of Medicinal Chemistry, 10 June 2021, 64(11):7565-7574)
Book
In: Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13872 LNCS:41-58)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2017, 1(OOPSLA))
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, April 2017, 88:121-153)
Academic Journal
Milham, M.; Petkov, C.; Belin, P.; Ben Hamed, S.; Evrard, H.; Fair, D.; Fox, A.; Froudist-Walsh, S.; Hayashi, T.; Kastner, S.; Klink, C.; Majka, P.; Mars, R.; Messinger, A.; Poirier, C.; Schroeder, C.; Shmuel, A.; Silva, A.C.; Vanduffel, W.; Van Essen, D.C.; Wang, Z.; Roe, A.W.; Wilke, M.; Xu, T.; Aarabi, M.H.; Adolphs, R.; Ahuja, A.; Alvand, A.; Amiez, C.; Autio, J.; Azadi, R.; Baeg, E.; Bai, R.; Bao, P.; Basso, M.; Behel, A.K.; Bennett, Y.; Bernhardt, B.; Biswal, B.; Boopathy, S.; Boretius, S.; Borra, E.; Boshra, R.; Buffalo, E.; Cao, L.; Cavanaugh, J.; Celine, A.; Chavez, G.; Chen, L.M.; Chen, X.; Cheng, L.; Chouinard-Decorte, F.; Clavagnier, S.; Cléry, J.; Colcombe, S.J.; Conway, B.; Cordeau, M.; Coulon, O.; Cui, Y.; Dadarwal, R.; Dahnke, R.; Desrochers, T.; Deying, L.; Dougherty, K.; Doyle, H.; Drzewiecki, C.M.; Duyck, M.; Arachchi, W.E.; Elorette, C.; Essamlali, A.; Evans, A.; Fajardo, A.; Figueroa, H.; Franco, A.; Freches, G.; Frey, S.; Friedrich, P.; Fujimoto, A.; Fukunaga, M.; Gacoin, M.; Gallardo, G.; Gao, L.; Gao, Y.; Garside, D.; Garza-Villarreal, E.A.; Gaudet-Trafit, M.; Gerbella, M.; Giavasis, S.; Glen, D.; Ribeiro Gomes, A.R.; Torrecilla, S.G.; Gozzi, A.; Gulli, R.; Haber, S.; Hadj-Bouziane, F.; Fujimoto, S.H.; Hawrylycz, M.; He, Q.; He, Y.; Heuer, K.; Hiba, B.; Hoffstaedter, F.; Hong, S.-J.; Hori, Y.; Hou, Y.; Howard, A.; de la Iglesia-Vaya, M.; Ikeda, T.; Jankovic-Rapan, L.; Jaramillo, J.; Jedema, H.P.; Jin, H.; Jiang, M.; Jung, B.; Kagan, I.; Kahn, I.; Kiar, G.; Kikuchi, Y.; Kilavik, B.; Kimura, N.; Klatzmann, U.; Kwok, S.C.; Lai, H.-Y.; Lamberton, F.; Lehman, J.; Li, P.; Li, X.; Li, X.; Liang, Z.; Liston, C.; Little, R.; Liu, C.; Liu, N.; Liu, X.; Liu, X.; Lu, H.; Loh, K.K.; Madan, C.; Magrou, L.; Margulies, D.; Mathilda, F.; Mejia, S.; Meng, Y.; Menon, R.; Meunier, D.; Mitchell, A.J.; Mitchell, A.; Murphy, A.; Mvula, T.; Ortiz-Rios, M.; Ortuzar Martinez, D.E.; Pagani, M.; Palomero-Gallagher, N.; Pareek, V.; Perkins, P.; Ponce, F.; Postans, M.; Pouget, P.; Qian, M.; Ramirez, J.“.; Raven, E.; Restrepo, I.; Rima, S.; Rockland, K.; Rodriguez, N.Y.; Roger, E.; Hortelano, E.R.; Rosa, M.; Rossi, A.; Rudebeck, P.; Russ, B.; Sakai, T.; Saleem, K.S.; Sallet, J.; Sawiak, S.; Schaeffer, D.; Schwiedrzik, C.M.; Seidlitz, J.; Sein, J.; Sharma, J.; Shen, K.; Sheng, W.-A.; Shi, N.S.; Shim, W.M.; Simone, L.; Sirmpilatze, N.; Sivan, V.; Song, X.; Tanenbaum, A.; Tasserie, J.; Taylor, P.; Tian, X.; Toro, R.; Trambaiolli, L.; Upright, N.; Vezoli, J.; Vickery, S.; Villalon, J.; Wang, X.; Wang, Y.; Weiss, A.R.; Wilson, C.; Wong, T.-Y.; Woo, C.-W.; Wu, B.; Xiao, D.; Xu, A.G.; Xu, D.; Xufeng, Z.; Yacoub, E.; Ye, N.; Ying, Z.; Yokoyama, C.; Yu, X.; Yue, S.; Yuheng, L.; Yumeng, X.; Zaldivar, D.; Zhang, S.; Zhao, Y.; Zuo, Z.
In: Neuron . (Neuron, 5 January 2022, 110(1):16-20)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 34th European Conference on Object-Oriented Programming, ECOOP 2020. (Leibniz International Proceedings in Informatics, LIPIcs, 1 November 2020, 166)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 26 April 2020, 316:15-39)
Academic Journal
In: Neuron . (Neuron, 10 May 2012, 74(3):482-489)
Academic Journal
Milham, M.; Petkov, C.I.; Margulies, D.S.; Schroeder, C.E.; Basso, M.A.; Belin, P.; Fair, D.A.; Fox, A.; Kastner, S.; Mars, R.B.; Messinger, A.; Poirier, C.; Vanduffel, W.; Van Essen, D.C.; Alvand, A.; Becker, Y.; Ben Hamed, S.; Benn, A.; Bodin, C.; Boretius, S.; Cagna, B.; Coulon, O.; El-Gohary, S.H.; Evrard, H.; Forkel, S.J.; Friedrich, P.; Froudist-Walsh, S.; Garza-Villarreal, E.A.; Gao, Y.; Gozzi, A.; Grigis, A.; Hartig, R.; Hayashi, T.; Heuer, K.; Howells, H.; Ardesch, D.J.; Jarraya, B.; Jarrett, W.; Jedema, H.P.; Kagan, I.; Kelly, C.; Kennedy, H.; Klink, P.C.; Kwok, S.C.; Leech, R.; Liu, X.; Madan, C.; Madushanka, W.; Majka, P.; Mallon, A.-M.; Marche, K.; Meguerditchian, A.; Menon, R.S.; Merchant, H.; Mitchell, A.; Nenning, K.-H.; Nikolaidis, A.; Ortiz-Rios, M.; Pagani, M.; Pareek, V.; Prescott, M.; Procyk, E.; Rajimehr, R.; Rautu, I.-S.; Raz, A.; Roe, A.W.; Rossi-Pool, R.; Roumazeilles, L.; Sakai, T.; Sallet, J.; García-Saldivar, P.; Sato, C.; Sawiak, S.; Schiffer, M.; Schwiedrzik, C.M.; Seidlitz, J.; Sein, J.; Shen, Z.-M.; Shmuel, A.; Silva, A.C.; Simone, L.; Sirmpilatze, N.; Sliwa, J.; Smallwood, J.; Tasserie, J.; Thiebaut de Schotten, M.; Toro, R.; Trapeau, R.; Uhrig, L.; Vezoli, J.; Wang, Z.; Wells, S.; Williams, B.; Xu, T.; Xu, A.G.; Yacoub, E.; Zhan, M.; Ai, L.; Amiez, C.; Balezeau, F.; Baxter, M.G.; Blezer, E.L.A.; Brochier, T.; Chen, A.; Croxson, P.L.; Damatac, C.G.; Dehaene, S.; Everling, S.; Fleysher, L.; Freiwald, W.; Griffiths, T.D.; Guedj, C.; Hadj-Bouziane, F.; Harel, N.; Hiba, B.; Jung, B.; Koo, B.; Laland, K.N.; Leopold, D.A.; Lindenfors, P.; Meunier, M.; Mok, K.; Morrison, J.H.; Nacef, J.; Nagy, J.; Pinsk, M.; Reader, S.M.; Roelfsema, P.R.; Rudko, D.A.; Rushworth, M.F.S.; Russ, B.E.; Schmid, M.C.; Sullivan, E.L.; Thiele, A.; Todorov, O.S.; Tsao, D.; Ungerleider, L.; Wilson, C.R.E.; Ye, F.Q.; Zarco, W.; Zhou, Y.-D.
In: Neuron . (Neuron, 19 February 2020, 105(4):600-603)
검색 결과 제한하기
제한된 항목
[AR] Evrard, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어