咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
An image segmentation method based on maximizing fuzzy correlation and its fast recursive algorithm
收藏 引用
COMPUTERS & ELECTRICAL ENGINEERING 2014年 第3期40卷 833-843页
作者: Tang, Yinggan Mu, Weiwei Zhao, Lixing Zhao, Gang Yanshan Univ Inst Elect Engn Qinhuangdao 066004 Hebei Peoples R China Natl Engn Res Ctr Equipment & Technol Cold Strip Qinhuangdao 066004 Hebei Peoples R China Rochester Inst Technol Rochester NY 14624 USA
In this paper, an image segmentation method is proposed that integrates fuzzy 2-partition into Yen's maximum correlation thresholding method. A fuzzy 2-partition of the image is obtained by transforming the image ... 详细信息
来源: 评论
Effects of turnover and internal variability of tree root systems on modelling coarse root architecture: comparing simulations for young Populus deltoides with field data
收藏 引用
CANADIAN JOURNAL OF FOREST RESEARCH 2009年 第1期39卷 97-108页
作者: Nygren, Pekka Lu, Miaoer Ozier-Lafontaine, Harry Univ Helsinki Dept Forest Ecol POB 27 FIN-00014 Helsinki Finland Univ Missouri Dept Forestry Columbia MO 65211 USA INRA Unite Agropedoclimat Zone Caraibe F-97170 Petit Bourg Guadeloupe France
The behaviour of the FracRoot model, which describes coarse-root architecture based on proximal root diameters using a recursive algorithm, was studied using field data on Populus deltoides Bartr. ex Marsh. in a short... 详细信息
来源: 评论
Definability in the enumeration degrees
收藏 引用
ARCHIVE FOR MATHEMATICAL LOGIC 1997年 第4-5期36卷 255-267页
作者: Slaman, TA Woodin, WH UNIV CHICAGO DEPT MATH CHICAGO IL 60637 USA
We prove that every countable relation on the enumeration degrees, E, is uniformly definable from parameters in E. Consequently, the first order theory of E is recursively isomorphic to the second order theory of arit... 详细信息
来源: 评论
Application of recursive Subspace Method in Vehicle Lateral Dynamics Model Identification
收藏 引用
MATHEMATICAL PROBLEMS IN ENGINEERING 2016年 第1期2016卷 1-15页
作者: Ba, Tengyue Guan, Xiqiang Zhang, Jian W. Wang, Sanzhou Beijing Inst Mech Equipment Beijing 100854 Peoples R China Shanghai Jiao Tong Univ State Key Lab Mech Syst & Vibrat Sch Mech Engn Shanghai 200240 Peoples R China
Modeling of vehicle behavior based on the identification method has received a renewed attention in recent years. In order to improve the linear time-invariant vehicle identification model, a more general identifiable... 详细信息
来源: 评论
recursive and iterative least squares parameter estimation algorithms for observability canonical state space systems
收藏 引用
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS 2015年 第1期352卷 248-258页
作者: Ma, Xingyun Ding, Feng Jiangnan Univ Key Lab Adv Proc Control Light Ind Minist Educ Wuxi 214122 Peoples R China
This paper considers parameter identification problems for the observability canonical state space systems, and a state observer based recursive least squares identification algorithm and a Kalman filter based least s... 详细信息
来源: 评论
Cluster recursion method of a non-orthogonal basis
收藏 引用
COMPUTATIONAL MATERIALS SCIENCE 1996年 第3期6卷 197-210页
作者: Obata, S MasudaJindo, K TOKYO DENKI UNIV FAC SCI & ENGNPHYS LABHATOYAMASAITAMA 35003JAPAN TOKYO INST TECHNOL DEPT MAT SCI & ENGNMIDORI KUYOKOHAMAKANAGAWA 227JAPAN
We propose a new recursion algorithm which is applicable to the electronic structure calculations of disordered materials using a non-orthogonal basis (NOB) set. This recursion approach is based on matrix algebra (mod... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Verification and code generation for invariant diagrams in Isabelle
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2015年 第1期84卷 19-36页
作者: Preoteasa, Viorel Back, Ralph-Johan Eriksson, Johannes Abo Akad Univ Dept Informat Technol FIN-20520 Turku Finland
Invariant-based programming is a correct-by-construction programming methodology in which programs are expressed as graphs of situations connected by transitions. Such graphs are called invariant diagrams. The situati... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A survey of methods for constructing covering arrays
收藏 引用
PROGRAMMING AND COMPUTER SOFTWARE 2011年 第3期37卷 121-146页
作者: Kuliamin, V. V. Petukhov, A. A. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia
The paper presents a survey of methods for constructing covering arrays used in generation of tests for interfaces with a great number of parameters. The application domain of these methods and algorithms used in them... 详细信息
来源: 评论