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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

620 篇 会议
12 册 图书
12 篇 期刊文献

馆藏范围

644 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

480 篇 工学
- 389 篇 计算机科学与技术...
- 335 篇 软件工程
- 66 篇 控制科学与工程
- 57 篇 信息与通信工程
- 41 篇 电气工程
- 36 篇 机械工程
- 27 篇 生物工程
- 26 篇 动力工程及工程热...
- 26 篇 电子科学与技术（可...
- 21 篇 生物医学工程（可授...
- 18 篇 材料科学与工程（可...
- 18 篇 环境科学与工程（可...
- 17 篇 仪器科学与技术
- 16 篇 化学工程与技术
- 15 篇 冶金工程
- 15 篇 土木工程
- 12 篇 力学（可授工学、理...
- 12 篇 建筑学
220 篇 理学
- 141 篇 数学
- 38 篇 物理学
- 30 篇 生物学
- 30 篇 系统科学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
130 篇 管理学
- 95 篇 管理科学与工程(可...
- 62 篇 工商管理
- 38 篇 图书情报与档案管...
30 篇 教育学
- 30 篇 教育学
23 篇 经济学
- 23 篇 应用经济学
16 篇 医学
- 15 篇 临床医学
11 篇 法学
10 篇 农学
5 篇 文学
3 篇 艺术学
1 篇 哲学
1 篇 军事学

主题

25 篇 programming
16 篇 software enginee...
15 篇 students
15 篇 dynamic programm...
14 篇 linear programmi...
12 篇 programming prof...
12 篇 python
10 篇 genetic algorith...
9 篇 object oriented ...
9 篇 optimization
8 篇 computer languag...
8 篇 real-time system...
7 篇 internet of thin...
7 篇 computer science
7 篇 software enginee...
7 篇 education
7 篇 java
7 篇 scheduling
6 篇 libraries
6 篇 application soft...

机构

4 篇 al-farahidi univ...
4 篇 national univers...
4 篇 al-turath univer...
3 篇 department of co...
3 篇 galgotias univer...
3 篇 school of electr...
3 篇 al-kunooze unive...
2 篇 department of co...
2 篇 departemen of nu...
2 篇 wuhan university...
2 篇 school of inform...
2 篇 informatics engi...
2 篇 computer science...
2 篇 department of in...
2 篇 department of co...
2 篇 electronics and ...
2 篇 department of co...
2 篇 amrita school of...
2 篇 school of comput...
2 篇 school of inform...

作者

3 篇 hussam ragheed
3 篇 zhang minghui
2 篇 xie hao
2 篇 he zhongzheng
2 篇 li yang
2 篇 prosser patrick
2 篇 weng tien-hsiung
2 篇 m. shirali-shahr...
2 篇 zhou jianzhong
2 篇 suraj malik
2 篇 chakraborti debj...
2 篇 jia benjun
2 篇 ghoshal sanjoy k...
2 篇 zhao youbing
2 篇 erliana cut ita
2 篇 pham hoa
2 篇 hu qihan
2 篇 machado penousal
2 篇 li jinna
2 篇 murphy gail c.

语言

596 篇 英文
46 篇 其他
12 篇 中文

检索条件"任意字段=1st International Conference on the Art, Science and Engineering of Programming, Programming 2017"

共 644 条记录，以下是631-640 订阅

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

详细简洁

排序：

Multiprocessor systems programming in a high-level data-flow language 1st

Multiprocessor systems programming in a high-level data-flow...

引用

1st international conference on Parallel Architectures and Languages Europe, PARLE 1987

作者： Gaudiot, J.L. Lee, L.T. Computer Research Institute Department of Electrical Engineering — Systems University of Southern California Los AngelesCA United States

ISBN: (纸本)9783540179436

The data-flow model of computation is an attractive methodology for multiprocessor programming for it offers the potential for unlimited parallelism detection at no programmer's expense. It is here applied to a distributed architecture based on a commercially available microprocessor (the Inmos Transputer). In this project, we have integrated the high-level data driven principles of scheduling within the Transputer architecture so as to provide high programmability of our multicomputer system. A complete programming environment which translates a complex data-flow program graph into occam has been developed and is presented in this paper. We here describe in detail the mapping from the SISAL high-level constructs into the low-level mechanisms of the Transputer (synchronization, structure representation, etc.). The partitioning issues (granularity of the graph) are presented and several solutions based upon both data-flow analysis (communication costs) and program syntax (program structure) are proposed and have been implemented in our programming environment. Finally, we present and analyze graph allocation and optimization schemes to improve the performance of the resulting occam program. © 1987, Springer-Verlag.

关键词： Transputers

来源：评论

学校读者我要写书评

暂无评论

Introduction to RCCL: A robot control &C& Library 1

Introduction to RCCL: A robot control &C& Library

引用

1st IEEE international conference on Robotics and Automation, ICRA 1984

作者： Hayward, V. Paul, R. School of Electrical Engineering Purdue University West LafayetteIN47907 United States

ISBN: (纸本)081860526X

RCCL is a robot programming system that enables a user to specify robot manipulator tasks employing a set of primitive system calls similar in spirit to those of the UNIX input-output system. The goals addressed in the RCCL system are: manipulator task description;sensor integration;updatable world representation;flexibility;wide range of applications;medium level robot programming;off-line programming;efficiency;manipulator independence;portability;foreground-background programming;Cartesian path programming;arbitrary path specification;tracking;force control. © 1984 IEEE.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

A user-friendly high-level robot teaching system 1

A user-friendly high-level robot teaching system

引用

1st IEEE international conference on Robotics and Automation, ICRA 1984

作者： Levas, A. Selfridge, M. Computer Science and Engineering Division University of Connecticut StorrsCT06268 United States

ISBN: (纸本)081860526X

Existing techniques for programming robots are either limited or require expert programmers. This paper describes an implemented robot system, TL, which is taught using a new technique which is easy to use yet produces powerful high-level plans. In this technique the user provides an example of the plan by moving the manipulator through the desired assembly. TL observes the assembly and infers the underlying plan. This paper describes TL, presents an example of it learning to assemble a simple electric switch, and discusses future directions for development. © 1984 IEEE.

关键词： Electric switches

来源：评论

学校读者我要写书评

暂无评论

Hardware/software tradeoffs for increased performance 1

Hardware/software tradeoffs for increased performance

引用

1st international Symposium on Architectural Support for programming Languages and Operating Systems, ASPLOS 1982

作者： Hennessy, John Jouppi, Norman Baskett, Forest Gross, Thomas Gill, John Department of Electrical Engineering and Computer Science Stanford University United States

ISBN: (纸本)0897910664

Most new computer architectures are concerned with maximizing performance by providing suitable instruction sets for compiled code and providing support for systems functions. We argue that the most effective design methodology must make simultaneous tradeoffs across all three areas: hardware, software support, and systems support. Recent trends lean towards extensive hardware support for both the compiler and operating systems software. However, consideration of all possible design tradeoffs may often lead to less hardware support. Several examples of this approach are presented, including: omission of condition codes, wordaddressed machines, and imposing pipeline interlocks in software. The specifics and performance of these approaches are examined with respect to the MIPS processor. © 1982 ACM.

关键词： Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Software engineering and Formal Methods 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Carlos Canal Akram Idani

ISBN: (数字)9783319152011

ISBN: (纸本)9783319152004

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd international Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th international Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

关键词： Logics and Meanings of Programs Software engineering programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the international conferences on Digital Technology Driven engineering 2024 1

Proceedings of the International Conferences on Digital Tech...

引用

丛书名： Lecture Notes in Civil engineering

1000年

作者： Nikos D. Lagaros Savvas P. Triantafyllou Rajai Z. Alrousan Mohammad A. Alhassan Khairedin M. Abdalla

ISBN: (数字)9783031920295

ISBN: (纸本)9783031920288;9783031920318

This book gathers the latest advances, innovations, and applications in the field of engineering optimization and architectural design, presented at the 1st international conference on ADDitively Manufactured OPTimized structures by means of Machine Learning (ADDOPTML), held in Amman, Jordan, on October 1–4, 2024, jointly with conferences OPTARCH2024 and OPT-ii2024. It covers topics such as machine learning-based design manufacturing process for civil structures, additive manufacturing optimized structural elements, holistic machine learning aided, linear, nonlinear, stochastic, parametric, discrete and dynamic programming—modelling, hybrid methods with metaheuristics, machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, emergent nature-inspired algorithms such as quantum computing and artificial immune systems. Written by leading researchers and engineers, and selected by means of a rigorous international peer-review process, the contributions highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

关键词： Data engineering structural Materials Optimization Industrial and Production engineering

来源：评论

学校读者我要写书评

暂无评论

ICTERI 2021 Workshops 1

引用

丛书名： Communications in Computer and Information science

1000年

作者： Oleksii Ignatenko Vyacheslav Kharchenko Vitaliy Kobets Hennadiy Kravtsov Yulia Tarasich Aleksander Spivakovsky Vadim Ermolayev David Esteban Vitaliy Yakovyna

ISBN: (数字)9783031148415

ISBN: (纸本)9783031148408

This book contains the workshops papers presented at the 17th international conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, in September-October 2021.;The 33 revised full papers and 4 short papers included in this volume were carefully reviewed and selected from 105 initial submissions. The papers are organized according to the following workshops: 9th international Workshop on Information Technology in Economic Research (ITER 2021); 5th international Workshop on Methods, Resources and Technologies for Open Learning and Research (MROL 2021); international Workshop RMSEBT 2021: Rigorous Methods in Software engineering and Blockchain Technologies; 7th international Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT 2021); 1st Ukrainian Natural Language Processing Workshop (UNLP 2021).

关键词： Computers and Education Information Systems Applications (incl. Internet) artificial Intelligence Data structures and Information Theory Software engineering/programming and Operating Systems Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Perspectives in Conceptual Modeling 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Jacky Akoka stephen W. Liddle Il-Yeol Song Michela Bertolotto Isabelle Comyn-Wattiau Willem-Jan Heuvel Manuel Kolp Juan Trujillo Christian Kop Heinrich C. Mayr

ISBN: (数字)9783540322399

ISBN: (纸本)9783540293958

We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th international conference on Conceptual Modeling. The objective of these workshops was to extend the spectrum of the main conferencebygivingparticipantsanopportunitytopresentanddiscussemerging hot topics related to conceptual modeling and to add new perspectives to this key mechanism for understanding and representing organizations, including the new “virtual” e-environments and the information systems that support them. To meet this objective, we selected 5 workshops: – AOIS 2005: 7th international Bi-conference Workshop on Agent-Oriented Information Systems – BP-UML 2005: 1st international Workshop on Best Practices of UML – CoMoGIS 2005: 2nd international Workshop on Conceptual Modeling for Geographic Information Systems – eCOMO 2005: 6th international Workshop on Conceptual Modeling - proaches for E-business – QoIS 2005: 1st international Workshop on Quality of Information Systems These 5 workshops attracted 18, 27, 31, 9, and 17 papers, respectively. F- lowing the ER workshopphilosophy, program committees selected contributions on the basis of strong peer reviews in order to maintain a high standard for accepted papers. The committees accepted 8, 9, 12, 4, and 7 papers, for acc- tance ratesof 44%,33%,39%,44%, and 41%,respectively. In total, 40 workshop papers were selected out of 102 submissions with a weighted averageacceptance rate of 40%.

关键词： Software engineering/programming and Operating Systems Simulation and Modeling Information Systems Applications (incl. Internet) Database Management Information storage and Retrieval artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Advances in Service-Oriented and Cloud Computing 1

引用

丛书名： Communications in Computer and Information science

1000年

作者： Christian Zirpins Iraklis Paraskakis Vasilios Andrikopoulos Nane Kratzke Claus Pahl Nabil El Ioini Andreas S. Andreou George Feuerlicht Winfried Lamersdorf Guadalupe Ortiz Willem-Jan Van den Heuvel Jacopo Soldani Massimo Villari Giuliano Casale Pierluigi Plebani

ISBN: (数字)9783030719067

ISBN: (纸本)9783030719050

This volume contains the technical papers presented in the workshops, PhD Symposium and EU Projects Track which took place at the 8th European conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020: 1st international Workshop on Edge Adoption and Migration, EdgeWays 2020, 16th international Workshop on engineering Service-Oriented Applications and Cloud Services, WESOACS 2020, ESOCC 2020 PhD Symposium, ESOCC 2020 EU Projects Track. Due to the COVID-19 pandemic the conference and workshops were held in a virtual format.

关键词： Software engineering/programming and Operating Systems Information Systems and Communication Service Computer Communication Networks Computer System Implementation Special Purpose and Application-Based Systems Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Software Architecture. ECSA 2022 Tracks and Workshops 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Thais Batista Tomáš Bureš Claudia Raibulet Henry Muccini

ISBN: (数字)9783031368899

ISBN: (纸本)9783031368882

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.;Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th international Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures international Workshop (CASA); 6th international Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd international Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd international Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd international Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st international Workshop on Digital Twin Architecture (TwinArch).

关键词： Software engineering/programming and Operating Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共65页 << < 56 57 58 59 60 61 62 63 64 65 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：