학술논문

	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)

전체선택

Demand flexibility management for buildings-to-grid integration with uncertain generation

Academic Journal

Rostampour, V.; Badings, T.S.; Scherpen, J.M.A.

In: Energies. (Energies, 2 December 2020, 13(24))

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

Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems

Academic Journal

Badings, T.S.; van Putten, D.S.

In: Journal of Petroleum Science and Engineering. (Journal of Petroleum Science and Engineering, December 2020, 195)

Full Text (ScienceDirect) JCR 저널정보 Scopus Find it@PNU

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Conference

Badings, T.S.; Jansen, N.; Stoelinga, M.; Abate, A.; Parker, D.; Poonawala, H.A.

In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 30 June 2022, 36:9669-9678)

Scopus Find it@PNU

Sampling-Based Verification of CTMCs with Uncertain Rates

Book

Badings, T.S.; Jansen, N.; Junges, S.; Stoelinga, M.; Volk, M.

In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13372 LNCS:26-47)

Scopus Find it@PNU

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

Book

Badings, T.S.; Jansen, N.; Suilen, M.; Hartmanns, A.

In: NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12673 LNCS:1-18)

Scopus Find it@PNU

Buildings-to-Grid Integration with High Wind Power Penetration

Conference

Rostampour, V.; Badings, T.S.; Scherpen, J.M.A.

In: Proceedings of the IEEE Conference on Decision and Control, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. (Proceedings of the IEEE Conference on Decision and Control, December 2019, 2019-December:2976-2981)

Full Text (IEEE) Scopus Find it@PNU

Distributed Building Energy Storage Units for Frequency Control Service in Power Systems

Conference

Badings, T.S.; Rostampour, V.; Scherpen, J.M.A.

In: IFAC-PapersOnLine. (IFAC-PapersOnLine, 2019, 52(4):228-233)

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect O/A) Scopus Find it@PNU

부산대학교 도서관

메일 발송