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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,067 篇 会议
64 册 图书
9 篇 期刊文献

馆藏范围

1,140 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

707 篇 工学
- 569 篇 计算机科学与技术...
- 481 篇 软件工程
- 135 篇 信息与通信工程
- 132 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
193 篇 管理学
- 139 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
41 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,116 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

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

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

详细简洁

排序：

How teaching conceptual modeling to robotics students changes their perception of software engineering 42

How teaching conceptual modeling to robotics students change...

引用

42nd international conference on Conceptual Modeling: ER Forum, 7th Symposium on Conceptual Modeling Education, SCME 2023, Project Exhibitions, Posters and Demos, and Doctoral Consortium, ER-Companion 2023

作者： Manjunath, Meenakshi Jesus Raja, Jeshwitha Daun, Marian Center for Robotics Technical University of Applied Sciences Würzburg-Schweinfurt Schweinfurt Germany

Teaching software engineering to non-software engineering students is a challenging task. Often, limitation of time dedicated to software engineering education, limits the subjects to be taught significantly. Furthermore, non-software engineering students, typically equate software engineering with programming, thus focussing their learning on code-related aspects. To counter this, we developed a course setup making extensive use of teaching conceptual modeling to educate students in software engineering. this shall support students in developing abstract-thinking skills and understanding the need for conceptualization and planning in early development phases. thus, the students can experience a different perspective on software development than they are used to. In this paper, we report an interview study with international bachelor students in a robotic degree program. the study aims at investigating students’ perception of software engineering and conceptual modeling. We compare two different student groups, one group attended a more traditional programming focused software engineering course, while the other group attended a conceptual modeling focused software engineering course. Results indicate that conceptual modeling education can indeed improve students’ abstract thinking skills as well as their appraisal of abstract thinking, conceptualization, as well as planning software development in advance. © 2023 CEUR-WS. All rights reserved.

关键词： Conceptual Modeling Education Software engineering Student Perception

来源：评论

学校读者我要写书评

暂无评论

Real-Time Smoke Detection Inside Cars using Internet of things 7

Real-Time Smoke Detection Inside Cars using Internet of Thin...

引用

7th international conference on Inventive Computation Technologies, ICICT 2024

作者： Lakshmi, G. V. Rajya Bhavani, Sanagiri Durga Prasad, Meesala Durga Kumar, Bezawada Tarun Lakireddy Bali Reddy College of Engineering Computer Science And Engineering Andhra Pradesh Mylavaram India

ISBN: (纸本)9798350359299

Cigarette smoking is considered as a bad habit since, it is having a bad impact on health and also for the Environment. Nowadays, most of the people are using cars for their transport purposes and we already know that cars are mostly closed area, so, the environment in the car should be healthy and drivers should drive safely. Humans can be affected by Second hand smoke and third hand smoke. this Hear Smoking is a smoking detection system in the car, which detects the smoking events inside car and notifies to the owner of the car and also stops the motion of the car. Using Internet of things, we are going to implement this system inside the car which gives alert messages to the owner of the car, whenever the people inside the car or the driver smokes. this system can be beneficial to keep the environment in the car healthy and can be helpful for safe driving. For this, we will be using Arduino programming and mainly MQ2 and MQ135 sensor to detect smoke. © 2024 IEEE.

关键词： Smoke

来源：评论

学校读者我要写书评

暂无评论

From mathematics to software engineering: Introducing category theory into the computer science curriculum

From mathematics to software engineering: Introducing catego...

引用

7th international conference on Computational science (ICCS 2007)

作者： Zheng, Yujun Shi, Haihe Xue, Jinyun Chinese Acad Sci Inst Software Beijing 100080 Peoples R China Jiangxi Normal Univ Coll Comp Inf & Engn Nanchang 330027 Peoples R China Grad Univ Chinese Acad Sci Beijing 100080 Peoples R China

ISBN: (纸本)9783540725879

Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to generalize the discrete structures of mathematical courses and providing an environment for formulating concepts of other software engineering courses. We develop a teaching schema, summarize our experiences, and give some suggestions for pedagogical techniques for the course.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

A Lower Bound Guided Hierarchical Approach for a Two-Stage Scheduling Problem 19

A Lower Bound Guided Hierarchical Approach for a Two-Stage S...

引用

19th IEEE international conference on Automation science and engineering, CASE 2023

作者： Wu, Jiaxi Liang, Ye Shi, Leyuan Peking University Department of Industrial Engineering & Management China China Academy of Information and Communications Technology China University of Wisconsin-Madison Department of Industrial & Systems Engineering WI53706 United States

ISBN: (纸本)9798350320695

Motivated by a challenging and common production scenario in the discrete manufacturing industry, we study a two-stage scheduling problem where sub-components are processed in the first stage and then grouped together to complete the final products. Our goal is to minimize the completion time of the last product, i.e., the makespan. We first propose a novel Mixed Integer Linear programming (MILP) model to formally define the problem, which is capable of finding optimum solutions for small-scale problems. To tackle the practical challenge of large-scale problems, we design an efficient lower-bound guided hierarchical heuristic (LBGH) to produce high-quality solutions within a reasonable amount of time. Numerical experiments demonstrate that the LBGH outperforms state-of-the-art meta-heuristics in terms of solution quality and computational efficiency. © 2023 IEEE.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

An optimization model of cargo space allocation for air cargo agent

An optimization model of cargo space allocation for air carg...

引用

7th international conference on Service Systems and Service Management, ICSSSM'10

作者： Zhang, Cunlu Luo, Ruibin Chen, Zhixin School of Management Xiamen University 361005 China Beijing University of Civil Engineering and Architecture 100044 China

ISBN: (纸本)9781424464876

Air cargo agent acts as an intermediary between airlines and cargo owners, but its revenue management is still a problem that has not been solved well in practice in China. On the standpoint of air cargo agent, its allocation strategy to cargo owners and booking amount of cargo space from airlines are studied with consideration of both long-term and free stochastic booking requests from cargo owners. A static stochastic programming model of cargo space allocation for air cargo agent under uncertain environment is constructed, and solve with robust optimization approach with a view to assist air cargo agent to determine the appropriate amount of cargo space requested from airlines as well as the allocation strategy, and to achieve revenue maximization. ©2010 IEEE.

关键词： Air transportation

来源：评论

学校读者我要写书评

暂无评论

Hyper-box Classification Model Using Mathematical programming 1

引用

17th international conference on Learning and Intelligent Optimization, LION-17 2023

作者： Liapis, Georgios I. Papageorgiou, Lazaros G. London Torrington PlaceWC1E 7JE United Kingdom

ISBN: (数字)9783031445057

ISBN: (纸本)9783031445040

Classification constitutes focal topic of study within the machine learning research community. Interpretable machine learning algorithms have been gaining ground against black box models because people want to understand the decision-making process. Mathematical programming based classifiers have received attention because they can compete with state-of-the-art algorithms in terms of accuracy and interpretability. this work introduces a single-level hyper-box classification approach, which is formulated mathematically as Mixed Integer Linear programming model. Its objective is to identify the patterns of the dataset using a hyper-box representation. Hyper-boxes enclose as many samples of the corresponding class as possible. At the same time, they are not allowed to overlap with hyper-boxes of different class. the interpretability of the approach stems from the fact that IF-thEN rules can easily be generated. Towards the evaluation of the performance of the proposed method, its prediction accuracy is compared to other state-of-the-art interpretable approaches in a number of real-world datasets. the results provide evidence that the algorithm can compare favourably against well-known counterparts. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Perspectives of Systems Informatics 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Amir Pnueli Irina Virbitskaite Andrei Voronkov

ISBN: (数字)9783642114861

ISBN: (纸本)9783642114854

this volume contains the ?nal proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. the conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. the ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. the list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.

关键词： Software engineering/programming and Operating Systems Logics and Meanings of Programs programming Languages, Compilers, Interpreters Software engineering programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Opinion mining over twitterspace: Classifying tweets programmatically using the R approach

Opinion mining over twitterspace: Classifying tweets program...

引用

7th international conference on Digital Information Management, ICDIM 2012

作者： Fiaidhi, Jinan Mohammed, Osama Mohammed, Sabah Fong, Simon Kim, Tai Hoon Department of Computer Science Lakehead University Thunder Bay ON P7B 5E1 Canada Department of Software Engineering Lakehead University Thunder Bay ON P7B 5E1 Canada Faculty of Science and Technology University of Macau China Department of Computer Engineering Glocal Campus Konkuk University Korea Republic of

ISBN: (纸本)9781467324281

Today the channels for expressing opinions seem to increase daily. When these opinions are relevant to a company, they are important sources of business insight, whether they represent critical intelligence about a customer's defection risk, the impact of an influential reviewer on other people's purchase decisions, or early feedback on product releases, company news or competitors. Capturing and analyzing these opinions is a necessity for proactive product planning, marketing and customer service and it is also critical in maintaining brand integrity. the importance of harnessing opinion is growing as consumers use technologies such as Twitter to express their views directly to other consumers. Tracking the disparate sources of opinion is hard - but even harder is quickly and accurately extracting the meaning so companies can analyze and act. Tweets' Language is complicated and contextual, especially when people are expressing opinions and requires reliable sentiment analysis based on parsing many linguistic shades of gray. this article argues that using the R programming platform for analyzing tweets programmatically simplifies the task of sentiment analysis and opinion mining. An R programming technique has been used for testing different sentiment lexicons as well as different scoring schemes. Experiments on analyzing the tweets of users over six NHL hockey teams reveals the effectively of using the opinion lexicon and the Latent Dirichlet Allocation (LDA) scoring scheme. © 2012 IEEE.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

A new approach to control flow analysis 7th

A new approach to control flow analysis

引用

7th international conference on Compiler Construction (CC 98) at the Joint European conferences on theory and Practice of Software (ETAPS 98)

作者： Malacaria, P Hankin, C Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England

ISBN: (纸本)3540643044

We develop a control flow analysis algorithm for PCF based on game semantics. the analysis is closely related to Shivers' 0-CFA analysis and the algorithm is shown to be cubic. the game semantics basis for the algorithm means that it can be naturally extended to handle strict languages and languages with imperative features. these extensions are discussed in the paper. We sketch the correctness proof for the algorithm. We also illustrate an algorithm for computing k-limited CFA.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

On-the-fly Servers Placement for online Multiplayer games in the Fog 23

On-the-fly Servers Placement for online Multiplayer games in...

引用

23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data science and Systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Benamer, Amira Rayane Hadj-Alouane, Nejib Ben Boussetta, Khaled University of Tunis El Manar Faculty of Sciences of Tunis Tunis Tunisia National Engineering School of Tunis University of Tunis El Manar Oasis Research Lab Tunis Tunisia L2TI Institut Galilée University Sorbonne Paris Nord Paris France

ISBN: (纸本)9781665494571

Network latency is the primary Quality of Service (QoS) metric measuring the Quality of Experience (QoE) in multiplayer online gaming. A key factor for minimizing latency, and thereby, guaranteeing a good game session, consists in the efficient placement of game servers. Obviously, this placement should guarantee low costs to the gaming operators and good proximity to the players. In this context, Fog computing represents a viable paradigm that can serve as a distributed scalable infrastructure platform, for online gaming, delivering the needed services to gamers, at the edge of the network, with low latency. However, in order to guarantee the effectiveness of the Fog paradigm, two main problems should be addressed. the first concerns the high dynamic of the multiplayer groups, possibly imposing additional costs, due to needed server migrations. the second deals with the scarcity of the Fog node resources, and its influence on QoE. To this end, we formulate the problem as a linear integer programming model. Mainly, we aim to maximize the gain of the game operator by optimizing resource allocations and reducing migration costs, while guaranteeing a good enough QoE. Since the resulting problem is known to be NP-Hard, we propose a new heuristic solution approach. It consists of iteratively solving the proposed model online, while integrating any changes in the game sessions dynamics, using a two steps scheme. In the first step, the groups and, therefore, the servers candidates for possible migrations are selected;and, in the second step, a Genetic Algorithm, using a penalty transformation technique is rapidly used to solve the resulting problem and the server configuration is accordingly updated with the given migrations and/or new placements. Extensive experimental results demonstrate the effectiveness of our proposed approach. © 2021 IEEE.

关键词： Measurement Costs Smart cities Games Quality of service Servers Quality of experience

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：