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

Synchronized alternating turing machines on four-dimensional input tapes

WSEAS Transactions on computers 2010年第4期9卷 319-328页

作者： Sakamoto, Makoto Matsukawa, Tomoya Katamune, Ryoju Furutani, Hiroshi Kono, Michio Ikeda, Satoshi Ito, Takao Uchida, Yasuo Yoshinaga, Tsunehiro Department of Computer Science and Systems Engineering University of Miyazaki 1-1 Gakuen Kibanadai Nishi Miyazaki Miyazaki 889-2192 Japan Department of Business Administration Ube National College of Technology 14-1 Tokiwadai 2-chome Ube Yamaguchi 755-8555 Japan Department of Computer Science and Electronic Engineering Tokuyama College of Technology Gakuendai Shunan Yamaguchi 745-8585 Japan

Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM), and investigates fundamental properties of 4-SATM's. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM's and four-dimensional alternating Turing machines with small space bounds, (2) a relationship between the accepting powers of seven-way and eight-way 4-SATM's, (3) a relationship between the accepting powers of 4-SATM's and four-dimensional nondeterministic Turing machines. In this paper, we let each sidelength of each input tape of these automata be equivalent in order to increase the theoretical interest.

关键词： Turing machines

来源：评论

学校读者我要写书评

暂无评论

Virtual Coach Technology for Supporting Self-Care

引用

Physical Medicine and Rehabilitation Clinics of North America 2010年第1期21卷 179-194页

作者： Ding, Dan Liu, Hsin-Yi Cooper, Rosemarie Cooper, Rory A. Smailagic, Asim Siewiorek, Dan Department of Rehabilitation Science and Technology University of Pittsburgh Pittsburgh PA 15260 United States Department of Veterans Affairs Human Engineering Research Laboratories VA Pittsburgh Healthcare System Pittsburgh PA 15206 7180 Highland Drive Bldg. 4 2nd Fl. East 151R1-H United States Center for Assistive Technology Pittsburgh PA 15213 200 Lothrop Street Forbes Tower Suite 3010 United States School of Computer Science Institute for Complex Engineered Systems Carnegie Mellon University Pittsburgh PA Hamburg Hall 1217 United States School of Computer Science Carnegie Mellon University Pittsburgh PA Newell-Simon Hall 3519 United States

"Virtual Coach" refers to a coaching program or device aiming to guide users through tasks for the purpose of prompting positive behavior or assisting with learning new skills. This article reviews virtual coach interventions with the purpose of guiding rehabilitation professionals to comprehend more effectively the essential components of such interventions, the underlying technologies and their integration, and example applications. A design space of virtual coach interventions including self-monitoring, context awareness, interface modality, and coaching strategies were identified and discussed to address when, how, and what coaching messages to deliver in an automated and intelligent way. Example applications that address various health-related issues also are provided to illustrate how a virtual coach intervention is developed and evaluated. Finally, the article provides some insight into addressing key challenges and opportunities in designing and implementing virtual coach interventions. It is expected that more virtual coach interventions will be developed in the field of rehabilitation to support self-care and prevent secondary conditions in individuals with disabilities. © 2010 Elsevier Inc.

关键词： Context awareness Disability Intelligent prompting Power wheelchair seating functions Preventive health management Secondary condition Self-care Virtual coach

来源：评论

学校读者我要写书评

暂无评论

Learning compliance control of robot manipulators in contact with the unknown environment

Learning compliance control of robot manipulators in contact...

引用

2010 IEEE International Conference on Automation science and Engineering, CASE 2010

作者： Li, Yanan Yang, Chenguang Ge, Shuzhi Sam Social Robotics Lab. NUS Graduate School for Integrative Sciences and Engineering National University of Singapore Singapore 119613 Singapore Department of Bioengineering Imperial College London London SW7 2AZ United Kingdom Department of Electrical and Computer Engineering Interactive Digital Media Institute National University of Singapore Singapore 117576 Singapore Institute of Intelligent Systems University of Electronic Science and Technology of China Chengdu 610054 China

ISBN: (纸本)9781424454471

In this paper, a control mechanism is presented to improve the compliance performance of the robot manipulator when it is in contact with the unknown environment. This mechanism guarantees that the dynamics of the whole system follows a target impedance model so that the desired compliance performance is obtained. In particular, under the assumption that the dynamics is periodic, a learning law is developed to estimate the unknown dynamics parameters. Besides, the proposed systematic learning control does not require the accurate force measurement. Its performance and robustness are discussed in details by the rigorous analysis. At last, the validity of the proposed method is verified by simulation. © 2010 IEEE.

关键词： Modular robots

来源：评论

学校读者我要写书评

暂无评论

Tensor Rank and Stochastic Entanglement Catalysis for Multipartite Pure States

引用

Physical Review Letters 2010年第20期105卷 200501-200501页

作者： Lin Chen Eric Chitambar Runyao Duan Zhengfeng Ji Andreas Winter Centre for Quantum Technologies National University of Singapore 3 Science Drive 2 Singapore 117542* Physics Department University of Michigan 450 Church Street Ann Arbor Michigan 48109-1040 USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney New South Wales 2007 Australia State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing 100084 China Perimeter Institute for Theoretical Physics Waterloo Ontario N2L 2Y5 Canada Department of Mathematics University of Bristol Bristol BS8 1TW United Kingdom

The tensor rank (also known as generalized Schmidt rank) of multipartite pure states plays an important role in the study of entanglement classifications and transformations. We employ powerful tools from the theory of homogeneous polynomials to investigate the tensor rank of symmetric states such as the tripartite state |W3⟩=13(|100⟩+|010⟩+|001⟩) and its N-partite generalization |WN⟩. Previous tensor rank estimates are dramatically improved and we show that (i) three copies of |W3⟩ have a rank of either 15 or 16, (ii) two copies of |WN⟩ have a rank of 3N−2, and (iii) n copies of |WN⟩ have a rank of O(N). A remarkable consequence of these results is that certain multipartite transformations, impossible even probabilistically, can become possible when performed in multiple-copy bunches or when assisted by some catalyzing state. This effect is impossible for bipartite pure states.

关键词： Tensors

来源：评论

学校读者我要写书评

暂无评论

Publisher’s Note: “Quantum shift of band-edge stimulated emission in InGaN–GaN multiple quantum well light-emitting diodes” [Appl. Phys. Lett. 70, 2978 (1997)]

引用

Applied Physics Letters 2011年第14期98卷

作者： C. J. Sun M. Zubair Anwar Q. Chen J. W. Yang M. Asif Khan M. S. Shur A. D. Bykhovski Z. Liliental-Weber C. Kisielowski M. Smith J. Y. Lin H. X. Jiang 1APA Optics Inc. 2950 N. E. 84th Lane Blaine Minnesota 55434 USA 2Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy New York 12180-3590 USA 3Department of Electrical Engineering University of Virginia Charlottesville Virginia 22903-2442 USA 4Lawrence Berkeley National Laboratory Berkeley California 94720 USA 5Department of Materials Science and Mineral Engineering University of California at Berkeley Berkeley California 94720 USA 6Department of Physics Kansas State University Manhattan Kansas 66506 USA

This article was originally published online and in print with an error in H. X. Jiang’s name. The authors appears correctly above. All online versions of the a

关键词：

来源：评论

学校读者我要写书评

暂无评论

On classification from the view of outliers

IAENG International Journal of Computer Science

引用

IAENG International Journal of computer science 2010年第4期37卷

作者： Hsiao, Ching-an Chen, Hanxiong Asian Water Environment Section Asian Environment Research Group National Institute for Environmental Studies 16-2 Onogawa Tsukuba Ibaraki 305-8506 Japan Department of Computer Science Graduate School of Systems and Information Engineering University of Tsukuba Tsukuba Ibaraki 305-8577 Japan

Classification is the basis of cognition. Unlike other solutions, this study approaches it from the view of outliers. We present an expanding algorithm to detect outliers in univariate datasets, together with the underlying foundation. The expanding algorithm runs in a holistic way, making it a rather robust solution. Synthetic and real data experiments show its power. Furthermore, an application for multi-class problems leads to the introduction of the oscillator algorithm. The corresponding result implies the potential wide use of the expanding algorithm.

关键词： Statistics

来源：评论

学校读者我要写书评

暂无评论

Study into the use of CFDP and DTN for future ESA missions

Study into the use of CFDP and DTN for future ESA missions

引用

SpaceOps 2010 Conference

作者： Fowell, Stuart D. Page, Oliver Stanton, Dai Farrell, Stephen Peccia, Nestor Flentge, Felix Systems and Autonomy Space Division SciSys UK Ltd Clothier Road Bristol BS4 5SS United Kingdom Keltik Ltd 5 Sherwood Road Hampton Hill Middlesex TW12 1DF United Kingdom School of Computer Science and Statistics O'Reilly Institute Trinity College Dublin 2 Ireland Head Data Systems Infrastructure Division Ground Engineering Department ESOC ESA/European Space Operations Centre Robert-Bosch-Str. 5 D- 64293 Darmstadt Germany

ISBN: (纸本)9781624101649

Existing file-based communication with spacecraft has tended to be an ad-hoc affair using bespoke protocols and operational procedures. Recent developments in space communication protocols promise to move this to a more capable and, through standardisation, re-usable basis. The CCSDS File Transfer Protocol (CFDP) is a standardised file transfer protocol for space, encompassing protocols and procedures for transferring files between ground and spacecraft, including via waypoints such as data relay satellites. Disjoint/delay Tolerant Networking (DTN) represents an evolution from CFDP and its store-and-forward capabilities through the introduction of a dedicated bundle protocol layer and, LTP, at the network layer, that is tuned for long-delay and disrupted communication links. Together these are enablers for a more automated communications architecture for transfer of data for deep space and planetary missions. However, as with the introduction of any new technology, their impact on existing practises and how they should be exploited must be carefully studied and planned for. SciSys, in conjunction with Keltik and Trinity College Dublin (TCD), is conducting just such a study for ESA's ESOC. This focuses on a two-stage roadmap of the initial application of CFDP to ESA-led missions and later the use of CFDP over DTN. This paper presents the conclusions from this study. © 2010 by SciSys UK Limited.

关键词： Network layers

来源：评论

学校读者我要写书评

暂无评论

Software Language Engineering: Preface

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) 2010年 5969 LNCS卷 V-VI页

作者： Van Den Brand, Mark Gaševíc, Dragan Gray, Jeff Dept. of Mathematics and Computer Science Software Engineering and Technology Eindhoven University of Technology Den Dolech 2 5612 AZ Eindhoven Netherlands School of Computing and Information Systems Athabasca University 1 University Drive Athabasca AB T9S 3A3 Canada Department of Computer Science University of Alabama P.O. Box 870290 Tuscaloosa AL United States

来源：评论

学校读者我要写书评

暂无评论

Enabling automatic just-in-time evaluation of in-class discussions in on-line collaborative learning practices

Journal of Digital Information Management

引用

Journal of Digital Information Management 2010年第5期8卷 322-329页

作者： Caballé, Santi Lapedriza, Àgata Masip, David Xhafa, Fatos Abraham, Ajith Open University of Catalonia Department of Computer Science Multimedia and Telecommunication Rambla de Poblenou 156 08018 Barcelona Spain Polytechnic University of Catalonia Department of Languages and Informatic Systems Jordi Girona 1-3 08034 Barcelona Spain Center of Excellence for Quantifiable Quality of Service Norwegian University of Science and Technology O.S. Bragstads plass 2E7491 Trondheim Norway

Learning by discussion when applied to on-line collaborative learning settings can provide significant benefits for students in education in general. Indeed, the discussion process plays an important social task in collaborative learning practices. Participants can discuss about the activity being performed, collaborate with each other through the exchange of ideas that may arise, propose new resolution mechanisms, justify and refine their own contributions, and as a result, acquire new knowledge. Considering these benefits, current educational organizations incorporate on-line discussions into web-based courses as part of the very rationale of their pedagogical models. However, in-class collaborative assignments are usually greatly participated and contributed, which makes the monitoring and assessment tasks by tutors and moderators time-consuming, tedious and error-prone. Specially hard if not impossible by human tutors is to manually deal with the sequences of hundreds of contributions making up the discussion threads and the relations between these contributions. Consequently, tutoring tasks during on-line discussions usually restrict to offer evaluation results of the contributing effort and quality after the collaborative learning activity takes place and thus neglect the essential issue of constantly considering the process of knowledge building while it is still being performed. In this paper, we propose a multidimensional model based on data analysis from online collaborative discussion interactions that provides a first step towards an automatic evaluation in just-in-time fashion. The context of this study is a real on-line discussion experience that took place at the Open University of Catalonia.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

An agent-based architecture for knowledge management in context-aware business processes

An agent-based architecture for knowledge management in cont...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Leonardo A. de C. Gatti Flávia Maria Santoro Vanessa T. Nunes NP2TEC - Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil NP2TEC-Research and Practice Group in Information Technology Department of Applied Informatics UNIRIO Federal University of Rio de Janeiro Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil

The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware architecture to support knowledge management in working processes. The required features for this architecture are processing, reasoning and sharing contextual knowledge involving information about activities performed. We also present results from evaluation of our proposal — A-CoBrA — for a specific domain.

关键词： Knowledge management computer architecture Context modeling Collaborative work Proposals Information technology Informatics Service oriented architecture Ontologies Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：