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

IEEE International Conference on Fuzzy Systems

作者： Cristian K. dos Santos Rogerio P. Espindola Vinicius F. Vieira Alexandre G. Evsukoff Inertial Systems Laboratory Brazilian Navy Research Institute (IPqM) Rio de Janeiro RJ Brazil Department of Computing and Applied Mathematics Westside State University Center (UEZO) Rio de Janeiro RJ Brazil Computer Science Department Federal University of sao João Del-Rei (UFSJ) São João Del Rei MG Brazil Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil Getulio Vargas Foundation (FGV) School of Applied Mathematics Rio de Janeiro RJ Brazil

This work presents the development of a simulation model based on a recurrent fuzzy system with structure and parameter identification by a differential evolution algorithm. The proposed model is formulated by state space equation, in which the state transition function is a recurrent fuzzy system with two feedback connections and adjustable delay operators and the output function is a linear function of the states. The identification process relies on two instances of the differential evolution algorithm in a hierarchical fashion. The outermost is considered for combinatorial structure optimization and the innermost for optimization of continuous parameters. The new model is evaluatedin some benchmark problems and the results showed the model achieved good numerical performance. Moreover, the results demonstrated the ability of differential evolution algorithm to optimize both the parameters as well as the structure of the model.

关键词： Vectors Optimization Fuzzy systems Mathematical model Fuzzy sets Delays Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Grailog KS viz: A grailog visualizer for datalog RuleML using an XSLT translator to SVG

Grailog KS viz: A grailog visualizer for datalog RuleML usin...

引用

Joint 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium Hosted at the 8th International Symposium on Rules, RuleML 2013

作者： Koch, Martin Schmidt, Sven Boley, Harold Herpers, Rainer University of New Brunswick Faculty of Computer Science Fredericton NB E3B 5A3 Canada Bonn-Rhein-Sieg University of Applied Sciences Institute of Visual Computing Department of Computer Science Grantham-Allee 20 53757 Sankt Augustin NRW Germany

Grailog embodies a systematics to visualize knowledge sources by graphical elements. Its main benefit is that the resulting visual presentations are easier to read for humans than the original symbolic source code. In this paper we introduce a methodology to handle the mapping from Datalog RuleML, serialized in XML, to an SVG representation of Grailog, also serialized in XML, via eXtensible Stylesheet Language Transformations (XSLT) 2.0/XML;the SVG is then rendered visually by modern Web browsers. This initial mapping is realized to target Grailog's "fully node copied" normal form. Elements can thus be translated one at a time, separating the fundamental Datalog-to-SVG translation concern from the concern of merging node copies for optimal (hyper)graph layout and avoiding its high computational complexity in this online tool. The resulting open source Grailog Knowledge-Source Visualizer (Grailog KS Viz) supports Datalog RuleML with positional relations of arity n>1. The on-the-fly transformation was shown to run on all recent major Web browsers and should be easy to understand, use, and extend.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Motif matching using gapped patterns

Motif matching using gapped patterns

引用

24th International Workshop on Combinatorial Algorithms, IWOCA 2013

作者： Giaquinta, Emanuele Fredriksson, Kimmo Grabowski, Szymon Ukkonen, Esko Department of Computer Science University of Helsinki Finland School of Computing University of Eastern Finland P.O. Box 1627 Kuopio FI-70211 Finland Institute of Applied Computer Science Lodz University of Technology Al. Politechniki 11 Lódź 90-924 Poland

ISBN: (纸本)9783642452772

We consider the problem of matching a set of gapped patterns against a given text T of length n, where a gapped pattern is a sequence of strings (keywords), over a finite alphabet ∑ of size σ, such that there is a gap of fixed length between each two consecutive *** assume the RAM model, with words of size w in *** are interested in computing the list ofmatching patterns for each position in the text. This problem is a specific instance of the Variable Length Gaps problem [2] (VLG problem) for multiple patterns and has applications in the discovery of transcription factor (TF) binding sites in DNA sequences when using generalized versions of the PositionWeightMatrix (PWM) model to representTF binding specificities. The paper [5] describes howa motif represented as a generalizedPWM can bematched as a set of gapped patternswith unit-length keywords, and presents algorithms for the restricted case of patterns with two unit-length keywords. © 2013 Springer-Verlag.

关键词： DNA sequences

来源：评论

学校读者我要写书评

暂无评论

TEL in teaching and learning programming - International experience

TEL in teaching and learning programming - International exp...

引用

14th International Conference on computer Systems and Technologies, CompSysTech 2013

作者： Ivanović, Mirjana Bogdanova, Ana Madevska Milašinović, Boris Savić, Miloš Bothe, Klaus Department of Mathematics and Informatics Faculty of Sciences University of Novi Sad Serbia University Ss. Cyril and Methodius Faculty of Computer Science and Engineering Skopje Macedonia University of Zagreb Faculty of Electrical Engineering and Computing Department of Applied Computing Zagreb Croatia Institute of Informatics Humboldt University Berlin Germany

ISBN: (纸本)9781450320214

Some aspects regarding delivering of different programming courses in three institutions from three countries (Serbia, FYR Macedonia and Croatia) are observed in the paper. Courses' profiles and the application of technology enhanced learning are described and compared. An analysis of the approaches and usage of a set of suitable software tools to enhance everyday teaching practice was conducted. At the end of the last school year, students filled-in appropriate questionnaire to provide feedback and their opinion. Results of questionnaire are presented, discussed and a comparative analysis is given. © 2013 ACM.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Why does it always rain on me? Influence of gender and environmental factors on usability, technology related anxiety and immersion in virtual environments 1

引用

10th International Conference on Advances in computer Entertainment, ACE 2013

作者： Schmidt, Mareike Kafka, Johanna Xenia Kothgassner, Oswald D. Hlavacs, Helmut Beutl, Leon Felnhofer, Anna University of Vienna Faculty of Psychology Department of Applied Psychology: Health Development Enhancement and Intervention Austria University of Vienna Faculty of Social Sciences Department of Sociology Austria University of Vienna Faculty of Computer Science Research Group Entertainment Computing Austria

ISBN: (数字)9783319031613

ISBN: (纸本)9783319031606

Collaborative virtual environments and technical possibilities in general are still a growing and more and more important influence on everyday life. According to corresponding studies it seems that context conditions as well as individual factors such as gender play an important role in the experience of virtual environments (i.e. immersion and technology-related anxiety) and in the rating of the used technology (i.e. its perceived usefulness). Thus, the objective of the current study was to evaluate the above mentioned factors in a group of 14 women and 14 men using two different emotionally charged collaborative virtual environments. The corresponding results indicate that there are in fact gender differences: Women reported higher levels of technology-related anxiety and immersion. In general, participants in the rainy condition rated the usefulness of the virtual environment higher. Also, women in the rainy condition rated the perceived usefulness higher than women in the cheerful condition whereas in the group of men it was vice versa. © Springer International Publishing 2013.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Memetic multiobjective particle swarm optimization-based radial basis function network for classification problems” [Inform. Sci. 239 (2013) 165–190]

引用

Information sciences 2014年 279卷 914-914页

作者： Sultan Noman Qasem Siti Mariyam Shamsuddin Siti Zaiton Mohd Hashim Maslina Darus Eiman Al-Shammari Computer Science Department College of Computer and Information Sciences Al Imam Mohammad Ibn Saud Islamic University (IMSIU) Riyadh Saudi Arabia Computer Science Department Faculty of Applied Science Taiz University Taiz Yemen Soft Computing Research Group Faculty of Computer Science and Information System Universiti Teknologi Malaysia 81310 Skudai Johor Malaysia School of Mathematical Sciences Faculty of Science and Technology Universiti Kebangsaan Malaysia Malaysia Information Science Department College of Computing Sciences and Engineering Kuwait University Kuwait

来源：评论

学校读者我要写书评

暂无评论

A proposal for native java language support for handling asynchronous events

A proposal for native java language support for handling asy...

引用

13th International Conference on Computational science and Its Applications, ICCSA 2013

作者： Das Neves, Carlos Rafael Gimenes Guerra, Eduardo Martins Fernandes, Clovis Torres Computer Science Department Instituto Tecnológico de Aeronáutica - ITA São Paulo Brazil Laboratory of Computing and Applied Mathematics Instituto Nacional de Pesquisas Espaciais - INPE São Paulo Brazil

ISBN: (纸本)9783642396397

During early stages of computer software development, depending on the methodology employed, developers usually create the application's initial skeleton based on previously gathered requirements and on generated diagrams. When counting purely on what is provided by languages such as Java, developers tend to come up only with synchronous method calls, making use of coding tricks to achieve asynchronous behavior, which usually disrupts the original system model by adding a series of undesired side-effects such as unnecessary class coupling and error-prone constructions. This work proposes an extension to the Java language to allow for both executing asynchronous methods and handling asynchronous events occurring during normal execution, as a straightforward, class coupling-free and native alternative. With this extension it is expected that developers can natively use asynchronous communication from the beginning of the development cycle without having to make structural modifications to the original system. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Symbolic Analysis of Concurrency Errors in OpenMP Programs

Symbolic Analysis of Concurrency Errors in OpenMP Programs

引用

International Conference on Parallel Processing (ICPP)

作者： Hongyi Ma Steve R. Diersen Liqiang Wang Chunhua Liao Daniel Quinlan Zijiang Yang Department of Computer Science University of Wyoming Center for Applied Scientific Computing Lawrence Livermore National Laboratory Department of Computer Science Western Michigan University

In this paper we present the OpenMP Analysis Toolkit (OAT), which uses Satisfiability Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks in OpenMP codes. Our approach approximately simulates real executions of an OpenMP program through schedule permutation. We conducted experiments on real-world OpenMP benchmarks and student homework assignments by comparing our OAT tool with two commercial dynamic analysis tools: Intel Thread Checker and Sun Thread Analyzer, and one commercial static analysis tool: Viva64 PVS Studio. The experiments show that our symbolic analysis approach is more accurate than static analysis and more efficient and scalable than dynamic analysis tools with less false positives and negatives.

关键词： Encoding System recovery Synchronization Arrays Indexes Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics 12

Immune-Inspired Error Detection for Multiple Faulty Robots i...

引用

12th European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013

作者： Lau, Hui Keng Bate, Iain Timmis, Jon Department of Computer Science University of York United Kingdom Department of Electronics Univesity of York United Kingdom Applied Computing Group SKTM UMS Malaysia Mälardalen Real-Time Research Centre Mälardalen University Västeras Sweden

ISBN: (纸本)9780262317092

Error detection and recovery are important issues in swarm robotics research, as they are a means by which fault tolerance can be achieved. Our previous work has looked at error detection for single failures in a swarm robotics scenario with the Receptor Density Algorithm. Three modes of failure to the wheels of individual robots was investigated and comparable performance to other statistical methods was achieved. In this paper, we investigate the potential of extending this approach to a robot swarm with multiple faulty robots. Two experiements have been conducted: A swarm of ten robots with 1 to 8 faulty robots, and a swarm of 10 to 20 robots with varying number of faulty robots. Results from the experiments showed that the proposed approach is able to detect errors in multiple faulty robots. The results also suggest the need to further investigate other aspects of the robot swarm that can potentially affect the performance of detection such as the communication range. © 2013 Proceedings of the 12th European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013. All rights reserved.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Atlas-based whole-body PET-CT segmentation using a passive contour distance

Atlas-based whole-body PET-CT segmentation using a passive c...

引用

15th International Conference on Medical Image computing and computer-Assisted Intervention, MICCAI 2012

作者： Gigengack, Fabian Ruthotto, Lars Jiang, Xiaoyi Modersitzki, Jan Burger, Martin Hermann, Sven Schäfers, Klaus P. University of Münster Germany Department of Mathematics and Computer Science University of Münster Germany Institute of Mathematics and Image Computing University of Lübeck Germany Institute for Computational and Applied Mathematics University of Münster Germany

ISBN: (纸本)9783642366192

In positron emission tomography (PET) imaging, the segmentation of organs is necessary for many quantitative image analysis tasks, e.g., estimation of individual organ concentration or partial volume correction. To this end we present a fully automated approach for wholebody segmentation which enables large-scale and reproducible studies. The approach is based on joint segmentation and atlas registration. The classical active contour approach by Chan and Vese is modified to a novel passive contour energy term with implicitly incorporated information about shape and location of the organs. This new energy is added to a registration functional which is based on both functional (PET) and morphological (CT) data. The proposed method is applied to medical data, given by 13 PET-CT data sets of mice, and quantitatively compared to manually drawn VOIs. An average Dice coefficient of 0.73 ± 0.10 for the left ventricle, 0.88 ± 0.05 for the bladder, and 0.76 ± 0.07 for the kidneys shows the high accuracy of our method. © 2013 Springer-Verlag.

关键词： Positron emission tomography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：