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

IEEE International Conference on Data Mining (ICDM)

作者： Arun S. Konagurthu Lloyd Allison David Abramson Peter J. Stuckey Arthur M. Lesk Clayton School of Information Technology Monash University Clayton Victoria Australia Department of Computing and Information Systems University of Melbourne Parkville Australia Department of Biochemistry and Molecular Biology Pennsylvania State University Pennsylvania USA

ISBN: (纸本)9781479913282

Proteins are biomolecules of life. They fold into a great variety of three-dimensional (3D) shapes. Underlying these folding patterns are many recurrent structural fragments or building blocks (analogous to 'LEGO® bricks'). This paper reports an innovative statistical inference approach to discover a comprehensive dictionary of protein structural building blocks from a large corpus of experimentally determined protein structures. Our approach is built on the Bayesian and information theoretic criterion of minimum message length. To the best of our knowledge, this work is the first systematic and rigorous treatment of a very important data mining problem that arises in the cross-disciplinary area of structural bioinformatics. The quality of the dictionary we find is demonstrated by its explanatory power - any protein within the corpus of known 3D structures can be dissected into successive regions assigned to fragments from this dictionary. This induces a novel one-dimensional representation of three-dimensional protein folding patterns, suitable for application of the rich repertoire of character-string processing algorithms, for rapid identification of folding patterns of newly determined structures. This paper presents the details of the methodology used to infer the dictionary of building blocks, and is supported by illustrative examples to demonstrate its effectiveness and utility.

关键词： Dictionaries Proteins Encoding Three-dimensional displays Amino acids

来源：评论

学校读者我要写书评

暂无评论

Predictive Control for Visual Servo Stabilization of Nonholonomic Mobile Robots

引用

Acta Automatica Sinica 2013年第8期39卷 1238-1245页

作者： Zheng-Cai CAO Long-Jie YIN Yi-Li FU Tian-Long LIU College of Information Science and Technology Beijing University of Chemical Technology Beijing 100029 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China State Key Laboratory of Robotics and Systems Harbin Institute of Technology Harbin 150080 China

Visual servo stabilization of nonholonomic mobile robots has gained extensive attention. However, currently, the solution of the problem does not consider both the visibility constraints and the actuator limitations, so the designed controller is difficult to realize satisfactory performance in practical application. In this paper, a predictive controller for the visual servo stabilization of a mobile robot is presented. Firstly, a kinematic predictive stabilization controller utilized to generate the command of velocity is introduced. Then, in order to make the actual velocity of the mobile robot asymptotically approach to the desired one, a dynamic predictive controller is designed. The proposed predictive controller can deal with the constraints easily. Finally, several simulations are performed, and the results illustrate that the proposed control scheme is effective to solve the visual servo stabilization problem.

关键词： Nonholonomic mobile robots visual servo stabilization predictive control constraints

来源：评论

学校读者我要写书评

暂无评论

Beautiful workflows: A matter of taste?

引用

作者： Van Der Aalst, Wil M. P. Westergaard, Michael Reijers, Hajo A. Architecture of Information Systems Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands 33 Kirpichnaya Str. Moscow Russia Business Process Management Discipline Queensland University of Technology GPO Box 2434 Brisbane QLD 4001 Australia Perceptive Software Piet Joubertstraat 4 7315 AV Apeldoorn Netherlands

ISBN: (纸本)9783642403545

Workflows can be specified using different languages. Mainstream workflow management systems predominantly use procedural languages having a graphical representation involving AND/XOR splits and joins (e.g., using BPMN). However, there are interesting alternative approaches. For example, case handling approaches are data-driven and allow users to deviate within limits, and declarative languages based on temporal logic (where everything is allowed unless explicitly forbidden). Recently, Rinus Plasmeijer proposed the iTask system (iTasks) based on the viewpoint that workflow modeling is in essence a particular kind of functional programming. This provides advantages in terms of expressiveness, extendibility, and implementation efficiency. On the occasion of his 61st birthday, we compare four workflow paradigms: procedural, case handling, declarative, and functional. For each paradigm we selected a characteristic workflow management system: YAWL (procedural), BPM|one (case handling), Declare (declarative), and iTasks (functional). Each of these systems aims to describe and support business processes in an elegant manner. However, there are significant differences. In this paper, we aim to identify and discuss these differences. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

EDITORIAL

引用

INTELLIGENT BUILDINGS INTERNATIONAL 2013年第2期5卷 67-68页

作者： Clements-Croome, Derek Computer Science Department Escuela Politecnica Superior Universidad Autonoma de Madrid C/Francisco Tomás y Valiente 28049 Madrid Spain Software Engineering Department Faculty of Automatics Computers and Electronics University of Craiova Bvd. Decebal 107 200440 Craiova Romania Applied Research Laboratory Information Science and Technology Division Pennsylvania State University 204 V Applied Science Building University Park PA 16802 United States Systems Engineering Section Faculty of Technology Policy and Management Delft University of Technology Jaffalaan 5 2628BX Delft Netherlands

Click to increase image sizeClick to decrease image size

关键词： indoor environment design process Research Institutes physical factors fresh air Electromagnetic Radiation CHILLER lean Environmental issues customers Finnish Primary Schools Occupational Health Scandinavia Teachers

来源：评论

学校读者我要写书评

暂无评论

A suite of domain-specific visual languages for scientific software application modelling

A suite of domain-specific visual languages for scientific s...

引用

IEEE Symposium on Visual Languages and Human Centric computing (VL/HCC)

作者： Mohamed Almorsy John Grundy Richard Sadus Willem van Straten David G. Barnes Owen Kaluza Centre for Computing and Engineering Software and Systems Swinburne University of Technology Hawthorn Australia Centre for Astrophysics and Supercomputing Swinburne University of Technology Hawthorn Australia Monash Monash Biomedical Imaging and Monash e-Research Centre Monash University Clayton Australia

ISBN: (纸本)9781479903702

Many advances in science now require sophisticated scientific software applications that facilitate data and computationally intensive experiments. However, the effective utilization of existing computational power e.g., grid and cloud platforms depends on the capabilities of scientists to implement parallel, scalable code for such experiments. Currently, tools aimed at supporting scientists are either very limited to specific domains, or require significant development using low-level code. We describe our work towards a more end user-friendly scientific applications development process, notations and toolset. We introduce a scientific application designer intended for use primarily by scientists to enable them in describing workflow, processes, entities, formulae, computation and ultimately realization code for different computing platforms. This is achieved via a set of integrated, domain-specific visual and textual languages (DSVLs). A Web-based modeling tool supports definition of new DSVLs and modeling of these applications. We are currently extending our tool to support generation of multi-core and GPU implementations, and visualization of results.

关键词： Computational modeling Visualization Prototypes Graphics processing units Programming Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Enabling secure location-based services in mobile cloud computing

Enabling secure location-based services in mobile cloud comp...

引用

2013 2nd ACM SIGCOMM Workshop on Mobile Cloud computing, MCC 2013

作者： Zhu, Yan Ma, Di Huang, Dijiang Hu, Changjun Computer and Communication Engineering University of Science and Technology Beijing 30 Xueyuan Rd. Beijing 100083 China Computer and Information Science University of Michigan-Dearborn 4901 Evergreen Rd Dearborn MI 48128 United States Computing Informatics and Decision Systems Eng. Arizona State University 699 S. Mill Avenue Tempe AZ 85281 United States

ISBN: (纸本)9781450321808

The increasing spread of location-based services (LBSs) has led to a renewed research interest in the security of services. To ensure the credibility and availability of LBSs, there is a pressing requirement for addressing access control, authentication and privacy issues of LBSs in a synergistic way. In this paper, we propose an innovative location-based fine-grained access control mechanism for LBSs, enabling effective finegrained access control, location-based authentication and privacy protection. Our proposed approach is based on the construction of a spatio-temporal predicate-based encryption by means of efficient secure integer comparison. Our experimental results not only validate the effectiveness of our scheme, but also demonstrate that the proposed integer comparison scheme performs better than previous bitwise comparison scheme. © 2013 ACM.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

How to use attribute-based encryption to implement role-based access control in the cloud

How to use attribute-based encryption to implement role-base...

引用

2013 1st International Workshop on Security in Cloud computing, Cloud computing 2013

作者： Zhu, Yan Ma, Di Hu, Chang-Jun Huang, Dijiang Computer and Communication Engineering University of Science and Technology Beijing 30 Xueyuan Rd Haidian Beijing 100083 China Computer and Information Science University of Michigan-Dearborn 4901 Evergreen Rd Dearborn MI 48128 United States Computing Inf. and Decision Systems Engineering Arizona State University 699 S. Mill Avenue Tempe AZ 85281 United States

ISBN: (纸本)9781450320672

This paper addresses how to construct a RBAC-compatible attribute-based encryption (ABE) for secure cloud storage, which provides a user-friendly and easy-to-manage security mechanism without user intervention. Similar to role hierarchy in RBAC, attribute lattice introduced into ABE is used to define a seniority relation among all values of an attribute, whereby a user holding the senior attribute values acquires permissions of their juniors. Based on these notations, we present a new ABE scheme called Attribute-Based Encryption with Attribute Lattice (ABE-AL) that provides an efficient approach to implement comparison operations between attribute values on a poset derived from attribute lattice. By using bilinear groups of composite order, we propose a practical construction of ABE-AL based on forward and backward derivation functions. Compared with prior solutions, our scheme offers a compact policy representation solution, which can significantly reduce the size of privatekeys and ciphertexts. Furthermore, our solution provides a richer expressive power of access policies to facilitate flexible access control for ABE scheme. © 2013 ACM.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Development of Robust Traceability Benchmarks

Development of Robust Traceability Benchmarks

引用

Australian software Engineering Conference

作者： Xiaofan Chen John Hosking John Grundy Robert Amor Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing and Engineering Software Systems Swinburne University of Technology Hawthorn Australia

ISBN: (纸本)9781479902262

Traceability benchmarks are essential for the evaluation of traceability recovery techniques. This includes the validation of an individual traceability technique itself and the objective comparison of the technique with other traceability techniques. However, it is generally acknowledged that it is a real challenge for researchers to obtain or build meaningful and robust benchmarks. This is because of the difficulty of obtaining or creating suitable benchmarks. In this paper, we describe an approach to enable researchers to establish affordable and robust benchmarks. We have designed rigorous manual identification and verification strategies to determine whether or not a link is correct. We have developed a formula to calculate the probability of errors in benchmarks. Analysis of error probability results shows that our approach can produce high quality benchmarks, and our strategies significantly reduce error probability in them.

关键词： traceability benchmark benchmark development

来源：评论

学校读者我要写书评

暂无评论

Cascaded dynamic noise reduction utilizing VAD to improve residual suppression

Cascaded dynamic noise reduction utilizing VAD to improve re...

引用

International Conference on Digital Signal Processing (DSP)

作者： Theodoros Petsatodis Christos Boukis Fotios Talantzis Lazaros Polymenakos Electronic Systems Department Aalborg University Aalborg Denmark Risk Management Group Accenture Interactive Athens Greece Autonomic & Grid Computing Group-AGC Athens Information Technology Center Athens Greece

Speech processing systems often operate in noisy and reverberant environments. Their operation is subject to the accuracy of the underlying noise reduction algorithm, that aims to reduce noise present in the signals that are captured by the employed microphones. Under adverse conditions a noise reduction scheme, failing to perform adequately, will produce results characterised by speech distortions (metallic or clipping voice) and/or fluctuating residual background noises, the result of inaccuracy in estimating the noise spectrum, known as musical noise. In this paper, performance enhancement when employing a statistical model based Voice Activity Detector (VAD) in combination with noise reduction, is presented in terms of residual noise suppression within silence intervals and short pauses during speech production. To this end, an efficient noise reduction architecture has been developed relying on cascading a previously presented presented denoising scheme. This way, we initially subtract primary noise and then consequently use the same technique, with specific parameter adjustments, to remove spectral subtraction artefacts such as musical noise or noise leftovers that were generated by the first stage. Simulations under various noise types and intensities indicate significant performance enhancement when employing the proposed system.

关键词： Noise Testing Speech

来源：评论

学校读者我要写书评

暂无评论

11th German Conference on Chemoinformatics (GCC 2015) Abstracts

引用

JOURNAL OF CHEMINFORMATICS 2016年第SUPPL 1期8卷 1-27页

作者： [Anonymous] GDCh-CIC Division Associated Board Member Beilstein-Institut zur Förderung der Chemischen Wissenschaften Trakehner Str. 7-9 60487 Frankfurt Germany. ufechner@beilstein-institut.de. Division Medicinal Chemistry Amsterdam Institute for Molecules Medicines and Systems (AIMMS) VU University Amsterdam The Netherlands. Centre for Bioinformatics Uni Hamburg Bundesstr. 43 20146 Hamburg Germany. Sanofi-Aventis Deutschland GmbH 65926 Frankfurt am Main Germany. stefan.guessregen@***. Sanofi-Aventis Deutschland GmbH 65926 Frankfurt am Main Germany. GlaxoSmithKline Stevenage SG1 2NY UK. nicola.j.richmond@***. Discngine Paris 75011 France. Organisch-Chemisches Institut Westfälische Wilhelms-Universität Münster Germany. marwin.segler@wwu.de. Organisch-Chemisches Institut Westfälische Wilhelms-Universität Münster Germany. Bundeskriminalamt Wiesbaden Central Analytics II 65173 Wiesbaden Germany. Department of Chemistry and Biochemistry University of California Santa Barbara CA 93111 USA. shea@chem.ucsb.edu. Department of Chemistry and Biochemistry University of California Santa Barbara CA 93111 USA. Chemistry Department Ludwig-Maximilians-Universität München Butenandtstr. 7 81377 Munich Germany. Inorganic Chemistry and Center for Nanointegration University of Duisburg-Essen Essen Germany. CAM-D Technologies Essen Germany. Institute for Bioinformatics and Chemoinformatics Westphalian University of Applied Sciences Recklinghausen Germany. Institute for Bioinformatics and Chemoinformatics Westphalian University of Applied Sciences Recklinghausen Germany. achim.zielesny@w-hs.de. Leiden University Leiden Netherlands. j.fraaije@chem.leidenuniv.nl. Culgi BV Berlin Germany. Physikalische Chemie III TU Dortmund 44227 Dortmund Germany. stefan.kast@tu-dortmund.de. Centre for Molecular Informatics Department of Chemistry University of Cambridge Lensfield Road Cambridge CB2 1EW United Kingdom. kcb27@cam.ac.uk. Centre for Molecular Informatics Department of Chemistry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：