咨询与建议

限定检索结果

文献类型

  • 893 篇 期刊文献
  • 438 篇 会议
  • 86 册 图书
  • 1 篇 学位论文

馆藏范围

  • 1,407 篇 电子文献
  • 11 种 纸本馆藏

日期分布

学科分类号

  • 836 篇 理学
    • 746 篇 数学
    • 95 篇 统计学(可授理学、...
    • 58 篇 物理学
    • 20 篇 系统科学
    • 19 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 710 篇 工学
    • 580 篇 计算机科学与技术...
    • 251 篇 软件工程
    • 66 篇 电气工程
    • 54 篇 控制科学与工程
    • 23 篇 电子科学与技术(可...
    • 22 篇 信息与通信工程
    • 12 篇 机械工程
    • 11 篇 力学(可授工学、理...
    • 10 篇 化学工程与技术
    • 9 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 建筑学
  • 81 篇 管理学
    • 50 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 9 篇 工商管理
    • 6 篇 公共管理
  • 36 篇 经济学
    • 21 篇 应用经济学
    • 20 篇 理论经济学
  • 29 篇 哲学
    • 26 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 9 篇 教育学
    • 6 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 2 篇 历史学

主题

  • 1,418 篇 recursive functi...
  • 181 篇 mathematical the...
  • 103 篇 logical theorems
  • 92 篇 recursion
  • 83 篇 algorithms
  • 78 篇 integers
  • 64 篇 natural numbers
  • 64 篇 recursively enum...
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 47 篇 arithmetic
  • 46 篇 recursion theory
  • 45 篇 mathematical ind...
  • 43 篇 degree of unsolv...
  • 37 篇 polynomials
  • 32 篇 approximation
  • 29 篇 algebra
  • 27 篇 coefficients
  • 26 篇 predicates
  • 26 篇 symbolic & mathe...

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 massachusetts in...
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 massachusetts in...
  • 4 篇 university of ca...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 università degli...
  • 3 篇 ohio state univ ...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 university of wi...
  • 3 篇 department of co...
  • 3 篇 natl univ singap...
  • 3 篇 hokkaido univ di...
  • 3 篇 univ chicago dep...
  • 3 篇 purdue universit...

作者

  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 zeugmann thomas
  • 7 篇 jockusch cg
  • 7 篇 remmel jb
  • 7 篇 wiehagen rolf
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 stephan f
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 owings jc
  • 5 篇 byerly re
  • 5 篇 freivalds r
  • 4 篇 young pr
  • 4 篇 slaman ta

语言

  • 1,362 篇 英文
  • 41 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive Functions"
1418 条 记 录,以下是181-190 订阅
排序:
ON LEARNING MULTIPLE CONCEPTS IN PARALLEL
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 1995年 第1期50卷 41-52页
作者: KINBER, E SMITH, CH VELAUTHAPILLAI, M WIEHAGEN, R UNIV MARYLAND DEPT COMP SCICOLLEGE PKMD 20742 GEORGETOWN UNIV DEPT COMP SCIWASHINGTONDC 20057 UNIV KAISERSLAUTERN DEPT COMP SCID-67653 KAISERSLAUTERNGERMANY
A class U of recursive functions is said to be finitely (a, b) learnable if and only if for any b tuple of pairwise distinct functions from U at least a of the b functions have been learned correctly from examples of ... 详细信息
来源: 评论
AN INHERENTLY ITERATIVE ALGORITHM FOR THE GRZEGORCZYK HIERARCHY
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第2期125卷 355-360页
作者: MATTHEWS, RE Department of Mathematics and Computer Science Armstrong State College 11935 Abercorn Extension Savannah GA 31419 USA
Grzegorczyk (1953) defines a recursive hierarchy f(i)(x). The diagonal function f(x)(x) majorizes every primitive recursive function and gives an example of an effectively computable, nonprimitive recursive function. ... 详细信息
来源: 评论
Programmable wavelet packet transform processor
收藏 引用
ELECTRONICS LETTERS 1999年 第6期35卷 449-450页
作者: Wu, XD Li, YM Chen, HY Tsing Hua Univ Inst Microelect Beijing 100084 Peoples R China
A programmable one-dimensional discrete wavelet packet transform processor is presented. Compared with existing architectures, the proposed processor can carry out both wavelet transforms and wavelet packet transforms... 详细信息
来源: 评论
What is Church's thesis? An outline
收藏 引用
MINDS AND MACHINES 2002年 第4期12卷 519-520页
作者: Doyle, J N Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA
Church's Thesis states that the effectively computable functions are the same as the recursive functions. This paper outlines the characters of the thesis, with the aim of casting doubt on the formulation and accu... 详细信息
来源: 评论
Multiplication-free 8x8 2D DCT architecture using algebraic integer encoding
收藏 引用
ELECTRONICS LETTERS 2004年 第20期40卷 1310-1311页
作者: Dimitrov, V Wahid, K Jullien, G Univ Calgary Dept Elect & Comp Engn ATISP Lab Calgary AB T2N 1N4 Canada
A novel architecture for a 2D 8 x 8 discrete cosine transform (DCT) is presented. The architecture uses a new algebraic integer encoding of a I D radix-8 DCT that allows the separable computation of a 2D 8 x 8 DCT wit... 详细信息
来源: 评论
Rendering the intersections of implicit surfaces
收藏 引用
IEEE COMPUTER GRAPHICS AND APPLICATIONS 2003年 第5期23卷 70-77页
作者: Suffern, KG Balsys, RJ Univ Technol Sydney Fac Informat Technol POB 123 Broadway NSW 2007 Australia Univ Cent Queensland Fac Informat & Commun Rockhampton Qld 4702 Australia
Presents algorithms for rendering the intersection curves of implicit surfaces using octree-based recursive space subdivision techniques. Influence of interval techniques used during the subdivision process in increas... 详细信息
来源: 评论
State bounding with ellipsoidal set description of the uncertainty
收藏 引用
INTERNATIONAL JOURNAL OF CONTROL 1996年 第5期65卷 847-866页
作者: Maksarov, DG Norton, JP [a] School of Electronic and Electrical Engineering University of Birmingham Edgbaston U.K. Birmingham
The paper presents recursive algorithms for state bounding, using ellipsoidal sets to describe the state uncertainties and to bound the process and observation noises. The algorithms optimize each stage of updating, a... 详细信息
来源: 评论
On the identification of non-stationary linear processes
收藏 引用
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE 2000年 第3期31卷 273-286页
作者: Bouzeghoub, MC Ellacott, SW Easdown, A Brown, M Univ Brighton Sch Comp & Math Sci Brighton BN1 9QN E Sussex England Univ Southampton Dept Elect & Comp Sci ISIS Grp Southampton SO9 5NH Hants England
Identification algorithms for non-stationary linear processes are reviewed. In control, signal processing and many other areas of applications, to track the time varying dynamics of a system is a fundamental problem. ... 详细信息
来源: 评论
Explicit formulas for degenerate Bernoulli numbers
收藏 引用
DISCRETE MATHEMATICS 1996年 第1-3期162卷 175-185页
作者: Howard, FT WAKE FOREST UNIV DEPT MATH & COMP SCIWINSTON SALEMNC 27109
The 'degenerate' Bernoulli numbers beta(m)(lambda) can be defined by means of the exponential generating function x((1+lambda x)(1/lambda)-1)(-1). L. Carlitz proved an analogue of the Staudt-Clausen theorem fo... 详细信息
来源: 评论
Closed-Loop Estimation for Randomly Sampled Measurements in Target Tracking System
收藏 引用
MATHEMATICAL PROBLEMS IN ENGINEERING 2014年 第1期2014卷 1-12页
作者: Jin Xue-bo Lian Xiao-feng Su Ting-li Shi Yan Miao Bei-bei Beijing Technol & Business Univ Coll Comp & Informat Engn Beijing 100048 Peoples R China
Many tracking applications need to deal with the randomly sampled measurements, for which the traditional recursive estimation method may fail. Moreover, getting the accurate dynamic model of the target becomes more d... 详细信息
来源: 评论