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

2010 IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： Stephen L. Smith Jana Tůmová Calin Belta Daniela Rus Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA USA Department of Mechanical Engineering Boston University Boston MA USA Faculty of Informatics Masaryk University Brno Czech Republic

In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the environment is modeled as a weighted transition system. The mission is specified by a general linear temporal logic formula. In addition, we require that an optimizing proposition must be repeatedly satisfied. The cost function that we seek to minimize is the maximum time between satisfying instances of the optimizing proposition. For every environment model, and for every formula, our method computes a robot trajectory which minimizes the cost function. The problem is motivated by robotic monitoring and data gathering. In this setting, the optimizing proposition is satisfied at locations where data can be uploaded, and the formula specifies a an infinite horizon data collection mission. Our method utilizes Büchi automata to produce an automaton (which can be thought of as a graph) whose runs satisfy the temporal logic formula. We then present a graph algorithm which computes a path corresponding to the optimal robot trajectory. We also present an implementation for a robot performing a data gathering mission.

关键词： Automata Cost function Roads Trajectory Vehicles Steady-state

来源：评论

学校读者我要写书评

暂无评论

Search for resonant top quark plus jet production in tt¯+jets events with the ATLAS detector in pp collisions at s=7 TeV

引用

Physical Review D 2012年第9期86卷 091103(R)-091103(R)页

作者： G. Aad T. Abajyan B. Abbott J. Abdallah S. Abdel Khalek A. A. Abdelalim O. Abdinov R. Aben B. Abi M. Abolins O. S. AbouZeid H. Abramowicz H. Abreu E. Acerbi B. S. Acharya L. Adamczyk D. L. Adams T. N. Addy J. Adelman S. Adomeit P. Adragna T. Adye S. Aefsky J. A. Aguilar-Saavedra M. Agustoni M. Aharrouche S. P. Ahlen F. Ahles A. Ahmad M. Ahsan G. Aielli T. Akdogan T. P. A. Åkesson G. Akimoto A. V. Akimov M. S. Alam M. A. Alam J. Albert S. Albrand M. Aleksa I. N. Aleksandrov F. Alessandria C. Alexa G. Alexander G. Alexandre T. Alexopoulos M. Alhroob M. Aliev G. Alimonti J. Alison B. M. M. Allbrooke P. P. Allport S. E. Allwood-Spiers J. Almond A. Aloisio R. Alon A. Alonso F. Alonso B. Alvarez Gonzalez M. G. Alviggi K. Amako C. Amelung V. V. Ammosov S. P. Amor Dos Santos A. Amorim N. Amram C. Anastopoulos L. S. Ancu N. Andari T. Andeen C. F. Anders G. Anders K. J. Anderson A. Andreazza V. Andrei X. S. Anduaga P. Anger A. Angerami F. Anghinolfi A. Anisenkov N. Anjos A. Annovi A. Antonaki M. Antonelli A. Antonov J. Antos F. Anulli M. Aoki S. Aoun L. Aperio Bella R. Apolle G. Arabidze I. Aracena Y. Arai A. T. H. Arce S. Arfaoui J-F. Arguin E. Arik M. Arik A. J. Armbruster O. Arnaez V. Arnal C. Arnault A. Artamonov G. Artoni D. Arutinov S. Asai R. Asfandiyarov S. Ask B. Åsman L. Asquith K. Assamagan A. Astbury M. Atkinson B. Aubert E. Auge K. Augsten M. Aurousseau G. Avolio R. Avramidou D. Axen G. Azuelos Y. Azuma M. A. Baak G. Baccaglioni C. Bacci A. M. Bach H. Bachacou K. Bachas M. Backes M. Backhaus E. Badescu P. Bagnaia S. Bahinipati Y. Bai D. C. Bailey T. Bain J. T. Baines O. K. Baker M. D. Baker S. Baker E. Banas P. Banerjee Sw. Banerjee D. Banfi A. Bangert V. Bansal H. S. Bansil L. Barak S. P. Baranov A. Barbaro Galtieri T. Barber E. L. Barberio D. Barberis M. Barbero D. Y. Bardin T. Barillari M. Barisonzi T. Barklow N. Barlow B. M. Barnett R. M. Barnett A. Baroncelli G. Barone A. J. Barr F. Barreiro J. Barreiro Guimarães da Costa P. Barrillon R. Bartoldus A. E. Barton V. Bartsch A. Basye R. L. Bates L. Batkova J. Fakultät für Mathematik und Physik Albert-Ludwigs-Universität Freiburg Germany Physikalisches Institut University of Bonn Bonn Germany Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman Oklahoma USA Institut de Física d’Altes Energies and Departament de Física de la Universitat Autònoma de Barcelona and ICREA Barcelona Spain LAL Université Paris-Sud and CNRS/IN2P3 Orsay France Section de Physique Université de Genève Geneva Switzerland Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan Nikhef National Institute for Subatomic Physics and University of Amsterdam Amsterdam Netherlands Department of Physics Oklahoma State University Stillwater Oklahoma USA Department of Physics and Astronomy Michigan State University East Lansing Michigan USA Department of Physics University of Toronto Toronto Ontario Canada Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel DSM/IRFU (Institut de Recherches sur les Lois Fondamentales de l’Univers) CEA Saclay (Commissariat a l’Energie Atomique) Gif-sur-Yvette France INFN Sezione di Milano Italy Dipartimento di Fisica Università di Milano Milano Italy INFN Gruppo Collegato di Udine Italy ICTP Trieste Italy AGH University of Science and Technology Faculty of Physics and Applied Computer Science Krakow Poland Physics Department Brookhaven National Laboratory Upton New York USA Department of Physics Hampton University Hampton Virginia USA Department of Physics Yale University New Haven Connecticut USA Fakultät für Physik Ludwig-Maximilians-Universität München München Germany School of Physics and Astronomy Queen Mary University of London London United Kingdom Particle Physics Department Rutherford Appleton Laboratory Didcot United Kingdom Department of Physics Brandeis University Waltham Massachusetts USA Departamento de Fisica Teorica y del Cosmos and CAFPE Universidad de Granada Granada Spain Albert Einstein Center for

This paper presents a search for a new heavy particle produced in association with a top or antitop quark. Two models in which the new heavy particle is a color singlet or a color triplet are considered, decaying, respectively, to t¯q or tq, leading to a resonance within the tt¯+jets signature. The full 2011 ATLAS pp collision data set from the LHC (4.7 fb−1) is used to search for tt¯ events produced in association with jets, in which one of the W bosons from the top quarks decays leptonically and the other decays hadronically. The data are consistent with the Standard Model expectation, and a new particle with mass below 430 Gev for both W′ boson and color triplet models is excluded at 95% confidence level, assuming unit right-handed coupling.

关键词： QUARKS JETS (Nuclear physics) NUCLEAR counters COLLISIONS (Nuclear physics) STANDARD model (Nuclear physics) RADIOACTIVE decay ATOMIC mass

来源：评论

学校读者我要写书评

暂无评论

Stability analysis of a class of MIMO fuzzy control systems

Stability analysis of a class of MIMO fuzzy control systems

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： Radu-Emil Precup Marius L. Tomescu Emil M. Petriu Stefan Preitl János Fodor Daniela Bărbulescu Department of Automation and Applied Informatics Polytechnic University of Timisoara Timisoara Romania “Politehnica” University of Timisoara Timisoara RO Romania Faculty of Computer Science Aurel Vlaicu University of Arad Arad Romania Faculty of Computer Science Complex Universitar Arad RO Romania University of Ottawa School of Information Technology and Engineering Ottawa ON Canada Óbuda University Institute of Intelligent Engineering Systems Budapest Hungary

This paper suggests a new stability analysis approach dedicated to a class of fuzzy control systems controlling multi input-multi output (MIMO) nonlinear processes by means of Takagi-Sugeno fuzzy logic controllers. The approach is based on LaSalle's global invariant set theorem, and an original stability theorem offers sufficient stability conditions. The applicability and efficiency of the theoretical results are illustrated by a MIMO case study dealing with the fuzzy control of a spherical three tank system.

关键词： Stability analysis Process control MIMO Fuzzy control Valves Numerical stability Lyapunov method

来源：评论

学校读者我要写书评

暂无评论

An Approximate Actual Network Performance Evaluation Method

An Approximate Actual Network Performance Evaluation Method

引用

International Conference on Intelligent Systems, Modelling and Simulation (ISMS)

作者： Jozef B. Lewoc Antoni Izworski Slawomir Skowronski Georgi Marko Dimirovski Vesna Ojleska Leader Leading Designer Research Design and Translation Agency Wroclaw Poland Electronic Faculty Wroclaw University of Technology Wroclaw Poland Informatics and Management Faculty Wroclaw University of Technology Wroclaw Poland Computer Engineering Dogus University Istanbul Turkey Cyril and Methodius University of Skopje Skopje Macedonia

ISBN: (纸本)9781424459841;9780769539737

Since early eighties, not too many happened in analytical methods of performance valuation for actual computer and communication networks. The methods of the classic queuing theory (the mean value analysis, the convolution method) adopt unrealistic assumptions. The stochastic queuing network methods are not adequate for investigation of actual networks. Therefore, the paper presents an approximate method based on many-year performance evaluation experience and some heuristics. The approach is based on the notion of the closed route within the computer network under investigation; the complete network being described as a collection of such closed routes. The method was successfully validated by simulation and measurements. Some more complex approximations, feasible due to development of the computing tools, are also proposed.

关键词： computer networks Communication networks computer network management Queueing analysis Wide area networks Packet switching Intelligent networks Telecommunication traffic Traffic control Switches

来源：评论

学校读者我要写书评

暂无评论

A semi-automatic method for positioning a femoral bone reconstruction for strict view generation

A semi-automatic method for positioning a femoral bone recon...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Federico Milano Lucas Ritacco Adrian Gomez Fernan Gonzalez Bernaldo de Quiros Marcelo Risk Laboratory of Complex Systems Department of Computer Science FCEyN University of Buenos Aires Argentina Department of Information Systems Engineering Buenos Aires egional Faculty National Technological University Argentina Department of Biomedical Informatics Italian Hospital of Buenos Aires Argentina

In this paper we present a semi-automatic method for femoral bone positioning after 3D image reconstruction from Computed Tomography images. This serves as grounding for the definition of strict axial, longitudinal and anterior-posterior views, overcoming the problem of patient positioning biases in 2D femoral bone measuring methods. After the bone reconstruction is aligned to a standard reference frame, new tomographic slices can be generated, on which unbiased measures may be taken. This could allow not only accurate inter-patient comparisons but also intra-patient comparisons, i.e., comparisons of images of the same patient taken at different times. This method could enable medical doctors to diagnose and follow up several bone deformities more easily.

关键词： Bones Image reconstruction Three dimensional displays Face Tomography Biomedical measurements Medical services

来源：评论

学校读者我要写书评

暂无评论

Tb/s switching fabrics for optical interconnects using heterointegration of plasmonics and silicon photonics: The FP7 PLATON approach

Tb/s switching fabrics for optical interconnects using heter...

引用

IEEE Photonics Conference (IPC)

作者： N. Pleros K. Vyrsokinos S. Papaioannou D. Fitsios O. Tsilipakos A. Pitilakis E. Kriezis A. Miliou T. Tekin M. Baus M. Karl D. Kalavrouziotis I. Giannoulis H. Avramopoulos N. Djellali J.-C. Weeber L. Markey A. Dereux J. Gosciniac S. Bozhevolnyi Department of Informatics Aristotle University of Thessaloniki Greece Informatics and Telematics Institute Center for Research and Technology Hellas Greece Department of Electrical and Computer Engineering Aristotle University of Thessaloniki Greece Fraunhofer Institute of Reliability and Microintegration (IZM) Berlin Germany AMO Gesellschaft für Angewandte Mikro-und Optoelektronik GmbH Germany School of Electrical and Computer Engineering National and Technical University of Athens Greece Institut Carnot de Bourgogne University of Burgundy France Faculty of Engineering/Institute of Sensors Signals and Electrotechnics University of Southern Denmark Denmark

We present recent work that is carried out within the FP7 project PLATON on novel Tb/s switch fabric architectures and technologies for optical interconnect applications, employing heterointegration of plasmonics, sil... 详细信息

关键词： Optical switches Switching circuits Silicon Routing Layout Multiplexing

来源：评论

学校读者我要写书评

暂无评论

Protection of an intrusion detection engine with watermarking in Ad hoc networks

引用

International Journal of Network Security 2010年第2期10卷 93-106页

作者： Mitrokotsa, Aikaterini Komninos, Nikos Douligeris, Christos Information and Communication Theory Group Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft Netherlands Algorithms and Security Group Athens Information Technology GR-19002 Peania Greece Department of Informatics University of Piraeus GR-18534 Piraeus Greece

In this paper we present an intrusion detection engine comprised of two main elements;firstly, a neural network for the actual detection task and secondly watermarking techniques for protecting the related information that must be exchanged between nodes. In particular, we exploit information visualization and machine learning techniques in order to achieve efficient and effective intrusion detection. In order to avoid possible modification or alteration of the maps produced by the intrusion detection engine, we focus on safeguarding and authenticating them using a novel embedded watermarking method. Previously, we had shown promising results in the intrusion detection task using this system. This paper focuses on the watermarking technique and gives a detailed exposition that includes an experimental evaluation of its quality.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Reports on the AAAI 2009 fall symposia

Reports on the AAAI 2009 fall symposia

引用

作者： Azevedo, Roger Bench-Capon, Trevor Biswas, Gautam Carmichael, Ted Green, Nancy Hadzikadic, Mirsad Koyejo, Oluwasanmi Kurup, Unmesh Parsons, Simon Pirrone, Roberto Prakken, Henry Samsonovich, Alexei Scott, Donia Souvenir, Richard Department of Psychology Institute for Intelligent Systems University of Memphis United States Department of Computer Science University of Liverpool United Kingdom Center for Intelligent Systems Vanderbilt University United States Department of Computer Science University of North Carolina Charlotte United States Department of Computer Science University of North Carolina Greensboro United States Department of Software and Information Systems University of North Carolina Charlotte United States Complex Systems Institute United States Department of Electrical and Computer Engineering University of Texas Austin United States Department of Cognitive Science Rensselaer Polytechnic Institute Troy NY United States Department of Computer and Information Science Brooklyn College City University New York United States University of Palermo Italy Computer Science Department Utrecht University Netherlands Department of Law and IT Law Faculty University of Groningen Netherlands Krasnow Institute for Advanced Study George Mason University United States Computational Linguistics Department Informatics at the University of Sussex United Kingdom

The Association for the Advancement of Artificial Intelligence was pleased to present the 2009 Fall Symposium Series, held Thursday through Saturday, November 5-7, at the Westin Arlington Gateway in Arlington, Virginia. The Symposium Series was preceded on Wednesday, November 4, by a one-day AI funding seminar. The titles of the seven symposia were as follows: (1) Biologically Inspired Cognitive Architectures, (2) Cognitive andMetacognitive Educational Systems, (3) Complex Adaptive Systems and the Threshold Effect: Views from the Natural and Social Sciences, (4) Manifold Learning and Its Applications, (5) Multirepresentational Architectures for Human-Level Intelligence, (6) The Uses of Computational Argumentation, and (7) Virtual Healthcare Interaction. Copyright © 2010, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Using Bi-clustering Algorithm for Analyzing Online Users Activity in a Virtual Campus

Using Bi-clustering Algorithm for Analyzing Online Users Act...

引用

International Conference on Intelligent Networking and Collaborative Systems (INCOS)

作者： Fatos Xhafa Santi Caballé Leonard Barolli Alberto Molina Rozeta Miho Department of Languages and Informatics Systems Technical University of Catalonia Spain Dept. of Languages and Informatics Systems Technical University of Catalonia Spain Department of Computer Science Multimedia & Telecommunication Open University of Catalonia Spain Dept. of Information and Communication Engineering Fukuoka Institute of Technology Fukuoka Japan Department of Information and Communication Engineering Fukuoka Institute of Technology Fukuoka Japan Faculty of Information Technologies Technical University of Tirana Albania Dept. of Computer Sci. Multimedia & Telecommunication Open University of Catalonia Spain Technical University of Tirana Albania

Data mining algorithms have been proved to be useful for the processing of large data sets in order to extract relevant information and knowledge. Such algorithms are also important for analyzing data collected from the users' activity users. One family of such data analysis is that of mining of log files of online applications that register the actions of online users during long periods of time. A relevant objective in this case is to study the behavior of online users and feedback the design processes of online applications to provide better usability and adaption to users' preferences. The context of this work is that of a virtual campus in which thousands of students and tutors carry out the learning and teaching activity using online applications. The information stored in log files of virtual campuses tend to be large, complex and heterogeneous in nature. Hence, their mining requires both efficient and intelligent processing and analysis of user interaction data during long-term learning activities. In this paper, we present a bi-clustering algorithm for processing large log data sets from the online daily activity of students in a real virtual campus. Our approach is useful to extract relevant knowledge about user activity such as navigation patterns, activities performed as well as to study time parameters related to such activities. The extracted information can be useful not only to students and tutors to stimulate and improve their experience when interacting with the system but also to the designers and developers of the virtual campus in order to better support the online teaching and learning.

关键词： Data mining Web sites Organizations Adaptation model Navigation Registers Context

来源：评论

学校读者我要写书评

暂无评论

The influence of AJAX on Web usability

The influence of AJAX on Web usability

引用

International Conference on e-Business

作者： Andreas Holzinger Stefan Mayr Wolfgang Slany Matjaz Debevc Institute of Medical Informatics Statistics and Documentation (IMI) Research Unit HCI4MED MedUni Graz & Institute of Information Systems and Computer Media (IICM) Technical University of Graz Graz Austria Institute of Software Technology (IST) Technische Universität Graz Graz Austria Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia

In this paper we discusses some pros and cons of using AJAX for increasing the usability of Web applications. As AJAX allows Web applications look like desktop applications, it can increase the learnability of a Web application. Nevertheless, AJAX can also be the source of end user frustration if the XMLHttpRequest is not supported by the browser, Javascript is not available, or an Internet connection is missing. We also provide some workarounds for server response time gaps, for example by providing visible user feedback messages) and enabling the back button to work properly.

关键词： Usability Browsers Servers Web pages Electronic mail Internet

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：