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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

92 篇 会议
1 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

65 篇 工学
- 46 篇 计算机科学与技术...
- 39 篇 软件工程
- 12 篇 信息与通信工程
- 9 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
6 篇 理学
- 4 篇 数学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
4 篇 法学
- 4 篇 社会学
2 篇 医学
- 2 篇 临床医学
- 1 篇 基础医学(可授医学...
- 1 篇 公共卫生与预防医...
1 篇 教育学
- 1 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

4 篇 design patterns
3 篇 pattern matching
3 篇 design
3 篇 machine learning
3 篇 pattern language
2 篇 tools
2 篇 career
2 篇 educational patt...
2 篇 program synthesi...
2 篇 program repair
2 篇 brain-computer i...
2 篇 electronic mail
2 篇 pattern language...
2 篇 natural language...
2 篇 education
2 篇 binding time
2 篇 pattern recognit...
2 篇 powerpoint
2 篇 cybersecurity
2 篇 pattern selectio...

机构

2 篇 infineon technol...
2 篇 university of co...
2 篇 department of co...
2 篇 brightone munich
2 篇 syracom ag
2 篇 graz university ...
2 篇 univ calif los a...
2 篇 han university o...
2 篇 university duisb...
2 篇 university of ca...
2 篇 cert program sof...
2 篇 technische unive...
1 篇 univ waterloo wa...
1 篇 ist italiano tec...
1 篇 eãtvãs lorãind u...
1 篇 kyushu univ dept...
1 篇 univ wisconsin m...
1 篇 pricewaterhousec...
1 篇 greenhouse techn...
1 篇 university of be...

作者

2 篇 bhatia sahil
2 篇 preschern christ...
2 篇 lu bao-liang
2 篇 kreiner christia...
2 篇 seshia sanjit a.
2 篇 christian kreine...
2 篇 christopher pres...
2 篇 shi li-chen
2 篇 moore andrew p.
2 篇 iba takashi
2 篇 kim miryung
2 篇 cheung alvin
1 篇 azal wasif
1 篇 geman oana
1 篇 cai minzhi
1 篇 khiu eric
1 篇 viciana-abad raq...
1 篇 li shutao
1 篇 zhao jin
1 篇 steger christian

语言

92 篇 英文
2 篇 其他

检索条件"任意字段=Proceedings of the 18th European Conference on Pattern Languages of Program"

共 94 条记录，以下是21-30 订阅

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

详细简洁

排序：

18th Asian Symposium on programming languages and Systems, APLAS 2020

18th Asian Symposium on Programming Languages and Systems, A...

引用

18th Asian Symposium on programming languages and Systems, APLAS 2020

ISBN: (纸本)9783030644369

the proceedings contain 19 papers. the special focus in this conference is on programming languages and Systems. the topics include: A Set-Based Context Model for program Analysis;algebraic and Coalgebraic Perspectives on Interaction Laws;stack-Driven program Generation of WebAssembly;banyan: Coordination-Free Distributed Transactions over Mergeable Types;automatically Generating Descriptive Texts in Logging Statements: How Far Are We?;parameterized Synthesis with Safety Properties;relational Synthesis for pattern Matching;REFINITY to Model and Prove program Transformation Rules;a Counterexample-Guided Debugger for Non-recursive Datalog;a Symbolic Algorithm for the Case-Split Rule in String Constraint Solving;P3 : A Profiler Suite for Parallel Applications on the Java Virtual Machine;declarative Stream Runtime Verification (hLola);formal Verification of Atomicity Requirements for Smart Contracts;neural Networks, Secure by Construction: An Exploration of Refinement Types;A New Refinement Type System for Automated νHFLZ Validity Checking;behavioural Types for Memory and Method Safety in a Core Object-Oriented Language;syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A pattern for trust trap mitigation 11

A pattern for trust trap mitigation

引用

18th conference on pattern languages of programs, PLoP 2011

作者： Mundie, David A. Moore, Andrew P. CERT Program Software Engineering Institute Carnegie Mellon University 4500 Fifth Avenue Pittsburgh PA 15213 United States

ISBN: (纸本)9781450312837

Insider threat research at the CERT program has shown that many organizations fall into a vicious cycle of trust and insider threat: organizations do not detect any suspicious insider behavior, so they trust their insiders, do not monitor them, and consequently do not detect suspicious insider behavior. this paper presents a pattern that can break this vicious cycle. © Copyright 2011 Carnegie Mellon University.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

A review of HDL-based system for real-time image processing used in tumors screening 18

A review of HDL-based system for real-time image processing ...

引用

18th International conference on System theory, Control and Computing (ICSTCC)

作者： Chiuchisan, Iuliana Geman, Oana Stefan Cel Mare Univ Suceava Dept Comp Sci Elect & Automat Fac Elect Engn & Comp Sci Suceava Romania

ISBN: (纸本)9781479946013

the use of hardware description languages to provide digital image processing results is a recent technique that offers a direct connection to reconfigurable hardware implementation. this paper presents a real time system for digital image processing using Verilog hardware description language that can be followed by immediate hardware implementation possibility. the image enhancement algorithms included in the described system were applied to an ultrasound image. the paper focuses on image enhancement methods such as contrast and brightness transformation, inverting and pseudo-coloring images, described and simulated using Verilog hardware description language. With our study we intend to contribute to the diagnoses of invasive and non-invasive methods in pre-operator stage, using modern VLSI technologies with applications in medical imaging.

关键词： borderline tumors medical imaging real-time processing VLSI technologies hardware description languages FPGA

来源：评论

学校读者我要写书评

暂无评论

patterns for strategy management of Technology Entrepreneurship and Innovation MSc program

Patterns for strategy management of Technology Entrepreneurs...

引用

14th Annual european conference on pattern languages of programming, EuroPLoP 2009

作者： Todorova, Yanka Ruskov, Petko Gourova, Elissaveta Harris, Mark Sofia University Faculty of Mathematics and Informatics Sofia Bulgaria Intel GmbH Germany

ISBN: (纸本)9781446693636

the paper introduces three patterns for use by university managers and lecturers for creating of Master of Science (MSc) program in engineering and science faculties, developing entrepreneurial skills: • TECHNOLOGY ENTREPRENEURSHIP AND INNOVATION (TEI) CURRICULA - provide a valuable and computational set of courses to guarantee the competence of graduate students in the turbulent environment;• TEI MSc program - create the road map for successful implementation of the technology entrepreneurship graduate education;• TEACHERS TEAM - when the human capital is scarce, focus the stress on attracting and retains the best professionals in the fields. the authors experimented with the MSc graduate Technology Entrepreneurship curriculum design and implementation of the program in the university master level teaching, and used a mix of methods and observation techniques to assess its feasibility and applicability for developing the winning strategy.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

A formal pattern language for refactoring of Lisp programs

A formal pattern language for refactoring of Lisp programs

引用

6th european conference on Software Maintenance and Reengineering (CSMR 2002)

作者： Leitao, AM Univ Tecn Lisboa Dept Informat Engn Grp Inteligencia Artificial Inst Super Tecn P-1049001 Lisbon Portugal

ISBN: (纸本)0769514383

Refactoring tools are extremely important to prevent errors in legacy systems restructuring. Unfortunately, to be effective, these tools require huge computer resources that cause unacceptable inefficiencies or limit the size of the restructured programs or even the programming language expressiveness. Previous approaches also made it difficult for the programmer to extend the tool with new refactoring operations. pattern languages exist that describe several techniques to refactor a program. However they are usually described at a very abstract level that is understandable only by a human programmer and that is hard to implement in refactoring tools. We present a formal pattern language that solves these problems. the pattern language is used to define refactoring operations that can be as powerful as is computationally possible but that are very easy to write. the language simplicity also allows for the automatic learning of new refactoring operations from the observation of manual code transformations.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

A pattern language on how to apply visual instrument PRISM 18

A pattern language on how to apply visual instrument PRISM

引用

18th european conference on pattern languages of program, EuroPLoP 2013

作者： Holtel, Stefan BrightONE Munich Germany

ISBN: (纸本)9781450334655

PRISM is a visual instrument that improves a person's cognitive reasoning by facilitating the process of thinking. Its origins stem from efforts and experiences of psychotherapeutics in the early 1990s. Meanwhile the PRISM methodology - an acronym for «Pictorial Representation of Selfness Ill-Measure» - has spread wider to such domains as coaching processes, participant feedback and project management. this paper outlines a pattern language that should help PRISM facilitators to realize specific PRISM features when adapting this instrument to their dedicated domains. Research has shown strong effectivity and efficacy of using PRISM. Its modus operandi is based on a number of theoretical concepts like the relationship between humans and tools, the presentation of thoughts in a brain as mental models, and the power of visual metaphors. the author aims to extract and outline some patterns that seem to be key drivers to achieve most benefit from PRISM and will hopefully lower the threshold for those who want successfully leverage this methodology for their own purposes. © 2015 ACM.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

EuroPLoP 2009: 14th Annual european conference on pattern languages of programming

EuroPLoP 2009: 14th Annual European Conference on Pattern La...

引用

14th Annual european conference on pattern languages of programming, EuroPLoP 2009

the proceedings contain 32 papers. the topics discussed include: enterprise architecture management patterns for enterprise architecture visioning;roles in a software project;applied pattern for strategy management of technology entrepreneurship and innovation MSc program;performance of open source projects;the role of analysis patterns in systems analysis;a service for software pattern selection;applying architectural patterns for parallel programming: solving the one-dimensional heat equation;towards formalized adaptation patterns for adaptive interactive systems;a pattern driven approach against architectural knowledge vaporization;reusable architectural decisions for DSL design: foundational decisions in DSL projects;a pattern vocabulary for product distribution;business patterns for knowledge audit implementation;applying distributed development patterns;and software design reviews.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automating test program generation in STIL - Expectations and experiences using IEEE 1450 8

Automating test program generation in STIL - Expectations an...

引用

8th IEEE european Test Workshop

作者： Lang, H Pande, B Ahrens, H Motorola Inc Schaumburg IL 60196 USA

ISBN: (纸本)0769519083

At the International Test conference 2002 several low cost test solutions were presented. All of these solutions promised to establish a close link between Automatic Test pattern Generation, ATE based testing and Fault Diagnosis/Analysis by using the IEEE 1450 Standard Test Interface Language (STIL). However, the reality is different. this paper describes the integration of a STIL based tester into the standard Motorola test program generation flow. the expected benefits of this very low cost test approach are measured against the problems which had to be solved in order to achieve a high degree of automation. All remaining problems described in this paper need to be addressed by the EDA vendors, the ATE companies and the different STIL committees. Only when these issues are resolved STIL will become a success for the test world.

关键词： Assembly Automatic test pattern generation Automatic testing conferences Debugging Discrete event simulation Hardware design languages Silicon Test pattern generators Timing

来源：评论

学校读者我要写书评

暂无评论

Introduction of design pattern(s) for power-management in embedded systems 18

Introduction of design pattern(s) for power-management in em...

引用

18th european conference on pattern languages of program, EuroPLoP 2013

作者： Menghin, Manuel Druml, Norbert Preschern, Christopher Steger, Christian Weiss, Reinhold Bock, Holger Haid, Josef Graz University of Technology Austria Infineon Technologies Austria AG Germany

ISBN: (纸本)9781450334655

Resource management is important because of the rising diversity and the resource constraints, like energy, of embedded systems. Energy-constraints are especially challenging in mobile systems like smart phones. A solution to deal with these constraints are power-management techniques that are often only general design principles. Consequently, implementation is often done by experts only. One common approach is to optimize hardware and software until the energy-constraints are fulfilled. this leads to resulting solutions working only for one specific use case. So why shouldn't we mine and use design patterns for power-management in embedded systems from these individual solutions. In contribution, we extended the dynamics and consequence section of the pattern structure to be able to describe the impact to the power consumption. We used the extended structure and mined an example pattern called Energy Valve as a start for mining others.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Using the web to reduce data sparseness in pattern-based information extraction

Using the web to reduce data sparseness in pattern-based inf...

引用

18th european conference on Machine Learning (ECML 2007)/11th european conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007)

作者： Blohm, Sebastian Cimiano, Philipp Univ Karlsruhe Inst AIFB Karlsruhe Germany

ISBN: (纸本)9783540749752

Textual patterns have been used effectively to extract information from large text collections. However they rely heavily on textual redundancy in the sense that facts have to be mentioned in a similar manner in order to be generalized to a textual pattern. Data sparseness thus becomes a problem when trying to extract information from hardly redundant sources like corporate intranets, encyclopedic works or scientific databases. We present results on applying a weakly supervised pattern induction algorithm to Wikipedia to extract instances of arbitrary relations. In particular, we apply different configurations of a basic algorithm for pattern induction on seven different datasets. We show that the lack of redundancy leads to the need of a large amount of training data but that integrating Web extraction into the process leads to a significant reduction of required training data while maintaining the accuracy of Wikipedia. In particular we show that, though the use of the Web can have similar effects as produced by increasing the number of seeds, it leads overall to better results. Our approach thus allows to combine advantages of two sources: the high reliability of a closed corpus and the high redundancy of the Web.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：