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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

64,768 篇 会议
1,388 册 图书
581 篇 期刊文献
1 篇 科技报告

馆藏范围

66,736 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

34,373 篇 工学
- 28,100 篇 计算机科学与技术...
- 22,367 篇 软件工程
- 6,807 篇 信息与通信工程
- 4,406 篇 控制科学与工程
- 4,156 篇 电气工程
- 2,577 篇 电子科学与技术（可...
- 2,328 篇 生物工程
- 2,132 篇 机械工程
- 1,588 篇 生物医学工程（可授...
- 1,514 篇 动力工程及工程热...
- 1,442 篇 仪器科学与技术
- 1,120 篇 光学工程
- 1,117 篇 安全科学与工程
- 989 篇 网络空间安全
- 953 篇 土木工程
- 948 篇 建筑学
11,273 篇 理学
- 6,427 篇 数学
- 2,525 篇 生物学
- 2,494 篇 物理学
- 1,560 篇 统计学（可授理学、...
- 1,350 篇 系统科学
- 929 篇 化学
8,275 篇 管理学
- 5,838 篇 管理科学与工程(可...
- 3,045 篇 图书情报与档案管...
- 2,702 篇 工商管理
1,412 篇 医学
- 1,181 篇 临床医学
- 1,063 篇 基础医学(可授医学...
1,272 篇 法学
- 950 篇 社会学
1,192 篇 教育学
- 1,169 篇 教育学
1,005 篇 经济学
- 999 篇 应用经济学
424 篇 农学
332 篇 文学
116 篇 军事学
79 篇 艺术学
6 篇 哲学
4 篇 历史学

主题

4,658 篇 application soft...
4,409 篇 software enginee...
4,140 篇 software
3,613 篇 cloud computing
2,681 篇 computer archite...
2,599 篇 computational mo...
2,442 篇 computer science
2,277 篇 hardware
1,907 篇 distributed comp...
1,279 篇 artificial intel...
1,231 篇 protocols
1,158 篇 concurrent compu...
1,151 篇 mobile computing
1,107 篇 educational inst...
1,079 篇 computer network...
1,060 篇 servers
1,039 篇 security
1,024 篇 quality of servi...
1,016 篇 costs
955 篇 testing

机构

221 篇 college of compu...
131 篇 school of comput...
90 篇 national enginee...
74 篇 school of comput...
69 篇 school of softwa...
68 篇 school of comput...
64 篇 school of comput...
57 篇 department of co...
51 篇 school of big da...
49 篇 state key labora...
48 篇 national enginee...
47 篇 school of softwa...
41 篇 beijing key labo...
41 篇 school of comput...
39 篇 institute of inf...
37 篇 department of co...
37 篇 school of inform...
36 篇 school of softwa...
34 篇 college of compu...
34 篇 department of co...

作者

41 篇 zhang lei
36 篇 lei wang
36 篇 wang lei
33 篇 m. takizawa
32 篇 jian wang
32 篇 zhu huibiao
31 篇 ruimin hu
29 篇 xiao liu
29 篇 li li
28 篇 jing zhang
25 篇 li yang
25 篇 yu wang
23 篇 wang jing
23 篇 jun zhang
22 篇 xin liu
22 篇 liu yang
21 篇 min huang
21 篇 bin wang
21 篇 bernady o. apduh...
21 篇 wei liu

语言

64,961 篇 英文
1,443 篇 其他
409 篇 中文
5 篇 葡萄牙文
3 篇 西班牙文
3 篇 俄文
2 篇 德文
1 篇 法文

检索条件"任意字段=International Conference on Multimedia, Software Engineering and Computing"

共 66738 条记录，以下是141-150 订阅

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

详细简洁

排序：

Graphical and Textual Models Embedded in a Constructor-Driven Transformation 18

Graphical and Textual Models Embedded in a Constructor-Drive...

引用

18th IEEE international conference on Semantic computing (ICSC)

作者： Schick, Johannes Wagner, Marc Lippe, Wolfram-Manfred Univ M unster Dept Math & Nat Sci Inst Comp Sci D-48149 Munster Germany Univ Augsburg Ctr Continuing & Execut Educ D-86159 Augsburg Germany

ISBN: (纸本)9798350385359

In this paper, we describe a method to transform a model from a graphical representation into a textual representation and back. In order to do this, we take a context-specific modeling language approach. This approach is graph-based and data-flow driven. This language has a BNF (Backus-Naur form) for the textual representation and another BNF, which is able to generate a graphical representation of a model. We transform our example in a central step into an Abstract Data Type (ADT) driven specification with an abstract syntax. After that we transform it to the appropriate and semantically transferable target form.

关键词： Modeling System analysis and design Semantics software engineering

来源：评论

学校读者我要写书评

暂无评论

Achieving Pareto-Optimality in Quantum Circuit Compilation via a Multi -Objective Heuristic Optimization Approach 5

Achieving Pareto-Optimality in Quantum Circuit Compilation v...

引用

2024 international conference on Quantum computing and engineering

作者： Swierkowska, Aleksandra Echavarria, Jorge Schulz, Laura Schulz, Martin Bavarian Acad Sci & Humanities Leibniz Supercomp Ctr Garching Bavaria Germany Tech Univ Munich Garching Bavaria Germany

ISBN: (纸本)9798331541378

High Performance computing -Quantum computing (HPCQC) integration presents a promising yet challenging opportunity, particularly in the area of quantum circuit compilation and optimization, requiring further advancements in the field of Quantum computing (QC). To address this, we introduce the Munich Quantum Compiler, a key component of the Munich Quantum software Stack (MQSS). This compiler employs a heuristic -based approach to select a Pareto-optimal subset of optimizations in the form of LLVM passes for quantum circuits described in an LLVM-compliant Intermediate Representation (IR).

关键词： Quantum computing Multi-objective Optimization Quantum Compilation LLVM QIR MOEA Genetic Algorithm NSGA-II

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Visual Narratives: Exploring AI- Driven Text-to-Video Generation

Synthesizing Visual Narratives: Exploring AI- Driven Text-to...

引用

2024 international conference on Electrical, Electronics and computing Technologies, ICEECT 2024

作者： Shilaskar, Swati Chakole, Sharayu Bhalerao, Shalmali Sapkal, Sumeet Vishwakarma Institute of Technology Pune Department of Electronics and Telecommunication Engineering Pune411037 India

ISBN: (纸本)9798350378092

The increase in demand for dynamic multimedia content has boosted the development of an AI-based Text-to- Video Synthesis system. Addressing current challenges in manual content creation, the proposed system provides a comprehensive solution by utilizing technologies such as Natural Language Processing (NLP) for text analysis, the use of Gemini API for text summarization, gTTS for natural-sounding audio, and MoviePy for video synthesis. By leveraging advanced NLP techniques, the system analyzes and transforms textual input into visually captivating videos. With the ability to dynamically retrieve multimedia assets through web scraping, the system offers a versatile solution for content creators, educators, and multimedia enthusiasts. The suggested system responds to the increasing need for automated and adaptable text-to-video synthesis tools in various applications. © 2024 IEEE.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Towards Anti-Collision Coordination for UAVs with Serverless Edge computing 12

Towards Anti-Collision Coordination for UAVs with Serverless...

引用

12th international conference on Cloud engineering

作者： Pfandzelter, Tobias Bermbach, David Vilter, Robert Friese, Ingo Melnyk, Sergiy Zhou, Qiuheng Schotten, Hans D. Tech Univ Berlin Scalable Software Syst Grp Berlin Germany Einstein Ctr Digital Future Berlin Germany Tech Univ Appl Sci Wildau Aviat Engn Grp Wildau Germany Deutsch Telekom AG Berlin Germany German Res Ctr Artificial Intelligence DFKI Intelligent Networks Kaiserslautern Germany Univ Kaiserslautern RPTU Inst Wireless Commun & Nav Kaiserslautern Germany

ISBN: (纸本)9798331528690;9798331528706

Autonomously flying unmanned aerial vehicles in logistics, agriculture, and other domains will take up considerable airspace in the future. In areas with a high amount of air traffic, ground coordination to detect and mitigate encounters with collision risks is required. We propose a serverless approach to build and deploy such a system using edge computing resources. Serverless abstractions allow domain experts to focus on implementing the application logic while the underlying platform manages constrained resources and low-latency service access.

关键词： serverless edge computing UAVs

来源：评论

学校读者我要写书评

暂无评论

Success Factors of Requirement engineering that Influence software Development Efficiency 6

Success Factors of Requirement Engineering that Influence So...

引用

6th international conference on Advancements in computing, ICAC 2024

作者： Yapa, Thilini Nawinna, Dasuni Sri Lanka Institute of Information Technology Faculty of Computing Malabe Sri Lanka

ISBN: (纸本)9798331517878

Due to the rapid advancement of technology, the software industry has become one of the major industries all over the world. Many organizations invest large amounts of money to develop software products. Requirement engineering is one of the major phases in the software development process. It is a challenging and time-consuming task which should carefully be done because requirement engineering plays a vital role in shaping a project's success and efficiency. software development teams face significant challenges in making functional software products that meet client's requirements due to lack of clear requirements. This study explores the critical success factors of requirement engineering that influence software development efficiency. A study was conducted to gather data from business analysts within a leading telecommunication organization and its subsidiaries across three countries. The data was thoroughly analyzed through a structured analysis using Smarts PLS. The success factors considered in this study are business analyst's skills, quality of the requirement, customer involvement and team capability. The results highlighted that software development efficiency is strongly influenced by requirements engineering factors, including the skills of the Business Analyst, customer involvement, and team capability, each with a significance value of less than 0.05. By addressing requirement engineering challenges and implementing standardized procedures derived fromcritical success factors, organizations can streamline their requirement engineering processes, and this study provides valuable insights to enhance requirement engineering best practices fostering software development efficiency. © 2024 IEEE.

关键词： Enterprise software

来源：评论

学校读者我要写书评

暂无评论

Building Collaborative Learning: Exploring Social Annotation in Introductory Programming 46

Building Collaborative Learning: Exploring Social Annotation...

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Neto, Francisco Gomes de Oliveira Dobslaw, Felix Chalmers Gothenburg Sweden Univ Gothenburg Dept Comp Sci & Engn Gothenburg Sweden Mid Sweden Univ Dept Qual Mngmt Commun & Inf Syst Ostersund Sweden

ISBN: (纸本)9798400704987

The increasing demand for software engineering education presents learning challenges in courses due to the diverse range of topics that require practical applications, such as programming or software design, all of which are supported by group work and interaction. Social Annotation (SA) is an approach to teaching that can enhance collaborative learning among students. In SA, both students and teachers utilize platforms like Feedback Fruits, Perusall, and Diigo to collaboratively annotate and discuss course materials. This approach encourages students to share their thoughts and answers with their peers, fostering a more interactive learning environment. We share our experience of implementing social annotation via Perusall as a preparatory tool for lectures in an introductory programming course aimed at undergraduate students in software engineering. We report the impact of Perusall on the examination results of 112 students. Our results show that 81% of students engaged in meaningful social annotation successfully passed the course. Notably, the proportion of students passing the exam tends to rise as they complete more Perusall assignments. In contrast, only 56% of students who did not participate in Perusall discussions managed to pass the exam. We did not enforce mandatory Perusall participation in the course. Yet, the feedback from our course evaluation questionnaire reveals that most students ranked Perusall among their favorite components of the course and that their interest in the subject has increased.

关键词： Social Annotation Educational Technology computing Education

来源：评论

学校读者我要写书评

暂无评论

User Stories in Requirements Elicitation: A Systematic Literature Review 8

User Stories in Requirements Elicitation: A Systematic Liter...

引用

8th IEEE international conference on software engineering and Computer Systems, ICSECS 2023

作者： Kustiawan, Yanche Ari Lim, Tek Yong Multimedia University Faculty of Computing and Informatics Cyberjaya Malaysia

ISBN: (纸本)9798350310931

A user story is commonly applied in requirement elicitation, particularly in agile software development. User story is typically composed in semi-formal natural language, and often follow a predefined template. The user story is used to elicit requirements from the users' perspective, emphasizing who requires the system, what they expect from it, and why it is important. This study aims to acquire a comprehensive understanding of user stories in requirement elicitation. To achieve this aim, this systematic review merged an electronic search of four databases related to computer science. 40 papers were chosen and examined. The majority of selected papers were published through conference channels which comprising 75% of total publications. This study identified 24 problems in user stories related to requirements elicitation, with ambiguity or vagueness being the most frequently occurring problem reported 18 times, followed by incompleteness reported 11 times. Finally, the model approach was the most popular approach reported in the research paper, accounting for 30% of the total approaches reported. © 2023 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Design of a Cross-Heterogeneous Hardware Computility Scheduling Platform for Heterogeneous computing Systems 3

Design of a Cross-Heterogeneous Hardware Computility Schedul...

引用

3rd international conference on Cloud computing, Big Data Application and software engineering, CBASE 2024

作者： Chai, Jun Jiang, Cheng He, Yalong Pan, Jinxue Hangzhou Applied Acoustics Research Institute Hangzhou China

ISBN: (纸本)9798331506582

With the development of underwater acoustic signal processing technology and the ever-increasing business demands, the traditional single computing platform can no longer meet the growing computing needs of the business, heterogeneous computing platforms have emerged accordingly. However, systems are constrained by factors such as size and power consumption In practical scenarios, and the hardware platform has limited computing nodes, making it difficult to increase computilityby expanding nodes. Therefore, it becomes increasingly urgent to improve the performance of the heterogeneous computing platform. This article proposes a cross-heterogeneous hardware computility scheduling platform suitable for heterogeneous computing systems. Through the heterogeneous computing interfaces, the computility scheduling platform and the heterogeneous computing agents, masks the differences between heterogeneous computing software and hardware, achieving dynamic scheduling of cross-heterogeneous computility. The experiments demonstrate that the computility scheduling platform proposed in this paper, integrated with underwater acoustic signal processing applications for scheduling simulation, has validated its effectiveness in heterogeneous computing systems. © 2024 IEEE.

关键词： Acoustic signal processing

来源：评论

学校读者我要写书评

暂无评论

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers 24

Quantum Program Testing Through Commuting Pauli Strings on I...

引用

39th ACM/IEEE international conference on Automated software engineering (ASE)

作者： Muqeet, Asmar Ali, Shaukat Arcaini, Paolo Simula Res Lab Oslo Norway Univ Oslo Oslo Norway Oslo Metropolitan Univ Oslo Norway Natl Inst Informat Tokyo Japan

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

The most promising applications of quantum computing are centered around solving search and optimization tasks, particularly in fields such as physics simulations, quantum chemistry, and finance. However, the current quantum software testing methods face practical limitations when applied in industrial contexts: (i) they do not apply to quantum programs most relevant to the industry, (ii) they require a full program specification, which is usually not available for these programs, and (iii) they are incompatible with error mitigation methods currently adopted by main industry actors like IBM. To address these challenges, we present QOPS, a novel quantum software testing approach. QOPS introduces a new definition of test cases based on Pauli strings to improve compatibility with different quantum programs. QOPS also introduces a new test oracle that can be directly integrated with industrial APIs such as IBM's Estimator API and can utilize error mitigation methods for testing on real noisy quantum computers. We also leverage the commuting property of Pauli strings to relax the requirement of having complete program specifications, making QOPS practical for testing complex quantum programs in industrial settings. We empirically evaluate QOPS on 194,982 real quantum programs, demonstrating effective performance in test assessment compared to the state-of-the-art with a perfect F1-score, precision, and recall. Furthermore, we validate the industrial applicability of QOPS by assessing its performance on IBM's three real quantum computers, incorporating both industrial and open-source error mitigation methods.

关键词： software Testing Test Oracle Quantum computing Pauli Strings

来源：评论

学校读者我要写书评

暂无评论

Distributing Compilation to Enable High Throughput Scalable Quantum Workloads 5

Distributing Compilation to Enable High Throughput Scalable ...

引用

2024 international conference on Quantum computing and engineering

作者： Waring, Harry J. Oxford Quantum Circuits Reading Berks England

ISBN: (纸本)9798331541378

The increasing quality and availability of Quantum Processing Units (QPUs) is fueling a growing interest in quantum computing across many technological areas. The resulting increase in demand for QPU resources necessitates Quantum computing as a Service (QCaaS) providers to support a high throughput of quantum workloads. A major runtime bottleneck in current QCaaS software stacks is the computationally-intensive compilation step which requires significant compute. To address this, Oxford Quantum Circuits has introduced distributed compilation whereby quantum programs are compiled in parallel and stored until the QPU is available. This has replaced our previous serial compilation approach where each program was compiled immediately prior to execution. From experiments using our production compilers and a simulated backend representing the QPU, we show that distributed compilation has resulted in a 78% reduction in processing time as compared to serial compilation. This demonstrates that there are sizeable performance gains to program throughput attainable through the introduction of distributed compilation into a QCaaS architecture. We posit that the usefulness of this feature will only grow given the increasing complexity of quantum programs and the growing popularity of quantum -classical hybrid algorithms.

关键词： Distributed Compilation Quantum computing Quantum computing as a Service Quantum Systems software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：