全文获取类型
收费全文 | 51篇 |
免费 | 0篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 5篇 |
金属工艺 | 1篇 |
机械仪表 | 1篇 |
建筑科学 | 1篇 |
轻工业 | 1篇 |
无线电 | 4篇 |
一般工业技术 | 5篇 |
冶金工业 | 3篇 |
自动化技术 | 29篇 |
出版年
2025年 | 1篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 4篇 |
2013年 | 1篇 |
2011年 | 4篇 |
2010年 | 10篇 |
2009年 | 3篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 1篇 |
2004年 | 2篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 1篇 |
2000年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1976年 | 1篇 |
排序方式: 共有51条查询结果,搜索用时 15 毫秒
31.
Dr. Emmanuelle Briard Dr. Aniket D. Joshi Dr. Shiva Shanmukhappa Dr. Ohad Ilovich Dr. Yves P. Auberson 《ChemMedChem》2019,14(16):1493-1502
Autotaxin (ATX) is a secreted enzyme with tissue levels associated with tissue injury, which increase during wound healing and chronic fibrotic diseases. We selected [18F](R,E)-3-(4-chloro-2-((5-methyl-2H-tetrazol-2-yl)methyl)phenyl)-1-(4-((5-(2-fluoroethoxy)pyridin-2-yl)methyl)-2-methylpiperazin-1-yl)prop-2-en-1-one ([18F]PRIMATX, [18F] 2 ), a tracer for positron emission tomography, to image ATX expression in vivo. It successfully differentiates expression levels in lung tissue samples from idiopathic pulmonary fibrosis patients, and allows the detection of ATX-expressing tumors in living mice, confirming its potential for development as a clinical imaging agent. 相似文献
32.
Eitan Eidelstein Shmuel Barzilai Stefano Curtarolo Ohad Levy 《Israel journal of chemistry》2020,60(8-9):897-904
The rapid development of better high pressure experimental techniques combined with efficient and accurate density functional calculations of the structural properties of materials provide a new avenue to promote the study of materials at high pressures, which is currently based mostly on simple phenomenological modelling. The progress of experimental results into higher-pressure regimes represents a challenge to the phenomenological approaches, which can be addressed by carefully considered ab initio calculations. We present cold curves of several elements, calculated using different approximations of DFT and compare them with available experimental data. The comparison shows good agreement both in simple single phase and complex multi-phase cases. It suggests that DFT may be used to extrapolate high pressure behaviour of materials beyond the currently possible pressure range, with a robust estimate of the accuracy of the extrapolation based on various DFT implementations. 相似文献
33.
Talia Lavie Michal Sela Ilit Oppenheim Ohad Inbar Joachim Meyer 《International journal of human-computer studies》2010,68(8):483-495
Personalizing news content requires to choose the appropriate depth of personalization and to assess the extent to which readers’ explicit expressions of interest in general and specific news topics can be used as the basis for personalization. A preliminary survey examined 117 respondents’ attitudes towards news content personalization and their interest in various news topics and subtopics. The second survey examined 23 participants’ declared and actual interests. Participants preferred personalization based on general news topics. Declared interest in general news topics adequately predicted the actual interests in some topics, while in others users’ interests differed between general news topics and subtopics. The variance in interest in items also differed among topics. Thus, different personalization methods should be used for different topics. For some, such as ‘Sports’, users show either high interest or no interest at all. In the latter case most articles related to the topic should be removed, with the exception of items that refer to unique events that may raise general interest according to the expressed interest. In other topics, such as ‘Science & Technology’, most users are interested in important articles, even if they are not interested in the general news topic. Here, the filtering technique should identify the important articles and present them to all readers. The results can be used to develop effective and simple personalization mechanisms which can be applied to the personalization of news, as well as to other domains. 相似文献
34.
Good continuation is the Gestalt observation that parts often group in particular ways to form coherent wholes. Perceptual integration of edges, for example, involves orientation good continuation, a property which has been exploited computationally very extensively. But more general local-global relationships, such as for shading or color, have been elusive. While Taylor’s Theorem suggests certain modeling and smoothness criteria, the consideration of level set geometry indicates a different approach. Using such first principles we derive, for the first time, a generalization of good continuation to all those visual structures that can be abstracted as scalar functions over the image plane. Based on second order differential constraints that reflect good continuation, our analysis leads to a unique class of harmonic models and a cooperative algorithm for structure inference. Among the different applications of good continuation, here we apply these results to the denoising of shading and intensity distributions and demonstrate how our approach eliminates spurious measurements while preserving both singularities and regular structure, a property that facilitates higher level processes which depend so critically on both of these classes of visual structures. 相似文献
35.
Clustering stability methods are a family of widely used model selection techniques for data clustering. Their unifying theme is that an appropriate model should result in a clustering which is robust with respect to various kinds of perturbations. Despite their relative success, not much is known theoretically on why or when do they work, or even what kind of assumptions they make in choosing an ‘appropriate’ model. Moreover, recent theoretical work has shown that they might ‘break down’ for large enough samples. In this paper, we focus on the behavior of clustering stability using k-means clustering. Our main technical result is an exact characterization of the distribution to which suitably scaled measures of instability converge, based on a sample drawn from any distribution in ? n satisfying mild regularity conditions. From this, we can show that clustering stability does not ‘break down’ even for arbitrarily large samples, at least for the k-means framework. Moreover, it allows us to identify the factors which eventually determine the behavior of clustering stability. This leads to some basic observations about what kind of assumptions are made when using these methods. While often reasonable, these assumptions might also lead to unexpected consequences. 相似文献
36.
ABSTRACT The extraction of uranyl nitrate and uranyl sulphate from aqueous media by the neutral chelating diphosphoramides CH3-N[P(OKNMe2)2] (NIPA) and its less hydrophilic homologues R-N[P(O)(NMe2)2]2 (R = -C12H25 (OD1PA) or -C16H33 (OHDIPA)), diluted in CH3NO2 or toluene, has been studied. In the presei ce of HNO3, NaNO3, NaCl, and Na2SO4 as salting-out agents, extraction is generally excellent. Some of the extracted complex species have been identified by comparing their 31P NMR and UV/vis spectra with those of pure complexes of known structure. The results are compared with extractions using tri-n-butyl phosphate (TBP) as complexing agent. 相似文献
37.
The Information Bottleneck is an information theoretic framework that finds concise representations for an ‘input’ random variable that are as relevant as possible for an ‘output’ random variable. This framework has been used successfully in various supervised and unsupervised applications. However, its learning theoretic properties and justification remained unclear as it differs from standard learning models in several crucial aspects, primarily its explicit reliance on the joint input–output distribution. In practice, an empirical plug-in estimate of the underlying distribution has been used, so far without any finite sample performance guarantees. In this paper we present several formal results that address these difficulties. We prove several finite sample bounds, which show that the information bottleneck can provide concise representations with good generalization, based on smaller sample sizes than needed to estimate the underlying distribution. The bounds are non-uniform and adaptive to the complexity of the specific model chosen. Based on these results, we also present a preliminary analysis on the possibility of analyzing the information bottleneck method as a learning algorithm in the familiar performance-complexity tradeoff framework. In addition, we formally describe the connection between the information bottleneck and minimal sufficient statistics. 相似文献
38.
Computational Visual Media - A metric for natural image patches is an important tool for analyzing images. An efficient means of learning one is to train a deep network to map an image patch to a... 相似文献
39.
Olabi A Hunter J Jackson P Segal M Spies R Wang C Lau C Ong C Alexander C Raskob E Plichta J Zeira O Rivera R Wang S Pottle B Leung C Vicens C Tao C Beers C Fung G Levine J Yoo J Jackson J Saikkonen K Zimmerman M Cunningham M Crum M Ishman N Voo N Cadena R Relinger R Wada S 《Habitation (Elmsford, N.Y.)》2003,9(1-2):17-30
During space missions, such as the prospective Mars mission, crew labor time is a strictly limited resource. The diet for such a mission (based on crops grown in a bioregenerative life support system) will require astronauts to prepare their meals essentially from raw ingredients. Time spent on food processing and preparation is time lost for other purposes. Recipe design and diet planning for a space mission should therefore incorporate the time required to prepare the recipes as a critical factor. In this study, videotape analysis of an experienced chef was used to develop a database of recipe preparation time. The measurements were highly consistent among different measurement teams. Data analysis revealed a wide variation between the active times of different recipes, underscoring the need for optimization of diet planning. Potential uses of the database developed in this study are discussed and illustrated in this work. 相似文献
40.
Ilan Beer Shoham Ben-David Cindy Eisner Yoav Rodeh 《Formal Methods in System Design》2001,18(2):141-163
The ability to generate a counter-example is an important feature of model checking tools, because a counter-example provides information to the user in the case that the formula being checked is found to be non-valid. In this paper, we turn our attention to providing similar feedback to the user in the case that the formula is found to be valid, because valid formulas can hide real problems in the model. For instance, propositional logic formulas containing implications can suffer from antecedent failure, in which the formula is trivially valid because the pre-condition of the implication is not satisfiable. We call this vacuity, and extend the definition to cover other kinds of trivial validity. For non-vacuously valid formulas, we define an interesting witness as a non-trivial example of the validity of the formula. We formalize the notions of vacuity and interesting witness, and show how to detect vacuity and generate interesting witnesses in temporal model checking. Finally, we provide a practical solution for a useful subset of ACTL formulas. 相似文献