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

arXiv 2021年

作者： Reinke, Annika Tizabi, Minu D. Sudre, Carole H. Eisenmann, Matthias Rädsch, Tim Baumgartner, Michael Acion, Laura Antonelli, Michela Arbel, Tal Bakas, Spyridon Bankhead, Peter Benis, Arriel Blaschko, Matthew Buettner, Florian Cardoso, M. Jorge Chen, Jianxu Cheplygina, Veronika Christodoulou, Evangelia Cimini, Beth A. Collins, Gary S. Engelhardt, Sandy Farahani, Keyvan Ferrer, Luciana Galdran, Adrian van Ginneken, Bram Glocker, Ben Godau, Patrick Haase, Robert Hamprecht, Fred Hashimoto, Daniel A. Heckmann-Nötzel, Doreen Hirsch, Peter Hoffman, Michael M. Huisman, Merel Isensee, Fabian Jannin, Pierre Kahn, Charles E. Kainmueller, Dagmar Kainz, Bernhard Karargyris, Alexandros Karthikesalingam, Alan Kavur, A. Emre Kenngott, Hannes Kleesiek, Jens Kleppe, Andreas Koehler, Sven Kofler, Florian Kopp-Schneider, Annette Kooi, Thijs Kozubek, Michal Kreshuk, Anna Kurc, Tahsin Landman, Bennett A. Litjens, Geert Madani, Amin Maier-Hein, Klaus Martel, Anne L. Mattson, Peter Meijering, Erik Menze, Bjoern Moher, David Moons, Karel G.M. Müller, Henning Nichyporuk, Brennan Nickel, Felix Noyan, M. Alican Petersen, Jens Polat, Gorkem Rafelski, Susanne M. Rajpoot, Nasir Reyes, Mauricio Rieke, Nicola Riegler, Michael A. Rivaz, Hassan Saez-Rodriguez, Julio Sánchez, Clara I. Schroeter, Julien Saha, Anindo Selver, M. Alper Sharan, Lalith Shetty, Shravya Smeden, Maarten V.A.N. Stieltjes, Bram Summers, Ronald M. Taha, Abdel A. Tiulpin, Aleksei Tsaftaris, Sotirios A. Calster, Ben V.A.N. Varoquaux, Gaël Wiesenfarth, Manuel Yaniv, Ziv R. Jäger, Paul Maier-Hein, Lena Division of Intelligent Medical Systems and HI Helmholtz Imaging Heidelberg Germany Faculty of Mathematics and Computer Science Heidelberg University Heidelberg Germany Division of Intelligent Medical Systems Heidelberg Germany NCT Heidelberg DKFZ University Medical Center Heidelberg Germany MRC Unit for Lifelong Health and Ageing UCL Centre for Medical Image Computing Department of Computer Science University College London London United Kingdom School of Biomedical Engineering and Imaging Science King’s College London London United Kingdom Division of Medical Image Computing Heidelberg Germany Instituto de Cálculo CONICET – Universidad de Buenos Aires Buenos Aires Argentina Centre for Medical Image Computing University College London London United Kingdom McGill University Montréal Canada Division of Computational Pathology Dept of Pathology & Laboratory Medicine Indiana University School of Medicine IU Health Information and Translational Sciences Building Indianapolis United States University of Pennsylvania Richards Medical Research Laboratories FL7 PhiladelphiaPA United States Institute of Genetics and Cancer University of Edinburgh Edinburgh United Kingdom Department of Digital Medical Technologies Holon Institute of Technology Holon Israel European Federation for Medical Informatics Le Mont-sur-Lausanne Switzerland Center for Processing Speech and Images Department of Electrical Engineering KU Leuven Kasteelpark Arenberg 10 - box 2441 Leuven3001 Belgium Frankfurt/Mainz DKFZ UCT Frankfurt-Marburg Germany Heidelberg Germany Goethe University Frankfurt Department of Medicine Germany Goethe University Frankfurt Department of Informatics Germany Frankfurt Cancer Insititute Germany Leibniz-Institut für Analytische Wissenschaften – ISAS – e.V. Dortmund Germany Department of Computer Science IT University of Copenhagen Copenhagen Denmark Imaging Platform Broad Institute of MIT and Harvard CambridgeMA United States Centre for St

While the importance of automatic image analysis is continuously increasing, recent meta-research revealed major flaws with respect to algorithm validation. Performance metrics are particularly key for meaningful, objective, and transparent performance assessment and validation of the used automatic algorithms, but relatively little attention has been given to the practical pitfalls when using specific metrics for a given image analysis task. These are typically related to (1) the disregard of inherent metric properties, such as the behaviour in the presence of class imbalance or small target structures, (2) the disregard of inherent data set properties, such as the non-independence of the test cases, and (3) the disregard of the actual biomedical domain interest that the metrics should reflect. This living dynamically document has the purpose to illustrate important limitations of performance metrics commonly applied in the field of image analysis. In this context, it focuses on biomedical image analysis problems that can be phrased as image-level classification, semantic segmentation, instance segmentation, or object detection task. The current version is based on a Delphi process on metrics conducted by an international consortium of image analysis experts from more than 60 institutions worldwide. © 2021, CC BY.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Algorithmic aspects of private Bayesian persuasion 8

Algorithmic aspects of private Bayesian persuasion

引用

8th Innovations in Theoretical computer science Conference, ITCS 2017

作者： Babichenko, Yakov Barman, Siddharth William Davidson Faculty of Industrial Engineering and Management Technion-Israel Institute of Technology Haifa Israel Department of Computer Science and Automation Indian Institute of Science Bangalore India

ISBN: (纸本)9783959770293

We consider a multi-receivers Bayesian persuasion model where an informed sender tries to persuade a group of receivers to take a certain action. The state of nature is known to the sender, but it is unknown to the receivers. The sender is allowed to commit to a signaling policy where she sends a private signal to every receiver. This work studies the computation aspects of finding a signaling policy that maximizes the sender's revenue. We show that if the sender's utility is a submodular function of the set of receivers that take the desired action, then we can efficiently find a signaling policy whose revenue is at least (1 - 1/e) times the optimal. We also prove that approximating the sender's optimal revenue by a factor better than (1 - 1/e) is NP-hard and, hence, the developed approximation guarantee is essentially tight. When the sender's utility is a function of the number of receivers that take the desired action (i.e., the utility function is anonymous), we show that an optimal signaling policy can be computed in polynomial time. Our results are based on an interesting connection between the Bayesian persuasion problem and the evaluation of the concave closure of a set function.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Determination of the discretion interval of the temporal series of the technological process parameter measurement in ACS TP in the noises conditions

引用

Journal of Physics: Conference Series 2021年第1期1781卷

作者： S O Tymchuk I G Abramenko K V Zahumenna O O Miroshnyk T G Shchur A Tomporowski W Kruszelnicka Kharkiv Petro Vasilenko National Technical University of Agriculture automation and the computer integrated technologies department Rizdviana str. 19 Kharkiv Ukraine Lviv National Agrarian University Department of operation and technical service of machines named after Professor Semkovych O.D. Volodymyr the Great str 1. 80381 Dublyany Zhovkva district Lviv region Ukraine University of Science and Technology in Bydgoszcz Faculty of Mechanical Engineering Al. Prof. S. Kaliskiego no. 7 85-796 Bydgoszcz Poland

We have solved the problem of substantiating the choice of the sampling interval of the temporal series of the technological process parameter measurements for automation systems, if there are errors, which takes into account the frequency characteristics of this series. The object of the study is the measuring channel of ACS TP (automated control systems of technological processes). We have developed the mathematical simulation model of the measuring channel and the analog-to-digital converter, which provides the possibility of studying the influence of the sampling interval value of the temporal series of technological process parameter measurements on the reliability of the information. The results of the research of the model show the effectiveness of the model developed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Head phantoms for electroencephalography and transcranial electric stimulation: A skull material study

arXiv

引用

arXiv 2018年

作者： Hunold, Alexander Strohmeier, Daniel Fiedler, Patrique Haueisen, Jens Institute of Biomedical Engineering and Informatics Faculty of Computer Science and Automation Technische Universität Ilmenau Ilmenau98693 Germany Biomagnetic Center Department of Neurology Jena University Hospital Jena07743 Germany

Physical head phantoms allow assessing source reconstruction procedures in electroencephalography and electrical stimulation profiles during transcranial electric stimulation. Volume conduction in the head is strongly influenced by the skull representing the main conductivity barrier. Realistic modeling of its characteristics is thus important for phantom development. In the present study, we proposed plastic clay as a material for modeling the skull in phantoms. We analyzed five clay types varying in granularity and fractions of fireclay, each with firing temperatures from 550 °C to 950 °C. We investigated the conductivity of standardized clay samples when immersed in a 0.9 % sodium chloride solution with time-resolved four-point impedance measurements. To test the reusability of the clay model, these measurements were repeated after cleaning the samples by rinsing in deionized water for 5 h. We found time-dependent impedance changes for approximately 5 min after immersion in the solution. Thereafter, the conductivities stabilized between 0.0716 S/m and 0.0224 S/m depending on clay type and firing temperatures. The reproducibility of the measurement results proved the effectiveness of the rinsing procedure. Clay provides formability, is permeable for ions, can be adjusted in conductivity value and is thus suitable for the skull modeling in phantoms. Copyright © 2018, The Authors. All rights reserved.

关键词： Ionic liquids

来源：评论

学校读者我要写书评

暂无评论

Dedicated computer programs visualizing some graph theory problems as learning enhancement 16

Dedicated computer programs visualizing some graph theory pr...

引用

16th Conference on Applied Mathematics, APLIMAT 2017

作者： Zawiślak, Stanislaw Kopeć, Jerzy Faculty of Mechanical Engineering and Computer Science Department of Informatics and Automation University of Bielsko-Biala 2 Willowa Street Bielsko-Biala43-309 Poland

ISBN: (纸本)9788022746502

In the present paper, some computer programs are roughly described which are used in didactics of the subjects related to graph theory. The programs are dedicated to the following problems: searching-DFS and BFS, bi-criteria TSP, drawing self-complementary graphs as well as checking their isomorphism. The advanatge consists in visualisation of particular problems. Standard packages for graph drawing were also been utilized.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Self-Awareness for Autonomous Systems

引用

PROCEEDINGS OF THE IEEE 2020年第7期108卷 971-975页

作者： Dutt, Nikil Regazzoni, Carlo S. Rinner, Bernhard Yao, Xin Nikil Dutt (Fellow IEEE) received the Ph.D. degree from the University of Illinois at Urbana–Champaign Champaign IL USA in 1989.""He is currently a Distinguished Professor of computer science (CS) cognitive sciences and electrical engineering and computer sciences (EECS) with the University of California at Irvine Irvine CA USA. He is a coauthor of seven books. His research interests include embedded systems electronic design automation (EDA) computer architecture distributed systems healthcare Internet of Things (IoT) and brain-inspired architectures and computing.""Dr. Dutt is a Fellow of ACM. He was a recipient of the IFIP Silver Core Award. He has received numerous best paper awards. He serves as the Steering Committee Chair of the IEEE/ACM Embedded Systems Week (ESWEEK). He is also on the steering organizing and program committees of several premier EDA and embedded system design conferences and workshops. He has served on the Editorial Boards for the IEEE Transactions on Very Large Scale Integration (VLSI) Systems and the ACM Transactions on Embedded Computing Systems and also previously served as the Editor-in-Chief (EiC) for the ACM Transactions on Design Automation of Electronic Systems. He served on the Advisory Boards of the IEEE Embedded Systems Letters the ACM Special Interest Group on Embedded Systems the ACM Special Interest Group on Design Automationt and the ACM Transactions on Embedded Computing Systems. Carlo S. Regazzoni (Senior Member IEEE) received the M.S. and Ph.D. degrees in electronic and telecommunications engineering from the University of Genoa Genoa Italy in 1987 and 1992 respectively.""He is currently a Full Professor of cognitive telecommunications systems with the Department of Electrical Electronics and Telecommunication Engineering and Naval Architecture (DITEN) University of Genoa and a Co-Ordinator of the Joint Doctorate on Interactive and Cognitive Environments (JDICE) international Ph.D. course started initially as EU Erasmus Mundus Project and

Autonomous systems are able to make decisions and potentially take actions without direct human intervention, which requires some knowledge about the system and its environment as well as goal-oriented reasoning. In computer systems, one can derive such behavior from the concept of a rational agent with autonomy (“control over its own actions”), reactivity (“react to events from the environment”), proactivity (“act on its own initiative”), and sociality (“interact with other agents”) as fundamental properties \n[1]\n. Autonomous systems will undoubtedly pervade into our everyday lives, and we will find them in a variety of domains and applications including robotics, transportation, health care, communications, and entertainment to name a few. \nThe articles in this month’s special issue cover concepts and fundamentals, architectures and techniques, and applications and case studies in the exciting area of self-awareness in autonomous systems.

关键词： Special issues and sections Autonomous systems Self-aware Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A Compact Source for Quasi-Periodic Pulsation in an M-class Solar Flare

arXiv

引用

arXiv 2019年

作者： Yuan, Ding Feng, Song Li, Dong Ning, ZhongJun Tan, Baolin Institute of Space Science and Applied Technology Harbin Institute of Technology Shenzhen Guangdong518055 China Key Laboratory of Solar Activity National Astronomical Observatories Chinese Academy of Sciences Beijing100012 China Yunnan Astronomical Observatory Chinese Academy of Sciences PO Box 110 Kunming650011 China Yunnan Key Laboratory of Computer Technology Application Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming650500 China Key Laboratory for Dark Matter and Space Science Purple Mountain Observatory Chinese Academy of Sciences Nanjing210034 China

Quasi-periodic pulsations (QPP) are usually found in the light curves of solar and stellar flares, they carry the features of time characteristics and plasma emission of the flaring core, and could be used to diagnose the coronas of the Sun and remote stars. In this study, we combined the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory and the Nobeyama Radioheliograph (NoRH) to observe an M7.7 class flare occurred at active region 11520 on 19 July 2012. A QPP was detected both in the AIA 131 Å bandpass and the NoRH 17 GHz channel, it had a period of about four minutes. In the spatial distribution of Fourier power, we found that this QPP originated from a compact source and that it overlapped with the X-ray source above the loop top. The plasma emission intensities in the AIA 131 Å bandpass were highly correlated within this region. The source region is further segmented into stripes that oscillated with distinctive phases. Evidence in this event suggests that this QPP was likely to be generated by intermittent energy injection into the reconnection region. Copyright © 2019, The Authors. All rights reserved.

关键词： Magnetohydrodynamics

来源：评论

学校读者我要写书评

暂无评论

Combined heat and power economic dispatch solution using iterative cultural algorithm

引用

2017 International Conference on Artificial Intelligence, ICAI 2017 at 2017 World Congress in computer science, computer engineering and Applied Computing, CSCE 2017

作者： Shayanfar, Heidarali Bonab, Reza Dadashzadeh Tabrizi, Navid Mehdinejad, Mehdi Center of Excellence for Power Systems Automation and Operation School of Electrical Engineering Iran University of Science and Technology Tehran Iran Faculty of Electrical and Computer Engineering University of Tabriz Tabriz Iran

ISBN: (纸本)9781601324603

With increasing the environmental concerns and fuel prices of the power industry, the optimal utilization of Combined Heat and Power (CHP) systems has become one of the essential subjects in power systems. Different artificial intelligence methods are used for optimization of CHP operation. Cultural Algorithm (CA) is based on some theories originated in archaeology and sociology which try to model cultural evolution. The basic disadvantage of the original culture algorithm is the fact that, it can’t give better optimal solution rather than most of other artificial intelligent methods. In this paper an iterative cultural algorithm is proposed to solve Combined Heat And Power Economic Dispatch (CHPED) problem. The effect of valve-point that make the CHPED problem as a non-convex issue is considered in the cost function and formulated in the conventional polynomial cost function as an absolute sinusoidal term. The proposed method is applied to three small (with three different test cases), medium and large test systems in order to evaluate its efficiency and feasibility. From obtained results, it is seen that proposed method converged to a better and feasible solution in all cases in comparison with some recently published papers. © 2017 CSREA Press. All rights reserved.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Simulation and Comparison of Different Types of First-order Decentralized Sliding Mode Estimators

Simulation and Comparison of Different Types of First-order ...

引用

International Conference on Control, automation, Robotics and Vision

作者： Ning Zhou Guoxing Wen Jie Huang Qingkai Yang Liangming Chen College of Computer and Information Sciences Fujian Agriculture and Forestry University Fuzhou China Department of Mathematics Binzhou University Binzhou China College of Electrical Engineering and Automation Fuzhou University Fuzhou China Faculty of Science and Engineering University of Groningen Groningen Netherlands

This paper focuses on the simulation and comparison of different types of first-order decentralized sliding mode estimators (FDSMEs). From the previous works, three types of FDSMEs were presented and applied to solve the cooperative control problems. Utilizing the FDSME, a finite-time leader-follower tracking control algorithm is proposed for a networked single-integrator vehicle system. Then based on the existing structure of FDSME, a new compound FDSME is developed to improve the estimation performance. Simulation and comparison of all the presented FDSMEs are given in detail to evaluate the theoretical results. Finally, regulation rules of the parameters in the compound FDSME are summarized according to the simulation results.

关键词： First-order Decentralized Sliding Mode Estimator Finite-time Control Cooperative Control

来源：评论

学校读者我要写书评

暂无评论

PID2018 benchmark challenge: Model-based feedforward compensator with a conditional integrator ??

arXiv

引用

arXiv 2018年

作者： Yuan, Jie Ates, Abdullah Dehghan, Sina Zhao, Yang Fei, Shumin Chen, YangQuan School of Automation Southeast University Nanjing210096 China Engineering Faculty Computer Engineering Department Inonu University Malatya44280 Turkey Mechatronics Embedded Systems and Automation Lab University of California MercedCA95340 United States School of Science and Engineering Shandong University Jinan250061 China Key Laboratory of Measurement and Control of CSE Ministry of Education School of Automation Southeast University Nanjing210096 China

Since proportional-integral-derivative (PID) controllers absolutely dominate the control engineering, numbers of different control structures and theories have been developed to enhance the effciency of PID controllers. Thus, it is essential and inspiring to operate different PID control strategies to the PID2018 Benchmark Challenge. In this paper, a novel control strategy is designed for this refrigeration system, where a feedforward compensator and a conditional integrator are utilized to compensate the disturbances and remove the steady-state error in the benchmark problem, respectively. The simulation results given in the benchmark problem show the straightforward effectiveness of the proposed control structure compared with the existing control methods. Copyright © 2018, The Authors. All rights reserved.

关键词： Disturbance rejection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：