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

WORL: a nonmonotonic rule language for the semantic web

Vietnam Journal of computer science 2013年第1期1卷 57-69页

作者： Cao, Son Thanh Nguyen, Linh Anh Szałas, Andrzej Faculty of Information Technology Vinh University Vinh Vietnam VNU University of Engineering and Technology Hanoi Vietnam Institute of Informatics University of Warsaw Warsaw Poland Department of Computer and Information Science Linköping University Linköping Sweden

We develop a new Web ontology rule language, called WORL, which combines a variant of OWL 2 RL with eDatalog $$^\lnot $$ . We allow additional features like negation, the minimal number restriction and unary external checkable predicates to occur at the left-hand side of concept inclusion axioms. Some restrictions are adopted to guarantee a translation into eDatalog $$^\lnot $$ . We also develop the well-founded semantics and the stable model semantics for WORL as well as the standard semantics for stratified WORL (SWORL) via translation into eDatalog $$^\lnot $$ . Both WORL with respect to the well-founded semantics and SWORL with respect to the standard semantics have PTime data complexity. In contrast to the existing combined formalisms, in WORL and SWORL negation in concept inclusion axioms is interpreted using nonmonotonic semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Carotid artery wall segmentation by coupled surface graph cuts

Carotid artery wall segmentation by coupled surface graph cu...

引用

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

作者： Arias, Andres Petersen, Jens Van Engelen, Arna Tang, Hui Selwaness, Mariana Witteman, Jacqueline C. M. Van Der Lugt, Aad Niessen, Wiro De Bruijne, Marleen Biomedical Imaging Group Rotterdam Departments of Radiology and Medical Informatics Erasmus MC Rotterdam Netherlands Image Group Department of Computer Science University of Copenhagen Denmark Faculty of Applied Sciences Department of Imaging Science and Technology Delft University of Technology Netherlands Department of Radiology Erasmus MC Rotterdam Netherlands Department of Epidemiology Erasmus MC Rotterdam Netherlands Department of Biomedical Engineering Erasmus MC Rotterdam Netherlands

ISBN: (纸本)9783642366192

We present a three-dimensional coupled surface graph cut algorithm for carotid wall segmentation from Magnetic Resonance Imaging (MRI). Using cost functions that highlight both inner and outer vessel wall borders, the method combines the search for both borders into a single graph cut optimization. Our approach requires little user interaction and can robustly segment the carotid artery bifurcation. Experiments on 32 carotid arteries from 16 patients show good agreement between manual segmentation performed by an expert and our method. The mean relative area of overlap is more than 85% for both lumen and outer vessel wall. In addition, differences in measured wall thickness with respect to the manual annotations were smaller than the in-plane pixel size. © 2013 Springer-Verlag.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Impact response measurement of contact lenses 5

Impact response measurement of contact lenses

引用

5th International Conference on Advanced Micro-Device engineering, AMDE 2013

作者： Watanabe, Kazuhide Miyashita, Naoki Bin, Du Hong Irisa, Kyohei Takita, Akihiro Yamaguchi, Takao Carcasona, Edwin Mitatha, Somsak Fujii, Yusaku Education Program of Electronics and Infomatics Mathematics and Physics Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Department of Electronics Faculty of Engineering Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Education Program of Mechanical Science and Technology School of Science and Technology Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Department of Electronics Graduate School of Engineering Gunma University 1-5-1 Tenjin-cho Kiryu376-8515 Japan Division of Mechanical Science and Technology Faculty of Science and Technology Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Department of Mechanical Engineering University of San Carlos Cebu City230-0100 Philippines Hybrid Computing Research Laboratory School of Computer Engineering Faculty of Engineering King Mongkut's Institute of Technology Ladkrabang Chalongkrung Road Bangkok Thailand

ISBN: (纸本)9783038354659

Impact response of contact lenses is measured using the Levitation Mass Method (LMM). In the LMM, a small mass collides with contact lenses and the impact force is measured with high accuracy as the inertial force of the moving part. A pneumatic linear bearing is used to achieve linear motion with sufficiently small friction acting on the moving part. Hysteresis loop and consumed energy as mechanical characteristics of contact lenses are also calculated.. © (2015) Trans Tech Publications, Switzerland.

关键词： Contact lenses

来源：评论

学校读者我要写书评

暂无评论

Perspectives on cognitive computers and knowledge processors

Perspectives on cognitive computers and knowledge processors

引用

作者： Wang, Yingxu Fariello, Gabriele Gavrilova, Marina L. Kinsner, Witold Mizoguchi, Fumio Patel, Shushma Patel, Dilip Pelayo, Fernando L. Raskin, Victor Shell, Duane F. Tsumoto, Shusaku Department of Electrical and Computer Engineering Schulich School of Engineering Calgary Canada Neuroinformatics Research Group Center for Brain Science Harvard University Cambridge MA United States Department of Computer Science University of Calgary Calgary Canada Cognitive Systems Laboratory Department of Electrical and Computer Engineering University of Manitoba Winnipeg Canada Winnipeg Canada Next Generation of Data Mining Division Tokyo University of Science Chiba Japan London South Bank University London United Kingdom Albacete Spain LING/CERIAS/CS/CIT Purdue University West Lafayette IN United States Department of Educational Psychology University of Nebraska-Lincoln Lincoln NE United States Department of Medical Informatics Faculty of Medicine Shimane University Matsue Japan

Cognitive informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science, intelligence science, knowledge science, cognitive linguistics, and cognitive philosophy. CI aims to investigate the internal information processing mechanisms and processes of the brain, the underlying abstract intelligence theories and denotational mathematics, and their engineering applications in cognitive computing and computational intelligence. This paper reports a set of eleven position statements presented in the plenary panel of IEEE ICCI *CC'13 on Cognitive computers and Knowledge Processors contributed from invited panelists who are part of the world's renowned researchers and scholars in the field of cognitive informatics and cognitive computing. Copyright © 2013, IGI Global.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Search for magnetic monopoles and stable particles with high electric charges in 8 TeV pp collisions with the ATLAS detector

引用

Physical Review D 2016年第5期93卷 052009-052009页

作者： G. Aad B. Abbott J. Abdallah O. Abdinov R. Aben M. Abolins O. S. AbouZeid H. Abramowicz H. Abreu R. Abreu Y. Abulaiti B. S. Acharya L. Adamczyk D. L. Adams J. Adelman S. Adomeit T. Adye A. A. Affolder T. Agatonovic-Jovin J. Agricola J. A. Aguilar-Saavedra S. P. Ahlen F. Ahmadov G. Aielli H. Akerstedt T. P. A. Åkesson A. V. Akimov G. L. Alberghi J. Albert S. Albrand M. J. Alconada Verzini M. Aleksa I. N. Aleksandrov C. Alexa G. Alexander T. Alexopoulos M. Alhroob G. Alimonti L. Alio J. Alison S. P. Alkire B. M. M. Allbrooke P. P. Allport A. Aloisio A. Alonso F. Alonso C. Alpigiani A. Altheimer B. Alvarez Gonzalez D. Álvarez Piqueras M. G. Alviggi B. T. Amadio K. Amako Y. Amaral Coutinho C. Amelung D. Amidei S. P. Amor Dos Santos A. Amorim S. Amoroso N. Amram G. Amundsen C. Anastopoulos L. S. Ancu N. Andari T. Andeen C. F. Anders G. Anders J. K. Anders K. J. Anderson A. Andreazza V. Andrei S. Angelidakis I. Angelozzi P. Anger A. Angerami F. Anghinolfi A. V. Anisenkov N. Anjos A. Annovi M. Antonelli A. Antonov J. Antos F. Anulli M. Aoki L. Aperio Bella G. Arabidze Y. Arai J. P. Araque A. T. H. Arce F. A. Arduh J-F. Arguin S. Argyropoulos M. Arik A. J. Armbruster O. Arnaez V. Arnal H. Arnold M. Arratia O. Arslan A. Artamonov G. Artoni S. Asai N. Asbah A. Ashkenazi B. Åsman L. Asquith K. Assamagan R. Astalos M. Atkinson N. B. Atlay K. Augsten M. Aurousseau G. Avolio B. Axen M. K. Ayoub G. Azuelos M. A. Baak A. E. Baas M. J. Baca C. Bacci H. Bachacou K. Bachas M. Backes M. Backhaus P. Bagiacchi P. Bagnaia Y. Bai T. Bain J. T. Baines O. K. Baker E. M. Baldin P. Balek T. Balestri F. Balli W. K. Balunas E. Banas Sw. Banerjee A. A. E. Bannoura H. S. Bansil L. Barak E. L. Barberio D. Barberis M. Barbero T. Barillari M. Barisonzi T. Barklow N. Barlow S. L. Barnes B. M. Barnett R. M. Barnett Z. Barnovska A. Baroncelli G. Barone A. J. Barr F. Barreiro J. Barreiro Guimarães da Costa R. Bartoldus A. E. Barton P. Bartos A. Basalaev A. Bassalat A. Basye R. L. Bates S. J. Batista J. R. Batley M. Battaglia M. Bauce F. Bauer H. S. Ba CPPM Aix-Marseille Université and CNRS/IN2P3 Marseille France Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman Oklahoma USA Institute of Physics Academia Sinica Taipei Taiwan Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan Nikhef National Institute for Subatomic Physics and University of Amsterdam Amsterdam Netherlands Department of Physics and Astronomy Michigan State University East Lansing Michigan USA Department of Physics University of Toronto Toronto ON Canada Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel Department of Physics Technion: Israel Institute of Technology Haifa Israel Center for High Energy Physics University of Oregon Eugene Oregon USA Department of Physics Stockholm University Sweden The Oskar Klein Centre Stockholm Sweden INFN Gruppo Collegato di Udine Sezione di Trieste 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 Northern Illinois University DeKalb Illinois USA Fakultät für Physik Ludwig-Maximilians-Universität München München Germany Particle Physics Department Rutherford Appleton Laboratory Didcot United Kingdom Oliver Lodge Laboratory University of Liverpool Liverpool United Kingdom Institute of Physics University of Belgrade Belgrade Serbia II Physikalisches Institut Georg-August-Universität Göttingen Germany Laboratório de Instrumentação e Física Experimental de Partículas—LIP Lisboa Portugal Departamento de Fisica Teorica y del Cosmos and CAFPE Universidad de Granada Granada (Spain) Portugal Department of Physics Boston University Boston Massachusetts USA Joint Institute for Nuclear Research JINR Dubna Dubna Russia INFN Sezione di Roma Tor Vergata Italy Dipartimento di Fisica Università di Roma Tor Vergata Roma Italy Fysiska

A search for highly ionizing particles produced in proton-proton collisions at 8 TeV center-of-mass energy is performed by the ATLAS Collaboration at the CERN Large Hadron Collider. The data set used corresponds to an integrated luminosity of 7.0 fb−1. A customized trigger significantly increases the sensitivity, permitting a search for such particles with charges and energies beyond what was previously accessible. No events were found in the signal region, leading to production cross section upper limits in the mass range 200–2500 GeV for magnetic monopoles with magnetic charge in the range 0.5gD<|g|<2.0gD, where gD is the Dirac charge, and for stable particles with electric charge in the range 10<|z|<60. Model-dependent limits are presented in given pair-production scenarios, and model-independent limits are presented in fiducial regions of particle energy and pseudorapidity.

关键词： Particle production Hypothetical particles Magnetic monopoles Hadron colliders

来源：评论

学校读者我要写书评

暂无评论

An Examination of the Concept of Smart School: An Innovation to Address Sustainability

An Examination of the Concept of Smart School: An Innovation...

引用

2013 2nd International Conference on Advances in computer science and engineering(CSE 2013)

作者： Siavash Omidinia Maslin Masrom Harihodin Selamat Faculty of Computer Science and Information System Universiti Teknologi Malaysia UTM Razak School of Engineering and Advanced Technology Universiti Teknologi Malaysia UTM Advanced Informatics School Universiti Teknologi Malaysia

The smart school is a technology-based teachinglearning institution for preparing children for the Information Age. To achieve smarts schools educational objectives, these teaching and learning concepts should be covered: curricular, pedagogy, assessment and teaching-learning materials. Information and communication technology(ICT), as second pillar of smart school, plays many roles in a smart school, from facilitating teaching and learning activities to assisting with school management. For instance, some of technologies which can equip a smart school might be classrooms with multimedia courseware and presentation facilities, computer laboratory for teaching, multimedia development center and server room equipped to handle applications, management databases, and web servers. Although in recent years some efforts have been done for developing smart schools, there is not a pre-defined and an efficient solution for establishing ICT environment for smart schools. The main objective of this research is to examine pertinent aspects of smart school's concept, namely matters pertaining to teacher training, information technology(IT) infrastructure, and curriculum design to ensure that the innovation can successfully nurture a workforce prepared to meet the challenges of the ICT era.

关键词： Smart School E-Learning ICT Infrastructure

来源：评论

学校读者我要写书评

暂无评论

Nuclear cardiology image enhancement using wavelet transform analysis

引用

Physica Medica 2014年 30卷 e30-e30页

作者： A. Poulakis S. Angelakis G. Fountos G.S. Panagiotakis I. Asteriadis I. Valais Department of Biomedical Engineering Technological Educational Institute of Athens 12210 Athens Greece Biomedical Informatics and Technology Graduate Program School of Computer Science University of Crete Department of Medical Physics Medical School University of Patras 265 00 Patras Greece Department of Nuclear Medicine General Hospital of Kavala 65 500 Kavala Greece

来源：评论

学校读者我要写书评

暂无评论

Integrating renewable energy sources using a smart household system

Integrating renewable energy sources using a smart household...

引用

International Conference on Environment and Electrical engineering (EEEIC)

作者： Miroslav Prýmek Aleš Horák Lukáš Prokop Stanislav Mišák Masarykova univerzita Brno JihomoravskÃ½ CZ Faculty of Informatics Masaryk University Botanicka 68a Brno Czech Republic Faculty of Electrical Power Engineering and Computer Science VSB - Technical University of Ostrava Ostrava - Poruba Czech Republic

The energy independence, security and reliability of operating energy distribution systems, along with the use of renewable energy sources (RES), are the most important topics of energy-related research and developmen... 详细信息

关键词： Home appliances Optimization Control systems Wind speed Power demand Renewable energy sources

来源：评论

学校读者我要写书评

暂无评论

Continuity of approximate reasoning with Łukasiewicz logic for optimization of fuzzy logic control

Continuity of approximate reasoning with Łukasiewicz logic ...

引用

Conference on Control and Fault-Tolerant Systems (SysTol)

作者： Takashi Mitsuishi Takanori Terashima Koji Saigusa Yasunari Shidama Faculty of Commerce University of Marketing and Distribution Sciences Kobe Japan International Institute of Applied Informatics Yonezawa Japan Faculty of Fine Art Kyusyu Sangyo University Fukuoka Japan Department of Computer Science & Engineering Shinshu University Nagano Japan

In this paper we analyze the existence of fuzzy controller as IF-THEN rules which minimize the performance functional of nonlinear feedback control. A bounded product (Łukasiewicz t-norm) and a bounded sum (Łukasiewicz t-conorm) are applied to the operations in the fuzzy reasoning for interpreting “AND” and “OR” respectively. In particular, the continuity of approximate reasoning is proved to show the optimal control.

关键词： Cognition Fuzzy logic Optimization Feedback control Optimal control Fuzzy sets Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Agile online-trained neural network models by using Robust Fixed Point Transformations

Agile online-trained neural network models by using Robust F...

引用

IEEE International Symposium on Intelligent Signal Processing

作者： Teréz A. Várkonyi Vincenzo Piuri József K. Tar Annamária R. Várkonyi-Kóczy Imre J. Rudas John von Neumann Faculty of Informatics Obuda University Budapest Hungary Department of Computer Science Universitá degli Studi di Milano Crema Italy Institute of Applied Mathematics John von Neumann Faculty of Informatics Obuda University Budapest Hungary Donát Bánki Faculty of Mechanical and Safety Engineering Obuda University Budapest Hungary

Nowadays, in the field of information processing, neural networks (NNs) are very used, because they can learn adaptively how to behave in a desired way. In the field of adaptive control, NNs are the most beneficial when the system to be controlled is not known in advance, because the system can be modeled by NNs to predict its behavior. In this case, it is very important how accurate the estimation of the NN is, since if the approximation is too rough then extra calculations are needed to get better results. One of the possibilities for improving the NN model is on-line learning during the control process, but this option requires high computational time. Another possibility is the application of Robust Fixed Point Transformations (RFPT), since though, it can only guarantee local stability, RFPT has been developed to reduce the inaccuracy caused by modeling errors and it does not need high computational time. In this paper, a new combination of the two methods the on-line trained neural networks and RFPT is proposed to decrease the computational burden caused by the on-line adaptation and keep the results close to optimum.

关键词： Artificial neural networks Approximation methods Training Adaptation models Robustness Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：