부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
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
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
292
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Report
Ackerman, Nathanael L.
;
Freer, Cameron E.
;
Kaddar, Younesse
;
Karwowski, Jacek
;
Moss, Sean K.
;
Roy, Daniel M.
;
Staton, Sam
;
Yang, Hongseok
Proc. ACM Program. Lang. 8, POPL, Article 61 (2024), pp 1819-1849
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network
Report
Kim, Taeyoung
;
Yang, Hongseok
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Learning Symmetrization for Equivariance with Orbit Distance Minimization
Report
Nguyen, Tien Dat
;
Kim, Jinwoo
;
Yang, Hongseok
;
Hong, Seunghoon
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Regularizing Towards Soft Equivariance Under Mixed Symmetries
Report
Kim, Hyunsu
;
Lee, Hyungi
;
Yang, Hongseok
;
Lee, Juho
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning
Report
Caron, Francois
;
Ayed, Fadhel
;
Jung, Paul
;
Lee, Hoil
;
Lee, Juho
;
Yang, Hongseok
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
$\alpha$ -Stable convergence of heavy-/light-tailed infinitely wide neural networks.
Academic Journal
Jung, Paul
;
Lee, Hoil
;
Lee, Jiho
;
Yang, Hongseok
Advances in Applied Probability; Dec2023, Vol. 55 Issue 4, p1415-1441, 27p
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Hypertension as a risk factor for recurrent subretinal hemorrhage in polypoidal choroidal vasculopathy
Academic Journal
Chung, Yoo-Ri
;
Seo, Eoi Jong
;
Kim, Yong Hyun
;
Yang, Hongseok
;
Lee, Kihwang
In
Canadian Journal of Ophthalmology/Journal canadien d'ophtalmologie
October 2016 51(5):348-353
Full Text (ScienceDirect)
Full Text (Clinical Key)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Report
Lee, Wonyeol
;
Rival, Xavier
;
Yang, Hongseok
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Learning Symmetric Rules with SATNet
Report
Lim, Sangho
;
Oh, Eun-Gyeol
;
Yang, Hongseok
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility
Report
Lee, Hoil
;
Ayed, Fadhel
;
Jung, Paul
;
Lee, Juho
;
Yang, Hongseok
;
Caron, François
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Yang, Hongseok
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Complementary Index
(69)
Science Citation Index Expanded
(48)
MathSciNet via EBSCOhost
(47)
arXiv
(42)
ACM Full-Text Collection
(29)
Academic Search Complete
(16)
Supplemental Index
(8)
ScienceDirect
(8)
Gale Academic OneFile
(6)
Springer Nature Journals
(5)
Gale General OneFile
(4)
IEEE Xplore Digital Library
(4)
CINAHL Plus with Full Text
(2)
Business Source Complete
(2)
British Library EThOS
(1)
Scopus®
(1)
USPTO Patent Applications
(1)
USPTO Patent Grants
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
theoretical computer science
(15)
logical methods in computer science
(14)
acm / sigplan notices
(13)
acm sigplan notices
(13)
current opinion in ophthalmology
(7)
journal of cataract & refractive surgery
(7)
static analysis
(7)
acm transactions on programming languages & systems
(6)
current eye research
(6)
acta informatica
(5)
advances in applied probability
(4)
formal methods in system design
(4)
journal of the acm
(4)
scientific reports
(4)
chemical communications
(3)
formal aspects of computing
(3)
journal of refractive surgery
(3)
ophthalmologica
(3)
proceedings of the 35th acm sigplan conference on programming language design and implementation
(3)
proceedings of the acm on programming languages
(3)
science of computer programming
(3)
annals of thoracic surgery
(2)
formal methods in system design: an international journal
(2)
journal of functional programming
(2)
mathematical structures in computer science
(2)
proceedings of the 38th annual acm sigplan-sigact symposium on principles of programming languages
(2)
proceedings of the 43rd annual acm sigplan-sigact symposium on principles of programming languages
(2)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on
(1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on
(1)
2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse
(1)
22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on
(1)
acm sigplan notices - popl '11
(1)
acm transactions on programming languages and systems (toplas)
(1)
canadian journal of ophthalmology
(1)
canadian journal of ophthalmology/journal canadien d'ophtalmologie
(1)
electronic notes in theoretical computer science
(1)
entcs: electronic notes in theoretical computer science
(1)
formal aspects of computing: applicable formal methods
(1)
journal of the acm (jacm)
(1)
journal of the association for computing machinery
(1)
proceedings of the 10th international conference on static analysis
(1)
proceedings of the 16th acm sigplan international conference on functional programming
(1)
proceedings of the 2015 acm sigplan international conference on object-oriented programming, systems, languages, and applications
(1)
proceedings of the 2016 acm symposium on principles of distributed computing
(1)
proceedings of the 28th symposium on the implementation and application of functional programming languages
(1)
proceedings of the 2nd workshop on the principles and practice of consistency for distributed data
(1)
proceedings of the 31st acm sigplan-sigact symposium on principles of programming languages
(1)
proceedings of the 31st annual acm/ieee symposium on logic in computer science
(1)
programming languages & systems (9783540297352)
(1)
tools & algorithms for the construction & analysis of systems (9783540330561)
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
association for computing machinery
(34)
springer nature
(32)
assoc computing machinery
(18)
elsevier b.v.
(16)
springer, berlin
(14)
lippincott williams & wilkins
(11)
springer, heidelberg
(8)
acm
(7)
tech univ braunschweig
(6)
association for computing machinery, inc.
(4)
elsevier inc.
(4)
springer
(4)
taylor & francis ltd
(4)
cambridge univ press
(3)
ieee
(3)
cambridge university press
(2)
elsevier science bv
(2)
elsevier science inc
(2)
informa healthcare
(2)
karger ag
(2)
royal society of chemistry
(2)
schloss dagstuhl. leibniz-zent. inform., wadern
(2)
springer us
(2)
acm, new york
(1)
canadian ophthal soc
(1)
elsevier
(1)
ieee comp soc
(1)
ieee, [piscataway], nj
(1)
japanese circulation soc
(1)
karger
(1)
microtome publ
(1)
nature publishing group uk
(1)
nature research
(1)
royal soc chemistry
(1)
slack inc
(1)
slack incorporated
(1)
slack, inc.
(1)
springer berlin heidelberg
(1)
springer-verlag
(1)
university of oxford
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(149)
Conference Materials
(68)
Reviews
(47)
Reports
(42)
Books
(26)
Magazines
(3)
Dissertations
(1)
Electronic Resources
(1)
add
remove
더보기
zoom_in
재검색
주제어
computer science - machine learning
(21)
separation logic
(20)
statistics - machine learning
(20)
computer science - programming languages
(19)
static analysis
(12)
verification
(11)
computer science
(10)
semantics
(10)
computer science - artificial intelligence
(8)
computer science - logic in computer science
(8)
languages
(8)
software engineering
(7)
bayesian optimization
(6)
data refinement
(6)
data structures
(6)
logics and meanings of programs
(6)
program analysis
(6)
program verification
(6)
theory
(6)
algorithms
(5)
computer software
(5)
concurrency
(5)
glaucoma
(5)
hoare logic
(5)
learning
(5)
mathematics - probability
(5)
modularity
(5)
programming languages, compilers, interpreters
(5)
statistics - computation
(5)
abstract interpretation
(4)
bayesian analysis
(4)
computer programming
(4)
computing and processing
(4)
electronic data processing
(4)
eventual consistency
(4)
interference
(4)
mathematical logic and formal languages
(4)
replication
(4)
static program analysis
(4)
abstraction
(3)
algorithm
(3)
apoptosis
(3)
context-sensitive analysis
(3)
context-sensitivity
(3)
data abstraction
(3)
engineering
(3)
fibroblast
(3)
grape seed extract
(3)
linearizability
(3)
logic
(3)
add
remove
더보기
zoom_in
재검색
언어
english
(243)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기