搜索页_+Temporal+logic

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(21)	SpringerLink电子期刊(2471)	GSW全文库(18)
Wiley电子期刊(2)	ProQuest学位论文(124)	Elsevier电子期刊(1299)
Springer电子图书(68)	NATURE电子期刊(4)	ACS电子期刊(6)

在“Elsevier电子期刊”中，命中：1,299条，耗时：0.0249883 秒

在所有数据库中总计命中：4,013条

1.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

2.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

3.Game semantics for non-monotonic intensional logic programming

作者：Chrysida Galanaki^a ; ^{chrysida@di.uoa.gr} ; Christos Nomikos^b ; ^{cnomikos@cs.uoi.gr} ; Panos Rondogiannis^a ; ^{prondo@di.uoa.gr}

关键词：68N15 ; 68N17 ; 68Q55 ; 91A05

刊名：Annals of Pure and Applied Logic

出版年：2017

4.Unfolding social content evolution along time and semantics

作者：Carmen De Maio^a ; ^{cdemaio@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Giuseppe Fenza^b ; ^{gfenza@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Vincenzo Loia^b ; ^{loia@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Francesco Orciuoli^b ; ^{forciuoli@unisa.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Temporal Concept Analysis ; Social media ; Data mining ; Fuzzy Formal Concept Analysis ; Description Logic

刊名：Future Generation Computer Systems

出版年：2017

5.Heterogeneous and asynchronous networks of timed systems

作者：José ; L. Fiadeiro^a ; ^{fiadeiroj@me.com} ; Antó ; nia Lopes^b

关键词：Asynchronous process networks ; Component algebra ; Heterogeneous time ; Orchestration ; Temporal logic

刊名：Theoretical Computer Science

出版年：2017

6.A micrological study of negation

作者：Paul-André ; Melliè ; s¹ ; ^{mellies@irif.fr}

关键词：03F52 ; 18A15 ; 18D10 ; 18D15

刊名：Annals of Pure and Applied Logic

出版年：2017

7.Reasoning about equilibria in game-like concurrent systems

作者：Julian Gutierrez ; ^{Julian.Gutierrez@cs.ox.ac.uk} ; Paul Harrenstein ; Michael Wooldridge

关键词：03B44 ; 03B70 ; 68T27 ; 91A40

刊名：Annals of Pure and Applied Logic

出版年：2017

8.Transmission performances of solitons in optical wired link

作者：I.S. Amiri ; M.M. Ariannejad ; M. Ghasemi ; H. Ahmad

关键词：Microring resonator ; Chaotic signals ; Spatial and temporal solitons

刊名：Applied Computing and Informatics

出版年：2017

9.On temporal logics with data variable quantifications: Decidability and complexity

作者：Fu Song^a ; ^b ; Zhilin Wu^c ; ^d ; ^{wuzl@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Temporal logics ; Data variable quantifications ; Satisfiability ; Model checking ; Decidability and complexity ; Alternating register automata ; Data automata

刊名：Information and Computation

出版年：2016

10.An adaptive Mealy machine model for monitoring crop status

作者：Berk Ü ; stü ; ndağ ; ^{bustundag@itu.edu.tr}

关键词：plant phenology ; monitoring ; yield prediction ; finite automata ; Mealy machine ; remote sensing

刊名：Journal of Integrative Agriculture

出版年：2017

按检索点细分(1299)

题名(178)

关键词(381)

文摘(1056)

按出版年细分(1299)

2027年及以后(50)

2017年(10)

2016年(89)

2015年(39)

2014年(2)

2013年(62)

2012年(71)

2011年(74)

2010年(57)

2009年(87)

2008年(71)

2007年(95)

2006年(88)

2005年(64)

2004年(45)

2003年(53)

2002年(42)

2001年(54)

2000年(38)

2000年及以前(208)