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

arXiv 2025年

作者： Ochiai, Koji Tahara-Arai, Yuya Kato, Akari Kaizu, Kazunari Kariyazaki, Hirokazu Umeno, Makoto Takahashi, Koichi Kanda, Genki N. Ozaki, Haruka Laboratory for Biologically Inspired Computing RIKEN Center for Biosystems Dynamics Research 6-7-1 Minatojima Minamimachi Chuo-ku Hyogo Kobe650-0047 Japan Bioinformatics Laboratory Institute of Medicine University of Tsukuba 1-1-1 Tennodai Ibaraki Tsukuba305-8577 Japan Ph.D. Program in Humanics School of Integrative and Global Majors University of Tsukuba 1-1-1 Tennodai Ibaraki Tsukuba305-8577 Japan Laboratory Automation Suppliers’ Association 2-1-8 Minatojima Minamimachi Chuo-ku Hyogo Kobe650-0047 Japan Cell Modeling and Simulation Group Exploratory Research Center on Life and Living Systems National Institutes of Natural Sciences 5-1 Higashiyama Myodaiji Aichi Okazaki444-8787 Japan Robotics Division YASKAWA Electric Corporation 2-1 Kurosaki Shiroishi Yahatanishi-ku Kitakyushu Fukuoka806-0004 Japan BAIKEIDO LLC 3-8-1 Asano Kokurakita-ku Kitakyushu Fukuoka802-0001 Japan Graduate School of Media and Governance Keio University 5322 Endo Fujisawa-shi Kanagawa252-0882 Japan Medical Research Laboratory Institute of Integrated Research Institute of Science Tokyo 1-5-45 Yushima Bunkyo-ku Tokyo113-8519 Japan Center for Artificial Intelligence Research University of Tsukuba 1-1-1 Tennodai Ibaraki Tsukuba305-8577 Japan

The automation of experiments in life sciences and chemistry has significantly advanced with the development of various instruments and AI technologies. However, achieving full laboratory automation, where experiments conceived by scientists are seamlessly executed in automated laboratories, remains a challenge. We identify the lack of automation in planning and operational tasks—critical human-managed processes collectively termed "care"—as a major barrier. Automating care is the key enabler for full laboratory automation. To address this, we propose the concept of self-maintainability (SeM): the ability of a laboratory system to autonomously adapt to internal and external disturbances, maintaining operational readiness akin to living cells. A SeM-enabled laboratory features autonomous recognition of its state, dynamic resource and information management, and adaptive responses to unexpected conditions. This shifts the planning and execution of experimental workflows, including scheduling and reagent allocation, from humans to the system. We present a conceptual framework for implementing SeM-enabled laboratories, comprising three modules—Requirement manager, Labware manager, and Device manager—and a Central manager. SeM not only enables scientists to execute envisioned experiments seamlessly but also provides developers with a design concept that drives the technological innovations needed for full automation. Copyright © 2025, The Authors. All rights reserved.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of a Grid computing Based Architecture for Integrating Heterogeneous IDSs

Design and Evaluation of a Grid Computing Based Architecture...

引用

IEEE GLOBECOM 2007 - IEEE Global Telecommunications Conference

作者： Paulo F. Silva Carlos B. Westphall Carla M. Westphall Marcos Dias de Assuncao Network and Management Laboratory Post-Graduate Program in Computer Science Federal University of Santa Catarina Florianopolis Brazil Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia

Intrusion detection systems (IDSs) have been substantially improved in recent past. However, network attacks have become more sophisticated and increasingly complex: many of current attacks are coordinated and originated in multiple networks. To detect these attacks, IDSs need to obtain information on network events from multiple networks or administrative domains. This work demonstrates that a Distributed IDS (DIDS) can be composed of existing IDSs, improving the detection of misuses in a multiple network environment. We use a grid middleware for creating a service-based intrusion detection grid. We demonstrate through experimental results that the proposed DIDS allows the integration of heterogeneous existing IDSs and improves the detection of attacks by exploring the synergy between existing IDSs.

关键词： Grid computing Computer architecture Intrusion detection Resource management Laboratories Computer science Electronic mail Middleware Computer network management Engineering management

来源：评论

学校读者我要写书评

暂无评论

Boosting Patch Correctness Checking via Combining Code-Edit Embeddings as Additional What-to-Change Information

Boosting Patch Correctness Checking via Combining Code-Edit ...

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Chontipan Plengvittaya Zee Hen Tang Mi-Yen Yeh Chih-Ya Shen Social Networks and Human Centered Computing Taiwan International Graduate Program Taiwan Institute of Information Science Academia Sinica Taiwan Institute of Information Systems and Applications National Tsing Hua University Taiwan Data Science Degree Program National Taiwan University and Academia Sinica Taiwan

Patch Correctness Checking is the task of detecting automated-program-repair-generated patches that can pass the test suite but are still buggy. In this study, we investigated a new feature to improve the classification performance for automated patch correctness checking. Our approach involved leveraging code-change information at a finer granular level by embedding the code edits and combining them with existing code-change vectors. Through extensive experiments, the results revealed gains up to 3.4% and 3.2% on the Fl-score and AUC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modelling and solving university course timetabling problems through XHSTT 11

Modelling and solving university course timetabling problems...

引用

11th International Conference on the Practice and Theory of Automated Timetabling, PATAT 2016

作者： Fonseca, George H.G. Santos, Haroldo G. Carrano, Eduardo G. Stidsen, Thomas J.R. Department of Computing and Information Systems Federal University of Ouro Preto St. Diogo de Vasconcelos 328 Ouro Preto MG35400-000 Brazil Department of Computing Federal University of Ouro Preto St. Diogo de Vasconcelos 328 Ouro Preto MG35400-000 Brazil Graduate Program in Electrical Engineering Federal University of Minas Gerais Av. Antônio Carlos 6627 Belo Horizonte MG31270-901 Brazil Department of Management Engineering Technical University of Denmark Produktionstorvet Kgs. LyngbyDK-2800 Denmark

ISBN: (纸本)9780992998417

The XHSTT was proposed as a standard format to express a wide range of School Timetabling problems. Although the format is powerful to represent different timetabling features, its application to University Course Timetabling (UCT) problems was not formally studied. The goal of this work is to present encodings from Curriculum-Based Course Timetabling (CB-CTT) and Post-Enrolment Course Timetabling (PE-CTT) to XHSTT and to evaluate how a state-of-art XHSTT solver performs on these problems. Computational experiments performed suggested that this approach is suitable for dealing with UCT: XHSTT solver would be ranked as fourth in CB-CTT track of the Second International Timetabling Competition (ITC2007) and it achieved feasible solutions for most PE-CTT instances within one hour. Although the results do not outperform the best known approaches for these problems, XHSTT solvers were designed to handle a wide range of features and constraints beyond the ones present in these models, making it able to fit the specific requirements of several universities. © PATAT *** rights reserved.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

An efficient multi-objective evolutionary approach for solving the operation of multi-reservoir system scheduling in hydro-power plants

arXiv

引用

arXiv 2021年

作者： Marcelino, Carolina Gil Leite, G.M.C. Delgado, C.A.D.M. De Oliveira, L.B. Wanner, E.F. Jiménez-Fernández, S. Salcedo-Sanz, S. Department of Signal Processing and Communications Universidad de Alcalá Spain Institute of Computing Federal University of Rio de Janeiro Brazil Post-Graduate Program in Systems Engineering and Computer Science Federal University of Rio de Janeiro Brazil Computing Department Federal Center of Technology Education of Minas Gerais Brazil

This paper tackles the short-term hydro-power unit commitment problem in a multi-reservoir system - a cascade-based operation scenario. For this, we propose a new mathematical modelling in which the goal is to maximize the total energy production of the hydro-power plant in a sub-daily operation, and, simultaneously, to maximize the total water content (volume) of reservoirs. For solving the problem, we discuss the Multi-objective Evolutionary Swarm Hybridization (MESH) algorithm, a recently proposed multiobjective swarm intelligence-based optimization method which has obtained very competitive results when compared to existing evolutionary algorithms in specific applications. The MESH approach has been applied to find the optimal water discharge and the power produced at the maximum reservoir volume for all possible combinations of turbines in a hydro-power plant. The performance of MESH has been compared with that of well-known evolutionary approaches such as NSGA-II, NSGA-III, SPEA2, and MOEA/D in a realistic problem considering data from a hydro-power energy system with two cascaded hydro-power plants in Brazil. Results indicate that MESH showed a superior performance than alternative multi-objective approaches in terms of efficiency and accuracy, providing a profit of $412,500 per month in a projection analysis carried out. © 2021, CC BY-NC-ND.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

A software framework for user-level power management

A software framework for user-level power management

引用

IEEE International Conference on Consumer Electronics - Berlin (ICCE-Berlin)

作者： Bruna M. J. C. Vilar Diógenes G. Gondim Zeus C. Barros Frederico M. Bublitz Hyggo O. Almeida Angelo Perkusich Post-Graduate Program in Electrical Engineering–PPgEE–COPELE Embedded Systems and Pervasive Computing Lab Center for Strategic Technologies in Health–NUTES State University of Paraiba–UEPB Electrical Engineering Department (DEE) Federal University of Campina Grande–UFCG

Most operating systems implement their own power management techniques, but it is hard to modify or hack their power policies without the source code. Many dynamic power management architectures have been proposed in the literature, but they are not integrated with the underlying OS power manager. In this work, we propose a software framework for user-level power management, with a flexible architecture to be adapted to different policies and integrated with OS power managers.

关键词： Power demand Middleware Operating systems Network interfaces Mathematical model Estimation

来源：评论

学校读者我要写书评

暂无评论

ETHICS-2023 Session D1 - Open Forum: Building a Technology Ethics Community

ETHICS-2023 Session D1 - Open Forum: Building a Technology E...

引用

IEEE International Symposium on Ethics in Science, Technology and Engineering

作者： Thomas Creely Marc Cheong Heather Love Ketra Schmitt Ethics and Emerging Military Technology Graduate Program U.S. Naval War College School of Computing and Information Systems & Centre for AI and Digital Ethics (CAIDE) University of Melbourne English Language and Literature University of Waterloo Concordia University

This session was an open forum where audience members were invited to participate in discussions of a number of themes with relevance to ethics and technology and to future conferences in the IEEE ETHICS series. The discussions took place in small groups, with groups reporting back to the full cohort for collaborative brainstorming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Discounted Markov Decision Processes via Time Aggregation

Discounted Markov Decision Processes via Time Aggregation

引用

European Control Conference

作者： Edilson F. Arruda Marcelo D. Fragoso Industrial Engineering Program Alberto Luiz Coimbra Institute - Graduate School and Research in Engineering Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil Center for Systems and Control National Laboratory for Scientific Computing Petropolis RJ Brazil

ISBN: (纸本)9781509025923

This paper applies two-phase time aggregation to solve discounted Markov decision processes (MDP). This procedure, recently proposed for average cost MDPs, is extended here discounted MDPs with a view at easing the computational burden associated to finding a quality solution within a reasonable time frame. Numerical examples are presented to illustrate the results.

关键词： Discounted Markov Decision Processes Time Aggregation

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of Hypervisors for HPC Applications

Performance Evaluation of Hypervisors for HPC Applications

引用

IEEE International Conference on systems, Man and Cybernetics

作者： David Beserra Felipe Oliveira Jean Araujo Felipe Fernandes Alberto Araújo Patrícia Endo Paulo Maciel Edward David Moreno Graduate Program in Computer Science University of Sergipe Aracaju Brazil Academic Unit of Garanhuns Federal Rural University of Pernambuco Garanhuns Brazil Informatics Center Federal University of Pernambuco Recife Brazil Graduate in Systems and Computing Military Institute of Engineering Rio de Janeiro Brazil University of Pernambuco Caruaru Brazil

ISBN: (纸本)9781479986989

High Performance computing (HPC) aggregates computing power in order to solve large and complex problems in different knowledge areas. Nowadays, HPC users can utilize virtualized infrastructures as a low-cost alternative to deploy their applications. However, virtualization brings some challenges for HPC, specially in regard to overhead caused by hyper visors. In this work, our main goal is to analyze the performance of two hyper visors (KVM and Virtual Box) under HPC activities, considering full virtualization, and Para virtualization approaches. We used the HPC Challenge Benchmark (HPCC) to evaluate processor, RAM, inter-process communication and network communication performance. Our results show KVM in Para virtualization mode has a similar performance of a native cluster.

关键词： Virtualization Virtual machine monitors Bandwidth Benchmark testing Random access memory Performance evaluation Kernel

来源：评论

学校读者我要写书评

暂无评论

Mixing-Specific Data Augmentation Techniques for Improved Blind Violin/Piano Source Separation

Mixing-Specific Data Augmentation Techniques for Improved Bl...

引用

IEEE Workshop on Multimedia Signal Processing

作者： Ching-Yu Chiu Wen-Yi Hsiao Yin-Cheng Yeh Yi-Hsuan Yang Alvin Wen-Yu Su Graduate Program of Multimedia Systems and Intelligent Computing National Cheng Kung University and Academia Sinica Taiwan Yating Music Team Taiwan AI Labs Taiwan Research Center for IT Innovation Academia Sinica Taiwan National Cheng Kung University Taiwan

ISBN: (数字)9781728193205

ISBN: (纸本)9781728193236

Blind music source separation has been a popular and active subject of research in both the music information retrieval and signal processing communities. To counter the lack of available multi-track data for supervised model training, a data augmentation method that creates artificial mixtures by combining tracks from different songs has been shown useful in recent works. Following this light, we examine further in this paper extended data augmentation methods that consider more sophisticated mixing settings employed in the modern music production routine, the relationship between the tracks to be combined, and factors of silence. As a case study, we consider the separation of violin and piano tracks in a violin piano ensemble, evaluating the performance in terms of common metrics, namely SDR, SIR, and SAR. In addition to examining the effectiveness of these new data augmentation methods, we also study the influence of the amount of training data. Our evaluation shows that the proposed mixing-specific data augmentation methods can help improve the performance of a deep learning-based model for source separation, especially in the case of small training data.

关键词： Training Source separation Training data Production Data models Multiple signal classification Music information retrieval

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：