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

arXiv 2020年

作者： Endo, Katsuhiro Nakamura, Taichi Fujii, Keisuke Yamamoto, Naoki Department of Mechanical Engineering Keio University Hiyoshi 3-14-1 Kohoku Yokohama Japan Department of System Design Engineering Keio University Hiyoshi 3-14-1 Kohoku Yokohama Japan Graduate School of Engineering Science Osaka University 1-3 Machikaneyama Toyonaka Osaka560-8531 Japan Center for Quantum Information and Quantum Biology Institute for Open and Transdisciplinary Research Initiatives Osaka University Japan Department of Applied Physics and Physico-Informatics Quantum Computing Center Keio University Hiyoshi 3-14-1 Kohoku Yokohama Japan

The self-learning Metropolis-Hastings algorithm is a powerful Monte Carlo method that, with the help of machine learning, adaptively generates an easy-to-sample probability distribution for approximating a given hard-to-sample distribution. This paper provides a new self-learning Monte Carlo method that utilizes a quantum computer to output a proposal distribution. In particular, we show a novel subclass of this general scheme based on the quantum Fourier transform circuit;this sampler is classically simulable while having a certain advantage over conventional methods. The performance of this "quantum inspired" algorithm is demonstrated by some numerical simulations. Copyright © 2020, The Authors. All rights reserved.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

Semantic based model of conceptual work products for formal verification of complex interactive systems

arXiv

引用

arXiv 2020年

作者： Madkour, Mohcine Butler, Keith Mercer, Eric Bahrami, Ali Tao, Cui University of Texas Health Science Center at Houston School of Biomedical Informatics 7000 Fannin St Suite 600 HoustonTX77030 United States University of Washington Department of Human Centered Design and Engineering Box 352315 Sieg Hall Room 208 SeattleWA98195 United States Brigham Young University Computer Science Department 3334 TMCB PO Box 26576 ProvoUT84602-6576 United States Medico System Inc. 10900 NE 8th Street Suite 900 BellevueWA98004 United States

Many clinical workflows depend on interactive computer systems for highly technical, conceptual work products, such as diagnoses, treatment plans, care coordination, and case management. We describe an automatic logic reasoner to verify objective specifications for these highly technical, but abstract, work products that are essential to care. The conceptual work products specifications serve as a fundamental output requirement, which must be clearly stated, correct and solvable. There is strategic importance for such specifications because, in turn, they enable system model checking to verify that machine functions taken with user procedures are actually able to achieve these abstract products. We chose case management of Multiple Sclerosis (MS) outpatients as our use case for its challenging complexity. As a first step, we illustrate how graphical class and state diagrams from UML can be developed and critiqued with subject matter experts to serve as specifications of the conceptual work product of case management. A key feature is that the specification must be declarative and thus independent of any process or technology. UML can represent the needed static and dynamic abstractions but it also allows inconsistent, unsolvable models. Our Work Domain Ontology with tools from Semantic Web is needed to translate UML class and state diagrams for verification of solvability with automatic reasoning. The solvable model will then be ready for subsequent use with model checking on the system of human procedures and machine functions. We used the expressive rule language SPARQL Inferencing Notation (SPIN) to develop formal representations of the UML class diagram, the state machine, and their interactions. Using SPIN, we proved the consistency of the interactions of static and dynamic concepts. We discuss how the new SPIN rule engine could be incorporated in the Object Management Group (OMG)’s Ontology Definition Metamodel (ODM). Copyright © 2020, The Authors. All rights

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

The association for the advancement of artificial intelligence 2020 workshop program

The association for the advancement of artificial intelligen...

引用

作者： Bang, Grace Barash, Guy Bea, Ryan Cali, Jacques Castillo-Effen, Mauricio Chen, Xin Cynthia Chhaya, Niyati Dhoopar, Rohan Dumancic, Sebastijan Espinoza, Huáscar Farchi, Eitan Fioretto, Ferdinando Fuentetaja, Raquel Galley, Michel Geib, Christopher Hernández-Orallo, José Huang, Xiaowei Keren, Sarah Kim, Seokhwan Jaidka, Kokil Liu, Xiaomo Lu, Tyler Ma, Zhiqiang Mallah, Richard McDermid, John Michalowski, Martin Mirsky, Reuth Héigeartaigh, Seán Ó. Ramachandran, Deepak Segovia-Aguas, Javier Shaban-Nejad, Arash Shehory, Onn Shwartz, Vered Srivastava, Siddharth Talamadupula, Kartik Tang, Jian Zhang, Dell Zhang, Jian S&P Global. Western Digital University of Southampton United Kingdom Blue Prism Group PLC Lockheed Martin's Advanced Technology Laboratories ArlingtonVA United States University of Hong Kong Hong Kong Adobe Research Google Research Katholieke Universiteit Leuven Belgium Commissariat à ĺÉnergie Atomique France IBM Research Department of Electrical Engineering and Computer Science Syracuse University United States Universidad Carlos III de Madrid Spain Microsoft Research AI SIFT LLC Universitat Politècnica de València Spain Leverhulme Centre for the Future of Intelligence United Kingdom Department of Computer Science University of Liverpool United Kingdom National University of Singapore Singapore Harvard School of Engineering and Applied Sciences in the of Fields of Multiagent Environment Design and Goal Recognition Design Amazon Alexa AI Future of Life Institute United States University of York Assuring Autonomy International Program United Kingdom University of Minnesota School of Nursing MinneapolisMN United States University of Texas at Austin AustinTX United States Institut de Robòtica i Informàtica Industrial Spanish Council for Scientific Research Technical University of Catalonia Spain Oak Ridge National Laboratory Center for Biomedical Informatics Department of Pediatrics University of Tennessee Health Science Center United States Bar Ilan University Israel University of Washington SeattleWA United States Autonomous Agents and Intelligent Robots lab of the School of Computing Informatics Decision Systems Arizona State University United States DiDi AI Labs School of Industrial and System Engineering Georgia Institute of Technology United States University of London United Kingdom Microsoft Azure

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program included twenty-three workshops covering a wide range of topics in artificial intelligence. This report contains the required reports, which were submitted by most, but not all, of the workshop chairs. Copyright © 2020, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Architecture of Onboard Intellectual Control system for Autonomous Researching Devices

The Architecture of Onboard Intellectual Control System for ...

引用

Russia and Pacific Conference on Computer Technology and Applications (RPC)

作者： S. Kabak Il'ya A. Sheptunov Sergey M. Solomentsev Jury V. Sukhanova Nataly S. Sannikov Aleksandr S. Nakhushev Rakhim Computer Control Architecture Sub-Department MSTU “STANKIN” Moscow Russia principal of Institute for Design and Technological Informatics of RAS Moscow Russia Chiff of Information technogy and computer system SUB-departament MSTU “STANKIN” Moscow Russia Computer control architecture sub-department MSTU “STANKIN” Moscow Russia Academy of Sciences (IDTI RAS) Institute for Design Technological Informatics of Russian Moscow Russia

ISBN: (纸本)9781538675328

The goal of science is the new knowledge mining and data processing. There are some fields of activity in which there is impossible for man to be presented (for example, in space and world ocean). The autonomous researching devices are needed for knowledge acquisition in these fields of activity. The architecture of the on-board control system for the autonomous device was designed. The control system was designed with realization on the module principles, used algorithm and intelligent modules.

关键词： Control systems Neurons Training Computer architecture Neural networks Artificial intelligence Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Spintronic superconductor in a bulk layered material with natural spin-valve structure

arXiv

引用

arXiv 2020年

作者： Sakuragi, Shunsuke Sasaki, S. Akashi, R. Sakagami, R. Kuroda, K. Bareille, C. Hashimoto, T. Nagashima, T. Kinoshita, Y. Hirata, Y. Shimozawa, M. Asai, S. Yajima, T. Doi, S. Tsujimoto, N. Kunisada, S. Noguchi, R. Kurokawa, K. Azuma, N. Hirata, K. Yamasaki, Y. Nakao, H. Kim, T.K. Cacho, C. Masuda, T. Tokunaga, M. Wadati, H. Okazaki, K. Shin, S. Kamihara, Y. Yamashita, Minoru Kondo, Takeshi Institute for Solid State Physics University of Tokyo Kashiwa Chiba Japan Department of Physics University of Tokyo Tokyo Japan Department of Applied Physics and Phisico-Informatics Keio University Yokohama Japan Department of Applied Physics National Defense Academy of Japan Yokosuka Japan Division of Materials Physics Graduate School of Engineering Science Osaka University Toyonaka Japan Research Center for Computational Design of Advanced Functional Materials National Institute of Advanced Industrial Science and Technology Tsukuba Japan Research and Services Division of Materials Data and Integrated System National Institute for Materials Science Tsukuba Japan RIKEN Center for Emergent Matter Science Wako Japan PRESTO Japan Science and Technology Agency Kawaguchi Japan Condensed Matter Research Center and Photon Factory Institute of Materials Structure Science High Energy Accelerator Research Organization Tsukuba Japan Diamond Light Source Harwell Campus Didcot United Kingdom Graduate School of Material Science University of Hyogo Hyogo Japan TheUniversity of Tokyo Kashiwa Chiba277-8581 Japan Center for Spintronics Research Network Keio University Yokohama Japan

Multi-layered materials provide fascinating platforms to realize various functional properties, possibly leading to future electronic devices controlled by external fields. In particular, layered magnets coupled with conducting layers have been extensively studied recently for possible control of their transport properties via the spin structure. Successful control of quantum-transport properties in the materials with antiferromagnetic (AFM) layers, so-called natural spin-valve structure, has been reported for the Dirac Fermion and topological/axion materials [1-11]. However, a bulk crystal in which magnetic and superconducting layers are alternately stacked has not been realized until now, and the search for functional properties in it is an interesting yet unexplored field in material science. Here, we discover superconductivity providing such an ideal platform in EuSn2As2 with the van der Waals stacking of magnetic Eu layers and superconducting Sn-As layers, and present the first demonstration of a natural spin-valve effect on the superconducting current. Below the superconducting transition temperature (Tc), the electrical resistivity becomes zero in the in-plane direction. In contrast, it, surprisingly, remains finite down to the lowest temperature in the out-of-plane direction, mostly due to the structure of intrinsic magnetic Josephson junctions in EuSn2As2. The magnetic order of the Eu layers (or natural spin-valve) is observed to be extremely soft, allowing one to easy control of the out-of-plane to in-plane resistivities ratio from 1 to ∞ by weak external magnetic fields. The concept of multi-functional materials with stacked magnetic-superconducting layers will open a new pathway to develop novel spintronic devices with magnetically controllable superconductivity. Copyright © 2020, The Authors. All rights reserved.

关键词： Europium compounds

来源：评论

学校读者我要写书评

暂无评论

Mapping essential urban land use categories in China(EULUC-China):preliminary results for 2018

引用

Science Bulletin 2020年第3期65卷 182-187页

作者： Peng Gong Bin Chen Xuecao Li Han Liu Jie Wang Yuqi Bai Jingming Chen Xi Chen Lei Fang Shuailong Feng Yongjiu Feng Yali Gong Hao Gu Huabing Huang Xiaochun Huang Hongzan Jiao Yingdong Kang Guangbin Lei Ainong Li Xiaoting Li Xun Li Yuechen Li Zhilin Li Zhongde Li Chong Liu Chunxia Liu Maochou Liu Shuguang Liu Wanliu Mao Changhong Miao Hao Ni Qisheng Pan Shuhua Qi Zhehao Ren Zhuoran Shan Shaoqing Shen Minjun Shi Yimeng Song Mo Su Hoi Ping Suen Bo Sun Fangdi Sun Jian Sun Lin Sun Wenyao Sun Tian Tian Xiaohua Tong Yihsing Tseng Ying Tu Hong Wang Lan Wang Xi Wan Zongming Wang Tinghai Wu Yaowen Xie Jian Yang Jun Yang Man Yuan Wenze Yue Hongda Zeng Kuo Zhang Neng Zhang Tao Zhang Yu Zhang Feng Zhao Yichen Zheng Qiming Zhou Nicholas Clinton Zhiliang Zhu Bing Xu Ministry of Education Key Laboratory for Earth System Modeling Department of Earth System ScienceTsinghua UniversityBeijing 100084China Tsinghua Urban Institute Tsinghua UniversityBeijing 100084China Center for Healthy Cities Institute for China Sustainable UrbanizationTsinghua UniversityBeijing 100084China Department of Land Air and Water ResourcesUniversity of CaliforniaDavisCA 95616-8627USA Department of Geological and Atmospheric Sciences Iowa State UniversityAmesIA 50011USA State Key Laboratory of Remote Sensing Science Institute of Remote Sensing and Digital EarthChinese Academy of SciencesBeijing 100101China AI for Earth Laboratory Cross-Strait InstituteTsinghua UniversityBeijing 100084China International Institute for Earth System Sciences Nanjing UniversityNanjing 210093China Research Center for Ecology and Environment of Central Asia Chinese Academy of SciencesUrumchi 830011China Key Laboratory of Forest Ecology and Management Institute of Applied EcologyChinese Academy of SciencesShenyang 110016China National Engineering Laboratory for Applied Technology in Forestry&Ecology in South China College of Life Science and TechnologyCentral South University of Forestry and TechnologyChangsha 410004China College of Surveying&Geo-Informatics Tongji UniversityShanghai 200092China Department of Urban Planning College of Architecture and Urban PlanningTongji UniversityShanghai 200092China Beijing Institute of Urban Planning Beijing 100045China Department of Urban Planning School of Urban DesignWuhan UniversityWuhan 430072China College of Earth Sciences Jilin UniversityChangchun 130061China Research Center for Digital Mountain and Remote Sensing Application Institute of Mountain Hazards and EnvironmentChinese Academy of SciencesChengdu 610041China Institute of Remote Sensing and Geographic Information System School of Earth and Space SciencesPeking UniversityBeijing 100871China Department of Urban and Regional Planning School of Geography and PlanningSun Yat-sen Univ

Land use reflects human activities on *** land use is the highest level human alteration on Earth,and it is rapidly changing due to population increase and *** areas have widespread effects on local hydrology,climate,biodiversity,and food production[1,2].However,maps,that contain knowledge on the distribution,pattern and composition of various land use types in urban areas,are limited to city *** mapping standard on data sources,methods,land use classification schemes varies from city to city,due to differences in financial input and skills of mapping *** address various national and global environmental challenges caused by urbanization,it is important to have urban land uses at the national and global scales that are derived from the same or consistent data sources with the same or compatible classification systems and mapping *** is because,only with urban land use maps produced with similar criteria,consistent environmental policies can be made,and action efforts can be compared and assessed for large scale environmental ***,despite of the fact that a number of urban-extent maps exist at global scales[3,4],more detailed urban land use maps do not exist at the same *** at big country or regional levels such as for the United States,China and European Union,consistent land use mapping efforts are rare[5,6](e.g.,https://***/open_land_use/).

关键词： EULUC-China 土地利用类型

来源：评论

学校读者我要写书评

暂无评论

Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study (vol 2, pg 144, 2021)

引用

LANCET GLOBAL HEALTH 2021年第4期9卷 E408-E408页

作者： Steinmetz, Jaimie D. Vision and Eye Research Institute Anglia Ruskin University Cambridge United Kingdom Biomedical Informatics Seoul National University Hospital Seoul South Korea Institute for Health Metrics and Evaluation University of Washington Seattle WA United States Department of Health Metrics Sciences School of Medicine University of Washington Seattle WA United States Institute of Health Services Research Yonsei University Seoul South Korea Department of Ophthalmology University of Washington Seattle WA United States Department of Mathematics Imperial College London London United Kingdom WHO Collaborating Centre for Public Health Education and Training Imperial College London London United Kingdom Department of Primary Care and Public Health Imperial College London London United Kingdom School of Population and Global Health University of Melbourne Carlton VIC Australia School of Optometry and Vision Science UNSW Sydney NSW Australia Brien Holden Vision Institute Sydney Australia Department of Ophthalmology University of Adelaide Adelaide SA Australia Department of Parasitology and Mycology Jahrom University of Medical Sciences Jahrom Iran Department of Clinical Sciences University of Sharjah Sharjah United Arab Emirates Ophthalmic Research Center Shahid Beheshti University of Medical Sciences Tehran Iran Department of Ophthalmology Shahid Beheshti University of Medical Sciences Tehran Iran Research Institute for Endocrine Sciences Shahid Beheshti University of Medical Sciences Tehran Iran Ophthalmic Epidemiology Research Center Shahid Beheshti University of Medical Sciences Tehran Iran Health Services Management Department Qazvin University of Medical Sciences Qazvin Iran Department of Systems Populations and Leadership University of Michigan Ann Arbor MI United States Department of Medicine Sofia Ismail Memorial Medical Centre Bogura Bangladesh The Fred Hollows Foundation Sydney NSW Australia Berhan Public Health & Eye Care Consultancy Addis A

Hospital El Salvador: a novel paradigm of intensive care in response to COVID-19 in central America. Lancet Glob Health 2021;9: e241?42?In this Comment, the conflict of interest statement should have included the following: ?By virtue of their roles within a public hospital or the Ministry of Health, MB, LC, WH, and XS are government employees. The findings and conclusions in the Comment are only those of the authors.? This correction has been made as of Feb 26, 2021.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using Simulation to Improve Performance of a Real World Distribution Center

引用

IFAC-PapersOnLine 2016年第12期49卷 1874-1879页

作者： Bahrami, Behnam Aghezzaf, El-Houssaine Limere, Veronique Department of Industrial System Engineering and Product Design Gent University Gent Belgium Department of Business Informatics and Operations Management Gent University Gent Belgium

We consider a distribution center in which the warehouses is divided into a fast picking (forward) area and a reserve area. In this configuration, the most demanded items or items to be imminently distributed are stored in forward area while reserve area stores goods in pallets or bulk. Placing sufficient inventory in most convenient locations in the forward area results in less travels and less stockout. This paper proposes an approach to reduce the number of stockouts in the forward area while decrease the total traveled distance and discusses the results of a simulation model developed for a real distribution center in which the proposed approach is implemented. © 2016

关键词： Warehouses Distribution centers Forward reserve Improve performance Order picking Real distribution Simulation Simulation model Warehousing

来源：评论

学校读者我要写书评

暂无评论

Robust design of DNA Feedback Regulator for Molecular Robot

Robust Design of DNA Feedback Regulator for Molecular Robot

引用

Asian Control Conference

作者： Michiko Misawa Takashi Nakakuki Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Iizuka Fukuoka Japan Department of System Design and Informatics Kyushu Institute of Technology Iizuka Fukuoka Japan

ISBN: (纸本)9781509015740;9781509015733

In this study, we consider how the choice of DNA circuit elements influences the robustness of DNA feedback regulator, where there are two possible candidates for the amplifier as a gain element in the feedback circuit. We propose that the amplifier that is designed with irreversible reactions in a part of reaction scheme is more robust than the other that are designed with only reversible reactions against the harmful leak reaction between fuel strands.

关键词： DNA Computing Molecular Robotics Feedback Control Robustness

来源：评论

学校读者我要写书评

暂无评论

Inferring tourist behavior and purposes of a twitter user 14th

Inferring tourist behavior and purposes of a twitter user

引用

14th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2016

作者： Nozawa, Yuya Endo, Masaki Ehara, Yo Hirota, Masaharu Yokoyama, Syohei Ishikawa, Hiroshi Graduate School of System Design Tokyo Metropolitan University Tokyo Japan Division of Core Manufacturing Polytechnic University Tokyo Japan National Institute of Advanced Industrial Science and Technology Tokyo Japan Department of Information Engineering National Institute of Technology Oita College Oita Japan Faculty of Informatics Shizuoka University Hamamatsu Japan

ISBN: (纸本)9783319606743

The importance of tourism information such as tourism purposes and tourist behavior continues to increase. However, obtaining precise tourist information such as the tourist destination and tourism period is difficult, as is applying that information to actual tourism marketing. We propose a method to classify Twitter user into tourist behavior and tourism purposes, extracting related information from Twitter posts. Our experiments demonstrated a 0.65 F-score for multi-class classification, showing accuracy for inferring tourist behavior and tourism purposes. © Springer International Publishing AG 2017.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：