咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,351 篇 电子文献
  • 10 种 纸本馆藏

日期分布

学科分类号

  • 780 篇 理学
    • 693 篇 数学
    • 57 篇 物理学
    • 43 篇 统计学(可授理学、...
    • 20 篇 系统科学
    • 14 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 667 篇 工学
    • 536 篇 计算机科学与技术...
    • 252 篇 软件工程
    • 65 篇 电气工程
    • 53 篇 控制科学与工程
    • 22 篇 电子科学与技术(可...
    • 22 篇 信息与通信工程
    • 12 篇 力学(可授工学、理...
    • 10 篇 机械工程
    • 9 篇 化学工程与技术
    • 8 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 建筑学
  • 77 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 6 篇 公共管理
  • 29 篇 经济学
    • 18 篇 理论经济学
    • 14 篇 应用经济学
  • 24 篇 哲学
    • 20 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 8 篇 教育学
    • 5 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 1 篇 历史学

主题

  • 1,361 篇 recursive functi...
  • 187 篇 mathematical the...
  • 119 篇 logical theorems
  • 92 篇 recursion
  • 80 篇 algorithms
  • 75 篇 integers
  • 62 篇 recursively enum...
  • 60 篇 natural numbers
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 51 篇 degree of unsolv...
  • 46 篇 arithmetic
  • 42 篇 mathematical ind...
  • 34 篇 polynomials
  • 31 篇 recursion theory
  • 31 篇 approximation
  • 31 篇 algebra
  • 27 篇 induction assump...
  • 26 篇 equivalence rela...
  • 23 篇 oracles

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 univ calif san d...
  • 4 篇 massachusetts in...
  • 4 篇 rutgers state un...
  • 4 篇 università degli...
  • 3 篇 university of ca...
  • 3 篇 ohio state univ ...
  • 3 篇 mit cambridge ma...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ chicago il ...
  • 3 篇 department of co...
  • 3 篇 univ calif berke...
  • 3 篇 natl univ singap...

作者

  • 11 篇 remmel jb
  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 jockusch cg
  • 6 篇 zeugmann thomas
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 dekker jce
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 kummer m
  • 6 篇 stephan f
  • 5 篇 slaman ta
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 downey rg
  • 5 篇 owings jc
  • 5 篇 byerly re

语言

  • 1,303 篇 英文
  • 43 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive functions"
1361 条 记 录,以下是151-160 订阅
排序:
New formulations for recursive residuals as a diagnostic tool in the fixed-effects linear model with design matrices of arbitrary rank
收藏 引用
COMPUTATIONAL STATISTICS & DATA ANALYSIS 2009年 第6期53卷 2119-2128页
作者: Godolphin, J. D. Univ Surrey Dept Math Guildford GU2 7XH Surrey England
The use of residuals for detecting departures from the assumptions of the linear model with full-rank covariance, whether the design matrix is full rank or not, has long been recognized as an important diagnostic tool... 详细信息
来源: 评论
Efficient dynamic modeling for rigid multi-body systems with contact and impact
收藏 引用
ACTA MECHANICA 2011年 第1-2期219卷 111-128页
作者: Gattringer, Hubert Bremer, Hartmut Kastner, Michael Johannes Kepler Univ Linz A-4040 Linz Austria
Efficient simulation of dynamical systems becomes more and more important in industry and research. Dynamic modeling of multi-body systems yields highly nonlinear equations of motion. Usually, the accelerations are co... 详细信息
来源: 评论
recursive Dynamic Algorithm of Open-Chain Multibody System
收藏 引用
MATHEMATICAL PROBLEMS IN ENGINEERING 2014年 第1期2014卷 1-6页
作者: Lu, Ming Gu, Wenbin Liu, Jianqing Wang, Zhenxiong Jing, Zhisheng Qin, Guowei Tu, Shanchao PLA Univ Sci & Technol Coll Field Engn Nanjing 210007 Jiangsu Peoples R China Wuhan Ordnance NCO Sch Wuhan 430000 Hubei Peoples R China
Open-chain multibody systems have been extensively studied because of their widespread application. Based on the structural characteristics of such a system, the relationship between its hinged bodies was transformed ... 详细信息
来源: 评论
A recursive BDI AGENT MODEL FOR THEORY OF MIND AND ITS APPLICATIONS
收藏 引用
APPLIED ARTIFICIAL INTELLIGENCE 2011年 第1期25卷 1-44页
作者: Bosse, Tibor Memon, Zulfiqar A. Treur, Jan Vrije Univ Amsterdam Dept Artificial Intelligence NL-1081 HV Amsterdam Netherlands Sukkur Inst Business Adm Sindh Pakistan
This article discusses a formal belief, desire, intention (BDI)-based agent model for theory of mind (ToM). The model uses BDI concepts to describe the reasoning process of an agent that reasons about the reasoning pr... 详细信息
来源: 评论
The Programmed MOCODISS Package and Its Application to Design of Rod Systems on the Elastic Base
收藏 引用
AUTOMATION AND REMOTE CONTROL 2011年 第7期72卷 1380-1388页
作者: Arkhipov, S. V. Buryat State Univ Ulan Ude Russia
The work deals with the programmed system of MOCODISS (Modeling of Continuous-Discrete Systems) that permits calculating and designing rod systems on the elastic base. The mathematical model is presented that describe... 详细信息
来源: 评论
ON recursive BOUNDS FOR THE EXCEPTIONAL VALUES IN SPEED-UP
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1-2期132卷 387-394页
作者: BRIDGES, D CALUDE, C UNIV AUCKLAND DEPT COMP SCIAUCKLANDNEW ZEALAND
This note contains a proof that there is no recursive function of the initial index that gives a bound for the exceptional values in Blum speed-up, but that there is a recursive bounding function of the speed-up index... 详细信息
来源: 评论
A good oracle is hard to beat
收藏 引用
ALGORITHMICA 1998年 第1-2期22卷 18-34页
作者: Cenzer, DA Moser, WR Univ Florida Dept Math Gainesville FL 32611 USA Metawave Commun Redmond WA 98052 USA
A well-known result of Sacks [24] states that if A is nonrecursive, then the set {B : A less than or equal to(T) B} has measure zero. Thus, from a measure-theoretic perspective, a "good" (i.e., nonrecursive)... 详细信息
来源: 评论
Optimal tensegrity structures in bending: The discrete Michell truss
收藏 引用
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS 2010年 第1期347卷 257-283页
作者: Skelton, Robert E. de Oliveira, Mauricio C. Univ Calif San Diego MAE Aero La Jolla CA 92093 USA
This paper provides the closed form analytical solution to the problem of minimizing the material volume required to support a given set of bending loads with a given number of discrete structural members, subject to ... 详细信息
来源: 评论
On weighted path lengths and distances in increasing trees
收藏 引用
PROBABILITY IN THE ENGINEERING AND INFORMATIONAL SCIENCES 2007年 第3期21卷 419-433页
作者: Kuba, M. Panholzer, A. Vienna Univ Technol Inst Diskrete Mathe & Geometrie A-1040 Vienna Austria
We study weighted path lengths (depths) and distances for increasing tree families, For those subclasses of increasing tree families, which can be constructed via an insertion process (e.g., recursive trees, plane-ori... 详细信息
来源: 评论
Grammatical evolution to design fractal curves with a given dimension
收藏 引用
IBM JOURNAL OF RESEARCH AND DEVELOPMENT 2003年 第4期47卷 483-493页
作者: Ortega, A Dalhoum, AA Alfonseca, M Univ Autonoma Madrid Madrid 28049 Spain
Lindenmayer grammars have frequently been applied to represent fractal curves. In this work, the ideas behind grammar evolution are used to automatically generate and evolve Lindenmayer grammars which represent fracta... 详细信息
来源: 评论