全文获取类型
收费全文 | 319篇 |
免费 | 29篇 |
国内免费 | 1篇 |
学科分类
工业技术 | 349篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 9篇 |
2021年 | 15篇 |
2020年 | 4篇 |
2019年 | 6篇 |
2018年 | 8篇 |
2017年 | 16篇 |
2016年 | 14篇 |
2015年 | 12篇 |
2014年 | 24篇 |
2013年 | 28篇 |
2012年 | 25篇 |
2011年 | 25篇 |
2010年 | 27篇 |
2009年 | 20篇 |
2008年 | 23篇 |
2007年 | 16篇 |
2006年 | 13篇 |
2005年 | 16篇 |
2004年 | 12篇 |
2003年 | 8篇 |
2002年 | 4篇 |
2001年 | 1篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 3篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1990年 | 1篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有349条查询结果,搜索用时 0 毫秒
1.
Memory loss in retrograde amnesia has long been held to be larger for recent periods than for remote periods, a pattern usually referred to as the Ribot gradient. One explanation for this gradient is consolidation of long-term memories. Several computational models of such a process have shown how consolidation can explain characteristics of amnesia, but they have not elucidated how consolidation must be envisaged. Here findings are reviewed that shed light on how consolidation may be implemented in the brain. Moreover, consolidation is contrasted with alternative theories of the Ribot gradient. Consolidation theory, multiple trace theory, and semantization can all handle some findings well but not others. Conclusive evidence for or against consolidation thus remains to be found. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
2.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献
3.
Kevin R. Boyle Martijn Udink Anton de Graauw Leo P. Ligthart 《Antennas and Propagation, IEEE Transactions on》2007,55(2):373-382
A dual-fed, self-diplexing planar inverted F antenna and an associated RF front-end are described. It is shown that co-design of the antenna and front-end can be used to double the operational bandwidth, without significant size or performance penalties. Indeed, the use of two feeds allows the antenna to be self-diplexing, which results in improved overall efficiency 相似文献
4.
Martijn J. C. van der Lienden Jan Aten Andr R. A. Marques Ingeborg S. E. Waas Per W. B. Larsen Nike Claessen Nicole N. van der Wel Roelof Ottenhoff Marco van Eijk Johannes M. F. G. Aerts 《International journal of molecular sciences》2021,22(5)
The lysosomal storage disease Niemann–Pick type C (NPC) is caused by impaired cholesterol efflux from lysosomes, which is accompanied by secondary lysosomal accumulation of sphingomyelin and glucosylceramide (GlcCer). Similar to Gaucher disease (GD), patients deficient in glucocerebrosidase (GCase) degrading GlcCer, NPC patients show an elevated glucosylsphingosine and glucosylated cholesterol. In livers of mice lacking the lysosomal cholesterol efflux transporter NPC1, we investigated the expression of established biomarkers of lipid-laden macrophages of GD patients, their GCase status, and content on the cytosol facing glucosylceramidase GBA2 and lysosomal integral membrane protein type B (LIMP2), a transporter of newly formed GCase to lysosomes. Livers of 80-week-old Npc1−/− mice showed a partially reduced GCase protein and enzymatic activity. In contrast, GBA2 levels tended to be reciprocally increased with the GCase deficiency. In Npc1−/− liver, increased expression of lysosomal enzymes (cathepsin D, acid ceramidase) was observed as well as increased markers of lipid-stressed macrophages (GPNMB and galectin-3). Immunohistochemistry showed that the latter markers are expressed by lipid laden Kupffer cells. Earlier reported increase of LIMP2 in Npc1−/− liver was confirmed. Unexpectedly, immunohistochemistry showed that LIMP2 is particularly overexpressed in the hepatocytes of the Npc1−/− liver. LIMP2 in these hepatocytes seems not to only localize to (endo)lysosomes. The recent recognition that LIMP2 harbors a cholesterol channel prompts the speculation that LIMP2 in Npc1−/− hepatocytes might mediate export of cholesterol into the bile and thus protects the hepatocytes. 相似文献
5.
In our global village, distance is not a barrier anymore for traveling. People experience new cultures and face accompanying difficulties in order to live anywhere. Social support can help these sojourners to cope with difficulties, such as culture shock. In this paper, we investigate how computer-mediated communication (CMC) tools can facilitate social support when living physically separated from loved-ones in different cultures. The goal is to understand the design considerations necessary to design new CMC tools. We studied communication practices of Chinese sojourners living in the Netherlands and the use of a technology probe with a novel video communication system. These results led to recommendations which can help designers to design interactive communication tools that facilitate communication across cultures. We conclude the paper with an interactive communication device called Circadian, which was designed based on these recommendations. We experienced the design recommendations to be abstract enough to leave space for creativity while providing a set of clear requirements which we used to base design decisions upon. 相似文献
6.
Daniele Di Gioacchino Nicola Poccia Martijn Lankhorst Claudio Gatti Bruno Buonomo Luca Foggetta Augusto Marcelli Hans Hilgenkamp 《Journal of Superconductivity and Novel Magnetism》2017,30(2):359-363
The current frontiers in the investigation of high-energy particles demand for new detection methods. Higher sensitivity to low-energy deposition, high-energy resolution to identify events and improve the background rejection, and large detector masses have to be developed to detect even an individual particle that weakly interacts with ordinary matter. Here, we will describe the concept and the layout of a novel superconducting proximity array which show dynamic vortex Mott insulator to metal transitions, as an ultra-sensitive compact radiation-particle detector. 相似文献
7.
Martijn H. A. Bonte Lionel Fourment Tien-tho Do A. H. van den Boogaard J. Huétink 《Structural and Multidisciplinary Optimization》2010,42(5):797-810
During the last decades, simulation software based on the Finite Element Method (FEM) has significantly contributed to the
design of feasible forming processes. Coupling FEM to mathematical optimization algorithms offers a promising opportunity
to design optimal metal forming processes rather than just feasible ones. In this paper Sequential Approximate Optimization (SAO) for optimizing forging processes is discussed. The algorithm
incorporates time-consuming nonlinear FEM simulations. Three variants of the SAO algorithm—which differ by their sequential
improvement strategies—have been investigated and compared to other optimization algorithms by application to two forging
processes. The other algorithms taken into account are two iterative algorithms (BFGS and SCPIP) and a Metamodel Assisted
Evolutionary Strategy (MAES). It is essential for sequential approximate optimization algorithms to implement an improvement
strategy that uses as much information obtained during previous iterations as possible. If such a sequential improvement strategy
is used, SAO provides a very efficient algorithm to optimize forging processes using time-consuming FEM simulations. 相似文献
8.
Hendriks Martijn Verriet Jacques Basten Twan Theelen Bart Brassé Marco Somers Lou 《International Journal on Software Tools for Technology Transfer (STTT)》2017,19(4):487-510
International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a... 相似文献
9.
Vinh Phu Nguyen Oriol Lloberas-Valls Martijn Stroeven Lambertus Johannes Sluys 《Computer Methods in Applied Mechanics and Engineering》2011,200(9-12):1220-1236
The existence of a representative volume element (RVE) for a class of quasi-brittle materials having a random heterogeneous microstructure in tensile, shear and mixed mode loading is demonstrated by deriving traction–separation relations, which are objective with respect to RVE size. A computational homogenization based multiscale crack modelling framework, implemented in an FE2 setting, for quasi-brittle solids with complex random microstructure is presented. The objectivity of the macroscopic response to the micro-sample size is shown by numerical simulations. Therefore, a homogenization scheme, which is objective with respect to macroscopic discretization and microscopic sample size, is devised. Numerical examples including a comparison with direct numerical simulation are given to demonstrate the performance of the proposed method. 相似文献
10.
Considerate home notification systems: a field study of acceptability of notifications in the home 总被引:2,自引:2,他引:0
Martijn H. Vastenburg David V. Keyson Huib de Ridder 《Personal and Ubiquitous Computing》2008,12(8):555-566
A field study in ten homes was conducted to understand what influences users’ acceptability of notifications in the home environment.
The key finding is that perceived message urgency is the primary indicator of acceptability of notifications in the home—if
people think a message is urgent, they want the message to be shown immediately, regardless of what they are doing at the
time of notification. The study also shows that the acceptability of low-urgent and medium-urgent messages could be improved
by taking into account mental activity load at the time of notification. No effect of physical activity was found on acceptability.
The results suggest that to improve the scheduling of notifications in the home, notification systems need a mechanism assessing
both the message urgency and the mental activity load, whereas physical activity can be ignored. From a methodological point
of view, it is difficult to measure acceptability of notifications in a realistic setting, given the need to balance experimental
control with realistic context. The present paper suggests a way to introduce controlled notifications and subjective measurements
of acceptability in homes. 相似文献