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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是341-350 订阅

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

详细简洁

排序：

Amplitude convergence in children's conversational speech with animated personas 7

Amplitude convergence in children's conversational speech wi...

引用

7th international conference on Spoken Language Processing, ICSLP 2002

作者： Coulston, Rachel Oviatt, Sharon Darves, Courtney Department of Computer Science and Engineering Oregon Health and Science University United States

During interpersonal conversation, both children and adults adapt the basic acoustic-prosodic features of their speech to converge with those of their conversational partner. In this study, 7-to-10-year-old children interacted with a conversational interface in which animated characters used text-to-speech output (TTS) to answer questions about marine biology. Analysis of children's speech to different animated characters revealed a 29% average change in energy when they spoke to an extroverted loud software partner (E), compared with an introverted soft-spoken one (I). the majority, or 77% of children, adapted their amplitude toward their partner's TTS voice. these adaptations were bi-directional, with increases in amplitude observed during I to E condition shifts, and decreases during E to I shifts. Finally, these results generalized across different user groups and TTS voices. Implications are discussed for guiding children's speech to remain within system processing bounds, and for the future development of robust and adaptive conversational interfaces.

关键词： Marine biology

来源：评论

学校读者我要写书评

暂无评论

Action language BC+: Preliminary report 7

Action language BC+: Preliminary report

引用

7th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2014 - Affiliated with the international conference on Logic programming, ICLP 2010, part of the Federated Logic conference 2014

作者： Babb, Joseph Lee, Joohyung School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States

Recently, action language BC, which combines the attractive features of action languages B and C+, was proposed. While BC allows Prolog-style recursive definitions that are not available in C+, it is less expressive than C+ in other ways, such as inability to express non-Boolean and non-exogenous actions. We propose a new action language called BC+, which encompasses all the features of BC and the definite fragment of C+. the syntax of BC+ is identical to the syntax of C+ allowing arbitrary propositional formulas in the causal laws, but its semantics is defined in terms of propositional formulas under the stable model semantics instead of nonmonotonic causal theories. this approach allows many useful ASP constructs, such as choice rules and aggregates, to be directly used in language BC+, and exploits computational methods available in ASP solvers. © ASPOCP *** rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Building a distributed AOP middleware for large scale systems

Building a distributed AOP middleware for large scale system...

引用

Next Generation Aspect Oriented Middleware Workshop, NAOMI 2008 - 7th international conference on Aspect-Oriented Software Development, AOSD 200

作者： Mondéjar, Rubén García, Pedro Pairot, Carles Skarmeta, Antonio F. Gómez Universitat Rovira i Virgili Department of Computer Science and Mathematics Tarragona Spain Universidad de Murcia Department of Computer Engineering Murcia Spain

ISBN: (纸本)9781605581484

Building large scale applications is nowadays a complex challenge. Such complexity is determined by several factors like distributed application development, deployment or management, to name a few. Adaptive middleware plays an important role in achieving such task, and abstracts developers from the underlying layer issues like persistence, fault tolerance, and load balancing, among others. Distributed Aspect Oriented programming (AOP) is a promising paradigm that offers new ideas in the middleware arena. Several models like remote pointcut or component-aspects for designing wide-area distributed systems exist in such setting, but none of them completely fulfill the scalability requirement. In this paper we present a distributed aspect middleware for large-scale systems mainly offering three contributions. Firstly we introduce a complete aspect remoting service with one-to-one and one-to-many abstractions. Secondly, we outline the construction of a distributed aspect meta-model that provides a novel distributed meta-pointcut mechanism to intercept remote services. Finally, the distributed aspect composition model that allows connection mechanisms in design, activation, and runtime phases. the last part of the paper includes a proof-of-concept, consisting of an adaptive Distributed Hash Table (DHT), which is a clear example of how a wide variety of distributed aspects on large-scale scenarios can be implemented by using our model. © 2008 ACM.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

theory and Practice of Model Transformations 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Davide Ruscio Dániel Varró

ISBN: (数字)9783319087894

ISBN: (纸本)9783319087887

this book constitutes the refereed proceedings of the 7th international conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. the 14 revised papers were carefully selected from 38 submissions. the papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.

关键词： Software engineering Logics and Meanings of Programs programming Languages, Compilers, Interpreters Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Introducing Green thinking Into CS Bachelor Curriculum 2023

Introducing Green Thinking Into CS Bachelor Curriculum

引用

28th Annual conference on Innovation and Technology in Computer science Education (ITiCSE)

作者： Oprescu, Ana Kokken, Ingrid Maat, Kyrian de Geus, Florine Univ Amsterdam Amsterdam Netherlands

ISBN: (纸本)9798400701399

By 2030 greenhouse gas emissions should be reduced by at least 55%. Despite hardware becoming more energy-efficient (Koomey's law), the ever-increasing reliance on computer technology has increased the energy usage due to ICT significantly. In software engineering (SE), there are many choices from programming languages to development patterns that influence energy efficiency. Recent research inspired our work on incorporating energy efficiency into SE education. An international group of researchers formulated initial recommendations for introducing green and sustainable software engineering [4] to students. An EU-US team formulated more refined recommendations for introducing green thinking as modules in existing courses [3]. ICT4S'22 best paper addressed HES eco-anxiety when teaching sustainability [2]. In this work we report on the experience of introducing reflection on energy efficiency into the default requirements of a SE course, and how that influenced students to address energy efficiency in their projects. Out of 8 teams, 7 implemented at least a small energy-efficient component. However, as one group donated to a climate charity in bitcoins, we need more ways to raise awareness.

关键词： project-based software engineering energy efficiency awareness

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Low-Voltage Distribution Line Load Pre-Balanced System Based on Commutation Method 7

Design and Implementation of Low-Voltage Distribution Line L...

引用

7th international conference on Electrical, Mechanical and Computer engineering, ICEMCE 2023

作者： Hayireding, Dilixiati Lei, Yiteng Li, Yang School of Electronic and Engineering Yili Normal University Xinjiang Yining83900 China

ISBN: (纸本)9798350382877

Extensive research and development efforts have been dedicated to the investigation and advancement of the load commutation method-based automatic commutation device (CD) as a means to mitigate three-phase imbalance in low-voltage distribution networks (LVDNs). However, the present automatic commutation approach employs real-time balancing techniques. this entails that when the device detects an imbalance surpassing the threshold, it promptly executes commutation operations on certain power consumers where the user experiences a significant level of current, which poses challenges in the process of commutation. In this paper, a commutation-based load-pre-balanced system for low-voltage distribution line is created and put into practice. the system has the capability to perform the commutation operation prior to the user's utilization of electricity, hence eliminating the necessity for conducting high current commutation, which can mitigate the potential risks associated with automatic CD commutation. Firstly, a novel pre-balanced phase change strategy is introduced, accompanied by the construction of a pre-balanced system. Two commutation strategies, namely current-based and voltage-based, are designed for the pre-balanced system. Additionally, the effectiveness of the pre-balanced system in controlling the three-phase line load imbalance is verified by simulation on the MATLAB/Simulink platform. Finally, the hardware component of the system is realized through the use of the PIC18F27QI0 micro controller as the central controller. On the other hand, the system software component is developed by employing the programming languages C and Python, also a prototype is made for real environment testing. the experimental findings indicate that the designed pre-balanced system has the capability to efficiently regulate the imbalance in the three-phase line load. © 2023 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

A genetic programming approach for evolving highly-competitive general algorithms for envelope reduction in sparse matrices

A genetic programming approach for evolving highly-competiti...

引用

12th international conference on Parallel Problem Solving from Nature, PPSN 2012

作者： Koohestani, Behrooz Poli, Riccardo School of Computer Science and Electronic Engineering University of Essex CO4 3SQ United Kingdom

ISBN: (纸本)9783642329630

Sparse matrices emerge in a number of problems in science and engineering. Typically the efficiency of solvers for such problems depends crucially on the distances between the first non-zero element in each row and the main diagonal of the problem's matrix - a property assessed by a quantity called the size of the envelope of the matrix. this depends on the ordering of the variables (i.e., the order of the rows and columns in the matrix). So, some permutations of the variables may reduce the envelope size which in turn makes a problem easier to solve. However, finding the permutation that minimises the envelope size is an NP-complete problem. In this paper, we introduce a hyper-heuristic approach based on genetic programming for evolving envelope reduction algorithms. We evaluate the best of such evolved algorithms on a large set of standard benchmarks against two state-of-the-art algorithms from the literature and the best algorithm produced by a modified version of a previous hyper-heuristic introduced for a related problem. the new algorithm outperforms these methods by a wide margin, and it is also extremely efficient. © 2012 Springer-Verlag.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Computing optimal solutions of a linear programming problem with interval type-2 fuzzy constraints

Computing optimal solutions of a linear programming problem ...

引用

7th international conference on Hybrid artificial Intelligent Systems, HAIS 2012

作者： Figueroa-García, Juan Carlos Hernandez, Germán Universidad Nacional de Colombia Sede Bogotá Colombia Universidad Distrital Francisco José de Caldas Bogotá Colombia Engineering Dept. Universidad Nacional de Colombia Sede Bogotá Colombia

ISBN: (纸本)9783642289415

this paper presents the computation of the set of optimal solutions of a Fuzzy Linear programming model with constraints that involve uncertainty, by means of Interval Type-2 Fuzzy sets. By applying convex optimization algorithms to a linear programming model with Interval Type-2 fuzzy constraints, an Interval Type-2 fuzzy set of optimal solutions derived from the uncertain constraints of the problem, is obtained. this set of optimal solutions is defined through four boundaries which determine its behavior. Finally, some theoretical considerations are made and explained through an application example. © 2012 Springer-Verlag.

关键词： Optimal systems

来源：评论

学校读者我要写书评

暂无评论

Component-based product-line engineering with the UML 7th

引用

7th international conference on Software Reuse (ICSR-7)

作者： Atkinson, C Muthig, D Fraunhofer Inst Expt Software Engn IESE D-67661 Kaiserslautern Germany

ISBN: (纸本)3540434836

the software industry is pinning its hopes for future reuse and productivity gains on component-based software development. However, to date the component paradigm has only really penetrated the implementation and deployment phases of the software life-cycle, and does not yet play a major role in the earlier analysis and design activities of large software projects. this is evidenced by the fact that in today's technology being a "component" usually means being implemented as a JavaBeans, a COM object or a COBRA application. this tutorial will present a new method for component-based software engineering, known as KobrA, which supports a higher-level, model-driven representation of components and thus enables the benefits of components to be realized throughout the software life-cycle. the method thus provides a component-oriented way of developing model. driven architectures (MDA).

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A cutting plane heuristic algorithm for the time dependent Chinese Postman problem

A cutting plane heuristic algorithm for the time dependent C...

引用

7th international Frontiers in Algorithmics Workshop and the 9th international conference on Algorithmic Aspects in Information and Management, FAW-AAIM 2013

作者： Sun, Jinghao Meng, Yakun Tan, Guozhen School of Information Science and Engineering Northeastern University Shenyang China School of Computer and Communication Engineering Northeastern University Qinhuangdao China School of Computer Science and Technology Dalian University of Technology Dalian China

ISBN: (纸本)9783642387555

In this paper we describe a cutting plane heuristic algorithm for the Time Dependent Chinese Postman Problem. this algorithm is based on the facial structure of the time dependent postman polyhedron and on the simplex method. the facial structure investigated here provides cutting planes that can be separated polynomially using a maximum flow algorithm, and the simplex method exhibits the linear programming relaxation solutions, based on which two upper bound heuristics are designed. Computational results show that the cutting planes can improve the lower bound of the formulation substantially, and that the best upper bound obtained by the two stage heuristic is always very close to the lower bound in most cases. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：