全文获取类型
收费全文 | 402篇 |
免费 | 25篇 |
专业分类
电工技术 | 2篇 |
综合类 | 1篇 |
化学工业 | 156篇 |
金属工艺 | 2篇 |
机械仪表 | 13篇 |
建筑科学 | 16篇 |
矿业工程 | 1篇 |
能源动力 | 3篇 |
轻工业 | 81篇 |
无线电 | 26篇 |
一般工业技术 | 23篇 |
冶金工业 | 27篇 |
原子能技术 | 1篇 |
自动化技术 | 75篇 |
出版年
2024年 | 1篇 |
2023年 | 7篇 |
2022年 | 33篇 |
2021年 | 41篇 |
2020年 | 8篇 |
2019年 | 10篇 |
2018年 | 8篇 |
2017年 | 7篇 |
2016年 | 16篇 |
2015年 | 12篇 |
2014年 | 17篇 |
2013年 | 20篇 |
2012年 | 18篇 |
2011年 | 25篇 |
2010年 | 20篇 |
2009年 | 35篇 |
2008年 | 27篇 |
2007年 | 13篇 |
2006年 | 15篇 |
2005年 | 15篇 |
2004年 | 6篇 |
2003年 | 9篇 |
2002年 | 6篇 |
2001年 | 3篇 |
1999年 | 2篇 |
1998年 | 11篇 |
1997年 | 9篇 |
1996年 | 4篇 |
1995年 | 4篇 |
1994年 | 2篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1989年 | 3篇 |
1988年 | 2篇 |
1986年 | 1篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1975年 | 1篇 |
1972年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有427条查询结果,搜索用时 31 毫秒
1.
Fabiana Piscitelli Roberto Coccurello Antonio Totaro Alessandro Leuti Giacomo Giacovazzo Roberta Verde Emanuela Rossi Michele Podaliri Vulpiani Nicola Ferri Roberto Giacominelli Stuffler Vincenzo Di Marzo Sergio Oddi Tiziana Bisogno Mauro Maccarrone 《European Journal of Lipid Science and Technology》2019,121(10)
2.
Tiziana Margaria Bernhard Steffen 《International Journal on Software Tools for Technology Transfer (STTT)》2004,5(2-3):107-123
In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking. 相似文献
3.
Attianese D. Petrosino M. Vacca P. Concilio S. Iannelli P. Rubino A. Bellone S. 《Electron Device Letters, IEEE》2008,29(1):44-46
Results obtained on a conductive multilevel device realized with a 100 nm azo-polymer film are reported. The capability to switch between three different conductance states makes the device versatile both for Write Once Read Many and Write Many Read Many memory cell application. The analysis of the - curves indicates that the hysteretic conductance change with the external voltage can be explained in terms of different hopping distances existing between the nearest neighbors intervening in the two conformational states of the molecular structure. 相似文献
4.
Francesca Piccotti Ilona Rybinska Elisabetta Scoccia Carlo Morasso Alessandra Ricciardi Lorena Signati Tiziana Triulzi Fabio Corsi Marta Truffi 《International journal of molecular sciences》2021,22(7)
Lipofilling (LF) is a largely employed technique in reconstructive and esthetic breast surgery. Over the years, it has demonstrated to be extremely useful for treatment of soft tissue defects after demolitive or conservative breast cancer surgery and different procedures have been developed to improve the survival of transplanted fat graft. The regenerative potential of LF is attributed to the multipotent stem cells found in large quantity in adipose tissue. However, a growing body of pre-clinical evidence shows that adipocytes and adipose-derived stromal cells may have pro-tumorigenic potential. Despite no clear indication from clinical studies has demonstrated an increased risk of cancer recurrence upon LF, these observations challenge the oncologic safety of the procedure. This review aims to provide an updated overview of both the clinical and the pre-clinical indications to the suitability and safety of LF in breast oncological surgery. Cellular and molecular players in the crosstalk between adipose tissue and cancer are described, and heterogeneous contradictory results are discussed, highlighting that important issues still remain to be solved to get a clear understanding of LF safety in breast cancer patients. 相似文献
5.
Tiziana Margaria Zongyan Qiu Hongli Yang 《International Journal on Software Tools for Technology Transfer (STTT)》2014,16(4):335-337
Program verification and testing techniques are crucial in fruitfully analyzing and validating complex software systems. This is an active research area and has produced various promising techniques in the last decade. However, many challenges lie ahead. We review the research area and summarize six papers selected from the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). 相似文献
6.
Marco Bakera Tiziana Margaria Clemens D. Renner Bernhard Steffen 《Innovations in Systems and Software Engineering》2009,5(3):211-228
We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful
technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part
of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing.
We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical
properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate
automatically generated winning strategies for the games, by this way exploring the connection between the property, the system,
and the proof.
This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at .
This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007. 相似文献
7.
Antonio Qualtieri Dr. Elena Urso Maria Le Pera Sabrina Bossio Francesca Bernaudo Tiziana Ferraro Lucia Crescibene Umberto Aguglia Aldo Quattrone 《Proteomics. Clinical applications》2009,3(5):574-583
MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease. 相似文献
8.
Tiziana Margaria 《International Journal on Software Tools for Technology Transfer (STTT)》2003,4(3):266-270
This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being
used in industry or the object of fielded research. The topics presented in this special section are based on a selection
of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways
in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting
sample of today’s problems and of the techniques oriented around new uses of verification techniques.
Published online: 10 April 2003 相似文献
9.
Sung Wook Hwang Jin Kie Shim Susan EM Selke Herlinda Soto‐Valdez Laurent Matuana Maria Rubino Rafael Auras 《Polymer International》2012,61(3):418-425
Poly(L ‐lactic acid) (PLLA) films containing various concentrations of two natural antioxidants, α‐tocopherol and resveratrol, were fabricated by a melt compounding and compression molding process. The influence of the antioxidants on the optical properties such as color and UV‐visible light transmission was analyzed. The thermal, mechanical, rheological and physical properties of PLLA films with added antioxidants were assessed. PLLA films with added α‐tocopherol and resveratrol showed a yellowish brown color and the lightness was influenced by the presence of the antioxidants. The glass transition and melting temperatures were significantly reduced with the addition of antioxidants while enhanced thermal stability was observed, which could be a benefit and important for processing and production. PLLA films with added antioxidants were slightly more hydrophobic than neat PLLA. The combination effect of plasticizing and enhancement of the elastic modulus with differing concentrations of two antioxidants played a critical role in the mechanical and thermomechanical properties of PLLA films. The melt viscosity of the PLLA films with added antioxidants was substantially higher than that of neat PLLA. The higher melt viscosity and G′(ω) could be an indication of formation of entanglement between PLLA and the two antioxidants. Copyright © 2012 Society of Chemical Industry 相似文献
10.
Luca Cacchiarelli Tiziana Laureti Alessandro Sorrentino 《Journal of Wine Research》2014,25(4):281-297
The purpose of the paper is to contribute to understanding the role and effectiveness of different quality clues in the creation of value for the main wines of the Lazio region. The study presents a hedonic price model. An ordinary least squares and a quantile regression models were estimated. The latter is able to detect additional patterns related to the effects of the covariates. Prices are regressed on wine color, sub-regional area of origin, the type of certification of origin, and on experts' evaluation. The analysis is based on data released by three major Italian wine guides: Gambero Rosso, l'Espresso, and AIS (Italian Sommelier Association). Results show that: (i) white and red wines follow two different price patterns; (ii) prices are correlated with experts' evaluation; (iii) the impact of the latter is higher when other quality clues, such as geographical indications, are less effective; (iv) the role of different quality clues varies at different price levels and it is different for red and white wines; overall, wines from the Lazio region are associated with poor to mediocre quality levels. This may explain the decline in reputation and in market share that these wines are experiencing after centuries of popularity. 相似文献