搜索页_Logic

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(670)	馆藏期刊(27)	院士团队服务(3)	CNKI期刊论文0611(343)
中国地质文献-英文(1928)	馆藏书目(112)	万方学术会议(41)	知网期刊论文(109261)
中国地质文献-中文(16)	地学标准(4)	CNKI会议论文(259)	万方学位论文(247)
馆藏电子书[解放前](10)	Springer电子图书(1864)	CNKI学位论文(122561)	标准(7)

在“Elsevier电子期刊”中，命中：37,089条，耗时：0.0289856 秒

在所有数据库中总计命中：237,353条

1.Experimental realisation of parallel optical logic gates and combinational logic using multiple beam interference

作者：Ruchi Bhardwaj^a ; Saurabh Babu Saxena^a ; Parag Sharma^a ; ^b ; ^{sharmap2@nplindia.org" class="auth_mail" title="E-mail the corresponding author} ; ^{parag.physics@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; V.K. Jaiswal^a ; ^b ; Ranjana Mehrotra^a ; ^b

关键词：Multiple beam interference (MBI) ; Michelson interferometer ; Optical logic gates ; Optical computing

刊名：Optik - International Journal for Light and Electron Optics

出版年：2017

2.Fuzzy topology via fuzzy geometric logic with graded consequence

作者：Mihir K. Chakraborty^a ; ^{mihirc4@gmail.com} ; Purbita Jana^b ; ¹ ; ^{purbita_presi@yahoo.co.in}

关键词：Geometric logic ; Fuzzy geometric logic ; Graded frame

刊名：International Journal of Approximate Reasoning

出版年：2017

3.A logical characterization of timed regular languages

作者：Marcello M. Bersani^a ; ^{marcellomaria.bersani@polimi.it} ; Matteo Rossi^a ; ^{matteo.rossi@polimi.it} ; Pierluigi San Pietro^a ; ^b ; ^{pierluigi.sanpietro@polimi.it}

关键词：Timed automata ; Dense-time temporal logic ; Constraint linear temporal logic

刊名：Theoretical Computer Science

出版年：2017

4.Configurable memristive logic block for memristive-based FPGA architectures

作者：Patrick W.C. Ho ; ^{kecx2pha@nottingham.edu.my} ; Haider Abbas F. Almurib ; T. Nandha Kumar

关键词：FPGA Architecture ; Memristor ; Logic block ; Switch block ; Configurable logic block

刊名：Integration, the VLSI Journal

出版年：2017

5.Configuration logics: Modeling architecture styles

关键词：Architecture styles ; Coordination ; Configuration logics ; Component interaction ; BIP

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

6.A multiple-valued logic approach for multigranulation rough set model

作者：Yanhong She^a ; ^b ; ^{yanhongshe@gmail.com} ; ^{yanhongshe@xsyu.edu.cn} ; Xiaoli He^b ; Huixian Shi^c ; ^{rubyshi@163.com} ; Yuhua Qian^a

关键词：Multigranulation rough set ; Three-valued logic ; Three-way decision ; Five-valued logic

刊名：International Journal of Approximate Reasoning

出版年：2017

7.Distributional logic programming for Bayesian knowledge representation

作者：Nicos Angelopoulos^a ; ^b ; ^{nicos.angelopoulos@sanger.ac.uk} ; James Cussens^c

关键词：Probabilistic logic programming ; Bayesian inference ; Bayesian networks ; Classification and regression trees ; Knowledge representation ; Logic programming

刊名：International Journal of Approximate Reasoning

出版年：2017

8.A parity checker circuit based on microelectromechanical resonator logic elements

作者：Md Abdullah Al Hafiz^a ; ^{abdullah.hafiz@kaust.edu.sa} ; Ren Li^a ; Mohammad I. Younis^b ; Hossein Fariborzi^a

关键词：Micro-resonator ; Mechanical computing ; Logic gate ; Parity checker

刊名：Physics Letters A

出版年：2017

9.The act of playing and the logical and mathematical reasoning in digital games: The mathematical experience in the digital games

作者：Cristiano Natal Toné ; is ^{cristoneis@gmail.com}

关键词：Puzzle ; Logical mathematical reasoning ; Epistemological games ; Knowledge

刊名：Entertainment Computing

出版年：2017

10.Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

作者：Má ; ria Svoreňová ; ^a ; ^b ; ^{maria.svorenova@cs.ox.ac.uk} ; Jan Křetí ; nský ; ^c ; ^{jan.kretinsky@tum.de} ; Martin Chmelí ; k^d ; ^{martin.chmelik@ist.ac.at} ; Krishnendu Chatterjee^d ; ^{kchatterjee@ist.ac.at} ; Ivana Černá ; ^a ; ^{cerna@muni.cz} ; Calin Belta^e ; ^{cbelta@bu.edu}

关键词：Control ; Linear stochastic system ; Temporal logic ; Abstraction refinement ; Games

刊名：Nonlinear Analysis: Hybrid Systems

出版年：2017

1

2

3

4

5

6

7

8

9

查看站内搜索结果(8)

按检索点细分(37089)

刊名(3243)

题名(6068)

作者(12)

关键词(8110)

文摘(31345)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700