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

Tomography is Necessary for Universal Entanglement Detection with Single-Copy Observables

Physical Review Letters 2016年第23期116卷 230501-230501页

作者： Dawei Lu Tao Xin Nengkun Yu Zhengfeng Ji Jianxin Chen Guilu Long Jonathan Baugh Xinhua Peng Bei Zeng Raymond Laflamme Institute for Quantum Computing University of Waterloo Waterloo N2L 3G1 Ontario Canada State Key Laboratory of Low-Dimensional Quantum Physics and Department of Physics Tsinghua University Beijing 100084 China Centre for Quantum Computation and Intelligent Systems Faculty of Engineering and Information Technology University of Technology Sydney NSW 2007 Australia Department of Mathematics and Statistics University of Guelph Guelph Ontario N1G 2W1 Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Joint Center for Quantum Information and Computer Science University of Maryland College Park Maryland 20742 USA Hefei National Laboratory for Physical Sciences at Microscale and Department of Modern Physics University of Science and Technology of China Hefei Anhui 230036 China Canadian Institute for Advanced Research Toronto Ontario M5G 1Z8 Canada Perimeter Institute for Theoretical Physics Waterloo Ontario N2L 2Y5 Canada

Entanglement, one of the central mysteries of quantum mechanics, plays an essential role in numerous tasks of quantum information science. A natural question of both theoretical and experimental importance is whether universal entanglement detection can be accomplished without full state tomography. In this Letter, we prove a no-go theorem that rules out this possibility for nonadaptive schemes that employ single-copy measurements only. We also examine a previously implemented experiment [H. Park et al., Phys. Rev. Lett. 105, 230404 (2010)], which claimed to detect entanglement of two-qubit states via adaptive single-copy measurements without full state tomography. In contrast, our simulation and experiment both support the opposite conclusion that the protocol, indeed, leads to full state tomography, which supplements our no-go theorem. These results reveal a fundamental limit of single-copy measurements in entanglement detection and provide a general framework of the detection of other interesting properties of quantum states, such as the positivity of partial transpose and the k-symmetric extendibility.

关键词： Entanglement detection Entanglement measures Quantum tomography Nuclear magnetic resonance

来源：评论

学校读者我要写书评

暂无评论

The λ-turn: A new structural motif in ribosomal RNA 11th

The λ-turn: A new structural motif in ribosomal RNA

引用

11th International Conference on intelligent Computing, ICIC 2015

作者： Ren, Huizhu Shen, Ying Zhang, Lin Metabolic Disease Hospital 2011 Collab. Innov. Center of Tianjin for Medical Epigenetics Tianjin Institute of Endocrinology Tianjin Medical University Tianjin300070 China School of Software Engineering Tongji University Shanghai China Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information Ministry of Education Nanjing University of Science and Technology Nanjing210094 China

ISBN: (纸本)9783319221854

RNA structural motifs are recurrent structural elements occurring in RNA molecules. They play essential roles in consolidating RNA tertiary structures and in binding proteins. Recently, we identified a new type of RNA structural motif, namely λ-turn, from ribosomal RNAs. This motif has a helix-internal loop-helix structure. The directions of its two helices are changed ~90° due to the existence of the internal loop. A guanine from the 3′-end of the internal loop extrudes out and forms a base triple with a G-C WC base pair from one helix of the motif. From the global perspective, the λ-turn is often capped by a helix and a tetraloop. A nucleotide between the capped helix and the tetraloop forms a consecutive base triple next to the first one with a G-C pair from the same helix that the first G-C pair resides. The λ-turn motif has a consensus sequence pattern and its 3D structure is conserved across different species. All the identified λ-turns are located on surfaces of ribosomal RNAs. Structures of ribosomes reveal direct interactions between λ-turns and ribosomal proteins. All these observations indicate that λ-turns have an important role in binding with ribosomal proteins. © Springer International Publishing Switzerland 2015.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

Evaluating on-line model checking in UPPAAL-SMC using a laser tracheotomy case study

Evaluating on-line model checking in UPPAAL-SMC using a lase...

引用

5th Medical Cyber-Physical systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014

作者： Ma, Xintao Rinast, Jonas Schupp, Sibylle Gollmann, Dieter Institute of Software Systems Hamburg University of Technology 21073 Hamburg Germany Security in Distributed Systems Hamburg University of Technology 21073 Hamburg Germany

ISBN: (纸本)9783939897668

On-line model checking is a variant of model checking that evaluates properties of a system concurrently while deployed, which allows overcoming limitations of inaccurate system models. In this paper we conduct a laser tracheotomy case study to evaluate the feasibility of using the statistical model checker UPPAAL-SMC for on-line model checking in a medical application. Development of automatic on-line model checking relies on the precision of the prediction and real-time capabilities as real-time requirements must be met. We evaluate the case study with regards to these qualities and our results show that using UPPAAL-SMC in an on-line model checking context is practical: relative prediction errors were only 2% on average and guarantees could be established within reasonable time during our experiments. © Xintao Ma, Jonas Rinast, Sibylle Schupp, and Dieter Gollmann.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation

A visual tracking model implemented on the iCub robot as a u...

引用

IEEE-RAS International Conference on Humanoid Robots

作者： Lorenzo Vannucci Alessandro Ambrosano Nino Cauli Ugo Albanese Egidio Falotico Stefan Ulbrich Lars Pfotzer Georg Hinkel Oliver Denninger Daniel Peppicelli Luc Guyot Axel Von Arnim Stefan Deser Patrick Maier Rudiger Dillman The BioRobotics Institute Scuola Superiore Sant'Anna Department of Intelligent Systems and Production Engineering (ISPE - IDS/TKS) at the FZI Research Center for Information Technology Department of Software Engineering (SE) at the FZI Research Center for Information Technology Blue Brain Project (BBP) at Ecole polytechnique federale de Lausanne (EPFL) fortiss GmbH Department of Informatics at Technical University of Munich

ISBN: (纸本)9781479968862

Developing neuro-inspired computing paradigms that mimic nervous system function is an emerging field of research that fosters our model understanding of the biological system and targets technical applications in artificial systems. The computational power of simulated brain circuits makes them a very promising tool for the development for brain-controlled robots. Early phases of robotic controllers development make extensive use of simulators as they are easy, fast and cheap tools. In order to develop robotics controllers that encompass brain models, a tool that include both neural simulation and physics simulation is missing. Such a tool would require the capability of orchestrating and synchronizing both simulations as well as managing the exchange of data between them. The Neurorobotics Platform (NRP) aims at filling this gap through an integrated software toolkit enabling an experimenter to design and execute a virtual experiment with a simulated robot using customized brain models. As a use case for the NRP, the iCub robot has been integrated into the platform and connected to a spiking neural network. In particular, experiments of visual tracking have been conducted in order to demonstrate the potentiality of such a platform.

关键词： physical simulation visual tracking Robot tool cases Brain modeling Nervous System Physiological Phenomena simulating field surveys Fostering

来源：评论

学校读者我要写书评

暂无评论

System studies on active thermal protection of a hypersonic suborbital passenger transport vehicle 19

System studies on active thermal protection of a hypersonic ...

引用

AIAA AVIATION 2014 -19th AIAA International Space Planes and Hypersonic systems and Technologies Conference 2014

作者： Schwanekamp, Tobias Meyer, Frank Reimer, Thomas Petkov, Ivaylo Tröltzsch, Anke Siggel, Martin of the Institute of Space Systems Robert-Hooke-Str. 7 28359 Bremen Germany Space System Integration Institute of Structures and Design Pfaffenwaldring 38-40 70569 Stuttgart Germany Distributed Systems and Component Software Simulation and Software Technology Linder Höhe 2b 51147 Cologne Germany

ISBN: (数字)9781624102844

ISBN: (纸本)9781624102844

Aerodynamic heating is a critical design aspect for the development of reusable hypersonic transport and reentry vehicles. The reliability in terms of thermal resistance is one of the major driving factors with respect to the design margins, the mass balance and finally the total costs of a configuration. Potential designs of active cooling systems for critical regions such as the vehicle nose and leading edges are presented as well as preliminary approaches for their impact on the total mass. The visionary suborbital passenger transport concept SpaceLiner is taken as a reference vehicle for these studies. Covering the whole flight regime from subsonic to Mach numbers of more than 20, this vehicle creates high demands on the thermal protection system. Part of the work was performed within the DLR research project THERMAS.

关键词： Hypersonic vehicles

来源：评论

学校读者我要写书评

暂无评论

Capturing the temporal domain in echonest features for improved classification effectiveness

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8382卷 214-227页

作者： Schindler, Alexander Rauber, Andreas Department of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria Intelligent Vision Systems AIT Austrian Institute of Technology Vienna Austria

ISBN: (纸本)9783319120928

This paper proposes Temporal Echonest Features to harness the information available from the beat-aligned vector sequences of the features provided by The Echo Nest. Rather than aggregating them via simple averaging approaches, the statistics of temporal variations are analyzed and used to represent the audio content. We evaluate the performance on four traditional music genre classification test collections and compare them to state of the art audio descriptors. Experiments reveal, that the exploitation of temporal variability from beat-aligned vector sequences and combinations of different descriptors leads to an improvement of classification accuracy. Comparing the results of Temporal Echonest Features to those of approved conventional audio descriptors used as benchmarks, these approaches perform well, often significantly outperforming their predecessors, and can be effectively used for large scale music genre classification. © Springer International Publishing Switzerland 2014.

关键词： Audio acoustics

来源：评论

学校读者我要写书评

暂无评论

A nearly optimal upper bound for the self-stabilization time in Herman's algorithm

A nearly optimal upper bound for the self-stabilization time...

引用

25th International Conference on Concurrency Theory, CONCUR 2014

作者： Feng, Yuan Zhang, Lijun Centre for Quantum Computation and Intelligent Systems University of Technology Sydney Australia AMSS-UTS Joint Research Laboratory for Quantum Computation Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783662445839

Self-stabilization algorithms are very important in designing fault-tolerant distributed systems. In this paper we consider Herman's self-stabilization algorithm and study its expected self-stabilization time. McIver and Morgan have conjectured the optimal upper bound being 0.148N 2, where N denotes the number of processors. We present an elementary proof showing a bound of 0.167N2, a sharp improvement compared with the best known bound 0.521N2. Our proof is inspired by McIver and Morgan's approach: we find a nearly optimal closed form of the expected stabilization time for any initial configuration, and apply the Lagrange multipliers method to give an upper bound of it. © 2014 Springer-Verlag.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Dynamically predicting the deadlines in time-constrained workflows 14

Dynamically predicting the deadlines in time-constrained wor...

引用

14th International Workshops on Web Information systems Engineering, WISE 2013 with Big WebData, MBC, PCS, STeH, QUAT, SCEH,and STSC

作者： Guo, Xiaobo Ge, Jidong Zhou, Yu Hu, Haiyang Yao, Feng Li, Chuanyi Hu, Hao State Key Laboratory for Novel Software Technology Nanjing University 210093 China Software Institute Nanjing University Nanjing210093 China Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information Ministry of Education Nanjing University of Science and Technology Nanjing China College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing210019 China School of Computer Hangzhou Dianzi University Hangzhou310018 China

ISBN: (纸本)9783642543692

In order to predict workflow's deadline, and improve the efficiency of the entire workflow management, this paper proposes an efficient method to dynamically predict the deadline of time-constrained workflows. This method improves the lack of the existing method in which all the paths in selection structures were assigned the same deadline. We apply LMST-invariant decomposition to decompose the selection structures of the workflow. With the checkpoints which are inserted on selection activities, we propose an efficient method to timely predict the workflow's deadline. This method is more suitable for the practical application. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Workflow management

来源：评论

学校读者我要写书评

暂无评论

How a conflict changes the way how people behave on fandoms: An investigation of shipper's fight in Facebook groups

How a conflict changes the way how people behave on fandoms:...

引用

20th International Conference on Collaboration and technology, CRIWG 2014

作者： Souza, Cleyton Rolim, André Magalhães, Jonathas Costa, Evandro Fechine, Joseana Andrade, Nazareno Artificial Intelligence Laboratory - LIA Federal University of Campina Grande - UFCG Campina Grande-PB Brazil Distributed Systems Laboratory - LSD Federal University of Campina Grande - UFCG Campina Grande-PB Brazil Federal Institute of Education Science and Technology of Paraíba - IFPB Cajazeiras - PB Brazil Intelligent Personalized and Social Technologies Group - TIPS Federal University of Alagoas - UFAL Maceió-AL Brazil

ISBN: (纸本)9783319101651

Shippers are fans of couples. In the virtual sphere, rival Shippers (Shippers of conflicting couples) are obligated to share the same space in order to discuss common interest matters. However, sometimes, conflict emerges between them when the divergence of opinions appears. Our work investigates the implications of these conflicts. In order to propose countermeasures to prevent or reduce the frequency of conflicts, a good understanding of the problem is necessary. We start discussing about why people felt motivated to debate about fictional couples. Next, we report about how this struggle changes the normative sense of people. Finally, we investigate the role of the virtual space in the conflict. Our investigation takes place in a Facebook group called How I Met Your Mother [Brazil]. To support our observations, we collected evidences from posts from the group, interviews with members and answers from a questionnaire. © 2014 Springer International Publishing.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

State space reconstruction for on-line model checking with UPPAAL

State space reconstruction for on-line model checking with U...

引用

5th International Conference on Advances in System Testing and Validation Lifecycle, VALID 2013, Held at SoftNet 2013

作者： Rinast, Jonas Schupp, Sibylle Gollmann, Dieter Institute of Software Systems Hamburg University of Technology Hamburg Germany Security in Distributed Applications Hamburg University of Technology Hamburg Germany

ISBN: (纸本)9781629933030

On-line system verification requires the efficient reconstruction of the state space a model checker generates. This paper proposes an approach to reconstruct the current state of models of real-time systems, implements it in the Uppsala and Aalborg model checker (UPPAAL) and thus renders on-line model checking in UPPAAL possible. On-line model-checking can be employed if parameters of models need to be adjusted to real-world values in case models are inaccurate. Applications include closed-loop patient monitoring and care taking as patient models commonly fail to accurately model all interactions in the human body and thus cannot provide good long-term estimates to ensure the patient's safety. We exploit use-definition chains in state space transformations to reduce the amount of reconstruction transformations. During testing the method reduced the amount of transformations by 42% on average over all experiments.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：