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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

706 篇 期刊文献
670 篇 会议
14 册 图书

馆藏范围

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

日期分布

学科分类号

778 篇 工学
- 522 篇 计算机科学与技术...
- 438 篇 软件工程
- 111 篇 控制科学与工程
- 92 篇 信息与通信工程
- 87 篇 生物医学工程（可授...
- 75 篇 生物工程
- 55 篇 电气工程
- 47 篇 电子科学与技术（可...
- 45 篇 机械工程
- 39 篇 化学工程与技术
- 37 篇 材料科学与工程（可...
- 35 篇 光学工程
- 28 篇 土木工程
532 篇 理学
- 305 篇 数学
- 110 篇 生物学
- 109 篇 物理学
- 80 篇 统计学（可授理学、...
- 63 篇 系统科学
- 46 篇 化学
247 篇 管理学
- 159 篇 管理科学与工程(可...
- 97 篇 工商管理
- 90 篇 图书情报与档案管...
138 篇 教育学
- 136 篇 教育学
- 28 篇 心理学(可授教育学...
124 篇 医学
- 90 篇 临床医学
- 79 篇 基础医学(可授医学...
- 43 篇 公共卫生与预防医...
- 38 篇 药学(可授医学、理...
37 篇 法学
- 34 篇 社会学
33 篇 经济学
- 32 篇 应用经济学
23 篇 农学
9 篇 文学
5 篇 军事学
2 篇 艺术学

主题

36 篇 students
34 篇 machine learning
33 篇 computer science
23 篇 education
20 篇 engineering educ...
18 篇 artificial intel...
17 篇 deep learning
17 篇 training
14 篇 computational mo...
12 篇 semantics
12 篇 decision making
11 篇 covid-19
11 篇 accuracy
10 篇 software enginee...
10 篇 neural networks
10 篇 data mining
10 篇 diffusion
10 篇 mathematics
10 篇 curricula
10 篇 intelligent syst...

机构

24 篇 gaoling school o...
24 篇 beijing key labo...
13 篇 department of la...
12 篇 school of scienc...
11 篇 department of co...
11 篇 department of co...
9 篇 department of sc...
9 篇 department of ma...
9 篇 department of au...
8 篇 faculty of physi...
8 篇 department of co...
8 篇 department of so...
8 篇 department of nu...
8 篇 department of sc...
7 篇 computer network...
7 篇 tsinghua univers...
7 篇 beijing key labo...
7 篇 key laboratory o...
7 篇 school of comput...
7 篇 college of compu...

作者

12 篇 dulski k.
12 篇 kubicz e.
12 篇 kozik t.
12 篇 korcyl g.
12 篇 badriyya b.al-on...
11 篇 wen ji-rong
11 篇 skurzok m.
11 篇 moskal p.
11 篇 silarski m.
11 篇 gorgol m.
11 篇 gajos a.
10 篇 shopa r.y.
10 篇 kisielewska d.
10 篇 kowalski p.
10 篇 hiesmayr b.c.
10 篇 sharma s.
10 篇 curceanu c.
9 篇 olteanu mircea
9 篇 ştefan radu
9 篇 krawczyk n.

语言

1,307 篇 英文
68 篇 其他
12 篇 中文
2 篇 德文
1 篇 俄文

检索条件"机构=Department of Computer Science and Methods of Teaching Computer Science"

共 1390 条记录，以下是1261-1270 订阅

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

详细简洁

排序：

Work in progress - The WSU model for engineering mathematics education

Work in progress - The WSU model for engineering mathematics...

引用

Frontiers in Education - 35th Annual Conference 2005, FIE' 05

作者： Klingbeil, Nathan Mercer, Richard Rattan, Kuldip Raymer, Michael Reynolds, David Wright State University Dayton OH 45435 Department of Teaching Department of Mechanical and Materials Engineering Department of Mathematics and Statistics Department of Electrical Engineering Department of Computer Science and Engineering Department of Biomedical Industrial and Human Factors Engineering

ISBN: (纸本)0780390776

This paper summarizes progress to date on the WSU model for engineering mathematics education, an NSF funded curriculum reform initiative at Wright State University. The WSU model seeks to increase student retention, motivation and success in engineering through application-driven, just-in-time engineering math instruction. The WSU approach involves the development of a novel freshman-level engineering mathematics course EGR 101, as well as a large-scale restructuring of the engineering curriculum. By removing traditional math prerequisites and moving core engineering courses earlier in the program, the WSU model shifts the traditional emphasis on math prerequisite requirements to an emphasis on engineering motivation for math, with a just-in-time structuring of the new math sequence. This paper summarizes the development to date of the WSU model for engineering mathematics education, including a preliminary assessment of student performance and perception during the initial implementation of EGR 101. In addition, an assessment of first-year retention results is anticipated in time for the conference. © 2005 IEEE.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Formal communication semantics of SystemC/sup FL/

Formal communication semantics of SystemC/sup FL/

引用

Euromicro Symposium on Digital System Design

作者： K.L. Man Formal Methods Group Department of Mathematics and Computer Science Eindhovan University of Technology Netherlands

In this paper, we define a formal communication semantics for SystemC/sup FL/ that deals with concurrency and interaction. The communication semantics of SystemC/sup FL/ is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC/sup FL/ is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC/sup FL/.

关键词： Algebra Concurrent computing Formal verification Hardware design languages Formal languages Mathematics computer science Communication standards Protocols Equations

来源：评论

学校读者我要写书评

暂无评论

SystemC/sup FL/: a formalism for hardware/software codesign

SystemC/sup FL/: a formalism for hardware/software codesign

引用

European Conference on Circuit Theory and Design, ECCTD

作者： K.L. Man Formal Methods Group Department of Mathematics and Computer Science Eindhovan University of Technology Eindhoven Netherlands

SystemC/sup FL/ is a formal language for hardware/software codesign. Principally, SystemC/sup FL/ is the formalization of SyslemC based on classical process algebra ACP. The language is aimed to give formal specification of SystemC designs and perform formal analysis of SystemC processes. This paper, designed for the first-time user of SystemC/sup FL/, guides the reader through modeling, analyzing and verifying designs using SystemC/sup FL/. This paper illustrates the use of SysternC/sup FL/ with two case studies taken from literature.

关键词： Hardware Delay effects Cost accounting Virtual manufacturing Clocks Formal languages System recovery Interleaved codes Encapsulation

来源：评论

学校读者我要写书评

暂无评论

Data partitioning over data streams based on change-aware sampling

Data partitioning over data streams based on change-aware sa...

引用

IEEE International Conference on e-Business Engineering (ICEBE)

作者： Yongli Wang Hongbing Xu Yisheng Dong Xuejun Liu Jiangbo Qian Department of Computer Science & Engineering South-East University Nanjing China Department of Common Computer Teaching Jiamusi University Jiamusi China

A novel data partitioning method adapted to a distributed parallel streams processing system for power industry is proposed. This method uses change-aware sampling algorithm that can guarantee low error to describe the distribution characteristics of the data-values first. And then it uses an improved heuristic constructing equal depth histograms algorithm to generate approximate partition vector efficiently. Experiments results on actual data prove that the proposed method is efficient, practical and suitable for time-varying data streams processing

关键词： Sampling methods Histograms Frequency Partitioning algorithms Reservoirs computer science Data engineering Power engineering and energy Concurrent computing Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Quantitative analysis of probabilistic pushdown automata: expectations and variances

Quantitative analysis of probabilistic pushdown automata: ex...

引用

Annual Symposium on Logic in computer science

作者： J. Esparza A. Kucera R. Mayr Institute for Formal Methods in Computer Science University of Stuttgart Stuttgart Germany Faculty of Informatics Masaryk University Brno Czech Republic Department of Computer Science North Carolina State University Raleigh NC USA

Probabilistic pushdown automata (pPDA) have been identified as a natural model for probabilistic programs with recursive procedure calls. Previous works considered the decidability and complexity of the model-checking problem for pPDA and various probabilistic temporal logics. In this paper we concentrate on computing the expected values and variances of various random variables defined over runs of a given probabilistic pushdown automaton. In particular, we show how to compute the expected accumulated reward and the expected gain for certain classes of reward functions. Using these results, we show how to analyze various quantitative properties of pPDA that are not expressible in conventional probabilistic temporal logics.

关键词： Analysis of variance Automata computer science Probabilistic logic Random variables Informatics Probability distribution Performance analysis H infinity control

来源：评论

学校读者我要写书评

暂无评论

A new penalty based genetic algorithm for constrained optimization problems

A new penalty based genetic algorithm for constrained optimi...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Yi-Bo Hu Yu-Ping Wang Fu-Ying Guo Department of Mathematics Science Xidian University Xi'an China School of Computer Xidian University Xi'an China Computer Basic Teaching and Experiment Center School of Computer Xidian University Xi'an China

Penalty functions are often used to handle constraints for constrained optimization problems in evolutionary algorithms. However it is difficult to control penalty parameters. To overcome this shortcoming, a new penalty function with easily-controlled penalty parameters is designed in this paper. The fitness function defined by this penalty function can distinguish feasible and infeasible solutions effectively. Meanwhile, the orthogonal design is used to generate initial population and design crossover operator. Based on these, a new genetic algorithm for constrained optimization problems is proposed. The simulations are made on five widely used benchmark problems, and the results indicate the proposed algorithm is effective.

关键词： Genetic algorithms Constraint optimization Evolutionary computation Mathematics Education Upper bound Field-flow fractionation Design methodology Machine learning Cybernetics

来源：评论

学校读者我要写书评

暂无评论

What math do we really need?

What math do we really need?

引用

2005 ASEE Annual Conference and Exposition: The Changing Landscape of Engineering and Technology Education in a Global World

作者： Robertson, John Newman, Richard College of Technology and Applied Science Arizona State University 7001 E Williams Field Rd Mesa AZ 85212 United States Department of Electronic and Computer Technology ASU East Campus Mesa AZ United States Training Operations for the Microelectronics Teaching Factory

The Microelectronics program in the Technology College at ASU was totally restructured in 2001. The courses are entirely new and have novel (web + class) delivery arrangements. There has also been substantial industry input both for planning and contributions in the class-room. As a result, we have been able to execute a strategy that aligns the skills and capabilities of the graduates with the starting requirements of our 12 supporting companies. The next stage is to "pull" the skills needed by the senior-level courses from the lower division and feeder programs. On that basis, we have analyzed the math used in two microelectronics courses:. UET416 - Dopant control technology. This covers transistor operation, ion implantation of dopants and diffusion in subsequent thermal processing steps. It has everything from differential equations to statistical control and no matter the university where it is given, the topic has a strong traditional math content. UET417 - Clean room practice. The primary goal is to ensure safe working conditions. The scope includes effective communications and reporting with the typically diverse range of data encountered in any high-tech industry. Every math instance in almost 1000 slides has been classified. The results show a strong emphasis on problem and solution representation.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Performance modelling of GSM/GPRS cells with different radio resource allocation strategies

Performance modelling of GSM/GPRS cells with different radio...

引用

IEEE Conference on Wireless Communications and Networking

作者： H. Dahmouni B. Morin S. Vaton Methods and Tools for Traffic engineering France Telecom Research and Development Center Belfort France Department of Computer Science ENST de bretagne Brest France

In this paper, we present an analytical model for the performance evaluation of GSM/GPRS cells with different resource allocation schemes. The presented model is based on the modified Engset model with a finite number of users generating ON/OFF sessions in the cell. The closed formula following from the model is applicable for calculating different performance parameters like user throughput, blocking probability and radio resource utilization. Our study is focused on two main radio resource allocation strategies: complete partitioning and partial sharing.

关键词： GSM Ground penetrating radar Resource management Traffic control Telecommunication traffic Analytical models Throughput Quality of service Data engineering Solid modeling

来源：评论

学校读者我要写书评

暂无评论

From BEEVT to DLR- NSF supported engineering education projects at virginia tech

From BEEVT to DLR- NSF supported engineering education proje...

引用

2005 ASEE Annual Conference and Exposition: The Changing Landscape of Engineering and Technology Education in a Global World

作者： Lohani, Vinod K. Sanders, Mark Wildman, Terry Connor, Jeff Mallikarjunan, Kumar Dillaha, Theo Muffo, John Knott, Tamara W. Lo, Jenny Loganathan, G.V. Adel, Greg Wolfe, M.L. Goff, Richard Gregg, Mike Chang, Mike Agblevor, Foster Vaughan, David Cundiff, John Fox, Ed Griffin, Hayden Magliaro, Sue Department of Engineering Education Department of Technology Education Center for Excellence in Undergraduate Teaching United States Biological Systems Engineering United States Academic Assessment Unit Civil and Environmental Engineering Mining and Minerals Engineering United States Computer Science School of Education Virginia Polytechnic Institute State University Blacksburg United States

This paper briefly discusses the motivating factors that led to formation of an active collaborative group of engineering and education faculty at Virginia Tech. This group is actively pursuing a number of engineering education research activities and has been successful in winning two grants from the NSF in first 12 months of their collaborative efforts. These collaborative activities are targeted at improving engineering pedagogy at Virginia Tech and began with a planning grant from the NSF in September 2003. A 15-month Masters/Licensure program has been developed specifically for licensing engineering graduates in Technology Education. A number of assessment activities have been initiated for analyzing curricular changes beginning with the freshman-engineering program. Use of electronic portfolio in engineering instruction is being explored. The curricula of freshman engineering and bioprocess engineering are being reformulated using a theme based spiral curriculum approach, which is part of a major research grant, under the department-level reform program of the NSF, that began in September '04. The interdisciplinary group has developed/ is working on a number of research proposals for expanding the scope of ongoing studies. The information presented should be very useful for new engineering educators who are exploring similar collaborative ventures elsewhere.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Temporal Patterns of TV watching for Portuguese Viewers

Temporal Patterns of TV watching for Portuguese Viewers

引用

Portuguese Conference on Artificial Intelligence, EPIA

作者： N. Datia J. Moura-Pires M. Cardoso H. Pita Department of Electronics Telecommunications and Computers Lisboa Portugal Department of Computer Science FCT-Universidade Nova de Lisboa Monte da Caparica Portugal Department of Quantitative Methods ISCTE-Business School Lisboa Portugal

Audiometer systems provide enormous amounts of detailed TV watching data. Several relevant and interdependent factors may influence TV viewers' behavior. In this work we focus on the tune factor and derive temporal patterns of TV watching, based on panel data. Clustering base attributes are originated from 1440 binary minute-related attributes, capturing the TV watching status (watch/not watch). Since there are around 2500 panel viewers a data reduction procedure is first performed. K-means algorithm is used to obtain daily clusters of viewers. Weekly patterns are then derived which rely on daily patterns. The obtained solutions are tested for consistency and stability. Temporal TV watching patterns provide new insights concerning Portuguese TV viewers' behavior

关键词： TV Clustering algorithms Watches Statistical analysis Predictive models Neural networks Regression tree analysis Humans Databases Time factors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共139页 << < 123 124 125 126 127 128 129 130 131 132 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：