全文获取类型
收费全文 | 804篇 |
免费 | 1篇 |
国内免费 | 9篇 |
专业分类
系统科学 | 16篇 |
教育与普及 | 3篇 |
理论与方法论 | 6篇 |
现状及发展 | 76篇 |
研究方法 | 165篇 |
综合类 | 522篇 |
自然研究 | 26篇 |
出版年
2021年 | 4篇 |
2020年 | 4篇 |
2019年 | 1篇 |
2018年 | 5篇 |
2017年 | 6篇 |
2016年 | 9篇 |
2015年 | 7篇 |
2014年 | 3篇 |
2013年 | 18篇 |
2012年 | 83篇 |
2011年 | 109篇 |
2010年 | 27篇 |
2009年 | 9篇 |
2008年 | 82篇 |
2007年 | 83篇 |
2006年 | 68篇 |
2005年 | 70篇 |
2004年 | 58篇 |
2003年 | 54篇 |
2002年 | 62篇 |
2001年 | 5篇 |
2000年 | 2篇 |
1999年 | 2篇 |
1998年 | 1篇 |
1997年 | 3篇 |
1996年 | 2篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 2篇 |
1992年 | 4篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1982年 | 2篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 2篇 |
1976年 | 2篇 |
1974年 | 1篇 |
1972年 | 4篇 |
1971年 | 1篇 |
1970年 | 1篇 |
1969年 | 2篇 |
1967年 | 2篇 |
1965年 | 1篇 |
1958年 | 1篇 |
排序方式: 共有814条查询结果,搜索用时 671 毫秒
81.
A.邦迪 《国外科技新书评介》2007,(2):21-22
本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起,自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代,人们对自动化理论证明的兴趣增加了,这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。 相似文献
82.
OPTIMAL MAINTENANCE AND REPLACEMENT OF EXTRACTION MACHINERY 总被引:1,自引:1,他引:0
This paper considers a problem of optimal preventive maintenance and replacement schedule of equipment devoted to extracting resources from known deposits. Typical examples are oil drills, mine shovels, etc. At most one replacement of the existing machinery by a new one is allowed. The problem is formulated as an optimal control problem subject to the state constraint that the remaining deposit at any given time is nonnegative. We show that the optimal preventive maintenance, production rates, and the replacement and salvage times of the existing machinery and the new one, if required, can be obtained by solving sequentially a series of free-end-point optimal control problems. Moreover, an algorithm based on this result is developed and used to solve two illustrative examples. 相似文献
83.
Nathan W. Cummins Andrew D. Badley 《Cellular and molecular life sciences : CMLS》2013,70(18):3355-3363
Past efforts at curing infection with the human immunodeficiency virus (HIV) have been blocked by the resistance of some infected cells to viral cytopathic effects and the associated development of a latent viral reservoir. Furthermore, current efforts to clear the viral reservoir by means of reactivating latent virus are hampered by the lack of cell death in the newly productively infected cells. The purpose of this review is to describe the many anti-apoptotic mechanisms of HIV, as well as the current limitations in the field. Only by understanding how infected cells avoid HIV-induced cell death can an effective strategy to kill infected cells be developed. 相似文献
84.
Andrew J. Hull 《Annals of science》2013,70(3):263-298
This paper traces the relationship between the food committees of the Royal Society and government during the First World War, concentrating on the period up to the resignation of Lord Devonport as first Food Controller. It argues that, in the context of a radical public science discourse emanating from some sections of the scientific community and greatly increased contacts between scientists and government, the food scientists of the committees were moved to press for a formalization of the committees' role in food policy. The members constantly manoeuvred to achieve this aim, but also used a network of alternative channels into the heart of the policy process to get their findings translated into hard policy. In doing so, they explicitly rehearsed characteristic 'public science' arguments. In the institutional blur of wartime state-science relations, scientists often got close to the policy-making process. Post-War, the state swiftly moved to clarify the position: science was to be given more money, but was to be specifically blocked by new administrative arrangements embodied in the Haldane Report on the Machinery of Government from having any say in the core areas of general policy, the expert domain of the generalist policy-maker. 相似文献
85.
86.
Application of information technology and environmental planning share two very important characteristics: they are both concerned
with planning, evaluating, and directing human activity in a wider context, and this activity is multiaspectual, multimodal,
and multidisciplinary in scope. Further, the ideal in both cases is sustainable, long-term activity that brings overall good
rather than harm. This paper discusses the multiaspectual nature of environmental sustainability and shows briefly how this
understanding can be translated to the field of information systems. 相似文献
87.
88.
Stefansson H Helgason A Thorleifsson G Steinthorsdottir V Masson G Barnard J Baker A Jonasdottir A Ingason A Gudnadottir VG Desnica N Hicks A Gylfason A Gudbjartsson DF Jonsdottir GM Sainz J Agnarsson K Birgisdottir B Ghosh S Olafsdottir A Cazier JB Kristjansson K Frigge ML Thorgeirsson TE Gulcher JR Kong A Stefansson K 《Nature genetics》2005,37(2):129-137
A refined physical map of chromosome 17q21.31 uncovered a 900-kb inversion polymorphism. Chromosomes with the inverted segment in different orientations represent two distinct lineages, H1 and H2, that have diverged for as much as 3 million years and show no evidence of having recombined. The H2 lineage is rare in Africans, almost absent in East Asians but found at a frequency of 20% in Europeans, in whom the haplotype structure is indicative of a history of positive selection. Here we show that the H2 lineage is undergoing positive selection in the Icelandic population, such that carrier females have more children and have higher recombination rates than noncarriers. 相似文献
89.
Mutation in myosin heavy chain 6 causes atrial septal defect 总被引:23,自引:0,他引:23
90.
Jadeja S Smyth I Pitera JE Taylor MS van Haelst M Bentley E McGregor L Hopkins J Chalepakis G Philip N Perez Aytes A Watt FM Darling SM Jackson I Woolf AS Scambler PJ 《Nature genetics》2005,37(5):520-525
Fraser syndrome is a recessive, multisystem disorder presenting with cryptophthalmos, syndactyly and renal defects and associated with loss-of-function mutations of the extracellular matrix protein FRAS1. Fras1 mutant mice have a blebbed phenotype characterized by intrauterine epithelial fragility generating serous and, later, hemorrhagic blisters. The myelencephalic blebs (my) strain has a similar phenotype. We mapped my to Frem2, a gene related to Fras1 and Frem1, and showed that a Frem2 gene-trap mutation was allelic to my. Expression of Frem2 in adult kidneys correlated with cyst formation in my homozygotes, indicating that the gene is required for maintaining the differentiated state of renal epithelia. Two individuals with Fraser syndrome were homozygous with respect to the same missense mutation of FREM2, confirming genetic heterogeneity. This is the only missense mutation reported in any blebbing mutant or individual with Fraser syndrome, suggesting that calcium binding in the CALXbeta-cadherin motif is important for normal functioning of FREM2. 相似文献