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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

5 篇 会议

馆藏范围

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

日期分布

学科分类号

4 篇 工学
- 3 篇 计算机科学与技术...
- 2 篇 软件工程
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程
- 1 篇 控制科学与工程

主题

1 篇 fault detection ...
1 篇 xml
1 篇 generalized vari...
1 篇 moving variance ...
1 篇 semantics
1 篇 tool condition h...
1 篇 modular robots
1 篇 principal compon...

机构

1 篇 department of co...
1 篇 lsis st microele...
1 篇 modular robotics...
1 篇 emse cmp dept sc...
1 篇 roskilde univers...
1 篇 univ aix marseil...

作者

1 篇 nørmark kurt
1 篇 schultz ulrik pa...
1 篇 blue jakey
1 篇 pinaton jacques
1 篇 rhiger morten
1 篇 thieullen alexis
1 篇 roussy agnes

语言

5 篇 英文

检索条件"任意字段=2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012"

共 5 条记录，以下是1-10 订阅

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

详细简洁

排序：

Proceedings of the 2012 annual workshop on scheme and functional programming, scheme 2012 - Co-located with ICFP

Proceedings of the 2012 Annual Workshop on Scheme and Functi...

引用

2012 annual workshop on scheme and functional programming, scheme 2012

ISBN: (纸本)9781450318952

The proceedings contain 10 papers. The topics discussed include: scheme on the web and in the classroom - a retrospective about the LAML project;a sufficiently smart compiler for procedural records;optimizing closures in O(0) time;efficient compilation of tail calls and continuations to JavaScript;hygienic quasiquotation in scheme;Aspectscheme - aspects in higher-order languages;optimizing JavaScript code for V8;interpretations of the gradually-typed lambda calculus;form over function - teaching beginners how to construct programs;and using scheme to control simulated modular robots.

关键词：

来源：评论

学校读者我要写书评

暂无评论

scheme on the web and in the classroom: A retrospective about the LAML project

Scheme on the web and in the classroom: A retrospective abou...

引用

2012 annual workshop on scheme and functional programming, scheme 2012

作者： Nørmark, Kurt Department of Computer Science Aalborg University Denmark

ISBN: (纸本)9781450318952

LAML is a software system that brings XML languages into scheme as a collection of scheme functions. The XML languages are defined by XML document type definitions (DTDs). We review the development of LAML during more than a decade, and we collect the experiences from these efforts. The paper describes four substantial applications that have been developed on top of the LAML libraries. © 2012 Author.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Using scheme to control simulated modular robots

Using scheme to control simulated modular robots

引用

2012 annual workshop on scheme and functional programming, scheme 2012

作者： Schultz, Ulrik Pagh Modular Robotics Lab. Maersk McKinney Moller Institute University of Southern Denmark Denmark

ISBN: (纸本)9781450318952

Self-reconfigurable, modular robots are distributed mechatronic devices that can change their physical shape;modules are programmed individually but must coordinate across the robot. programming modular robots is difficult due to the complexity of programming a distributed embedded system with a dynamically evolving topology. We are currently experimenting with programming-language abstractions to help overcome these difficulties. This tutorial describes a few such experiments using scheme to control simulated modular robots. © 2012 Author.

关键词： Modular robots

来源：评论

学校读者我要写书评

暂无评论

Hygienic quasiquotation in scheme

Hygienic quasiquotation in scheme

引用

2012 annual workshop on scheme and functional programming, scheme 2012

作者： Rhiger, Morten Roskilde University Denmark

ISBN: (纸本)9781450318952

Quasiquotation in scheme is nearly ideal for implementing programs that generate other programs. These programs lack only the ability to generate fresh bound identifiers, as required to make such code-manipulating programs hygienic, but any scheme programmer knows how to provide this ability using gensym. In this tutorial we investigate hygienic quasiquotation in scheme and in languages influenced by scheme. Stepping back from implementation issues, we first identify the source of the freshness condition in the semantics of a hygienic quasiquotation facility. We then show how gensym is needed to break a meta-circularity in interpreters and compilers for hygienic quasiquotation. Finally, following our recent work, we present a type system for hygienic quasiquotation that supports evaluation under dynamic λ-abstraction, manipulation of open code, a first-class eval function, and mutable state. This tutorial outlines scheme programs implementing an interpreter, a compiler, and a macro for hygienic quasiquotation. © 2012 Author.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Efficient FDC based on Hierarchical Tool Condition Monitoring scheme

Efficient FDC based on Hierarchical Tool Condition Monitorin...

引用

23rd annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC)

作者： Blue, Jakey Roussy, Agnes Thieullen, Alexis Pinaton, Jacques EMSE CMP Dept Sci Fabricat & Logist Gardanne France LSIS ST Microelect France Marseille France Univ Aix Marseille 3 F-13628 Marseille France

ISBN: (纸本)9781467303514

Tool condition evaluation and prognosis has been an arduous challenge in modern semiconductor manufacturing environment, especially for the foundry and analog companies with high product-mix and complicated technology nodes. More and more embedded and external sensors are installed to capture the genuine tool status for tool fault identification and, thus, tool condition analysis based on real-time equipment data becomes promising but also much more complex with the rapidly-increased number of sensors. In this paper, the feasibility of Generalized Moving Variance (GMV) technique is validated to consolidate the pure variations within tool Fault Detection and Classification (FDC) data into one indicator. Based on GMV, a hierarchical tool condition monitor scheme is developed by analyzing the GMV within functional clusters of sensors. With the introduction of this hierarchy, abnormal tool condition can be diagnosed and drilled down into sensor level for an efficient root cause analysis.

关键词： Fault Detection and Classification (FDC) moving variance and covariance generalized variance principal component analysis tool condition hierarchy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：