搜索页_Instantiation

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：523条，耗时：0.0119913 秒

在所有数据库中总计命中：1,070条

1.Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model

作者：Antonio Faonio^a ; Jesper Buus Nielsen^a ; Daniele Venturi^b ; ^{daniele.venturi@unitn.it}

关键词：Signature scheme ; Leakage resilience ; Noisy leakage ; Bounded retrieval model

刊名：Theoretical Computer Science

出版年：2017

2.Dynamic state machines for modelling railway control systems

作者：M. Benerecetti^a ; R. De Guglielmo^c ; U. Gentile^a ; S. Marrone^b ; N. Mazzocca^a ; R. Nardone^a ; ^{roberto.nardone@unina.it} ; A. Peron^a ; L. Velardi^c ; V. Vittorini^a

关键词：Dynamic STate machines ; Promela model ; ERTMS/ETCS ; Control system ; Verification and validation

刊名：Science of Computer Programming

出版年：2017

3.Scalable learning and inference in Markov logic networks

作者：Zhengya Sun ; ^{zhengya.sun@ia.ac.cn} ; Yangyang Zhao ; Zhuoyu Wei ; Wensheng Zhang ; Jue Wang

关键词：Markov logic networks ; Structure learning ; Probabilistic inference ; Large scale machine learning

刊名：International Journal of Approximate Reasoning

出版年：2017

4.Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification

作者：Qibo Yang ; Jin Tian ; ^{tianjin@buaa.edu.cn} ; Tingdi Zhao

关键词：Functional Resonance Analysis Method (FRAM) ; System safety ; Air Traffic Management ; Formal verification ; Socio-technical system

刊名：Safety Science

出版年：2017

5.SVitchboard-II and FiSVer-I: Crafting high quality and low complexity conversational english speech corpora using submodular function optimization

作者：Yuzong Liu ; ^yzliu@uw.edu ; Rishabh Iyer ; Katrin Kirchhoff ; Jeff Bilmes

关键词：Submodular function optimization ; Automatic speech recognition ; Speech corpus

刊名：Computer Speech & Language

出版年：2017

6.Empathy and Its Discontents

作者：Paul Bloom¹ ; ^@ ; ^{paul.bloom@yale.edu}

关键词：empathy ; compassion ; morality

刊名：Trends in Cognitive Sciences

出版年：2017

7.Formal verification of complex business processes based on high-level Petri nets

作者：Ahmed Kheldoun^a ; Kamel Barkaoui ; ^b ; ^{kamel.barkaoui@cnam.fr} ; Malika Ioualalen^a

关键词：Business process modelling ; BPMN ; RECATNets ; Conditional rewriting logic ; Maude language and tool

刊名：Information Sciences

出版年：2017

8.The Configurable SAT Solver Challenge (CSSC)

作者：Frank Hutter^a ; ^{fh@cs.uni-freiburg.de} ; Marius Lindauer^a ; ^{lindauer@cs.uni-freiburg.de} ; Adrian Balint^b ; ^{adrian.balint@uni-ulm.de} ; Sam Bayless^c ; ^{sbayless@cs.ubc.ca} ; Holger Hoos^c ; ^{hoos@cs.ubc.ca} ; Kevin Leyton-Brown^c ; ^{kevinlb@cs.ubc.ca}

关键词：Propositional satisfiability ; Algorithm configuration ; Empirical evaluation ; Competition

刊名：Artificial Intelligence

出版年：2017

9.A toolset for efficient privacy-oriented virtual network embedding and its instantiation on SDN/OpenFlow-based substrates

作者：Leonardo Richter Bays ; ^{lrbays@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author} ; Rodrigo Ruas Oliveira ^{ruas.oliveira@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author} ; Luciana S. Buriol ^{buriol@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author} ; Marinho Barcellos ^{marinho@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author} ; Luciano Paschoal Gaspary ; ^{paschoal@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author}

关键词：Network virtualization ; Virtual network embedding ; Privacy ; Software-defined networking

刊名：Computer Communications

出版年：2016

10.Large-scale system development using Abstract Data Types and refinement

作者：Andreas Fü ; rst^a ; ^{fuersta@inf.ethz.ch" class="auth_mail" title="E-mail the corresponding author} ; Thai Son Hoang^b ; ¹ ; ^{T.S.Hoang@ecs.soton.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; David Basin^a ; ^{basin@inf.ethz.ch" class="auth_mail" title="E-mail the corresponding author} ; Naoto Sato^c ; ^{naoto.sato.je@hitachi.com" class="auth_mail" title="E-mail the corresponding author} ; Kunihiko Miyazaki^c ; ^{kunihiko.miyazaki.zt@hitachi.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Instantiation ; Refinement ; Event-B ; Abstract Data Types (ADTs)

刊名：Science of Computer Programming

出版年：2016

按检索点细分(523)

题名(42)

关键词(26)

文摘(505)

按出版年细分(523)

2027年及以后(19)

2017年(8)

2016年(30)

2015年(4)

2014年(3)

2013年(24)

2012年(32)

2011年(38)

2010年(30)

2009年(47)

2008年(33)

2007年(28)

2006年(41)

2005年(18)

2004年(22)

2003年(20)

2002年(13)

2001年(19)

2000年(15)

2000年及以前(79)