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

A lightweight attention-driven YOLOv5m model for improved brain tumor detection

Computers in Biology and Medicine 2025年 188卷 109893-109893页

作者： Muksimova, Shakhnoza Umirzakova, Sabina Mardieva, Sevara Iskhakova, Nargiza Sultanov, Murodjon Cho, Young Im Department of Computer Engineering Gachon University Sujeong-gu Seongnam-si461-701 Korea Republic of Department of Information Systems and Technologies of the Tashkent State University of Economic Tashkent100066 Uzbekistan Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad Al-Khwarizmi Tashkent100200 Uzbekistan

Brain tumors are regarded as one of the most lethal, devastating, and aggressive diseases, significantly reducing the life expectancy of affected individuals. For this reason, in pursuit of advancing brain tumor diagnostics, this study introduces a significant enhancement to the YOLOv5m model by integrating an Enhanced Spatial Attention (ESA) layer, tailored specifically for the analysis of magnetic resonance imaging (MRI) brain scans. Traditional brain tumor detection methods, heavily reliant on expert interpretation of MRI, are fraught with challenges such as high variability and the risk of human error. Our innovative approach leverages the ESA layer to acutely focus on salient features, significantly improving the method ability to differentiate between common classes of brain tumors—meningioma, pituitary, and glioma tumors. By processing spatial features with enhanced precision, the model minimizes false positives and maximizes detection reliability. Validated against a comprehensive dataset of 3064 T1-weighted contrast-enhanced MRI images from 233 patients, our modified YOLOv5m architecture demonstrates superior performance metrics compared to the standard model, highlighting its potential as a robust tool in clinical applications for automated and precise brain tumor diagnosis. © 2025 The Authors

关键词： Dynamic contrast enhanced MRI

来源：评论

学校读者我要写书评

暂无评论

Issues of modelling of the intellectual capital reproduction and increment processes 16

Issues of modelling of the intellectual capital reproduction...

引用

16th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning, ICICKM 2019

作者： Volkov, Denis Mamedova, Natalia Department of Information Systems Management and Programming Plekhanov Russian University of Economics Moscow Russia

ISBN: (纸本)9781912764501

The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material production is presented. The value of knowledge as a factor of production and goods, as well as a production asset and a production resource is determined. Evolutionary changes in the paradigm of knowledge management in connection with the transition to a new economic formation – the digital economy are outlined. The results of research of the concept and structure of intellectual capital on the basis of a systematic approach are summarized. The problems of both theoretical and applied nature that prevent more effective implementation of the results of the research in the practice of organizations in all spheres of the economy are systematized. The problems are presented in the context of considering the role and place of knowledge in the formation and increment of intellectual capital. The greatest development was the question associated with the development of a model describing the process of increment of intellectual capital through the change of parameters included in the model of describing the increment of knowledge acquired (produced) by the subject of the economy. The perspective direction of research of mutual influence (correlation) of parameters of increment of knowledge and reflecting influence of these parameters on volume and rates of increment of intellectual capital is specified. The methods of mathematical modeling are indicated as tools for the research. This will not only describe the process of increment/change in the volume of intellectual capital using a finite number of parameters, but also explore the possibility of manipulating parameters. The results of the study stated the establishment of mutual correlation with changes in the parameters of the studied processes at various scales. It will allow to form the forecast of behavior of

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

A succinct canonical register automaton model for data domains with binary relations

A succinct canonical register automaton model for data domai...

引用

10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012

作者： Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642333859

We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register automata. A major contribution is a construction of succinct canonical register automata, which is parameterized on the set of relations by which elements in the data domain can be compared. We also present a Myhill Nerode-like theorem, from which minimal canonical automata can be constructed. This canonical form is as expressive as general deterministic register automata, but much better suited for modeling in practice since we lift many of the restrictions on the way variables can be accesed and stored: this allows our automata to be significantly more succinct than previously proposed canonical forms. Key to the canonical form is a symbolic treatment of data languages, which allows us to construct minimal representations whenever the set of relations can be equipped with a so-called branching framework. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Constraint logic programming for resolution of relative time expressions

引用

10th Conference on Computability in Europe, CiE 2014

作者： Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark

ISBN: (纸本)9783319080185

Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time) tailored to text usages concerned with time and calendar. It provides a simple and flexible formalism to express relationships between different time expressions in a text, thereby giving a recipe for resolving them into absolute time. A constraint solver is developed which, as opposed to some earlier approaches, is independent of the order in which temporal information is introduced, and it can give meaningful output also when no exact reference time is available. © 2014 Springer International Publishing.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc

A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...

引用

2022 Ivannikov Open Conference, ISPRAS 2022

作者： Novitskaya, Irina Vorobeva, Victoria National Research Tomsk State University Department of Foreign Languages Tomsk Russia Ivannikov Institute for System Programming of the Ras Information Systems Department Tomsk Moscow Russia Tpu Information Systems Department Tomsk Moscow Russia

ISBN: (纸本)9798350398533

The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Uralic languages Lingvodoc. The purpose of the article is to describe patterns of syntactic valency that Vakh Khanty verbs of motion have. © 2022 IEEE.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and Software Engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

information resources analysis system of dynamic integration semi-structured data in a web environment 3

Information resources analysis system of dynamic integration...

引用

3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020

作者： Berko, Andrii Pelekh, Irina Chyrun, Lyubomyr Dyyak, Ivan Lviv Polytechnic National University Information Systems and Networks Department Lviv Ukraine Ivan Franko National University of Lviv Programming Department Lviv Ukraine

ISBN: (纸本)9781728132143

The article describes the procedure for analyzing information resources of the system of dynamic integration of weakly structured data in the web-environment to determine the common features of information resources and identify links between them. Model-based shared resource definitions and language describing the rules of access to resources, examines the process of creating an object adapter defining the common features of the information resources and identify relationships between them using the rules of the method of "black box". The process of determining the structural-dynamic model of the domain Mashup-application is described. © 2020 IEEE.

关键词： Integration

来源：评论

学校读者我要写书评

暂无评论

Inferring semantic interfaces of data structures

Inferring semantic interfaces of data structures

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden

ISBN: (纸本)9783642340253

In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising parameterized input and output, allowing to model control- and data-flow in component interfaces concisely. Algorithmic key to the automated synthesis of these semantic interfaces is the extension of an active learning algorithm for Register Automata to explicitly deal with output. We evaluated our algorithm on a complex data structure, a "stack of stacks", the largest of which we could learn in merely 20 seconds with less than 4000 membership queries, resulting in a model with rougly 800 nodes. In contrast, even when restricting the data domain to just four values, the corresponding plain Mealy machine would have more than 109 states and presumably require billions of membership queries. © 2012 Springer-Verlag.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Design of a system for dynamic integration of weakly structured data based on mash-up technology 3

Design of a system for dynamic integration of weakly structu...

引用

3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020

作者： Pelekh, Irina Berko, Andrii Andrunyk, Vasyl Chyrun, Lyubomyr Dyyak, Ivan Lviv Polytechnic National University Information Systems and Networks Department Lviv Ukraine Ivan Franko National University of Lviv Programming Department Lviv Ukraine

ISBN: (纸本)9781728132143

The article describes the design of a system for dynamic integration of weakly structured data using Mash-Up technology. Functional requirements to the system of dynamic data integration based on Mash-Up technology are characterized. An algorithm for constructing an ontological model of all integral systems and an algorithm for obtaining information resources from an integral system is proposed. The architecture and principles of the Shares and Discounts Mashup dynamic integration of weakly structured data are considered. © 2020 IEEE.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

Accented visualization by augmented reality for smart manufacturing aplications 1

Accented visualization by augmented reality for smart manufa...

引用

1st IEEE International Conference on Industrial Cyber-Physical systems, ICPS 2018

作者： Ivaschenko, Anton Khorina, Anastasia Sitnikov, Pavel Information Systems and Technologies Department Samara National Research University Samara Russia Department of Applied Programming and Technological Innovations ITMO University Saint-Petersburg Russia

ISBN: (纸本)9781538665312

Effective application of Augmented Reality user interfaces is one of the challenging trends of industrial cyber-physical systems development and implementation. Despite reach functionality of modern AR devices (like goggles, head mounted displays or tablets) the problem of their comfortable and productive use is not completely solved yet. To cover this gap, it is proposed in this paper to implement a new paradigm of 'accented visualization' that allows adapting additional data presented by AR device according to the user's current interest, attention and focus. To provide such context driven functionality there was developed intelligent software based on eye tracking and capturing the user's focus in ontology as a knowledge base. Probation and testing of the proposed approach present 89 % of the solution efficiency. © 2018 IEEE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：