全文获取类型
收费全文 | 363篇 |
免费 | 33篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 104篇 |
金属工艺 | 5篇 |
机械仪表 | 8篇 |
建筑科学 | 23篇 |
矿业工程 | 3篇 |
能源动力 | 16篇 |
轻工业 | 39篇 |
水利工程 | 1篇 |
无线电 | 20篇 |
一般工业技术 | 78篇 |
冶金工业 | 9篇 |
原子能技术 | 2篇 |
自动化技术 | 83篇 |
出版年
2023年 | 4篇 |
2022年 | 14篇 |
2021年 | 20篇 |
2020年 | 16篇 |
2019年 | 7篇 |
2018年 | 9篇 |
2017年 | 11篇 |
2016年 | 17篇 |
2015年 | 17篇 |
2014年 | 16篇 |
2013年 | 29篇 |
2012年 | 23篇 |
2011年 | 36篇 |
2010年 | 21篇 |
2009年 | 18篇 |
2008年 | 21篇 |
2007年 | 23篇 |
2006年 | 14篇 |
2005年 | 11篇 |
2004年 | 10篇 |
2003年 | 10篇 |
2002年 | 9篇 |
2001年 | 2篇 |
2000年 | 2篇 |
1999年 | 4篇 |
1998年 | 6篇 |
1997年 | 3篇 |
1996年 | 5篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1977年 | 1篇 |
排序方式: 共有397条查询结果,搜索用时 15 毫秒
1.
Filippo Lococo Massimiliano Paci Cristian Rapicetta Teresa Rossi Valentina Sancisi Luca Braglia Silvio Cavuto Alessandra Bisagni Italia Bongarzone Douglas M. Noonan Adriana Albini Sally Maramotti 《International journal of molecular sciences》2015,16(8):19612-19630
Assessment of biological diagnostic factors providing clinically-relevant information to guide physician decision-making are still needed for diseases with poor outcomes, such as non-small cell lung cancer (NSCLC). Epidermal growth factor receptor (EGFR) is a promising molecule in the clinical management of NSCLC. While the EGFR transmembrane form has been extensively investigated in large clinical trials, the soluble, circulating EGFR isoform (sEGFR), which may have a potential clinical use, has rarely been considered. This study investigates the use of sEGFR as a potential diagnostic biomarker for NSCLC and also characterizes the biological function of sEGFR to clarify the molecular mechanisms involved in the course of action of this protein. Plasma sEGFR levels from a heterogeneous cohort of 37 non-advanced NSCLC patients and 54 healthy subjects were analyzed by using an enzyme-linked immunosorbent assay. The biological function of sEGFR was analyzed in vitro using NSCLC cell lines, investigating effects on cell proliferation and migration. We found that plasma sEGFR was significantly decreased in the NSCLC patient group as compared to the control group (median value: 48.6 vs. 55.6 ng/mL respectively; p = 0.0002). Moreover, we demonstrated that sEGFR inhibits growth and migration of NSCLC cells in vitro through molecular mechanisms that included perturbation of EGF/EGFR cell signaling and holoreceptor internalization. These data show that sEGFR is a potential circulating biomarker with a physiological protective role, providing a first approach to the functional role of the soluble isoform of EGFR. However, the impact of these data on daily clinical practice needs to be further investigated in larger prospective studies. 相似文献
2.
3.
4.
Leonardo Resende Naira M. Balzaretti Altair S. Pereira Marcos A. Z. Vasconcellos Silvio Buchner 《Journal of the American Ceramic Society》2021,104(6):2552-2559
In this work, high-density lithium disilicate (LS2) vitreous systems were produced by melting and quenching under high pressure (7.7 GPa) following two distinct experimental routes. In the first case, LS2 glass was remelted at 7.7 GPa and 1600°C and, then, quenched. In the second case, a stoichiometric mixture of precursor oxides (Li2O and SiO2) was melted at 1600°C and 7.7 GPa before quenching. A reference LS2 glass sample was produced at atmospheric pressure using conventional melting and quenching procedure. The samples were characterized by X-ray diffraction, differential thermal analysis, and instrumented ultramicro hardness measurements. X-ray diffraction confirmed that all samples were amorphous and thermal analysis suggests that different glassy structures were produced depending on the route of synthesis. Hardness and elastic modulus of the glasses produced under high pressure were higher than those of the reference glass, reflecting the irreversible densification effect induced by the high-pressure processing. 相似文献
5.
Daniel Kellyton Alexandre Vinicius Cardoso Eduardo Santana Renata Pontin Silvio Lemos 《Journal of Systems and Software》2008,81(6):996-1013
This paper aims at identifying some of the key factors in adopting an organization-wide software reuse program. The factors are derived from practical experience reported by industry professionals, through a survey involving 57 Brazilian small, medium and large software organizations. Some of them produce software with commonality between applications, and have mature processes, while others successfully achieved reuse through isolated, ad hoc efforts. The paper compiles the answers from the survey participants, showing which factors were more associated with reuse success. Based on this relationship, a guide is presented, pointing out which factors should be more strongly considered by small, medium and large organizations attempting to establish a reuse program. 相似文献
6.
Silvio Francisco dos Santos Humberto Siqueira Brandi Suzana Borschiver Vanderléa de Souza 《Clean Technologies and Environmental Policy》2017,19(5):1257-1269
In the present work, we propose a theoretical model to identify and prioritize risks involved in a biofuel supply chain. We adopt a set of indicators associated with determinant factors of the supply chain to identify risks that are characterized through a risk matrix. We consider the five largest world biodiesel producers and included China due to its global market importance and potential impacts of its growth on the environment and society. To determine the impacts and the probability of occurrence of risks, we use the Canberra distance, as metrics. To facilitate the analysis and interpretation, a convenient manner is to express the results in terms of matrices. To exemplify the potentiality of the scheme and for the sake of simplicity, a more comprehensive discussion is focused on the Brazilian case, restricted to the Technology and Innovation, and Integration, Logistics and Infrastructure determining factors (dimensions) of the biodiesel supply chain. Concerning these determining factors, the Brazilian biodiesel chain shows strong vulnerability when compared with developed and developing countries, despite that the evolution of the data over recent years indicates small improvements in Integration, Logistics and Infrastructure dimension. Although in this work the calculations are restricted to the Canberra distance, the present approach may be applied to other distances to compare or validate the results. This work presents a contribution to model vulnerability to risks, providing to policy makers and stakeholders a tool to design, analyze and improve sustainability system by measuring its risks. The study of the contribution of each indicator suggests corrections to be taken and which indicators should be prioritized. 相似文献
7.
Unraveling Unprecedented Charge Carrier Mobility through Structure Property Relationship of Four Isomers of Didodecyl[1]benzothieno[3,2‐b][1]benzothiophene
下载免费PDF全文
![点击此处可从《Advanced materials (Deerfield Beach, Fla.)》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Yusuke Tsutsui Guillaume Schweicher Basab Chattopadhyay Tsuneaki Sakurai Jean‐Baptiste Arlin Christian Ruzié Almaz Aliev Artur Ciesielski Alan R. Kennedy Vincent Lemaur Yoann Olivier Rachid Hadji Lionel Sanguinet Frédéric Castet Silvio Osella Dmytro Dudenko David Beljonne Jérôme Cornil Paolo Samorì Shu Seki Yves H. Geerts 《Advanced materials (Deerfield Beach, Fla.)》2016,28(33):7106-7114
8.
Michele Barletta Silvio Ranise Luca Vigan�� 《Service Oriented Computing and Applications》2011,5(2):105-137
The specification of distributed service-oriented applications spans several levels of abstraction, e.g., the protocol for
exchanging messages, the set of interface functionalities, the types of the manipulated data, the workflow, the access policy,
etc. Many (even executable) specification languages are available to describe each level in separation. However, these levels
may interact in subtle ways (for example, the control flow may depend on the values of some data variables) so that a precise
abstraction of the application amounts to more than the sum of its per level components. This problem is even more acute in
the design phase when automated analysis techniques may greatly help the difficult task of building “correct” applications
faced by designers. To alleviate this kind of problems, this paper introduces a framework for the formal specification and
automated analysis of distributed service-oriented applications in two levels: one for the workflow and one for the authorization
policies. The former allows one to precisely describe the control and data parts of an application with their mutual dependencies.
The latter focuses on the specification of the criteria for granting or denying third-party applications the possibility to
access shared resources or to execute certain interface functionalities. These levels can be seen as abstractions of one or
of several levels of specification mentioned above. The novelty of our proposal is the possibility to unambiguously specify
the—often subtle—interplay between the workflow and policy levels uniformly in the same framework. Additionally, our framework
allows us to define and investigate verification problems for service-oriented applications (such as executability and invariant
checking) and give sufficient conditions for their decidability. These results are non-trivial because their scope of applicability
goes well beyond the case of finite state spaces allowing for applications manipulating variables ranging over infinite domains.
As proof of concept, we show the suitability and flexibility of our approach on two quite different examples inspired by industrial
case studies. 相似文献
9.
Duc-Khanh Tran Christophe Ringeissen Silvio Ranise Hélène Kirchner 《Journal of Symbolic Computation》2010
Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories. 相似文献
10.
Paulo Anselmo da Mota Silveira Neto Ivan do Carmo Machado John D. McGregorEduardo Santana de Almeida Silvio Romero de Lemos Meira 《Information and Software Technology》2011,53(5):407-423