全文获取类型
收费全文 | 260篇 |
免费 | 11篇 |
专业分类
化学工业 | 66篇 |
金属工艺 | 4篇 |
机械仪表 | 6篇 |
建筑科学 | 11篇 |
能源动力 | 3篇 |
轻工业 | 25篇 |
水利工程 | 2篇 |
石油天然气 | 2篇 |
无线电 | 12篇 |
一般工业技术 | 39篇 |
冶金工业 | 37篇 |
自动化技术 | 64篇 |
出版年
2023年 | 7篇 |
2022年 | 23篇 |
2021年 | 22篇 |
2020年 | 8篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 8篇 |
2016年 | 9篇 |
2015年 | 7篇 |
2014年 | 11篇 |
2013年 | 16篇 |
2012年 | 13篇 |
2011年 | 20篇 |
2010年 | 6篇 |
2009年 | 13篇 |
2008年 | 16篇 |
2007年 | 5篇 |
2006年 | 8篇 |
2005年 | 14篇 |
2004年 | 10篇 |
2003年 | 3篇 |
2002年 | 8篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 4篇 |
1998年 | 6篇 |
1997年 | 4篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1986年 | 1篇 |
排序方式: 共有271条查询结果,搜索用时 15 毫秒
1.
Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before. 相似文献
2.
Juan Pablo Hourcade Natasha E. Bullock-Rest Thomas E. Hansen 《Personal and Ubiquitous Computing》2012,16(2):157-168
In spite of great improvements in early diagnosis and interventions, most children diagnosed with autism spectrum disorders
(ASD) are unlikely to live independently when they reach adulthood. We have been conducting research on novel computer-based
interventions with the goal of promoting social skills. Working with 26 children with ASD, their teachers, and other stakeholders,
we have iteratively developed a set of activities based on applications that run on multitouch tablets. Our observations suggest
these activities increased pro-social behaviors such as collaboration and coordination, augmented appreciation for social
activities, and provided children with novel forms of expression. 相似文献
3.
Ineke D.C. Jansen Socrates E. Papapoulos Nathalie Bravenboer Teun J. de Vries Natasha M. Appelman-Dijkstra 《International journal of molecular sciences》2021,22(4)
Pycnodysostosis, a rare autosomal recessive skeletal dysplasia, is caused by a deficiency of cathepsin K. Patients have impaired bone resorption in the presence of normal or increased numbers of multinucleated, but dysfunctional, osteoclasts. Cathepsin K degrades collagen type I and generates N-telopeptide (NTX) and the C-telopeptide (CTX) that can be quantified. Levels of these telopeptides are increased in lactating women and are associated with increased bone resorption. Nothing is known about the consequences of cathepsin K deficiency in lactating women. Here we present for the first time normalized blood and CTX measurements in a patient with pycnodysostosis, exclusively related to the lactation period. In vitro studies using osteoclasts derived from blood monocytes during lactation and after weaning further show consistent bone resorption before and after lactation. Increased expression of cathepsins L and S in osteoclasts derived from the lactating patient suggests that other proteinases could compensate for the lack of cathepsin K during the lactation period of pycnodysostosis patients. 相似文献
4.
Joshua Altschuler Jennifer A. Stockert Natasha Kyprianou 《International journal of molecular sciences》2021,22(4)
Prostate cancer (PCa) mortality remains a significant public health problem, as advanced disease has poor survivability due to the development of resistance in response to both standard and novel therapeutic interventions. Therapeutic resistance is a multifaceted problem involving the interplay of a number of biological mechanisms including genetic, signaling, and phenotypic alterations, compounded by the contributions of a tumor microenvironment that supports tumor growth, invasiveness, and metastasis. The androgen receptor (AR) is a primary regulator of prostate cell growth, response and maintenance, and the target of most standard PCa therapies designed to inhibit AR from interacting with androgens, its native ligands. As such, AR remains the main driver of therapeutic response in patients with metastatic castration-resistant prostate cancer (mCRPC). While androgen deprivation therapy (ADT), in combination with microtubule-targeting taxane chemotherapy, offers survival benefits in patients with mCRPC, therapeutic resistance invariably develops, leading to lethal disease. Understanding the mechanisms underlying resistance is critical to improving therapeutic outcomes and also to the development of biomarker signatures of predictive value. The interconversions between epithelial-to-mesenchymal transition (EMT) and mesenchymal-to-epithelial transition (MET) navigate the prostate tumor therapeutic response, and provide a novel targeting platform in overcoming therapeutic resistance. Both microRNA (miRNA)- and long non-coding RNA (lncRNA)-mediated mechanisms have been associated with epigenetic changes in prostate cancer. This review discusses the current evidence-based knowledge of the role of the phenotypic transitions and novel molecular determinants (non-coding RNAs) as contributors to the emergence of therapeutic resistance and metastasis and their integrated predictive value in prostate cancer progression to advanced disease. 相似文献
5.
Atharva Kale Natasha M. Rogers Kedar Ghimire 《International journal of molecular sciences》2021,22(8)
Recent advances provide evidence that the cellular signalling pathway comprising the ligand-receptor duo of thrombospondin-1 (TSP1) and CD47 is involved in mediating a range of diseases affecting renal, vascular, and metabolic function, as well as cancer. In several instances, research has barely progressed past pre-clinical animal models of disease and early phase 1 clinical trials, while for cancers, anti-CD47 therapy has emerged from phase 2 clinical trials in humans as a crucial adjuvant therapeutic agent. This has important implications for interventions that seek to capitalize on targeting this pathway in diseases where TSP1 and/or CD47 play a role. Despite substantial progress made in our understanding of this pathway in malignant and cardiovascular disease, knowledge and translational gaps remain regarding the role of this pathway in kidney and metabolic diseases, limiting identification of putative drug targets and development of effective treatments. This review considers recent advances reported in the field of TSP1-CD47 signalling, focusing on several aspects including enzymatic production, receptor function, interacting partners, localization of signalling, matrix-cellular and cell-to-cell cross talk. The potential impact that these newly described mechanisms have on health, with a particular focus on renal and metabolic disease, is also discussed. 相似文献
6.
Natasha M. van Poppelen Jolique A. van Ipenburg Quincy van den Bosch Jolanda Vaarwater Tom Brands Bert Eussen Frank Magielsen Hendrikus J. Dubbink Dion Paridaens Erwin Brosens Nicole Naus Annelies de Klein Emine Kili Robert M. Verdijk 《International journal of molecular sciences》2021,22(11)
The aim of this study was exploration of the genetic background of conjunctival melanoma (CM) and correlation with recurrent and metastatic disease. Twenty-eight CM from the Rotterdam Ocular Melanoma Study group were collected and DNA was isolated from the formalin-fixed paraffin embedded tissue. Targeted next-generation sequencing was performed using a panel covering GNAQ, GNA11, EIF1AX, BAP1, BRAF, NRAS, c-KIT, PTEN, SF3B1, and TERT genes. Recurrences and metastasis were present in eight (29%) and nine (32%) CM cases, respectively. TERT promoter mutations were most common (54%), but BRAF (46%), NRAS (21%), BAP1 (18%), PTEN (14%), c-KIT (7%), and SF3B1 (4%) mutations were also observed. No mutations in GNAQ, GNA11, and EIF1AX were found. None of the mutations was significantly associated with recurrent disease. Presence of a TERT promoter mutation was associated with metastatic disease (p-value = 0.008). Based on our molecular findings, CM comprises a separate entity within melanoma, although there are overlapping molecular features with uveal melanoma, such as the presence of BAP1 and SF3B1 mutations. This warrants careful interpretation of molecular data, in the light of clinical findings. About three quarter of CM contain drug-targetable mutations, and TERT promoter mutations are correlated to metastatic disease in CM. 相似文献
7.
Simone Fulvio Rollini Roberto Bruttomesso Natasha Sharygina Aliaksei Tsitovich 《Formal Methods in System Design》2014,45(1):1-41
Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases. 相似文献
8.
The viewfinder of a digital camera has traditionally been used for one purpose: to display to the user a preview of what is seen through the camera's lens. High quality cameras are now available on devices such as mobile phones and PDAs, which provide a platform where the camera is a programmable device, enabling applications such as online computational photography, computer vision‐based interactive gaming, and augmented reality. For such online applications, the camera viewfinder provides the user's main interaction with the environment. In this paper, we describe an algorithm for aligning successive viewfinder frames. First, an estimate of inter‐frame translation is computed by aligning integral projections of edges in two images. The estimate is then refined to compute a full 2D similarity transformation by aligning point features. Our algorithm is robust to noise, never requires storing more than one viewfinder frame in memory, and runs at 30 frames per second on standard smartphone hardware. We use viewfinder alignment for panorama capture, low‐light photography, and a camera‐based game controller. 相似文献
9.
Sagar Chaki Edmund Clarke Natasha Sharygina Nishant Sinha 《Formal Methods in System Design》2008,32(3):235-266
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two
techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations
obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove
or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution
generates constructive feedback to developers showing how to improve the components. The substitutability approach has been
implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark.
This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the
same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547,
and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no.
DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly
from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views
and conclusions contained in this document are those of the authors and should not be interpreted as representing the official
policies, either expressed or implied, of any sponsoring institution, the US government or any other entity. 相似文献