전남대학교 중앙도서관

링크메뉴

주메뉴

- 게시판
- 전시마당

- 게시판
- 전시마당

- 대출반납서비스
- 도서신청서비스
- 시설이용서비스
- 장애학생 지원서비스
- 타기관이용서비스
- 무인예약대출 서비스
- 학위논문파일 제출
- 개인정보관리
- 원문복사 신청/조회
- 상호대차 신청/조회
- 게시판
- 전시마당

도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색

전자자료 상세검색

통합검색
소장자료
전자자료

통합검색

결과내 검색

검색어 [키워드: "Zuliani, Paolo"]

총 198건

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.

1/20 페이지

검색결과수정

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- Academic Journals (95)
- eBooks (36)
- Conference Materials (34)
자료유형

Count Name
- Academic Journals (95)
- eBooks (36)
- Conference Materials (34)
- Reports (17)
- Reviews (16)
- Books (10)
- Magazines (3)
- Dissertations (1)
- Electronic Resources (1)
닫기
주제
- biofilms (14)
- computer science - logic in computer science (10)
- statistical model checking (8)
주제

Count Name
- biofilms (14)
- computer science - logic in computer science (10)
- statistical model checking (8)
- synthetic biology (8)
- hybrid systems (7)
- stochastic systems (7)
- cancer (6)
- computational fluid dynamics (6)
- computational modeling (6)
- computing and processing (6)
- fluid dynamics (6)
- microbial communities (6)
- quantum physics (6)
- systems biology (6)
- hydrodynamics (5)
- model check (5)
- model checking (5)
- verification (5)
- bacterial biofilms (4)
- bacteriology (4)
- biochemistry (4)
- biofilm (4)
- biology and life sciences (4)
- cell proliferation (4)
- classical mechanics (4)
- continuum mechanics (4)
- damage mechanics (4)
- deformation (4)
- discrete element method (4)
- estimation (4)
- exopolysaccharides (4)
- fluid mechanics (4)
- glycobiology (4)
- growth (4)
- microbiology (4)
- occupational exposure (4)
- parameter estimation (4)
- physical sciences (4)
- physics (4)
- polysaccharides (4)
- probability (4)
- programming languages (4)
- proteins (4)
- quantum computers (4)
- research article (4)
- bacteria (3)
- bayesian analysis (3)
- bioengineering (3)
- biological systems (3)
- communication, networking and broadcast technologies (3)
닫기
Lexile Range
- 1301-1500+ (4)
- 1101-1300 (1)
간행물
- automated reasoning for systems biology and medicine (17)
- plos computational biology (12)
- acta informatica (9)
간행물

Count Name
- automated reasoning for systems biology and medicine (17)
- plos computational biology (12)
- acta informatica (9)
- plos one (8)
- scientific reports (5)
- bioinformatics (4)
- biotechnology and bioengineering (4)
- bmc bioinformatics (4)
- formal methods in system design (4)
- international journal on software tools for technology transfer (4)
- nature communications (4)
- occupational and environmental medicine (4)
- physical review a (4)
- science of the total environment (4)
- frontiers in microbiology (3)
- 18th acm international conference on hybrid systems: computation and control---hscc'15 (2)
- aip conference proceedings (2)
- biotechnology & bioengineering (2)
- british journal of dermatology (2)
- current bioinformatics (2)
- empirical software engineering (2)
- formal methods in system design: an international journal (2)
- measurement (2)
- medicina del lavoro (2)
- proceedings of the 18th international conference on hybrid systems (2)
- proceedings of the 18th international conference on hybrid systems: computation and control (2)
- static analysis: 22nd international symposium, sas 2015, saint-malo, france, september 9-11, 2015, proceedings (2)
- unconventional computation (2)
- 16th asia and south pacific design automation conference (asp-dac 2011), design automation conference (asp-dac), 2011 16th asia and south pacific (1)
- 2011 50th ieee conference on decision and control and european control conference, decision and control and european control conference (cdc-ecc), 2011 50th ieee conference on (1)
- 2012 ninth international conference on quantitative evaluation of systems, quantitative evaluation of systems (qest), 2012 ninth international conference on (1)
- 2020 18th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2020 18th acm-ieee international conference on (1)
- 2023 ieee international conference on systems, man, and cybernetics (smc), systems, man, and cybernetics (smc), 2023 ieee international conference on (1)
- 28th international conference on dna computing and molecular programming (1)
- acm transactions on quantum computing (1)
- algebraic and numeric biology (1)
- computational methods in systems biology (1)
- e-government: towards electronic democracy (1)
- electronic notes in theoretical computer science (1)
- empirical software engineering: an international journal (1)
- entcs: electronic notes in theoretical computer science (1)
- first joint ieee/ifip symposium on theoretical aspects of software engineering (tase '07), theoretical aspects of software engineering, 2007. tase '07. first joint ieee/ifip symposium on (1)
- hscc'10---hybrid systems: computation and control (1)
- hscc'12---hybrid systems: computation and control (1)
- journal of computational science (1)
- la medicina del lavoro (1)
- proceedings of the 13th acm international conference on hybrid systems: computation and control (1)
- proceedings of the 15th acm international conference on hybrid systems: computation and control (1)
- proceedings of the 16th asia and south pacific design automation conference (1)
- proceedings of the 2004 workshop on quantitative techniques for software agile process (1)
닫기
출판사
- springer international publishing (27)
- springer nature (21)
- public library of science (15)
출판사

Count Name
- springer international publishing (27)
- springer nature (21)
- public library of science (15)
- ieee (9)
- springer berlin heidelberg (9)
- association for computing machinery (6)
- wiley (6)
- elsevier b.v. (5)
- public library science (5)
- acm, new york (4)
- biomed central (3)
- nature publishing group (3)
- springer (3)
- amer physical soc (2)
- american institute of physics (2)
- bmj publishing group (2)
- elsevier (2)
- mattioli 1885 (2)
- nature publishing group uk (2)
- oxford university press / usa (2)
- springer us (2)
- springer, cham (2)
- springer-verlag (2)
- wiley-blackwell (2)
- bentham science publ ltd (1)
- biomed central ltd (1)
- bmj pub. group (1)
- de gruyter open (1)
- elsevier ltd (1)
- elsevier sci ltd (1)
- european respiratory soc journals ltd (1)
- frontiers media s.a. (1)
- frontiers media sa (1)
- frontiers research foundation (1)
- ieee-inst electrical electronics engineers inc (1)
- kluwer academic publishers (1)
- mattioli 1885 spa (1)
- nature pub. group (1)
- oxford univ press (1)
- oxford university press (1)
- schloss dagstuhl. leibniz-zent. inform., wadern (1)
- springer heidelberg (1)
- springer nature switzerland (1)
- springer, [cham] (1)
- springer, berlin (1)
- springer, heidelberg (1)
- university of oxford (1)
닫기
언어
- english (136)
Publication Year
- 2019 (2)
- 2005 (1)
- 2009 (1)
Publication Year

Count Name
- 2019 (2)
- 2005 (1)
- 2009 (1)
- 2010 (1)
- 2011 (1)
- 2015 (1)
- 2016 (1)
- 2017 (1)
- 2018 (1)
- 2021 (1)
- 2022 (1)
- 2023 (1)
- 2024 (1)
닫기
수록데이터베이스
- Complementary Index (36)
- Springer Nature eBooks (36)
- Science Citation Index Expanded (27)
수록데이터베이스

Count Name
- Complementary Index (36)
- Springer Nature eBooks (36)
- Science Citation Index Expanded (27)
- arXiv (17)
- MathSciNet via EBSCOhost (16)
- MEDLINE (16)
- Academic Search Complete (14)
- ACM Full-Text Collection (8)
- Springer Nature Journals (8)
- Supplemental Index (7)
- IEEE Xplore Digital Library (6)
- ScienceDirect (3)
- Journals@OVID (2)
- British Library EThOS (1)
- JSTOR Journals (1)
닫기

PQDT
CAJ
RISS
PsycINFO

전체선택

Safe Reach Set Computation via Neural Barrier Certificates

보고서

Author: Abate, Alessandro
Bogomolov, Sergiy
Edwards, Alec
Potomkin, Kostiantyn
Soudjani, Sadegh
Zuliani, Paolo
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Barrier Certificates for a Computational Model of Epileptic Seizures

회의자료

issue: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :4728-4733 Oct, 2023
Author: Ingham, John F.
Wang, Yujiang
Zuliani, Paolo
Soudjani, Sadegh
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Verification of Quantum Systems using Barrier Certificates

보고서

Author: Lewis, Marco
Zuliani, Paolo
Soudjani, Sadegh
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Matrix Representation of Arbitrarily Controlled Quantum Gates

보고서

Author: Lewis, Marco
Soudjani, Sadegh
Zuliani, Paolo
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Quantum Computer Benchmarking via Quantum Algorithms

보고서

Author: Georgopoulos, Konstantinos
Emary, Clive
Zuliani, Paolo
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

회의자료

issue: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2020 18th ACM-IEEE International Conference on. :1-11 Dec, 2020
Author: Vasileva, Mariia
Shmarov, Fedor
Zuliani, Paolo
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Formal Verification of Quantum Programs: Theory, Tools and Challenges

보고서

issue: ACM Transactions on Quantum Computing 5, 1, Article 1 (March 2024), 35 pages
Author: Lewis, Marco
Soudjani, Sadegh
Zuliani, Paolo
DB Label: Database : arXiv