全文获取类型
收费全文 | 212篇 |
免费 | 15篇 |
专业分类
电工技术 | 4篇 |
化学工业 | 38篇 |
金属工艺 | 2篇 |
机械仪表 | 6篇 |
建筑科学 | 8篇 |
矿业工程 | 1篇 |
能源动力 | 2篇 |
轻工业 | 28篇 |
水利工程 | 1篇 |
石油天然气 | 2篇 |
无线电 | 21篇 |
一般工业技术 | 59篇 |
冶金工业 | 5篇 |
原子能技术 | 2篇 |
自动化技术 | 48篇 |
出版年
2023年 | 8篇 |
2022年 | 4篇 |
2021年 | 8篇 |
2020年 | 8篇 |
2019年 | 11篇 |
2018年 | 8篇 |
2017年 | 7篇 |
2016年 | 7篇 |
2015年 | 6篇 |
2014年 | 11篇 |
2013年 | 18篇 |
2012年 | 26篇 |
2011年 | 27篇 |
2010年 | 13篇 |
2009年 | 17篇 |
2008年 | 7篇 |
2007年 | 8篇 |
2006年 | 13篇 |
2005年 | 5篇 |
2004年 | 4篇 |
2003年 | 1篇 |
2002年 | 2篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1996年 | 1篇 |
1991年 | 1篇 |
1985年 | 1篇 |
1977年 | 1篇 |
1971年 | 2篇 |
排序方式: 共有227条查询结果,搜索用时 839 毫秒
1.
Prof. Michael Murray Dr. Ariane Roseblade Dr. Yongjuan Chen Kirsi Bourget Dr. Tristan Rawling 《ChemMedChem》2020,15(2):247-255
Targeting the tumor cell mitochondrion could produce novel anticancer agents. We designed an aryl−urea fatty acid ( 1 g ; 16({[4-chloro-3-(trifluoromethyl)phenyl]carbamoyl}amino)hexadecanoic acid) that disrupted the mitochondrion and decreased MDA-MB-231 breast cancer cell viability. To optimize the aryl−ureas the present study evaluated mitochondrial targeting by 1 g analogues containing alkyl chains between 10–17 carbons. Using the dye JC-1, the C12−C17 analogues efficiently disrupted the mitochondrial membrane potential (IC50s 3.5±1.2 to 7.6±1.1 μM) and impaired ATP production; shorter analogues were less active. 7-Aminoactinomycin D/annexin V staining and flow cytometry showed that these agents activated the killing mechanisms of necrosis and apoptosis to varying extents (7-aminoactinomycin D/annexin V staining ratios 4.3–6.0). Indeed, 1 g and its C17 analogue preferentially activated necrosis and apoptosis, respectively (ratios 2.1 and 16). Taken together, alkyl chain length is a determinant of mitochondrial targeting by aryl−ureas and can be varied to develop analogues that activate apoptosis or necrosis in a regulated fashion. 相似文献
2.
Andy Gill Tristan Bull Andrew Farmer Garrin Kimmell Ed Komp 《Higher-Order and Symbolic Computation》2012,25(2-4):255-274
In this article we overview the design and implementation of the second generation of Kansas Lava. Driven by the needs and experiences of implementing telemetry decoders and other circuits, we have made a number of improvements to both the external API and the internal representations used. We have retained our dual shallow/deep representation of signals in general, but now have a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals. We introduce these abstractions, as well as our abstractions for reading and writing memory. Internally, we found the need to represent unknown values inside our circuits, so we made aggressive use of associated type families to lift our values to allow unknowns, in a principled and regular way. We discuss this design decision, how it unfortunately complicates the internals of Kansas Lava, and how we mitigate this complexity. Finally, when connecting Kansas Lava to the real world, the standardized idiom of using named input and output ports is provided by Kansas Lava using a new monad, called Fabric. We present the design of this Fabric monad, and illustrate its use in a small but complete example. 相似文献
3.
Tristan Allard Benjamin Nguyen Philippe Pucheral 《Distributed and Parallel Databases》2014,32(2):191-244
The goal of Privacy-Preserving Data Publishing (PPDP) is to generate a sanitized (i.e. harmless) view of sensitive personal data (e.g. a health survey), to be released to some agencies or simply the public. However, traditional PPDP practices all make the assumption that the process is run on a trusted central server. In this article, we argue that the trust assumption on the central server is far too strong. We propose Met ??P, a generic fully distributed protocol, to execute various forms of PPDP algorithms on an asymmetric architecture composed of low power secure devices and a powerful but untrusted infrastructure. We show that this protocol is both correct and secure against honest-but-curious or malicious adversaries. Finally, we provide an experimental validation showing that this protocol can support PPDP processes scaling up to nation-wide surveys. 相似文献
4.
Uncertainty estimates corresponding to measured hydrologic and water quality data can contribute to improved monitoring design, decision-making, model application, and regulatory formulation. With these benefits in mind, the Data Uncertainty Estimation Tool for Hydrology and Water Quality (DUET-H/WQ) was developed from an existing uncertainty estimation framework for small watershed discharge, sediment, and N and P data. Both the software and its framework-basis utilize the root mean square error propagation methodology to provide uncertainty estimates instead of more rigorous approaches requiring detailed statistical information, which is rarely available. DUET-H/WQ lists published uncertainty information for data collection procedures to assist the user in assigning appropriate data-specific uncertainty estimates and then calculates the uncertainty for individual discharge, concentration, and load values. Results of DUET-H/WQ application in several studies indicated that substantial uncertainty can be contributed by each procedural category (discharge measurement, sample collection, sample preservation/storage, laboratory analysis, and data processing and management). For storm loads, the uncertainty was typically least for discharge (±7–23%), greater for sediment (±16–27%) and dissolved N and P (±14–31%) loads, and greater yet for total N and P (±18–36%). When these uncertainty estimates for individual values were aggregated within study periods (i.e. total discharge, average concentration, and total load), uncertainties followed the same pattern (Q < TSS < dissolved N and P < total N and P). This rigorous demonstration of uncertainty in discharge and water quality data illustrates the importance of uncertainty analysis and the need for appropriate tools. It is our hope that DUET-H/WQ contributes to making uncertainty estimation a routine data collection and reporting procedure and thus enhances environmental monitoring, modeling, and decision-making. Hydrologic and water quality data are too important for scientists to continue to ignore the inherent uncertainty. 相似文献
5.
Tristan Behrens Mehdi Dastani Jürgen Dix Michael Köster Peter Novák 《Annals of Mathematics and Artificial Intelligence》2010,59(3-4):277-311
The Multi-Agent Programming Contest is an annual international event on programming multi-agent systems: Teams of agents participate in a simulated cooperative scenario. It started in 2005 and is organised in 2010 for the sixth time. The contest is an attempt to stimulate research in the area of multi-agent system development and programming by (i) identifying key problems in the field and (ii) collecting suitable benchmarks that can serve as milestones for testing multi-agent programming languages, platforms and tools. This article provides a short history of the contest since it started and reports in more detail on the cows and cowboys scenario implemented for the 2008, 2009 and 2010 contest editions. We briefly discuss the underlying technological background and conclude with a critical discussion of the experiences and lessons learned. 相似文献
6.
Tristan Roussillon Hervé Piégay Isabelle Sivignon Laure Tougne Franck Lavigne 《Computers & Geosciences》2009,35(10):1992-2000
The shape of sedimentary particles is an important property, from which geographical hypotheses related to abrasion, distance of transport, river behavior, etc. can be formulated. In this paper, we use digital image analysis, especially discrete geometry, to automatically compute some shape parameters such as roundness, i.e. a measure of how much the corners and edges of a particle have been worn away.In contrast to previous work in which traditional digital images analysis techniques, such as Fourier transform, are used, we opted for a discrete geometry approach that allowed us to implement Wadell's original index, which is known to be more accurate, but more time consuming to implement in the field.Our implementation of Wadell's original index is highly correlated (92%) with the roundness classes of Krumbein's chart, used as a ground-truth. In addition, we show that other geometrical parameters, which are easier to compute, can be used to provide good approximations of roundness.We also used our shape parameters to study a set of pebbles digital images taken from the Progo basin river network (Indonesia). The results we obtained are in agreement with previous work and open new possibilities for geomorphologists thanks to automatic computation. 相似文献
7.
Tristan M. Behrens Jürgen Dix 《Annals of Mathematics and Artificial Intelligence》2007,51(2-4):81-121
We introduce a class of Petri nets, simple logic Petri nets (SLPN), that are based on logical expressions. We show how this type of nets can be efficiently mapped into logic programs with negation: the corresponding answer sets describe interleaved executions of the underlying nets (Theorem 1). The absence of an answer set indicates a deadlock situation. We also show how to correctly model and specify AgentSpeak agents and multi-agent systems with SLPN’s (Theorem 2). Both theorems allow us to solve the task of model checking AgentSpeak multi-agent systems by computing answer sets of the obtained logic program with any ASP system. 相似文献
8.
Gabriel Kalyon Tristan Le Gall Hervé Marchand Thierry Massart 《Discrete Event Dynamic Systems》2012,22(2):121-161
We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete
event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially
deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using
abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms
to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the
finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature.
Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency. 相似文献
9.
Tristan Kolb Christian Neuber Marie Krysak Christopher K. Ober Hans‐Werner Schmidt 《Advanced functional materials》2012,22(18):3865-3873
Each film preparation technique affects the physical properties of the resulting coating and thus defines its applicability in modern device construction. In this context solvent based spin coated and solvent‐free physical vapor deposited molecular glass photoresist films are systematically investigated for their dissolution behavior, sensitivity, and overall lithographic performance. These investigations demonstrate that the solvent‐free physical vapor deposition leads to a marked increase in sensitivity. This could be explained by the individual molecule by molecule deposition step producing a more homogeneous distribution of the multicomponent resist system, especially the photoacid generator. In addition, this assumption is supported by former published simulations focusing on aggregate formation within thin films. This work demonstrates that the lithographic sensitivity of multicomponent resist system is an intrinsic parameter to investigate molecular material distribution and indicates that the applied film preparation technique is crucial for the corresponding performance and applicability. 相似文献
10.
Stéphanie van Loo Serguei Stoukatch Michael Kraft Tristan Gilet 《Microfluidics and nanofluidics》2016,20(10):146
In microfluidics, flow focusing is widely used to produce water-in-oil droplets in microchannels at high frequency. We here report an experimental study of droplet formation in a microfluidic cross-junction with a minimum number of geometrical parameters. We mostly focus on the squeezing regime, which is composed of two distinct steps: filling and pinching. The duration of each step (and corresponding volumes of each liquid phase) is analyzed. They vary according to both water and oil flow rates. These variations provide several insights about the fluid flows in both phases. We propose several scaling laws to relate the droplet volume and frequency to the flow rate of both phases. We also discuss the influence of surfactant and channel compliance on droplet formation. 相似文献