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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是3081-3090 订阅

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

详细简洁

排序：

Simultaneous feature selection and unsupervised clustering for gene-expression data in multiobjective optimization framework

Simultaneous feature selection and unsupervised clustering f...

引用

international conference on Industrial and Information Systems, ICIIS

作者： Abhay Kumar Alok Neha Kanekar Sriparna Saha Asif Ekbal Computer Science Engineering Indian Institute of Technology Patna India

In this paper, the problem of simultaneous feature selection and automatic clustering is formulated as a multi-objective optimization task. Studying the patterns hidden in gene expression data helps to understand the functionality of genes. But due to the large volume of genes and the highly complex biological networks some sophisticated techniques are required to study available data consisting of large number of measurements. In general clustering techniques are used to identify natural partitioning and detect some interesting patterns from the given data as a first step of studying the gene expression data. But in general all the features present in the data set may not be important for clustering purpose. thus appropriate selection of features from the set of all features is very much relevant from clustering point of view. A modern simulated annealing based multiobjective optimization technique namely AMOSA is utilized as the background optimization methodology. Here features and cluster centers are represented in the form of a string. three optimization criteria are utilized: i) a function representing the total compactness of the partitioning based on the Euclidean distance, ii) a function representing the total compactness of the partitioning based on the point symmetry based distance and iii) a function counting the number of features. the objective is to optimize values of cluster validity indices where as to increase the number of features in order to remove the bias of internal cluster validity indices on dimensionality. Appropriate subset of features, proper number of clusters and the proper partitioning are determined using the search capability of AMOSA. In order to assign cluster label to all points, a recently introduced distance, namely point symmetry based distance, is utilized. thus the effectiveness of this proposed Fea-GenClustMOO technique is shown for automatically clustering publicly available gene-expression data sets. Results are compared

关键词： Indexes Euclidean distance Linear programming Optimization Gene expression Clustering algorithms Computer science

来源：评论

学校读者我要写书评

暂无评论

Resiliency-oriented scheduling of a residential community with a shared electric vehicle parking lot

Resiliency-oriented scheduling of a residential community wi...

引用

Technology and Energy Management (ICTEM), international conference on

作者： Alireza Akbari-Dibavar Kazem Zare Tuba Gözel Faculty of Computer and Electrical Engineering University of Tabriz Tabriz Iran Department of Electronics Engineering Gebze Technical University Gebze Turkey

ISBN: (数字)9798350329797

ISBN: (纸本)9798350329803

Interconnected residential buildings bring a new concept to resiliency-oriented scheduling of energy systems. the shared capacity among the buildings can be managed optimally to supply demands in the grid outage times. In this paper, the optimal scheduling of residential buildings has been studied focusing on the idea of a system-of-systems (SOS) in which the resources are shared between agents to withstand power shortages and enhance the total resilience. In the studied case, four buildings with different energy resources, and a shared electric vehicle parking lot are optimized to supply the critical loads of the buildings. the availability of the parking lot’s energy capacity is time-dependent and has been modeled using stochastic programming in this paper. Concerning the feasibility constraints for the electric vehicle’s departure and arrival time and associated state-of-charge, the proposed optimization scheme minimizes the total cost and curtailed load. the proposed resiliency-oriented problem is formulated as mixed integer linear programming and solved in the GAMS optimization package. the results confirmed the effectiveness and successful performance of the proposed SOS operation and the effective role of the shared electric vehicle parking lot in supplying the residential loads whereas the total curtailed load has been minimized in the grid outage times.

关键词： Photovoltaic systems Costs Buildings Stochastic processes Optimal scheduling Charging stations programming

来源：评论

学校读者我要写书评

暂无评论

Transforming Children's Python Turtle Graphics Learning with LLM Technology: A Design Proposal

Transforming Children's Python Turtle Graphics Learning with...

引用

STEM Education conference (iSTEM-Ed), international

作者： Mondheera Pituxcoosuvarn Yohei Murakami Faculty of Information Science and Engineering Ritsumeikan University Osaka Japan

STEM education, particularly programming and coding, is of great importance in today9;s technological landscape. Turtle graphics, an effective tool for teaching programming concepts to children, is widely used in l... 详细信息

ISBN: (数字)9798350365979

ISBN: (纸本)9798350365986

STEM education, particularly programming and coding, is of great importance in today's technological landscape. Turtle graphics, an effective tool for teaching programming concepts to children, is widely used in languages such as Python, known for its simplicity and readability. However, coding can be challenging for young learners, necessitating individualized support from teachers. Large language models (LLMs), which are already employed in debugging, present an opportunity to enhance educational support systems by providing personalized hints without revealing answers, thus preserving the educational value. this proposal aims to explore the use of LLMs to generate tailored hints and explanations for different age groups and skill levels, creating a dynamic and responsive learning environment. Additionally, the proposed system includes task creation that adapts to the student's previous performance and completed tasks, ensuring continuous and appropriately challenging learning experiences. the goal of our research is to design a support system that leverages LLM technology to improve children and young students' learning in Python Turtle graphics. this system promises personalized educational support and adaptive task generation, enhancing the overall learning experience for young programmers. Future studies are necessary to test this system with real users, evaluate its effectiveness, and refine its design based on practical feedback.

关键词： Graphics Adaptive systems Education User interfaces Encoding Proposals programming profession

来源：评论

学校读者我要写书评

暂无评论

Implementation of Longest Common Subsequence Algorithm Using thread Parallelization in Java

Implementation of Longest Common Subsequence Algorithm Using...

引用

international conference on Business and Industrial Research (ICBIR)

作者： Mark Phil B. Pacot Gleen A. Dalaorao Department of Computer Science Caraga State University Caraga Region Philippines Department of Information Technology Caraga State University Caraga Region Philippines

ISBN: (数字)9798350383027

ISBN: (纸本)9798350383034

this sequence alignment stands as a pivotal method in the realm of bioinformatics, meticulously employed to ascertain the degree of similarity between diverse sequences such as DNA, RNA, and amino acids. Among the myriad techniques utilized in tackling sequence alignment challenges, the Longest Common Subsequence (LCS) takes center stage. this paper delves into the realm of enhancing LCS efficiency through the implementation of thread parallelization. Drawing inspiration from the seminal work of Wagner and Fischer in 1974, both sequential and parallel techniques exhibit remarkable consistency in identifying the maximum length of LCS. However, this research goes a step further by introducing thread parallelization, which leverages multithreading, resource synchronization, and task decomposition within the domain of parallel programming. the meticulous integration of these advanced techniques results in a notable enhancement in terms of running time compared to the conventional iterative sequential approach. the experimentation and evaluation of both sequential and parallel approaches were conducted using Netbeans, a robust Integrated Development Environment (IDE) tailored for the Java programming Language. the findings underscore the superior performance of the thread parallelization strategy, establishing its prowess in optimizing the execution time of LCS problem resolution.

关键词： Java Parallel programming Multithreading Instruction sets RNA Synchronization Bioinformatics Parallel algorithms Standards Optimization

来源：评论

学校读者我要写书评

暂无评论

Software Toolkit for Visualization and Process Selection for Modular Scalable Manufacturing of 3D Micro-Devices 40th

Software Toolkit for Visualization and Process Selection for...

引用

40th Anniversary international conference on Information Systems Architecture and Technology (ISAT)

作者： Scholz, Steffen Elkaseer, Ahmed Salem, Mahmoud Hagenmeyer, Veit Karlsruhe Inst Technol Inst Automat & Appl Informat Karlsruhe Germany Karlsruhe Nano Micro Facil Hermann von Helmholtz Pl 1 Karlsruhe Germany Port Said Univ Fac Engn Port Said Egypt Ain Shams Univ Fac Engn Cairo Egypt

ISBN: (纸本)9783030304409;9783030304393

SMARTLAM is a European funded research project, intended to develop a modular manufacturing platform and capability database, for three-dimensional integration/manufacturing of component parts constructed from laminated polymer films. To enable communication/interaction between SMARTLAM integrated manufacturing modules and the capability database, a software toolkit has to be developed, which must comply with the modularity concept of the SMARTLAM manufacturing system, and with the capability to integrate changes in the manufacturing platform, e.g. adding a new manufacturing module. this paper presents the implementation of the SMARTLAM software toolkit, i.e. the software and graphical user interface designed and developed to conform to these requirements, which allows for automated process chain selection while enabling the operator to load and modify the selected process chains and to alter parameters' values. the developed software toolkit was tested and it was found able to compile and execute complete manufacturing recipes with the given equipment and it was directly linked to the SMARTLAM database. In addition to its ability to exchange data between different manufacturing modules, it gives the users the opportunity to modify the manufacturing processes in real time. the main result of the overall software development is a fully functional and a commercially applicable solution for the design, planning, configuration and coordination of a modular manufacturing platform for micro-devices with minimum cost/time of the identified process chain. As a validation example, a flexible lighting device demonstrator (DLED) was manufactured using the SMARTLAM platform, and the software toolkit was successfully utilized to visualize and select the appropriate production process chain.

关键词： Software toolkit Socket programming Modular manufacturing Process visualization Process selection

来源：评论

学校读者我要写书评

暂无评论

Reasoning about strategies of multi-agent programs 10

Reasoning about strategies of multi-agent programs

引用

Proceedings of the 9th international conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

作者： Mehdi Dastani Wojciech Jamroga Utrecht University Utrecht the Netherlands University of Luxembourg and Clausthal University of Technology

ISBN: (纸本)9780982657119

Verification of multi-agent programs is a key problem in agent research and development. this paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while most (if not all) multi-agent programming frameworks use asynchronous semantics where activities of different agents are interleaved. Moreover, unlike in ATL, our agent programs do not have perfect information about the current global state of the system. they are not appropriate subjects for modal epistemic logic either (since they do not know the global model of the system). We begin by adapting the semantics of ATL to the situation at hand; then, we consider the verification problem in the new setting and present some preliminary results.

关键词： strategic logic model checking agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Inductive logic programming by instance patterns 07

引用

Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

作者： Chongbing Liu Enrico Pontelli Dept. Computer Science New Mexico State University

ISBN: (纸本)9783540696087

Effectiveness and efficiency are two most important properties of ILP approaches. For both top-down and bottom-up search-based approaches, greater efficiency is usually gained at the expense of effectiveness. In this paper, we propose a bottom-up approach, called ILP by instance patterns, for the problem of concept learning in ILP. this approach is based on the observation that each example has its own pieces of description in the background knowledge, and the example together with these descriptions constitute a instance of the concept subject to learn. Our approach first captures the instance structures by patterns, then constructs the final theory purely from the patterns. On the effectiveness aspect, this approach does not assume determinacy of the learned concept. On the efficiency aspect, this approach is more efficient than existing ones due to its constructive nature, the fact that after the patterns are obtained, both the background and examples are not needed anymore, and the fact that it does not perform coverage test and needs no theorem prover.

关键词： patterns concept instance inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

Lemmatization Algorithm Development for Bangla Natural Language Processing

Lemmatization Algorithm Development for Bangla Natural Langu...

引用

international conference on Informatics, Electronics & Vision (ICIEV)

作者： Md. Kowsher Anik Tahabilder Md Murad Hossain Sarker Md. Zahidul Islam Sanjid Nusrat Jahan Prottasha Noakhali Science and Technology University Noakhali Bangladesh School of Engineering + Technology Western Carolina University Cullowhee NC USA Comilla University Comilla Bangladesh BRAC University Dhaka Bangladesh Daffodil International University Dhaka Bangladesh

ISBN: (数字)9781728193311

ISBN: (纸本)9781728193328

Natural language processing (NLP) finds enormous applications in autonomous communication, while lemmatization is an essential preprocessing technique for simplification of a word to its origin-word in NLP. However, there is scarcity of effective algorithms in Bangla NLP. this leads us to develop a useful Bangla language lemmatization tool. Usually, some rule base stemming processes play the vital role of lemmatization in Bangla language processing as there is lack of Bangla lemmatization tool. In this paper, we propose a Bangla lemmatization framework using three effective lemmatization techniques based on data structures and dynamic programming. We have used Trie algorithm and developed a mapping algorithm named “Dictionary Based Search by Removing Affix (DBSRA)” based on data structure. We have applied both Trie and DBSRA lemmatization and selected the better one by considering the Levenshtein distance between the lemma and the original word. Eventually, we have experimented with Bangla language lemmatization among all three techniques and the framework. Among the three proposed techniques, the DBSRA performed better compared to others with an accuracy of 93.1 percent. the framework, developed by fusing three algorithms, came out with the highest efficiency of 95.89 percent. Contribution-this paper presents the development of three lemmatization algorithms and their fusion to develop a framework for Bangla Natural Language Processing.

关键词： Heuristic algorithms Natural language processing Data structures Hidden Markov models Dynamic programming Dictionaries Tokenization

来源：评论

学校读者我要写书评

暂无评论

Selective Harmonic Elimination for 17-Level Reduced Switch Multilevel Inverter Using Salp Swarm Algorithm

Selective Harmonic Elimination for 17-Level Reduced Switch M...

引用

Electronic and Electrical Engineering and Intelligent System (ICE3IS), international conference on

作者： Mohd Hafiz Arshad Baharuddin Ismail Zainuddin Mat Isa Syahrun Nizam Md Arshad Yessi Jusman Faculty of Electrical Engineering & Technology Universiti Malaysia Perlis (UniMAP) Arau Perlis Kantor Jurusan Teknik Elektro Universitas Muhammadiyah Yogyakarta Yogyakarta Indonesia

ISBN: (数字)9798350378368

ISBN: (纸本)9798350378375

this paper introduces a groundbreaking approach for selective harmonic elimination (SHE) in a 17-level reduced switch multilevel inverter, using the innovative Salp Swarm Algorithm (SSA). this method is carefully designed to minimize harmonic distortion while ensuring the desired output voltage. By leveraging SSA, three objective functions are optimized to target and eliminate specific harmonics: the 3rd, 5th, 7th, 9th, 11th, 13th, and 15th harmonics. the computational and simulation results underscore the remarkable efficacy of the proposed SHE method, with Objective Function 2 (OF2) demonstrating superior performance. the results indicate that the selected harmonics are promptly eliminated while the proposed technique performs on par or better than the other available methods, in which it requires fewer switches. this development paves the way for the new technique's implementation in high-power inverters' subsequent generation as the superior method based on its improved effectiveness as well as reliability.

关键词： Total harmonic distortion Wind energy Simulation Switches Voltage Harmonic analysis Multilevel inverters Linear programming Topology Switching circuits

来源：评论

学校读者我要写书评

暂无评论

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on...

引用

Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)

作者： Debjit Pal

For the first time in its two decades of history, the international Symposium On Field-Programmable Custom Computing Machines (FCCM) is going to host a Ph.D. Forum for the graduate students working toward their Ph.D. to present and discuss their dissertation research with broadly defined communities related to computing that exploit the unique features and capabilities of FPGAs and other reconfigurable hardware. the forum will offer graduate students an opportunity to present their ongoing dissertation research to the entire FCCM conference audience, discuss with experts in academia and industry, and make useful contacts regarding future career opportunities in an informal setting. the goal of the FCCM Ph.D. Forum is to provide a comprehensive venue for students to better prepare for their research and career in the reconfigurable computing domain and cross-pollinate ideas with their peers from compiler architecture, algorithms, and programming languages – all while enjoying the FCCM conference and many associated workshops, tutorials, and demo night.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 305 306 307 308 309 310 311 312 313 314 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：