设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(211)
知网期刊论文(78)
在“
SpringerLink电子期刊
”中,
命中:
17
条,耗时:0.0210218 秒
在所有数据库中总计命中:
289
条
1.
Exact Discretization of 3-Speed Rational Signal
Machine
s into Cellular Automata
关键词:
Abstract geometrical computation
;
Automatic discretization
;
Cellular automata
;
Signal
machine
s
;
Unconventional models of computation
刊名:Lecture Notes in Computer Science
出版年:2016
2.
Congratulations, It’s a Boy! Bench-Marking Children’s Perceptions of the Robokind
Zeno
-R25
关键词:
Human
;
robot interaction
;
Humanoid
;
Psychology
刊名:Lecture Notes in Computer Science
出版年:2016
3.
Managing Dynamism of Multimodal Detection in
Machine
Vision Using Selection of Phenotypes
作者:
Anup Kale (18)
Zeno
n Chaczko (18)
Imre Rudas (19)
关键词:
Environmental uncertainty
;
Multimodal approach
;
Feature subset selection
;
Genetic algorithm
刊名:Lecture Notes in Computer Science
出版年:2013
4.
Zeno
, Hercules and the Hydra: Downward Rational Termination Is Ackermannian
作者:
Ranko Lazi? (18)
Jo?l Ouaknine (19)
James Worrell (19)
刊名:Lecture Notes in Computer Science
出版年:2013
5.
Output concepts for accelerated Turing
machine
s
作者:
Petrus H. Potgieter and Elem¨¦r E. Rosinger
关键词:
Accelerated Turing
machine
;
Zeno
machine
;
Non
;
standard output concepts
;
Ultrafilter accepting computations
;
Thomson’
;
s lamp
刊名:Natural Computing
出版年:2010
6.
Deriving non-
Zeno
behaviour models from goal models using ILP
作者:
D. Alrajeh
;
J. Kramer
;
A. Russo and S. Uchitel
关键词:
Goal
;
oriented requirements engineering
;
Zeno
behaviour
;
Operational requirements
;
Model checking
;
Inductive learning
刊名:Formal Aspects of Computing
出版年:2010
7.
Nitrate transport in cucumber leaves is an inducible process involving an increase in plasma membrane H+-ATPase activity and abundance
作者:
Miroslav Nikolic (1)
Stefano Cesco (2)
Rossella Monte (3)
Nicola Tomasi (3)
Stefano Gottardi (3)
Anita Zamboni (4)
Roberto Pinton (3)
Zeno
Varanini (4)
刊名:BMC Plant Biology
出版年:2012
8.
A Brief Critique of Pure Hypercomputation
作者:
Paolo Cotogno
关键词:
Diagonalization
;
Halting problem
;
Hypercomputation
;
Super
;
task
;
Zeno
machine
刊名:Minds and
Machine
s
出版年:2009
9.
Morphotronic System Applications
作者:
Zeno
n Chaczko
;
Germano Resconi
关键词:
Software
;
Turing
Machine
;
Morphotronic System
刊名:Lecture Notes in Computer Science
出版年:2009
10.
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks
作者:
Zeno
n Chaczko
;
Perez Moses
;
Christopher Chiu
关键词:
Software Engineering
;
Extended Kohonen Wireless Sensor Networks (WSN)
;
Sensor Actor Networks (SANET)
刊名:Lecture Notes in Computer Science
出版年:2009
1
2
按检索点细分(17)
关键词(2)
文摘(7)
按出版年细分(17)
2016年(2)
2013年(2)
2012年(1)
2010年(2)
2009年(4)
2008年(1)
2005年(2)
2001年(2)
2000年及以前(1)
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
.