设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
在“
Elsevier电子期刊
”中,
命中:
27
条,耗时:小于0.01 秒
1.
On scaling dynamic programming problems with a multithreaded
tabling
Prolog system
作者:
Miguel Areias
;
miguel-areias@dcc.fc.up.pt
;
Ricardo Rocha
ricroc@dcc.fc.up.pt
关键词:
Dynamic programming
;
Multithreading
;
Tabling
;
Prolog
;
Scalability
刊名:Journal of Systems and Software
出版年:2017
2.
Investigating dynamic causalities in reaction systems
作者:
Roberto Barbuti
barbuti@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
;
Roberta Gori
;
gori@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
;
Francesca Levi
levifran@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
;
Paolo Milazzo
milazzo@di.unipi.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Reaction systems
;
Dynamic causalities
;
Abstract interpretation
刊名:Theoretical Computer Science
出版年:2016
3.
鈥楻ound
tabling
鈥?sustainability: Lessons from the biofuel industry
作者:
Stefano Ponte
Sp.dbp@cbs.dk" class="auth_mail
关键词:
Private authority
;
Certification
;
Sustainability roundtables
;
Biofuels
;
RSB
;
ISCC
刊名:Geoforum
出版年:July 2014
4.
Stratification and segregation features of pulverized electronic waste in flowing film concentration
作者:
A. Vidyadhar
;
G. Chalavadi
;
A. Das
;
das.avimanyu@gmail.com
;
avimanyu_das@yahoo.com
关键词:
Printed circuit boards
;
Tabling
;
Settling distance
;
Electronic waste
;
Metal recovery
刊名:Journal of Environmental Management
出版年:2013
5.
Railway operations, time-
tabling
and control
作者:
Marin Marinov
a
;
1
;
marin.marinov@ncl.ac.uk
;
?smail ?ahin
b
;
Stefano Ricci
c
;
Gordana Vasic-Franklin
a
关键词:
Rail operations
;
Trains
;
Operating forms
;
Timetables
;
DSS
;
Rail yards
;
Stations
;
Networks
;
Analytical models
;
Simulation
刊名:Research in Transportation Economics
出版年:2013
6.
Intelligent Examination Time
tabling
Software
作者:
Masri Ayob
;
a
;
masri@ftsm.ukm.my" rel="nofollow
;
Abdul Razak Hamdan
a
;
Salwani Abdullah
a
;
Zalinda Othman
a
;
Mohd Zakree Ahmad Nazri
a
;
Kiftiah Abd Razak
a
;
Rohana Tan
a
;
Norashikin Baharom
a
;
Hilmiah Abd Ghafar
a
;
Rashidah Md Dali
a
;
Nasser R. Sabar
a
关键词:
examination
;
time-table
;
intelligent time-
tabling
software
刊名:Procedia - Social and Behavioral Sciences
出版年:2011
7.
Outer Joins in a Deductive Database System
作者:
Fernando Sá
;
enz-Pé
;
rez
1
;
fernan@sip.ucm.es
关键词:
Outer Joins
;
Deductive Databases
;
Datalog
;
SQL
刊名:Electronic Notes in Theoretical Computer Science
出版年:2012
8.
Intelligent Examination Time
tabling
Software
作者:
Masri Ayob
;
a
;
masri@ftsm.ukm.my"" rel=""nofollow
;
Abdul Razak Hamdan
a
;
Salwani Abdullah
a
;
Zalinda Othman
a
;
Mohd Zakree Ahmad Nazri
a
;
Kiftiah Abd Razak
a
;
Rohana Tan
a
;
Norashikin Baharom
a
;
Hilmiah Abd Ghafar
a
;
Rashidah Md Dali
a
;
Nasser R. Sabar
a
关键词:
examination
;
time-table
;
intelligent time-
tabling
software
刊名:Procedia - Social and Behavioral Sciences
出版年:2011
9.
Public health science systems and policies: the UK in a European context
作者:
Prof Mark McCarthy
;
MB
a
;
m.mccarthy@ucl.ac.uk
;
Prof Aileen Clarke
;
MD
b
;
Mariana Dyakova
;
MD
b
刊名:The Lancet
出版年:2012
10.
Enhancing global SLS-resolution with loop cutting and
tabling
mechanisms
作者:
Shen
;
Yi-Dong
;
You
;
Jia-Huai
;
Yuan
;
Li-Yan
关键词:
Logic programming
;
The well-founded semantics
;
Global SLS-resolution
;
Loop cutting
;
Tabling
刊名:Theoretical Computer Science
出版年:2004
1
2
3
按检索点细分(27)
题名(8)
关键词(13)
文摘(20)
按出版年细分(27)
2027年及以后(1)
2017年(1)
2016年(1)
2013年(2)
2012年(2)
2011年(2)
2009年(1)
2006年(2)
2005年(3)
2004年(2)
2003年(1)
2001年(1)
2000年(6)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.