检索结果-内蒙古大学图书馆

Highlights from the 11th ISCB Student Council Symposium 2015. Dublin, Ireland. 10 July 2015

BMC bioinformatics 2016年第3期17 Suppl 3卷 95页

作者： Katie Wilkins Mehedi Hassan Margherita Francescatto Jakob Jespersen R. Gonzalo Parra Bart Cuypers Dan DeBlasio Alexander Junge Anupama Jigisha Farzana Rahman Griet Laenen Sander Willems Lieven Thorrez Yves Moreau Nagarajan Raju Sonia Pankaj Chothani C. Ramakrishnan Masakazu Sekijima M. Michael Gromiha Paddy J Slator Nigel J Burroughs Przemysław Szałaj Zhonghui Tang Paul Michalski Oskar Luo Xingwang Li Yijun Ruan Dariusz Plewczynski Giulia Fiscon Emanuel Weitschek Massimo Ciccozzi Paola Bertolazzi Giovanni Felici Pieter Meysman Manu Vanaerschot Maya Berg Hideo Imamura Jean-Claude Dujardin Kris Laukens Westa Domanova James R. Krycer Rima Chaudhuri Pengyi Yang Fatemeh Vafaee Daniel J. Fazakerley Sean J. Humphrey David E. James Zdenka Kuncic Plant Pathology and Plant-Microbe Biology Section School of Integrative Plant Science Cornell University Ithaca USA Graduate Field of Computational Biology Cornell University Ithaca USA School of Computing & Mathematics University of South Wales Cardiff UK Department of Genome Biology for Neurodegenerative Diseases German Center for Neurodegenerative Diseases (DZNE) within the Helmholtz Association ᅟ Germany Department of Surgery Massachusetts General Hospital The Broad Institute of MIT and Harvard Boston USA Department of Systems Biology Technical University of Denmark Kemitorvet Denmark Protein Physiology Lab Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Buenos Aires Argentina Molecular Parasitology Unit (MPU) Institute of Tropical Medicine Antwerp Belgium Advanced Database Research and Modeling (ADReM) research group University of Antwerp Antwerpen Belgium Department of Computer Science University of Arizona Tucson USA Department of Veterinary Clinical and Animal Sciences Center for non-coding RNA in Technology and Health University of Copenhagen Copenhagen Denmark University College Dublin Dublin Ireland Department of Electrical Engineering (ESAT) STADIUS Center for Dynamical Systems Signal Processing and Data Analytics KU Leuven Leuven Belgium Minds Medical IT Department Leuven Belgium Scientific Institute of Public Health (WIV-ISP) Platform of Biotechnology and Molecular Biology (PBB) Brussels Belgium Department of Development and Regeneration @ Kulak KU Leuven Kortrijk Belgium Department of Biotechnology Bhupat and Jyoti Metha School of Biosciences Indian Institute of Technology Madras Chennai India Philips Research North America Briarcliff Manor USA Global Scientific Information and Computing Center (GSIC) Tokyo Institute of Technology Tokyo Japan Systems Biology Centre University of Warwick Senate House Coventry UK Systems Biology Doctoral Training Centre University of Warwick Senate House Coventry UK Center for B

A1 Highlights from the eleventh ISCB Student Council Symposium 2015 Katie Wilkins, Mehedi Hassan, Margherita Francescatto, Jakob Jespersen, R. Gonzalo Parra, Bart Cuypers, Dan DeBlasio, Alexander Junge, Anupama Jigisha, Farzana Rahman O1 Prioritizing a drug’s targets using both gene expression and structural similarity Griet Laenen, Sander Willems, Lieven Thorrez, Yves Moreau O2 Organism specific protein-RNA recognition: A computational analysis of protein-RNA complex structures from different organisms Nagarajan Raju, Sonia Pankaj Chothani, C. Ramakrishnan, Masakazu Sekijima; M. Michael Gromiha O3 Detection of Heterogeneity in Single Particle Tracking Trajectories Paddy J Slator, Nigel J Burroughs O4 3D-NOME: 3D NucleOme Multiscale Engine for data-driven modeling of three-dimensional genome architecture Przemysław Szałaj, Zhonghui Tang, Paul Michalski, Oskar Luo, Xingwang Li, Yijun Ruan, Dariusz Plewczynski O5 A novel feature selection method to extract multiple adjacent solutions for viral genomic sequences classification Giulia Fiscon, Emanuel Weitschek, Massimo Ciccozzi, Paola Bertolazzi, Giovanni Felici O6 A Systems Biology Compendium for Leishmania donovani Bart Cuypers, Pieter Meysman, Manu Vanaerschot, Maya Berg, Hideo Imamura, Jean-Claude Dujardin, Kris Laukens O7 Unravelling signal coordination from large scale phosphorylation kinetic data Westa Domanova, James R. Krycer, Rima Chaudhuri, Pengyi Yang, Fatemeh Vafaee, Daniel J. Fazakerley, Sean J. Humphrey, David E. James, Zdenka Kuncic

关键词： Visceral Leishmaniasis Feature Selection Method Frequent Itemset Mining Leishmania Donovani Student Council

来源：评论

学校读者我要写书评

暂无评论

CORRIGENDUM: "A visualization for the dynamic behaviors of the mixture of water mass for northwestern pacific near Japan"

引用

International Journal of Modeling, Simulation, and Scientific Computing 2015年第2期6卷

作者： Kun Zhao Satoshi Nakada Naohisa Sakamoto Koji Koyamada Chandrajit Bajaj Yoichi Ishikawa Toshiyuki Awaji Teiji In Sei-Ichi Saitoh Graduate School of Engineering Kyoto University Kyoto Kyoto Prefecture 606-8501 Japan Institute for the Promotion of Excellence in Higher Education Kyoto University Kyoto Kyoto Prefecture 606-8501 Japan Department of Computer Science The Institute for Computational Engineering and Sciences University of Texas at Austin Austin Texas 78712 USA Department of Geophysics Division of Earth and Planetary Sciences Kyoto University Kyoto Kyoto Prefecture 606-8501 Japan Data Research Center for Marine-Earth Sciences Japan Agency for Marine-Earth Science and Technology Yokosuka Kanakawa Prefecture 237-0061 Japan Japan Marine Science Foundation Tokyo Tokyo Metropolis 110-0008 Japan Laboratory of Marine Bioresource and Environment Sensing Faculty of Fisheries Sciences Hokkaido University Sapporo Hokkaido Prefecture 060-0808 Japan

来源：评论

学校读者我要写书评

暂无评论

The open connectome project data cluster: Scalable analysis and vision for high-throughput neuroscience

The open connectome project data cluster: Scalable analysis ...

引用

25th International Conference on Scientific and Statistical database Management, SSDBM 2013

作者： Burns, Randal Roncal, William Gray Kleissas, Dean Lillaney, Kunal Manavalan, Priya Perlman, Eric Berger, Daniel R. Bock, Davi D. Chung, Kwanghun Grosenick, Logan Kasthuri, Narayanan Weiler, Nicholas C. Deisseroth, Karl Kazhdan, Michael Lichtman, Jeff Reid, R. Clay Smith, Stephen J. Szalay, Alexander S. Vogelstein, Joshua T. Vogelstein, R. Jacob Department of Computer Science Institute for Data Intensive Engineering and Science Johns Hopkins University United States Applied Physics Laboratory Johns Hopkins University United States Department of Statistical Science and Mathematics Institute for Brain Science Duke University United States Janelia Farm Research Campus Howard Hughes Medical Institute United States Department of Molecular and Cellular Biology Harvard University United States Department of Computational Neuroscience Massachusetts Institute of Technology United States Allen Institute for Brain Science United States Department of Physics and Astronomy Institute for Data Intensive Engineering and Science Johns Hopkins University United States Department of Bioengineering Stanford University United States Department of Molecular and Cellular Physiology Stan- Ford University United States

ISBN: (纸本)9781450319218

We describe a scalable database cluster for the spatial analysis and annotation of high-throughput brain imaging data, initially for 3-d electron microscopy image stacks, but for time-series and multi-channel data as well. The system was designed primarily for workloads that build connectomes- neural connectivity maps of the brain-using the parallel execution of computer vision algorithms on high-performance compute clusters. These services and open-science data sets are publicly available at ***. The system design inherits much from NoSQL scale-out and data-intensive computing architectures. We distribute data to cluster nodes by partitioning a spatial index. We direct I/O to different systems-reads to parallel disk arrays and writes to solid-state storage-to avoid I/O interference and maximize throughput. All programming interfaces are RESTful Web services, which are simple and stateless, improving scalability and usability. We include a performance evaluation of the production system, highlighting the effectiveness of spatial data organization. Copyright © 2013 ACM.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

A VASUALIZATION FOR THE DYNAMIC BEHAVIORS OF THE MIXTURE OF WATER MASS FOR NORTHWESTERN PACIFIC NEAR JAPAN

引用

International Journal of Modeling, Simulation, and Scientific Computing 2013年第S01期4卷 86-103页

作者： KUN ZHAO SATOSHI NAKADA NAOHISA SAKAMOTO KOJI KOYAMADA CHANDRAJIT BAJAJ YOICHI ISHIKAWA TOSHIYUKI AWAJI TEIJI IN SEI-ICHI SAITOH Graduate School of Engineering Kyoto University KyotoKyoto Prefecture606-8501Japan Institute for the Promotion of Excellence in Higher Education Kyoto University KyotoKyoto Prefecture606-8501Japan Department of Computer Science The Institute for Computational Engineering and Sciences University of Texas at Austin AustinTexas78712USA Department of Geophysics Division of Earth and Planetary Sciences Kyoto University KyotoKyoto Prefecture606-8501Japan Data Research Center for Marine-Earth Sciences Japan Agency for Marine-Earth Science and Technology Yokosuka Kanakawa Prefecture237-0061Japan Japan Marine Science Foundation Tokyo Tokyo Metropolis110-0008Japan Laboratory of Marine Bioresource and Environment Sensing Faculty of Fisheries Sciences Hokkaido University SapporoHokkaido Prefecture060-0808Japan

Recent studies are focusing on the distribution of water mass because the mixture region of water mass is highly related to the rich fishing grounds[Yasuda I.,Watanabe Y.,***.3(3):172–181,1994].Due to the large data size and time-varying property,efficient exploration and visualization of the ocean data is always extremely *** extract the dynamic behaviors of the water mass and its mixture from a large-scale simulated ocean dataset,we developed an efficient visualization system by applying our volume compression method and our volume rendering *** system allows us to investigate the time-varying distributions of ocean physical properties,additionally from the user’s perspective and *** the experiments,we show the generality and expressiveness by applying our system for single-and multi-property visualizations to find some significant ocean water ***,we could obtain a clear visualization result to show the dynamic behaviors of the mixture of water mass for simulation data regarding a location in the northwestern Pacific near Japan.

关键词： Oceanography water mass visualization.

来源：评论

学校读者我要写书评

暂无评论

High Performance Bi_2Se_3 Nanowire Field-Effect Transistors

High Performance Bi_2Se_3 Nanowire Field-Effect Transistors

引用

Annual Device Research Conference

作者： Hao Zhu Curt A. Richter Erhai Zhao John E. Bonevich Hyuk-Jae Jang Hui Yuan Haitao Li Abbas Arab Oleg Kirillov William A. Kimes James E. Maslar Qiliang Li Semiconductor and Dimensional Metrology Division National Institute of Standards and Technology School of Physics Astronomy and Computational Sciences George Mason University Materials Science and Engineering Division National Institute of Standards and Technology Department of Electrical and Computer Engineering George Mason University Chemical and Biochemical Reference Data Division National Institute of Standards and Technology

ISBN: (纸本)9781479908134

Bi_2Se_3 is considered to be a three dimensional (3D) topological insulator (TI) with a bulk band gap of 0.35 eV and a single Dirac cone on the surface. [1, 2] TIs are an exciting new class of materials with insulating behavior in the bulk but gapless surface states topologically protected by time-reversal symmetry. [1, 3] Device applications exploiting these properties have so far been hampered by the difficulty to electrically tune the Fermi levels of either bulk or thin film samples. We have experimentally demonstrated that single-crystal nanowires of Bi_2Se_3 can be used as the conduction channel in high-performance field effect transistors (FET). The current-voltage (I-V) characteristics of these devices - including sharp turn-on, zero cutoff current, very large On/Off current ratio, and well-saturated output current - are superior to those reported for many semiconductor nanowire transistors. Bi_2Se_3 nanowire-based FETs were fabricated by using a self-alignment process. [4,5] The Bi_2Se_3 nanowires (on the order of 50 nm to 150 nm in width and 10 μm in length - Fig. 1) were grown on thermally oxidized Si substrates in pre-defined locations from patterned Au catalyst. High-resolution transmission electron microscopy (HRTEM) (Fig. 1) determined that the Bi_2Se_3 nanowires are well-defined single-crystals in the rhombohedral phase and the growth direction is close to [1120]. Source/drain (S/D) contacts were patterned with 3 nm/100 nm Ti/Pt. To form top-gated FETs, ≈ 30 nm of HfO_2 was deposited by atomic layer deposition followed by the formation of a 100 nm Pd top-gate by lift-off. A completed Bi_2Se_3 nanowire FET is schematically shown in Fig 1 which also contains a TEM image of the cross-section showing the hexagonal nanowire core surrounded by the HfO_2 layer and the Omega-shaped Pd top gate. The completed devices were electrically characterized (with the backside Si grounded) under vacuum. These Bi_2Se_3 devices exhibit a strong field effect and excellent

关键词： Field effect transistors Fermi level Nanowire Figs Band gap Surface state Paul Adrien Maurice Dirac currents Electricity Newton meter

来源：评论

学校读者我要写书评

暂无评论

Stillinger-Weber potential for the II-VI elements Zn-Cd-Hg-S-Se-Te

引用

Physical Review B 2013年第8期88卷 085309-085309页

作者： X. W. Zhou D. K. Ward J. E. Martin F. B. van Swol J. L. Cruz-Campa D. Zubia Mechanics of Materials Department Sandia National Laboratories Livermore California 94550 USA Radiation and Nuclear Detection Materials and Analysis Department Sandia National Laboratories Livermore California 94550 USA Nanoscale Sciences Department Sandia National Laboratories Albuquerque New Mexico 87185 USA Computational Materials and Data Science Department Sandia National Laboratories Albuquerque New Mexico 87185 USA MEMS Technologies Department Sandia National Laboratories Albuquerque New Mexico 87185 USA Department of Electrical Engineering University of Texas at El Paso El Paso Texas 79968 USA

Bulk and multilayered thin film crystals of II-VI semiconductor compounds are the leading materials for infrared sensing, γ-ray detection, photovoltaics, and quantum dot lighting applications. The key to achieving high performance for these applications is reducing crystallographic defects. Unfortunately, past efforts to improve these materials have been prolonged due to a lack of understanding with regards to defect formation and evolution mechanisms. To enable high-fidelity and high-efficiency atomistic simulations of defect mechanisms, this paper develops a Stillinger-Weber interatomic potential database for semiconductor compounds composed of the major II-VI elements Zn, Cd, Hg, S, Se, and Te. The potential's fidelity is achieved by optimizing all the pertinent model parameters, by imposing reasonable energy trends to correctly capture the transformation between elemental, solid solution, and compound phases, and by capturing exactly the experimental cohesive energies, lattice constants, and bulk moduli of all binary compounds. Verification tests indicate that our model correctly predicts crystalline growth of all binary compounds during molecular dynamics simulations of vapor deposition. Two stringent cases convincingly show that our potential is applicable for a variety of compound configurations involving all the six elements considered here. In the first case, we demonstrate a successful molecular dynamics simulation of crystalline growth of an alloyed (Cd0.28Zn0.68Hg0.04) (Te0.20Se0.18S0.62) compound on a ZnS substrate. In the second case, we demonstrate the predictive power of our model on defects, such as misfit dislocations, stacking faults, and subgrain nucleation, using a complex growth simulation of ZnS/CdSe/HgTe multilayers that also contain all the six elements considered here. Using CdTe as a case study, a comprehensive comparison of our potential with literature potentials is also made. Finally, we also propose unique insights for improving the St

关键词： QUANTUM dots PHOTOVOLTAIC power generation LATTICE constants MOLECULAR dynamics SOLID solutions NUCLEATION

来源：评论

学校读者我要写书评

暂无评论

Joint Analysis of BICEP2/Keck Array and Planck data

引用

Physical Review Letters 2015年第10期114卷 101301-101301页

作者： P. A. R. Ade N. Aghanim Z. Ahmed R. W. Aikin K. D. Alexander M. Arnaud J. Aumont C. Baccigalupi A. J. Banday D. Barkats R. B. Barreiro J. G. Bartlett N. Bartolo E. Battaner K. Benabed A. Benoît A. Benoit-Lévy S. J. Benton J.-P. Bernard M. Bersanelli P. Bielewicz C. A. Bischoff J. J. Bock A. Bonaldi L. Bonavera J. R. Bond J. Borrill F. R. Bouchet F. Boulanger J. A. Brevik M. Bucher I. Buder E. Bullock C. Burigana R. C. Butler V. Buza E. Calabrese J.-F. Cardoso A. Catalano A. Challinor R.-R. Chary H. C. Chiang P. R. Christensen L. P. L. Colombo C. Combet J. Connors F. Couchot A. Coulais B. P. Crill A. Curto F. Cuttaia L. Danese R. D. Davies R. J. Davis P. de Bernardis A. de Rosa G. de Zotti J. Delabrouille J.-M. Delouis F.-X. Désert C. Dickinson J. M. Diego H. Dole S. Donzelli O. Doré M. Douspis C. D. Dowell L. Duband A. Ducout J. Dunkley X. Dupac C. Dvorkin G. Efstathiou F. Elsner T. A. Enßlin H. K. Eriksen E. Falgarone J. P. Filippini F. Finelli S. Fliescher O. Forni M. Frailis A. A. Fraisse E. Franceschi A. Frejsel S. Galeotta S. Galli K. Ganga T. Ghosh M. Giard E. Gjerløw S. R. Golwala J. González-Nuevo K. M. Górski S. Gratton A. Gregorio A. Gruppuso J. E. Gudmundsson M. Halpern F. K. Hansen D. Hanson D. L. Harrison M. Hasselfield G. Helou S. Henrot-Versillé D. Herranz S. R. Hildebrandt G. C. Hilton E. Hivon M. Hobson W. A. Holmes W. Hovest V. V. Hristov K. M. Huffenberger H. Hui G. Hurier K. D. Irwin A. H. Jaffe T. R. Jaffe J. Jewell W. C. Jones M. Juvela A. Karakci K. S. Karkare J. P. Kaufman B. G. Keating S. Kefeli E. Keihänen S. A. Kernasovskiy R. Keskitalo T. S. Kisner R. Kneissl J. Knoche L. Knox J. M. Kovac N. Krachmalnicoff M. Kunz C. L. Kuo H. Kurki-Suonio G. Lagache A. Lähteenmäki J.-M. Lamarre A. Lasenby M. Lattanzi C. R. Lawrence E. M. Leitch R. Leonardi F. Levrier A. Lewis M. Liguori P. B. Lilje M. Linden-Vørnle M. López-Caniego P. M. Lubin M. Lueker J. F. Macías-Pérez B. Maffei D. Maino N. Mandolesi A. Mangilli M. Maris P. G. Martin E. Martínez-González S. Masi P. Mason S. Matarrese K. G. Megerian School of Physics and Astronomy Cardiff University Queens Buildings The Parade Cardiff CF24 3AA United Kingdom Institut d’Astrophysique Spatiale CNRS (UMR8617) Université Paris-Sud 11 Bâtiment 121 Orsay France Department of Physics Stanford University Stanford California 94305 USA California Institute of Technology Pasadena California USA Harvard-Smithsonian Center for Astrophysics 60 Garden Street MS 42 Cambridge Massachusetts 02138 USA Laboratoire AIM IRFU/Service d’Astrophysique–CEA/DSM–CNRS–Université Paris Diderot Bâtiment 709 CEA-Saclay F-91191 Gif-sur-Yvette Cedex France SISSA Astrophysics Sector via Bonomea 265 34136 Trieste Italy Université de Toulouse UPS-OMP IRAP F-31028 Toulouse cedex 4 France CNRS IRAP 9 Avenue colonel Roche BP 44346 F-31028 Toulouse cedex 4 France Joint ALMA Observatory Vitacura Santiago Chile Instituto de Física de Cantabria (CSIC-Universidad de Cantabria) Avenida de los Castros s/n Santander Spain APC AstroParticule et Cosmologie Université Paris Diderot CNRS/IN2P3 CEA/lrfu Observatoire de Paris Sorbonne Paris Cité 10 rue Alice Domon et Léonie Duquet 75205 Paris Cedex 13 France Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive Pasadena California USA Dipartimento di Fisica e Astronomia G. Galilei Università degli Studi di Padova via Marzolo 8 35131 Padova Italy Istituto Nazionale di Fisica Nucleare Sezione di Padova via Marzolo 8 I-35131 Padova Italy University of Granada Departamento de Física Teórica y del Cosmos Facultad de Ciencias Granada Spain University of Granada Instituto Carlos I de Física Teórica y Computacional Granada Spain Institut d’Astrophysique de Paris CNRS (UMR7095) 98 bis Boulevard Arago F-75014 Paris France UPMC Université de Paris 06 UMR7095 98 bis Boulevard Arago F-75014 Paris France Institut Néel CNRS Université Joseph Fourier Grenoble I 25 rue des Martyrs Grenoble France Department of Physics and Astronomy University College London L

We report the results of a joint analysis of data from BICEP2/Keck Array and Planck. BICEP2 and Keck Array have observed the same approximately 400 deg2 patch of sky centered on RA 0 h, Dec. −57.5°. The combined maps reach a depth of 57 nK deg in Stokes Q and U in a band centered at 150 GHz. Planck has observed the full sky in polarization at seven frequencies from 30 to 353 GHz, but much less deeply in any given region (1.2 μK deg in Q and U at 143 GHz). We detect 150×353 cross-correlation in B modes at high significance. We fit the single- and cross-frequency power spectra at frequencies ≥150 GHz to a lensed-ΛCDM model that includes dust and a possible contribution from inflationary gravitational waves (as parametrized by the tensor-to-scalar ratio r), using a prior on the frequency spectral behavior of polarized dust emission from previous Planck analysis of other regions of the sky. We find strong evidence for dust and no statistically significant evidence for tensor modes. We probe various model variations and extensions, including adding a synchrotron component in combination with lower frequency data, and find that these make little difference to the r constraint. Finally, we present an alternative analysis which is similar to a map-based cleaning of the dust contribution, and show that this gives similar constraints. The final result is expressed as a likelihood curve for r, and yields an upper limit r0.05<0.12 at 95% confidence. Marginalizing over dust and r, lensing B modes are detected at 7.0σ significance.

关键词： STOKES equations FREQUENCIES of oscillating systems POWER spectra GRAVITATIONAL waves

来源：评论

学校读者我要写书评

暂无评论

Collaborative authoring of Walden's paths

Collaborative authoring of Walden's paths

引用

2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012

作者： Li, Yuanling Bogen II, Paul Logasa Pogue, Daniel Furuta, Richard Shipman, Frank Center for the Study of Digital Libraries Department of Computer Science and Engineering Texas A and M University College Station TX United States Intelligent Computing Research Team Computational Data Analytics Group Oak Ridge National Laboratory Oak Ridge United States User Experience and Interaction Design Team Production Enhancement Halliburton Energy Services Houston TX United States

ISBN: (纸本)9783642332890

This paper presents a prototype of an authoring tool to allow users to collaboratively build, annotate, manage, share and reuse collections of distributed resources from the World Wide Web. This extends on the Walden's Path project's work to help educators bring resources found on the World Wide Web into a linear contextualized structure. The introduction of collaborative authoring feature fosters collaborative learning activities through social interaction among participants, where participants can coauthor paths in groups. Besides, the prototype supports path sharing, branching and reusing;specifically, individual participant can contribute to the group with private collections of knowledge resources;paths completed by group can be shared among group members, such that participants can tailor, extend, reorder and/or replace nodes to have sub versions of shared paths for different information needs. © 2012 Springer-Verlag.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Verification of adaptive systems

Verification of adaptive systems

引用

AIAA Infotech at Aerospace Conference and Exhibit 2012

作者： Pullum, Laura Cui, Xiaohui Vassev, Emil Hinchey, Mike Rouff, Christopher Buskens, Richard Computational Data Analytics Group Oak Ridge National Laboratory P.O. Box 2008 MS-6085 Oak Ridge TN 37830 United States Computer Science Department New York Institute of Technology 1855 Broadway Manhattan NY 10023 United States Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland Lockheed Martin Advanced Technology Laboratories Informatics Laboratory 3 Executive Campus Suite 600 Cherry Hill NJ 08002 United States Lockheed Martin Advanced Technology Laboratories Informatics Laboratory Applied Science Laboratory 3 Executive Campus Cherry Hill NJ 08002 United States

ISBN: (数字)9781600869396

ISBN: (纸本)9781600869396

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach. © 2012 by the American Institute of Aeronautics and Astronautics, Inc.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Spin torque switching in triple-quantum dot device with ferromagnetic contacts for memory applications

Spin torque switching in triple-quantum dot device with ferr...

引用

作者： Xing, M.-J. Jalil, M.B.A. Tan, S.G. Jiang, Y. State Key Laboratory for Advanced Metals and Materials School of Materials Science and Engineering University of Science and Technology Beijing 100083 China Computational Nanoelectronics and Nano-device Laboratory Electronic and Computer Engineering Department National University of Singapore Singapore 117576 Singapore Data Storage Institute National University of Singapore Singapore 117608 Singapore Information Storage Materials Laboratory Electronic and Computer Engineering Department National University of Singapore Singapore 117576 Singapore

We investigate the applicability of a triple quantum dot (TQD) device for memory operation, in which information is coded by the magnetization of a ferromagnetic (FM) electrode. In the presence of Rashba spin-orbit coupling, a high spin polarization of current can be generated in the TQD device to induce spin transfer switching of the FM electrode. We evaluate the spin current and spin torque via the Keldysh nonequilibrium Green's function method. The calculated spin torque can be reversed symmetrically by applying an opposite bias voltage, thus enabling current-induced magnetization switching to be applied for data writing. Additionally, the charge current shows a large modulation when the magnetization of the FM electrode is switched, a feature which can be utilized for reading data. The ability to write and read data demonstrates the applicability of the TQD device for spin transfer torque-based memory. © 2011 American Institute of Physics.

关键词： Magnetization

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：