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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

458 篇 会议
24 篇 期刊文献
18 册 图书

馆藏范围

499 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

323 篇 工学
- 254 篇 计算机科学与技术...
- 142 篇 软件工程
- 52 篇 电气工程
- 44 篇 信息与通信工程
- 34 篇 土木工程
- 20 篇 生物医学工程（可授...
- 17 篇 建筑学
- 16 篇 材料科学与工程（可...
- 15 篇 控制科学与工程
- 13 篇 仪器科学与技术
- 12 篇 机械工程
- 11 篇 光学工程
- 10 篇 力学（可授工学、理...
- 10 篇 测绘科学与技术
- 10 篇 生物工程
- 6 篇 化学工程与技术
113 篇 理学
- 68 篇 数学
- 22 篇 物理学
- 20 篇 生物学
- 13 篇 统计学（可授理学、...
- 9 篇 化学
- 7 篇 地质学
- 7 篇 系统科学
- 6 篇 地球物理学
43 篇 管理学
- 23 篇 图书情报与档案管...
- 22 篇 管理科学与工程(可...
- 10 篇 工商管理
23 篇 医学
- 18 篇 临床医学
- 9 篇 特种医学
- 7 篇 医学技术（可授医学...
4 篇 农学
3 篇 经济学
3 篇 法学
3 篇 教育学
3 篇 文学

主题

105 篇 data structures
36 篇 data mining
22 篇 computer science
17 篇 clustering algor...
12 篇 algorithms
12 篇 internet
12 篇 algorithm design...
10 篇 structural healt...
10 篇 classification a...
10 篇 data models
9 篇 computer archite...
9 篇 image segmentati...
9 篇 protocols
9 篇 hardware
9 篇 algorithm analys...
9 篇 partitioning alg...
8 篇 discrete mathema...
8 篇 databases
7 篇 scalability
7 篇 deep learning

机构

5 篇 fujian prov univ...
5 篇 hubei univ techn...
4 篇 microsoft resear...
3 篇 chandigarh unive...
3 篇 wuhan fiberhome ...
2 篇 univ michigan an...
2 篇 institute of aer...
2 篇 engineer dxc tec...
2 篇 fermilab natl ac...
2 篇 southwest jiaoto...
2 篇 department of co...
2 篇 lovely professio...
2 篇 univ maryland de...
2 篇 int hellen univ ...
2 篇 aeronautics-tech...
2 篇 peking univ ctr ...
2 篇 lloyd institute ...
2 篇 nci frederick ca...
2 篇 college of engin...
2 篇 heriot watt univ...

作者

5 篇 ye zhiwei
3 篇 lehner wolfgang
2 篇 shatsky maxim
2 篇 monaco ernesto
2 篇 montenegro manue...
2 篇 catthoor francky
2 篇 scholz sven-bodo
2 篇 napoli amedeo
2 篇 tjortjis christo...
2 篇 chen chen
2 篇 thiele maik
2 篇 weifeng lv
2 篇 fischer ulrike
2 篇 yan lingyu
2 篇 praveen
2 篇 saxena sanjeev
2 篇 dror oranit
2 篇 tongyu zhu
2 篇 wolfson haim j.
2 篇 ouyang cheng

语言

491 篇 英文
4 篇 其他
2 篇 俄文
2 篇 中文
1 篇 乌克兰文

检索条件"任意字段=10th International Workshop on Algorithms and Data Structures"

共 500 条记录，以下是271-280 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Simple Region Inference Algorithm for a First-Order Functional Language

A Simple Region Inference Algorithm for a First-Order Functi...

引用

18th international workshop on Functional and Constraint Logic Programming

作者： Montenegro, Manuel Pena, Ricardo Segura, Clara Univ Complutense Madrid Dept Sistemas Informat & Computac E-28040 Madrid Spain

ISBN: (纸本)9783642119989

Safe is a first-order eager language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts of the heap, where the program allocates data structures. the runtime system does not need a garbage collector and all allocation/deallocation actions are done in constant time. the language is aimed at inferring and certifying upper bounds for memory consumption in a Proof Carrying Code environment. Some of its analyses have been presented elsewhere [7,8]. In this paper we present an inference algorithm for annotating programs with regions which is both simpler to understand and more efficient than other related algorithms. Programmers are assumed to write programs and to declare datatypes without any reference to regions. the algorithm decides the regions needed by every function. It also allows polymorphic recursion with respect to regions. We show convincing examples of programs before and after region annotation, prove the correctness and optimality of the algorithm, and give its asymptotic cost.

关键词： data structures

来源：评论

学校读者我要写书评

暂无评论

Interoperable Encoding and 3D Printing of Anatomical structures 10

Interoperable Encoding and 3D Printing of Anatomical Structu...

引用

10th international Conference on Bioinformatics Research and Applications, ICBRA 2023

作者： Fierens, Amaury Gregoir, thibault Jodogne, Sébastien ICTEAM EPL UCLouvain Louvain-la-Neuve Belgium EPL UCLouvain Louvain-la-Neuve Belgium

ISBN: (纸本)9798400708152

the rendering and printing of 3D models of anatomical structures offers a wide range of promising applications in multiple medical disciplines, in the training of medical students, as well as in patient education. the growing use of such 3D models in the clinical routine will soon imply great challenges in terms of data management, data archiving, and data exchange, since the commonplace file formats for 3D printing are not designed to store medical information, or to refer to other medical resources. this paper explores the use of the DICOM standard so that 3D models can be stored alongside standard medical images, inside a unified hospital information system, with full medical traceability and technical interoperability. A free and open-source software pipeline is introduced to generate 3D models either from binary bitmap volumes that were produced by artificial intelligence algorithms, or from contours that were manually delineated by physicians, then to encapsulate the generated models as DICOM instances. Our pipeline also features a lightweight Web viewer that is suitable for rendering DICOM STL instances by any Web browser. the results demonstrate the effectiveness of the proposed approach, highlighting successful 3D model generation and printing. © 2023 Association for Computing Machinery. All rights reserved.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

Detection of Stiffness and Mass Changes Separately Using Time Series Analysis with Output-only Vibration data 10

Detection of Stiffness and Mass Changes Separately Using Tim...

引用

10th international workshop on Structural Health Monitoring (IWSHM)

作者： Do, Ngoan Tien Guel, Mustafa Univ Alberta Dept Civil & Environm Engn Edmonton AB T6G 2M7 Canada

ISBN: (纸本)9781605952758

Operational effects on the structures (such as mass changes due to traffic crossing a bridge) introduce uncertainties in the damage detection process. When such changes and structural deteriorations happen simultaneously, damage detection becomes more complicated in defining how changes in mass and stiffness affect the changes in the structural properties and eventually the collected data. thus, this paper focuses on developing a new methodology to detect changes in stiffness and eliminate operational effects e.g. mass separately based on a novel time series approach using output only vibration data. In this methodology, the difference Autoregressive moving average models with eXogenous inputs (ARMAX) coefficients are utilized as Stiffness Damage Features (SDFs) and Mass Damage Features (MDFs) to determine the existence, location and severity of the damage or mass change. the shear type IASC-ASCE benchmark problem was utilized to verify the approach. the results show that changes in mass and stiffness can be clearly detected and damage's severity, location are also revealed successfully. Current limitations and plans are also discussed.

关键词： Stiffness

来源：评论

学校读者我要写书评

暂无评论

GP-NARX for active control of nonlinear flexible structures 31

GP-NARX for active control of nonlinear flexible structures

引用

31st international Conference on Noise and Vibration Engineering, ISMA 2024 and 10th international Conference on Uncertainty in Structural Dynamics, USD 2024

作者： AlQahtani, N.A. Rogers, T.J. Sims, N.D. Department of Mechanical Engineering Mappin Building Mappin Street SheffieldS1 3JD United Kingdom

ISBN: (纸本)9789082893175

Nonlinear Model Predictive Control (NMPC) has gained interest due to the practical application of data-driven modeling in control engineering. this study applies NMPC to flexible structures using models derived from machine learning, specifically Gaussian processes (GPs). GPs, as Bayesian machine learning algorithms, serve as black-box models in NMPC, providing system output predictions and associated confidence levels. In NMPC, GPs optimize control inputs by modeling the nonlinear system. Common GP structures for dynamic data include the Nonlinear AutoRegressive model with eXogenous input (GP-NARX) and the Nonlinear Output Error model (GP-NOE). the key difference between these models lies in their predictive control strategies: NARX is suitable for single-step predictions, while NOE addresses multi-step simulations. this paper explores both models in active vibration control, using simulated linear and Duffing oscillators as case studies. the results inspire further research, highlighting the potential for improved NMPC design. © 2024 Proceedings of ISMA 2024 - international Conference on Noise and Vibration Engineering and USD 2024 - international Conference on Uncertainty in Structural Dynamics. All rights reserved.

关键词： Predictive control systems

来源：评论

学校读者我要写书评

暂无评论

Color optical computing: visualization, numbers, alphabet 12

Color optical computing: visualization, numbers, alphabet

引用

12th international Scientific and Practical Conference "Information Control Systems and Technologies", ICST 2024

作者： Timchenko, Victor Kreinovich, Vladik Kondratenko, Yuriy Admiral Makarov National University of Shipbuilding av. Geroev of Ukraine 9 Mykolaiv054025 Ukraine University of Texas at El Paso 550 W University El PasoTX79968 United States Petro Mohyla Black Sea National University 10 68th Desantnykiv Str. Mykolaiv054003 Ukraine Institute of Artificial Intelligence Problems of MES and NAS of Ukraine Kyiv01001 Ukraine

the article is devoted to the development of methods and architecture of optical color computing, techniques of transforming color information for textual representation and numerical calculation, including transmission by optical channels, and thus expanding the functionality of a promising approach to creating artificial intelligence components in decision support systems. this approach is based on the representation of fuzzy information as an information quantum of visible light of a certain color and the construction of an architecture of logical operations based on the additive and subtractive transformation of light radiation using color filters. the paper presents the principles of forming fuzzy input and output color information, algorithms for hybrid calculations with the transformation of optical data into numerical calculus, methods for converting text messages into color information and, further, into numerical encoding. Components of the optical architecture are presented that allow the implementation of transformation algorithms with high computation speed and wide possibilities for constructing parallel structures. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Optical data processing

来源：评论

学校读者我要写书评

暂无评论

Evolving Smart Meter data Driven Model for Short-Term Forecasting of Electric Loads 10

Evolving Smart Meter Data Driven Model for Short-Term Foreca...

引用

IEEE 10th international Conference on Intelligent Sensors Sensor Networks & Information Proc (IISSNIP)

作者： Niska, Harri Koponen, Pekka Mutanen, Antti Univ Eastern Finland Kuopio Finland VTT Espoo Finland Tampere Univ Technol Tampere Finland

ISBN: (纸本)9781479980550

Short-term forecasting of electric loads is an essential function required by Smart Grids. Today increasing amount of smart metering data is available enabling the development of enhanced data-driven models for short-term load forecasting. Until now, a plethora of models have been developed ranging from simple linear regression models to more advanced models such as (artificial) neural networks (NNs) and support vector machines (SVMs). Despite the relatively high accuracy obtained, the acceptance of purely data-driven models such as NN models is still remained limited due to their complexity and nontransparent nature. therefore it is important to develop optimization schemes, which can be used to facilitate the selection of appropriate model structure resulting good forecasting accuracy with low complexity. this study presents an optimization scheme based on multi-objective genetic algorithm (GA) for designing data-driven models for short-term forecasting of electric loads. the optimization scheme is demonstrated for designing the conventional NN/MLP model using real smart metering data and weather measurements. the optimal NN model structures are identified and analyzed in terms of model complexity and forecasting accuracy.

关键词： smart metering data mining load forecasting genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Impact detection on thin structures via machine learning approaches

Impact detection on thin structures via machine learning app...

引用

IEEE Metrology for Aerospace

作者： Flavio Dipietrangelo Francesco Nicassio Gennaro Scarselli Dept. of Engineering for Innovation University of Salento Lecce Italy

In this study, machine learning algorithms are trained and compared to identify and characterise impacts effects on typical aerospace panels with different geometries. Experiments are conducted to create a suitable impact dataset. Polynomial regression algorithms and shallow neural networks are applied to panels without stringers and optimised to test their ability to identify the impacts. the algorithms are then applied to panels reinforced with stringers, which represents a significant increase in complexity in terms of the dynamic characteristics of the system under test. the focus is not only on the detection of the impact position, but also on the severity of the event. the aim of the work is to demonstrate the validity of the application of machine learning to impact localization on realistic structures and to demonstrate the simplicity and efficiency of the computations despite the complexity of the test specimens.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A data STRUCTURE FOR COMPUTER ANALYSIS OF MUSICAL SCORES 10

A DATA STRUCTURE FOR COMPUTER ANALYSIS OF MUSICAL SCORES

引用

10th international Computer Music Conference, ICMC 1984

作者： Brinkman, Alexander R. Eastman School of Music University of Rochester RochesterNY14604 United States

this paper describes a linked representation of musical scores that is natural, easy to manipulate, and applicable to a wide variety of music-analytic tasks. the data structure is a doubly linked ring structure in which the score is treated as a sparse matrix with rows referenced by part number and columns by elapsed time in the score. the structure supports special cases such as chords and multiple layers within parts, and scores of virtually any complexity can be represented. this scheme makes segmentation of a score by part or vertical sonority trivial, and facilitates implementation of much more complex analytical algorithms. the input data to the procedure that builds this structure is the output from a DARMS interpreter that translates DARMS-encoded scores into a more accessible from (see "A Design for a Single-Pass Scanner for the DARMS Coding Language,"Proceedings of the 1983 ICMC). the procedure takes notes and events in any order and links them into the data structure in the correct vertical and temporal position. Pointers to the data structure are then passed to the procedures which implement analytic tasks. Writing analysis programs is facilitated by functions that return attributes of notes (pitch class, spelling, octave, duration, dynamic level, etc.) or find specified locations in the structure. Copyright © 1984 Alexander R. Brinkman.

关键词： data structures

来源：评论

学校读者我要写书评

暂无评论

data Partitioning Effects in Federated Learning 10

Data Partitioning Effects in Federated Learning

引用

10th workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2023

作者： Ahmadzai, Mirwais Nguyen, Giang Faculty of Informatics and Information Technologies STU in Bratislava Ilkovičova 2 Bratislava84216 Slovakia

Federated learning is a potential ML approach that promotes cooperative learning among many distributed systems while ensuring data privacy. In this study, we present a wide review of the design and evaluation of FL, with a particular focus on data partitioning. We discuss the challenges and solutions associated with FL implementation and demonstrate the design and execution of our proposed FL architecture. the main contribution of this paper is an investigation of data partitioning in FL and its impact on system performance. Using real-world public opinion data, we evaluate our proposed FL architecture and investigate performance measures such as binary accuracy, F1 score, loss, communication overhead, and data transmission between the server and clients. the experimental results provide useful information on the effective use of FL in various contexts. We underline the distinct advantages of various data partitioning algorithms based on data distribution and privacy requirements. Our findings contribute to the creation of successful FL systems that protect privacy. © 2023 Copyright for this paper by its authors.

关键词： Architecture data Partitioning Design Evaluation Federated Learning Implementation

来源：评论

学校读者我要写书评

暂无评论

Detecting and Localizing Tree Nodes in Anatomic structures of Branching Topology

Detecting and Localizing Tree Nodes in Anatomic Structures o...

引用

10th international Conference on Image Analysis and Recognition (ICIAR)

作者： Skoura, Angeliki Nuzhnaya, Tatyana Bakic, Predrag R. Megalooikonomou, Vasilis Univ Patras Dept Comp Engn & Informat Patras Greece Temple Univ Ctr Data Analyt & Biomed Informat Data Engn Lab Temple PA USA Univ Penn Dept Radiol Philadelphia PA USA

ISBN: (纸本)9783642390944;9783642390937

Although several algorithms for corner detection have been proposed, limited effort has been devoted to the detection of branching points, critical points of anatomic tree structures which are located inside the tree where a branch starts splitting into two thinner branches. In this paper, we propose a novel two-step approach for identifying and inferring the location of tree nodes in medical images which visualize structures of the human body of branching topology. Our methodology begins with corner detection using adaptive thresholding in order to accommodate uneven illumination across tree levels. Furthermore, a localization procedure using the k-means algorithm finds accurate locations of branching nodes. the proposed methodology is applied to a dataset of clinical X-ray galactograms and is evaluated by means of precision, recall and localization error. Despite the challenges of this kind of medical images, the experimental results demonstrate the effectiveness of the new framework compared to state-of-the-art approaches.

关键词： Branching Structure Corner Detection Point Localization Breast Imaging

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共50页 << < 24 25 26 27 28 29 30 31 32 33 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：