부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술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)
'학술논문'
에서 검색결과
235
건 | 목록
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
Model Counting in the Wild
Report
Shaw, Arijit
;
Meel, Kuldeep S.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Engineering an Efficient Approximate DNF-Counter
Report
Soos, Mate
;
Sarkar, Uddalok
;
Aggarwal, Divesh
;
Chakraborty, Sourav
;
Meel, Kuldeep S.
;
Obremski, Maciej
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
Report
Latour, Anna L. D.
;
Sen, Arunabha
;
Basu, Kaustav
;
Zhou, Chenyang
;
Meel, Kuldeep S.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
#CFG and #DNNF admit FPRAS
Report
Meel, Kuldeep S.
;
de Colnet, Alexis
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
An FPRAS for #nFBDD
Report
Meel, Kuldeep S.
;
de Colnet, Alexis
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Formally Certified Approximate Model Counting
Report
Tan, Yong Kiam
;
Yang, Jiong
;
Soos, Mate
;
Myreen, Magnus O.
;
Meel, Kuldeep S.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Total Variation Distance for Product Distributions is $\#\mathsf{P}$-Complete
Report
Bhattacharyya, Arnab
;
Gayen, Sutanu
;
Meel, Kuldeep S.
;
Myrisiotis, Dimitrios
;
Pavan, A.
;
Vinodchandran, N. V.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Equivalence Testing: The Power of Bounded Adaptivity
Report
Chakraborty, Diptarka
;
Chakraborty, Sourav
;
Kumar, Gunjan
;
Meel, Kuldeep S.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A faster FPRAS for #NFA
Report
Meel, Kuldeep S.
;
Chakraborty, Sourav
;
Mathur, Umang
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Auditable Algorithms for Approximate Model Counting
Report
Meel, Kuldeep S.
;
Chakraborty, Supratik
;
Akshay, S.
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] Meel, Kuldeep S.
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
OAIster
(79)
arXiv
(70)
MathSciNet via EBSCOhost
(32)
ACM Full-Text Collection
(13)
IEEE Xplore Digital Library
(11)
Complementary Index
(11)
Science Citation Index Expanded
(7)
SwePub
(4)
Springer Nature Journals
(3)
Academic Search Complete
(2)
Business Source Complete
(2)
Supplemental Index
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
acm transactions on database systems
(5)
communications of the acm
(5)
computer aided verification. part i
(4)
computer aided verification. part ii
(3)
constraints: an international journal
(3)
constraints
(2)
constraints. an international journal
(2)
euro-par 2016: parallel processing
(2)
ieee transactions on software engineering
(2)
journal of artificial intelligence research
(2)
proceedings of 24th international conference on logic for programming, artificial intelligence and reasoning
(2)
proceedings of the 40th acm sigmod-sigact-sigai symposium on principles of database systems
(2)
theory and applications of satisfiability testing---sat 2019
(2)
theory and applications of satisfiability testing---sat 2020
(2)
2014 23rd international conference on parallel architecture and compilation techniques (pact), parallel architecture and compilation techniques (pact), 2014 23rd international conference on
(1)
2014 51st acm/edac/ieee design automation conference (dac)
(1)
2014 51st acm/edac/ieee design automation conference (dac), design automation conference (dac), 2014 51st acm/edac/ieee
(1)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019
(1)
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in
(1)
2021 ieee/acm 43rd international conference on software engineering (icse), software engineering (icse), 2021 ieee/acm 43rd international conference on, icse
(1)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion
(1)
2021 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2021 ieee/acm international conference on
(1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022
(1)
2022 ieee/acm 44th international conference on software engineering (icse), software engineering (icse), 2022 ieee/acm 44th international conference on, icse
(1)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on
(1)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023
(1)
26th international conference on theory and applications of satisfiability testing
(1)
27th international conference on database theory
(1)
27th international conference on principles and practice of constraint programming
(1)
30th annual european symposium on algorithms
(1)
32nd international conference on computer aided verification, cav 2020,los angeles, united states,-- computer aided verification - 32nd international conference, cav 2020, proceedings elliit: the linkoping-lund initiative on it and mobile communication
(1)
37th iarcs annual conference on foundations of software technology and theoretical computer science
(1)
computer aided verification (9783642397981)
(1)
dac: annual acm/ieee design automation conference
(1)
formal methods in system design: an international journal
(1)
icse: international conference on software engineering
(1)
principles & practice of constraint programming (9783642406263)
(1)
proceedings of the 2019 aaai/acm conference on ai, ethics, and society
(1)
proceedings of the 2019 acm sigsac conference on computer and communications security
(1)
proceedings of the 23rd international conference on parallel architectures and compilation
(1)
proceedings of the 25th international conference on compiler construction
(1)
proceedings of the 28th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering
(1)
proceedings of the 35th annual acm/ieee symposium on logic in computer science
(1)
proceedings of the 43rd international conference on software engineering
(1)
proceedings of the 43rd international conference on software engineering: companion proceedings
(1)
proceedings of the 44th international conference on software engineering
(1)
proceedings of the 51st annual design automation conference
(1)
proceedings of the the 51st annual design automation conference design automation conference
(1)
sigmod record
(1)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer, cham
(13)
association for computing machinery
(9)
schloss dagstuhl - leibniz-zentrum fur informatik
(7)
schloss dagstuhl. leibniz-zent. inform., wadern
(7)
ieee
(5)
springer nature
(5)
acm
(4)
easychair, manchester
(4)
assoc computing machinery
(3)
springer us
(3)
acm, new york
(2)
edaa
(2)
schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
(2)
springer
(2)
ai access foundation
(1)
fmcad associ
(1)
fmcad association and authors
(1)
ieee computer soc
(1)
lipics - leibniz international proceedings in informatics. 27th international conference on principles and practice of constraint programming (cp 2021)
(1)
lipics - leibniz international proceedings in informatics. 30th annual european symposium on algorithms (esa 2022)
(1)
lipics - leibniz international proceedings in informatics. 37th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2017)
(1)
lipics - leibniz international proceedings in informatics. 48th international symposium on mathematical foundations of computer science (mfcs 2023)
(1)
lipics - leibniz international proceedings in informatics. 50th international colloquium on automata, languages, and programming (icalp 2023)
(1)
schloss dagstuhl - leibniz-zentrum fuer informatik
(1)
springer, [cham]
(1)
springer, heidelberg
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Electronic Resources
(79)
Reports
(70)
Conference Materials
(55)
Reviews
(32)
Academic Journals
(19)
Magazines
(4)
Books
(4)
add
remove
더보기
zoom_in
재검색
주제어
computer science - artificial intelligence
(33)
computer science - logic in computer science
(33)
computer science - data structures and algorithms
(19)
computer science - machine learning
(16)
computing and processing
(10)
model counting
(10)
algorithms
(8)
computer science - computational complexity
(8)
benchmark testing
(7)
complexity
(6)
components, circuits, devices and systems
(6)
scalability
(6)
streaming algorithms
(6)
communication, networking and broadcast technologies
(5)
computer science - discrete mathematics
(5)
enumeration
(5)
approximation
(4)
computer science - databases
(4)
counting
(4)
signal processing and analysis
(4)
software engineering
(4)
approximation algorithms
(3)
arithmetic series
(3)
combinatorial testing
(3)
computational modeling
(3)
configurable software
(3)
constraint satisfaction
(3)
data layout
(3)
data modeling
(3)
discrete element method
(3)
estimation theory
(3)
generation
(3)
hashing
(3)
heterogeneous architectures
(3)
monte carlo method
(3)
probabilistic logic
(3)
runtime
(3)
tools
(3)
boolean algebra
(2)
boolean formulas
(2)
compilers
(2)
computer and information science
(2)
computer science - computer vision and pattern recognition
(2)
computer science - computers and society
(2)
computer science - cryptography and security
(2)
computer science - distributed, parallel, and cluster computing
(2)
computer science - information theory
(2)
computer science - symbolic computation
(2)
data- och informationsvetenskap (datateknik)
(2)
design automation
(2)
add
remove
더보기
zoom_in
재검색
언어
english
(74)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기