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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,828 篇 会议
3,434 篇 期刊文献
17 册 图书

馆藏范围

8,279 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

7,617 篇 工学
- 6,962 篇 计算机科学与技术...
- 6,050 篇 软件工程
- 537 篇 信息与通信工程
- 514 篇 控制科学与工程
- 463 篇 电气工程
- 266 篇 电子科学与技术（可...
- 202 篇 材料科学与工程（可...
- 153 篇 土木工程
- 145 篇 建筑学
- 133 篇 机械工程
- 90 篇 测绘科学与技术
- 89 篇 仪器科学与技术
- 75 篇 航空宇航科学与技...
- 68 篇 生物工程
- 67 篇 生物医学工程（可授...
- 48 篇 光学工程
- 47 篇 化学工程与技术
1,422 篇 理学
- 1,049 篇 数学
- 197 篇 物理学
- 114 篇 统计学（可授理学、...
- 89 篇 生物学
- 79 篇 系统科学
- 66 篇 化学
891 篇 管理学
- 491 篇 图书情报与档案管...
- 460 篇 管理科学与工程(可...
- 195 篇 工商管理
123 篇 教育学
- 94 篇 教育学
- 33 篇 心理学(可授教育学...
72 篇 医学
- 46 篇 临床医学
47 篇 军事学
40 篇 经济学
- 40 篇 应用经济学
30 篇 法学
24 篇 农学
7 篇 文学
3 篇 艺术学
1 篇 哲学

主题

8,279 篇 computer program...
55 篇 language
42 篇 computer softwar...
34 篇 programming lang...
32 篇 artificial intel...
31 篇 programming
30 篇 maximum likeliho...
29 篇 computer program...
28 篇 codes
28 篇 machine learning
23 篇 semantics
22 篇 logic programmin...
20 篇 computer science
20 篇 algorithms
18 篇 computers
18 篇 coverage
17 篇 ml
17 篇 multiple input m...
17 篇 computer languag...
17 篇 students

机构

11 篇 carnegie mellon ...
10 篇 carnegie-mellon ...
9 篇 carnegie mellon ...
8 篇 stanford univ ca...
8 篇 ibm san jose ca ...
7 篇 univ of californ...
7 篇 ibm t. j. watson...
6 篇 univ of tokyo
6 篇 mit cambridge ma...
6 篇 yale univ new ha...
6 篇 ibm t j watson r...
6 篇 carnegie mellon ...
6 篇 at&t bell lab mu...
5 篇 inria
5 篇 univ of miami co...
5 篇 cwi
5 篇 oak ridge natl l...
5 篇 univ of pennsylv...
5 篇 harvard univ cam...
5 篇 chalmers univ of...

作者

82 篇 anon
11 篇 baird george n.
11 篇 cordy james r.
10 篇 cook margaret m.
9 篇 dastani mehdi
9 篇 cardelli luca
8 篇 takeuchi ikuo
8 篇 mitchell john c.
8 篇 ghezzi carlo
8 篇 amamiya makoto
8 篇 leblanc richard ...
8 篇 lucas salvador
8 篇 cooke daniel e.
8 篇 pritsker a.alan ...
8 篇 wasserman anthon...
8 篇 morrisett greg
8 篇 hennessy matthew
8 篇 kobayashi naoki
7 篇 hasegawa ryuzo
7 篇 futatsugi kokich...

语言

6,727 篇 英文
1,242 篇 其他
144 篇 德文
48 篇 法文
37 篇 中文
34 篇 俄文
22 篇 日文
9 篇 意大利文
7 篇 波兰文
3 篇 匈牙利文
2 篇 荷兰文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 斯洛伐克文
1 篇 瑞典文

检索条件"主题词=Computer programming languages"

共 8279 条记录，以下是381-390 订阅

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

详细简洁

排序：

Pin Count-Aware Biochemical Application Compilation for mVLSI Biochips 17

Pin Count-Aware Biochemical Application Compilation for mVLS...

引用

Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP)

作者： Raagaard, Michael Lander Pop, Paul Tech Univ Denmark DK-2800 Lyngby Denmark

ISBN: (纸本)9781479986255

Microfluidic biochips are replacing the conventional biochemical analyzers and are able to integrate the necessary functions for biochemical analysis on-chip. In this paper we are interested in flow-based biochips, in which the fluidic flow manipulated using integrated microvalves, which are controlled from external pressure sources, connected to "control pins". By combining several microvalves, more complex units, such as micropumps, switches, mixers, and multiplexers, can be built. The current practice is to design these biochips by hand in drawing tools such as AutoCAD, and to program them manually by individually controlling each valve. Recent research has proposed top-down physical synthesis computer-Aided Design tools, and programming languages and compilation techniques to automatically derive the control signals for the valve actuations. However, researchers have so far assumed that the number of ports used to drive the valves (control pins) is unlimited, which has resulted in very expensive, bulky and energy consuming off-chip control and infeasible control routes in the biochip control layer. In this paper, we propose a methodology to reduce the number of control pins required to run a biochemical application. We focus on the compilation task, where the strategy is to delay operations, without missing their deadlines, such that the sharing of control signals is maximized. The evaluation shows a significant reduction in the number of control pins required.

关键词： Biochips PIN Bone Nails CONTROL SIGNAL VALVE GATE chip control Standing Orders MULTIPLEXOR microvalves computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Video Quality Assessment and Machine Learning: Performance and Interpretability 7

Video Quality Assessment and Machine Learning: Performance a...

引用

7th International Workshop on Quality of Multimedia Experience (QoMEX)

作者： Sogaard, Jacob Forchhammer, Soren Korhonen, Jari Tech Univ Denmark DK-2800 Lyngby Denmark

ISBN: (纸本)9781479989584

In this work we compare a simple and a complex Machine Learning (ML) method used for the purpose of Video Quality Assessment (VQA). The simple ML method chosen is the Elastic Net (EN), which is a regularized linear regression model and easier to interpret. The more complex method chosen is Support Vector Regression (SVR), which has gained popularity in VQA research. Additionally, we present an ML-based feature selection method. Also, it is investigated how well the methods perform when tested on videos from other datasets. Our results show that content-independent cross-validation performance on a single dataset can be misleading and that in the case of very limited training and test data, especially in regards to different content as is the case for many video datasets, a simple ML approach is the better choice.

关键词： Quality assessment Videotapes interpretability computer programming languages Artificial Intelligence Machine Learning Dataset observational data

来源：评论

学校读者我要写书评

暂无评论

Picture: A Probabilistic programming Language for Scene Perception

<i>Picture</i>: A Probabilistic Programming Language for Sce...

引用

IEEE Conference on computer Vision and Pattern Recognition (CVPR)

作者： Kulkarni, Tejas D. Kohli, Pushmeet Tenenbaum, Joshua B. Mansinghka, Vikash MIT Cambridge MA 02139 USA Microsoft Res Redmond WA USA

ISBN: (纸本)9781467369640

Recent progress on probabilistic modeling and statistical learning, coupled with the availability of large training datasets, has led to remarkable progress in computer vision. Generative probabilistic models, or "analysis-by-synthesis" approaches, can capture rich scene structure but have been less widely applied than their discriminative counterparts, as they often require considerable problem-specific engineering in modeling and inference, and inference is typically seen as requiring slow, hypothesize-and-test Monte Carlo methods. Here we present Picture, a probabilistic programming language for scene understanding that allows researchers to express complex generative vision models, while automatically solving them using fast general-purpose inference machinery. Picture provides a stochastic scene language that can express generative models for arbitrary 2D/3D scenes, as well as a hierarchy of representation layers for comparing scene hypotheses with observed images by matching not simply pixels, but also more abstract features (e.g., contours, deep neural network activations). Inference can flexibly integrate advanced Monte Carlo strategies with fast bottom-up data-driven methods. Thus both representations and inference strategies can build directly on progress in discriminatively trained systems to make generative vision more robust and efficient. We use Picture to write programs for 3D face analysis, 3D human pose estimation, and 3D object reconstruction - each competitive with specially engineered baselines.

关键词： picture computer programming languages Probabilistic Model Statistical learning programming image matching Monte Carlo technique Social Hierarchy

来源：评论

学校读者我要写书评

暂无评论

An Execution-Semantic and Content-and-Context-Based Code-Clone Detection and Analysis 9

An Execution-Semantic and Content-and-Context-Based Code-Clo...

引用

IEEE 9th International Workshop on Software Clones (IWSC)

作者： Kamiya, Toshihiro Future Univ Hakodate Sch Syst Informat Sci Dept Media Architecture Hakodate Hokkaido Japan

ISBN: (纸本)9781467369145

This paper presents a code-clone detection and its analysis method, based on an execution-semantic and arbitrary-granularity model[8] of code fragments The principal goal of introducing the proposed detection method is to provide a code-clone detection method suitable for programming languages, where software developers can define their own "control sentences" with such as lambda or lazy evaluation. Code clones detected with the proposed method are a kind of type-3 clone, where code fragments exist across boundaries of procedures or modules. The model also seems useful as clone metrics (for a clone triage) based on the contents and contexts of code fragments in a clone class and extensible to a unified method of code-clone detection and code search. This paper introduces an execution-semantic and content-and-context based code clone, describes its definition, a detection method, an analysis method, and a prototype implementation of a tool chain, which was applied to two open-source products as an preliminary empirical evaluation.

关键词： Codes inspection methods Clone Cells tool chain EXPANDABLE computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Toward Interlanguage Parallel Scripting for Distributed-Memory Scientific Computing

Toward Interlanguage Parallel Scripting for Distributed-Memo...

引用

IEEE International Conference on Cluster Computing (CLUSTER)

作者： Wozniak, Justin M. Armstrong, Timothy G. Maheshwari, Ketan C. Katz, Daniel S. Wilde, Michael Foster, Ian T. Argonne Natl Lab Div Math & Comp Sci 9700 S Cass Ave Argonne IL 60439 USA Univ Chicago Dept Comp Sci Chicago IL 60637 USA Univ Chicago Computat Inst Chicago IL 60637 USA Argonne Natl Lab Chicago IL 60611 USA

ISBN: (纸本)9781467365987

Scripting languages such as Python and R have been widely adopted as tools for the productive development of scientific software because of the power and expressiveness of the languages and available libraries. However, deploying scripted applications on large-scale parallel computer systems such as the IBM Blue Gene/Q or Cray XE6 is a challenge because of issues including operating system limitations, interoperability challenges, parallel filesystem overheads due to the small file system accesses common in scripted approaches, and other issues. We present here a new approach to these problems in which the Swift scripting system is used to integrate high-level scripts written in Python, R, and Tcl, with native code developed in C, C++, and Fortran, by linking Swift to the library interfaces to the script interpreters. In this approach, Swift handles data management, movement, and marshaling among distributed-memory processes without direct user manipulation of low-level communication libraries such as MPI. We present a technique to efficiently launch scripted applications on large-scale supercomputers using a hierarchical programming model.

关键词： C++ language FORTRAN authoring languages data handling distributed memory systems message passing natural sciences computing open systems parallel machines parallel programming program interpreters software libraries C code C++ code Cray XE6 Fortran code IBM Blue Gene/Q MPI Python R language Swift scripting system Tcl language data management data marshaling data movement distributed-memory process distributed-memory scientific computing hierarchical programming model high-level scripts interlanguage parallel scripting interoperability large-scale parallel computer systems large-scale supercomputers library interface low-level communication libraries operating system limitation parallel file system overhead scientific software development script interpreter scripted application scripting language small file system access Complexity theory computer architecture Engines Libraries authoring languages message passing translator Pythonidae computer programming languages distributed memory systems Software libraries C language mannose phosphate isomerase remote procedure calls C CODES Data management data processing computer Architecture Complexity theory

来源：评论

学校读者我要写书评

暂无评论

SuperContra: Cross-Language, Cross-Runtime Contracts As a Service

SuperContra: Cross-Language, Cross-Runtime Contracts As a Se...

引用

2015 IEEE International Conference on Cloud Engineering

作者： Dimopoulos, Stratos Krintz, Chandra Wolski, Rich Gupta, Anand Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA

ISBN: (纸本)9781479982189

This paper presents SuperContra - a Design-by-Contract (DbC) framework that can ship with future PaaS offerings to enforce lightweight contracts across different programming systems, as-a-service. SuperContra is unique in that developers employ a familiar, high-level language to write contracts regardless of the programming language used to implement the component under test. We evaluate SuperContra using widely used, open-source software and compare its performance against existing DbC frameworks. Our results show that SuperContra performs on par with non-service-based DbC approaches and in some cases similarly to code running without contracts.

关键词： contract open source software Legal Services computer programming languages Developers language level source software high level language(hll) Unique Running Frameworks

来源：评论

学校读者我要写书评

暂无评论

General Efficiency Analysis for the Sparrow programming Language 20

General Efficiency Analysis for the Sparrow Programming Lang...

引用

20th International Conference on System Controls and computer Science 2015

作者： Teodorescu, Lucian Radu Dumitrel, Vlad Potolea, Rodica Tech Univ Cluj Napoca Cluj Napoca Romania Univ Politehn Bucuresti Bucharest Romania

ISBN: (纸本)9781479917808

The designs of programming languages emphasize efficiency and naturalness to various degrees. It is often the case that one aspect is undervalued in favor of the other. Sparrow is a programming language that attempts to maximize both efficiency and naturalness, while also remaining flexible. This paper studies Sparrow's general efficiency, analyzing the performance of fundamental language and library components. Several case studies are presented, showing that Sparrow enables concise code to yield efficient programs.

关键词： efficiency generic programming programming languages computer programming languages Sparrows generic program

来源：评论

学校读者我要写书评

暂无评论

Improved Crop Classification using Multitemporal RapidEye Data 8

Improved Crop Classification using Multitemporal RapidEye Da...

引用

2015 8th International Workshop on the Analysis of Multitemporal Remote Sensing Images (Multi-Temp)

作者： Beyer, Florian Jarmer, Thomas Siegmann, Bastian Fischer, Peter Univ Osnabruck Inst Geoinformat & Remote Sensing IGF Barabarastr 22b D-49076 Osnabruck Germany German Aerosp Ctr DLR Remote Sensing Technol Inst D-82234 Wessling Germany

ISBN: (纸本)9781467371193

Land Use/Land Cover (LU/LC) of agricultural areas derived from remotely sensed data still remains very challenging. With regard to the rising availability and the improving spatial resolution of satellite data, multitemporal analyses become increasingly important for remote sensing investigations. Even crops with similar spectral behaviour can be separated by adding spectral information of different phenological stages. Hence, the potential of multi-date RapidEye data for classifying numerous agricultural classes was investigated in this study. In an agricultural area in Northern Israel two complete crop cycles 2013 and 2014 with two cultivation periods each were investigated. In order to avoid a high number of classification runs, a pre-procedure was tested to get the multitemporal data set which provides best spectral separability. Therefore, Jeffries-Matusita (JM) measure was used in order to obtain the best multitemporal setting of all available images within one cultivation period. Eight classifiers were applied to compare the potential of separating crops. The three algorithms Maximum Likelihood (ML), Random Forest (RF) and Support Vector Machine (SVM) outperformed by far the other classifiers with Overall Accuracies higher than 90 %. The processing time of ML and RF, however, was significantly shorter compared to SVM, in fact by a factor of five to seven.

关键词： Support Vector Network crops computer programming languages radiofrequency agricultural regions Classifiers multitemporal analysis Spatial resolution Avian Crop

来源：评论

学校读者我要写书评

暂无评论

Look ma, no templates! Problem-based learning of computational physics for novice programmers 45

Look ma, no templates! Problem-based learning of computation...

引用

45th Annual Frontiers in Education Conference (FIE)

作者： Roundy, David Krebs, Eric J. Schulte, Jeff B. Mulder, Greg S. Oregon State Univ Dept Phys Corvallis OR 97331 USA Linn Benton Community Coll Dept Phys Sci Albany OR 97321 USA

ISBN: (纸本)9781479984541

We present a problem-based approach to teach computational physics to junior-level students with a variety of programming skill levels, many of whom have only 10 weeks of prior programming experience. The students solve tasks, relating to their current class topics, which are mathematically challenging but computationally tractable. The tasks are chosen to develop and reinforce student understanding of traditional physics content. We provide students with minimal code examples (47 lines of python code in a one-year lab sequence) and no textbook, and require students to search the internet for help to achieve the tasks assigned. This is effective through the use of a pair-programming pedagogy, when students are given tasks at a suitable level. This pedagogical approach should be transferable to any mathematical discipline for which computation is appropriate. Because student effort is focused towards accomplishing tasks within their discipline, they gain the practical skills needed to use computation effectively. Because we give students no templates or example code, they are forced to develop the skill of learning a programming language, and debugging code. This gives students confidence, and prepares them to learn other programming languages in their future career: a most important skill!

关键词： computer bugs computer languages Education Electric potential Physics programming Visualization computer programming languages Students programming potential computational physics Religious Missions Visualization Physics Education Codes

来源：评论

学校读者我要写书评

暂无评论

GPU Computing in Bayesian Inference of Realized Stochastic Volatility Model 3

GPU Computing in Bayesian Inference of Realized Stochastic V...

引用

3rd International Conference on Mathematical Modeling in Physical Sciences (IC-MSQUARE)

作者： Takaishi, Tetsuya Hiroshima Univ Econ Hiroshima 7310192 Japan

ISBN: (纸本)9781634399074

The realized stochastic volatility (RSV) model that utilizes the realized volatility as additional information has been proposed to infer volatility of financial time series. We consider the Bayesian inference of the RSV model by the Hybrid Monte Carlo (HMC) algorithm. The HMC algorithm can be parallelized and thus performed on the GPU for speedup. The GPU code is developed with CUDA Fortran. We compare the computational time in performing the HMC algorithm on GPU (GTX 760) and CPU (Intel i7-4770 3.4GHz) and find that the GPU can be up to 17 times faster than the CPU. We also code the program with OpenACC and find that appropriate coding can achieve the similar speedup with CUDA Fortran.

关键词： Bayesian inference Volatility computational time Time series computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 35 36 37 38 39 40 41 42 43 44 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：