학술논문

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	あ a	ぁ	か ka	が ga	さ sa	ざ za	た ta	だ da		な na	は ha	ば ba	ぱ pa	ま ma	や ya	ゃ lya	ら ra	わ wa	ゎ lwa	ん n
l	い i	ぃ	き ki	ぎ gi	し si	じ zi	ち ti	ぢ di		に ni	ひ hi	び bi	ぴ pi	み mi			り ri
ㅜ	う u	ぅ	く ku	ぐ gu	す su	ず zu	つ tu	づ du	っ	ぬ nu	ふ hu	ぶ bu	ぷ pu	む mu	ゆ yu	ゅ lyu	る ru
ㅔ	え e	ぇ	け ke	げ ge	せ se	ぜ ze	て te	で de		ね ne	へ he	べ be	ぺ pe	め me			れ re
ㅗ	お o	ぉ	こ ko	ご go	そ so	ぞ zo	と to	ど do		の no	ほ ho	ぼ bo	ぽ po	も mo	よ yo	ょ lyo	ろ ro	を wo

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	ア a	ァ	カ ka	ガ ga	サ sa	ザ za	タ ta	ダ da		ナ na	ハ ha	バ ba	パ pa	マ ma	ヤ ya	ャ lya	ラ ra	ワ wa	ヮ lwa		ン n
l	イ i	ィ	キ ki	ギ gi	シ si	ジ zi	チ ti	ヂ di		ニ ni	ヒ hi	ビ bi	ピ pi	ミ mi			リ ri
ㅜ	ウ u	ゥ	ク ku	グ gu	ス su	ズ zu	ツ tu	ヅ du	ッ	ヌ nu	フ hu	ブ bu	プ pu	ム mu	ユ yu	ュ lyu	ル ru			ヴ vu
ㅔ	エ e	ェ	ケ ke	ゲ ge	セ se	ゼ ze	テ te	デ de		ネ ne	ヘ he	ベ be	ぺ pe	メ me			レ re
ㅗ	オ o	ォ	コ ko	ゴ go	ソ so	ゾ zo	ト to	ド do		ノ no	ホ ho	ボ bo	ポ po	モ mo	ヨ yo	ョ lyo	ロ ro	ヲ wo		ーー

독일어
ä	Ä	ö	Ö	ü	Ü	ß
프랑스어
á	à	Á	À	é	è	É	È	ç	Ç	ê
스페인어
à	á	Á	é	É	í	Í	Ó	ó	Ú	ú	Ñ	ñ	ä	Ä

발행년	- (예 : 2010-2015)

전체선택

Graph Neural Networks for Mapping Variables Between Programs

Book

Orvalho, P.; Manquinho, V.; Piepenbrock, J.; Janota, M.

In: ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. (Frontiers in Artificial Intelligence and Applications, 28 September 2023, 372:1811-1818)

Scopus Find it@PNU

Selecting Quantifiers for Instantiation in SMT

Conference

Jakubův, J.; Janota, M.; Piotrowski, B.; Piepenbrock, J.; Reynolds, A.

In: CEUR Workshop Proceedings, Proceedings of the 21st International Workshop on Satisfiability Modulo Theories, SMT 2023, co-located with the 29th International Conference on Automated Deduction, CADE 2023. (CEUR Workshop Proceedings, 2023, 3429:71-77)

Scopus Find it@PNU

Guiding an Instantiation Prover with Graph Neural Networks

Conference

Chvalovsky, K.; Piepenbrock, J.; Urban, J.; Korovin, K.

In: EPiC Series in Computing, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. (EPiC Series in Computing, 2023, 94:112-123)

Scopus Find it@PNU

The Isabelle ENIGMA

Conference

Goertzel, Z.A.; Jakubuv, J.; Piepenbrock, J.; Urban, J.; Kaliszyk, C.; Olšák, M.

In: Leibniz International Proceedings in Informatics, LIPIcs, 13th International Conference on Interactive Theorem Proving, ITP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2022, 237)

Scopus Find it@PNU

Towards Learning Quantifier Instantiation in SMT

Conference

Janota, M.; Piepenbrock, J.; Piotrowski, B.

In: Leibniz International Proceedings in Informatics, LIPIcs, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022. (Leibniz International Proceedings in Informatics, LIPIcs, August 2022, 236)

Scopus Find it@PNU

Guiding an Automated Theorem Prover with Neural Rewriting

Book

Piepenbrock, J.; Janota, M.; Urban, J.; Heskes, T.

In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13385 LNAI:597-617)

Scopus Find it@PNU

ESTCube-1 nanosatellite for electric solar wind sail in-orbit technology demonstration

Academic Journal

Lätt, S.; Slavinskis, A.; Kvell, U.; Voormansik, K.; Kulu, E.; Kuuste, H.; Sünter, I.; Eenmäe, T.; Laizans, K.; Zalite, K.; Vendt, R.; Ansko, I.; Viru, J.; Kütt, J.; Laks, J.; Kalniņa, K.; Mikkor, M.; Kurvits, S.; Tamm, T.H.C.; Envall, J.; Allik, V.; Reinart, A.; Noorma, M.; Ilbis, E.; Pajusalu, M.; Leitu, A.; Eilonen, E.; Soolo, E.; Ehrpais, H.; Lillmaa, H.; Mahhonin, I.; Kalde, J.; Kusmin, K.-L.; Kruus, K.-G.; Tarbe, K.; Tuude, K.; Joost, L.; Lõoke, M.; Järve, M.; Vellak, M.; Neerot, M.; Valgur, M.; Pelakauskas, M.; Averin, M.; Veske, M.; Scheler, O.; Laes, P.; Rantsus, R.; Soosaar, R.; Reinumägi, R.; Valner, R.; Mändmaa, S.-E.; Ilves, T.; Peet, T.; Ani, T.; Tilk, T.; Uiboupin, T.; Piepenbrock, J.; Vahter, A.; Liias, P.; Vahter, T.; Evard, V.; Agu, A.; Mõttus, J.; Subitidze, J.; Kivistik, K.; Mucenieks, J.; Sate, J.; Poļevskis, J.; Scheffler, T.; Sisask, A.; Kimmel, L.; Krömer, O.; Rosta, R.; Janhunen, P.; Toivanen, P.; Rauhala, T.; Seppänen, H.; Ukkonen, J.; Haeggström, E.; Kurppa, R.; Kalvas, T.; Tarvainen, O.; Kauppinen, J.; Nuottajärvi, A.; Koivisto, H.; Kiprich, S.; Obraztsov, A.

In: Proceedings of the Estonian Academy of Sciences. (Proceedings of the Estonian Academy of Sciences, 2014, 63(2S):200-209)

EBSCOHost PDF Full Text (Gale Academic Onefile) Full Text (ProQuest Central) Web of Science JCR 저널정보 Scopus Find it@PNU

부산대학교 도서관

메일 발송