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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

261 篇 会议
21 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

221 篇 工学
- 185 篇 软件工程
- 177 篇 计算机科学与技术...
- 22 篇 控制科学与工程
- 18 篇 电气工程
- 16 篇 信息与通信工程
- 8 篇 机械工程
- 7 篇 安全科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 电子科学与技术（可...
- 5 篇 交通运输工程
- 4 篇 光学工程
- 4 篇 材料科学与工程（可...
- 4 篇 航空宇航科学与技...
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
48 篇 理学
- 36 篇 数学
- 7 篇 系统科学
- 6 篇 生物学
- 5 篇 物理学
- 5 篇 化学
- 2 篇 统计学（可授理学、...
41 篇 管理学
- 25 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 9 篇 工商管理
10 篇 教育学
- 10 篇 教育学
- 2 篇 心理学(可授教育学...
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

23 篇 software enginee...
21 篇 design
19 篇 languages
11 篇 computer program...
11 篇 computer program...
10 篇 object oriented ...
9 篇 algorithms
8 篇 performance
8 篇 programming
8 篇 programming tech...
8 篇 code generation
7 篇 feature-oriented...
7 篇 automatic progra...
7 篇 java
7 篇 optimization
7 篇 generic programm...
7 篇 middleware
6 篇 generative progr...
6 篇 component
6 篇 software archite...

机构

4 篇 texas a&m univ c...
3 篇 univ alberta dep...
3 篇 school of space ...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 college of telec...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 institute of sys...
2 篇 univ southampton...
2 篇 shanghai yanding...
2 篇 univ marburg d-3...
2 篇 kansas state uni...
2 篇 department of in...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 school of inform...
2 篇 northeastern uni...
2 篇 sixty-third rese...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schaeffer j
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 szafron d
3 篇 cassou damien
3 篇 fischer bernd
2 篇 yuehui chen
2 篇 yang yuan
2 篇 javad marzbanrad
2 篇 hatcliff john
2 篇 guddat j

语言

278 篇 英文
13 篇 其他
1 篇 中文

检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"

共 291 条记录，以下是161-170 订阅

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

详细简洁

排序：

abc: the AspectBench compiler for AspectJ 05

abc: The AspectBench compiler for AspectJ

引用

4th international conference on generative programming and component engineering, GPCE 2005

作者： Allan, Chris Avgustinov, Pavel Christensen, Aske Simon Hendren, Laurie Kuzins, Sascha Lhoták, Jennifer Lhoták, Ondřej De Moor, Oege Sereni, Damien Sittampalam, Ganesh Tibbie, Julian Programming Tools Group Oxford University United Kingdom BRICS University of Aarhus Denmark Sable Research Group McGill University Montreal Canada

abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these ... 详细信息

ISBN: (纸本)3540291385

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

No-Reference Image Quality Assessment Based on Active Reasoning Module 6

No-Reference Image Quality Assessment Based on Active Reason...

引用

6th IEEE international conference on Electronic Information and Communication Technology, ICEICT 2023

作者： Qi, Junwei Deng, Yuhao Wang, Qingchun Yang, Zhen Li, Yingsong College of Information and Communication Engineering Harbin Engineering University Harbin150001 China Shanghai Yanding Information Technology Co. Ltd. Shanghai201210 China College of Computer Science and Technology Harbin Engineering University Harbin150001 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350399059

We present a no-reference image-quality - assessment algorithm based on active reasoning module. this algorithm has three modules: the feature extraction module, the active reasoning module, and the quality assessment module. the active reasoning module incorporates the generator component of the generative adversarial network and enhances its structure with the Res2Net architecture. By integrating this module into the backbone feature extraction network, we improve the receptive field of each convolutional layer, enabling the network to capture information at different scales of the image. To preserve the texture information of the image, we input the gradient map of the distorted image, the distorted image itself, and the image features generated by the generator into the quality assessment module, which has a multi-feature regression networks. this module establishes a mapping model from image-feature to image-quality scores. We conducted experimental analysis of this algorithm on three widely used public datasets, confirming the excellent performance and superiorities of the presented algorithm. the results validate the effectiveness of the designed algorithm and its ability to assess image quality accurately. © 2023 IEEE.

关键词： Image quality

来源：评论

学校读者我要写书评

暂无评论

generative programming for automatic differentiation

引用

6th international conference on Automatic Differentiation, AD 2012

作者： Nehmeier, Marco Institute of Computer Science University of Würzburg Am Hubland Würzburg D 97074 Germany

ISBN: (纸本)9783642300226

In this paper we present a concept for a C++ implementation of forward automatic differentiation of an arbitrary order using expression templates and template metaprogramming. In contrast to other expression template implementations, the expression tree in our implementation has only symbolic characteristics. the run-time code is then generated from the tree structure using template metaprogramming functions to apply the rules of symbolic differentiation onto the single operations at compile-time. this generic approach has the advantage that the template metaprogramming functions are replaceable which offers the opportunity to easily generate different specialized algorithms. We tested the functionality, correctness and performance of a prototype in different case studies for floating point as well as interval data types and compared it against other implementations. © 2012 Springer-Verlag.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Modeling, validating and automating composition of web services 06

Modeling, validating and automating composition of web servi...

引用

ICWE'06: 6th international conference on Web engineering

作者： Fu, Yujian Dong, Zhijiang He, Xudong Florida International University Miami FL 33199

ISBN: (纸本)1595933522

Current service architecture description language and composition approaches consider simplistic method invocation. they pay less attention to the formal semantics and verification of service composition in the design, and less support property specifications and architecture validation. this paper presents an executable web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (Software Architecture Model [16]) to the web service applications, and verification of web system properties in the design. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. Furthermore, we validate SO-SAM model to prove that it facilitates the verification and monitoring of web services integration through translation to the Maude programming langauge, a high level language and high performance executable specification with the componentized and object-oriented design, as well as using model checking technique in the system design level. Finally, a case study of the validation of the model is demonstrated.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence Applications and Innovations - 6th IFIP WG 12.5 international conference, AIAI 2010, Proceedings

Artificial Intelligence Applications and Innovations - 6th I...

引用

6th IFIP WG 12.5 international conference on Artificial Intelligence Applications and Innovations, AIAI 2010

ISBN: (纸本)364216238X

the proceedings contain 48 papers. the topics discussed include: modern machine learning techniques and their applications to medical diagnostics;innovative applications of artificial intelligence techniques in software engineering;linear probability forecasting;the importance of similarity metrics for representative users identification in recommender systems;an optimal scaling approach to collaborative filtering using categorical principal component analysis and neighborhood formation;a classroom observation model fitted to stochastic and probabilistic decision systems;prediction with confidence based on a random forest classifier;a generic tool for building fuzzy cognitive map systems;a fuzzy rule-based approach to design game rules in a mission planning and evaluation system;automatically designing robot controllers and sensor morphology with genetic programming;and multiple criteria performance analysis of non-dominated sets obtained by multi-objective evolutionary algorithms for optimization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Painless Support for Static and Runtime Verification of component-Based Applications 1

引用

6th IPM international conference on Fundamentals of Software engineering (FSEN)

作者： Gaspar, Nuno Henrio, Ludovic Madelaine, Eric INRIA Sophia Antipolis France Univ Nice Sophia Antipolis CNRS I3S UMR 7271 F-06900 Sophia Antipolis France ActiveEon SAS Sophia Antipolis France

ISBN: (数字)9783319246444

ISBN: (纸本)9783319246444;9783319246437

Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components. In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive - a middleware for distributed programming. this is achieved by building on top of Mefresa, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.

关键词： the Coq Proof Assistant component-based engineering Formal Methods Architecture Description Language

来源：评论

学校读者我要写书评

暂无评论

Declaring and enforcing dependencies between .NET custom attributes

引用

3rd international conference on generative programming and component engineering

作者： Cepa, V Mezini, M TH Darmstadt Dept Comp Sci Software Technol Grp Darmstadt Germany

ISBN: (纸本)3540235809

Custom attributes as e.g., supported by the NET framework complemented by pre- or post-processing tools can be used to integrate domain-specific concepts into general-purpose language technology, representing an interesting alternative to domain-specific languages in supporting model-driven development. For this purpose, it is important that dependency relationships between custom attributes, e.g., stating that a certain attribute requires or excludes another attribute, can be specified and checked for during model processing (compilation). Such dependencies can be viewed as an important part of expressing the meta-model of the domain-specific concepts represented by custom attributes. In this paper, we present an approach to specifying and enforcing dependencies between NET custom attributes, which naturally extends the built-in NET support. In this approach, dependencies are specified declaratively by using custom attributes to decorate other custom attributes. Once the dependency declaration is made part of the custom attribute support, one can write tools that enforce dependencies based on NET meta-program API-s like CodeDom or Reflection. In this paper, we present such a tool, called ADC (for attribute dependency checker).

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Web Based Brain Tumor Detection using Neural Network 6

Web Based Brain Tumor Detection using Neural Network

引用

6th IEEE international conference on Computing, Communication and Automation, ICCCA 2021

作者： Mridha, Krishna Pandey, Aashish Prashad Ranpariya, Akshay Ghosh, Ankush Shaw, Rabindra Nath Marwadi University Computer Engineering Gujarat Rajkot India The Neotia University School of Engineering and Applied Sciences West Bengal India Galgotias University Electrical Electronics Communication Engg. Greater Noida India

ISBN: (纸本)9781665414739

the brain tumor is a major human life concern. One of the main causes of mortality in individuals is brain tumors in recent years. It is tough to manually detect the tumor. Doctors may being confused to detect the tumor since they have been utilized to do image operations in computer programming. It is very crucial to discover the brain tumor early on with its precise diagnosis. the interior architecture of the brain and the diagnosis, monitoring, and treatment of an illness is an essential component of medical research. In medical practice, X-ray is used to diagnose the body's human component via several types of imaging technologies, such as CT-scan and MRI. MRI is utilized in brain diagnosis or tumor location, tissue volume measurement, tumor size estimation. Because of the tumor variety the detection of the tumor is exceedingly challenging. For the identification and classification of brain tumors, several image processing and neural network algorithms are utilized. In this article, we will present comparisons of several approaches with brain tumor diagnosis. Our study identifies signs of Brain tumor by utilizing the Deep Neural Network (DNN) method based on these symptoms at the very first stage. the hybrid CNN model was utilized to identify brain tumor illness and was demonstrated to outperform it in comparison with standard styles such as InceptionV3, RestNet50, etc. We have built a web-based AI tool to identify Brain tumors using this model. © 2021 IEEE.

关键词： Computerized tomography

来源：评论

学校读者我要写书评

暂无评论

An Eclipse plugin to support Agile Reuse

An Eclipse plugin to support Agile Reuse

引用

6th international conference on Extreme programming and Agile Processes in Software engineering, XP 2005

作者： McCarey, Frank Cinnéide, Mel Ó. Kushmerick, Nicholas Department of Computer Science University College Dublin Belfield Dublin 4 Ireland

Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory principles. For example, Agile components are usually accompanied with little or no support materials, which is likely to hamper their reuse. However we propose that Agile Reuse is possible and indeed advantageous. We have developed an Eclipse plug-in, named RASCAL, to support Agile Reuse. RASCAL is a recommender agent that infers the need for a reusable component and proactively recommends that component to the developer using a technique consistent with Agile principles. We present the benefits and the challenges encountered when implementing an Agile Reuse tool, paying particular to attention to the XP methodology, and detail our recommendation technique. Our overall results suggest RASCAL is a promising approach for enabling reuse in an Agile environment. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

CoExist: Overcoming Aversion to Change Preserving Immediate Access to Source Code and Run-time Information of Previous Development States

CoExist: Overcoming Aversion to Change Preserving Immediate ...

引用

11th international conference on generative programming and component engineering8th symposium on Dynamic Languages

作者： Steinert, Bastian Cassou, Damien Hirschfeld, Robert Univ Potsdam Software Architecture Grp Hasso Plattner Inst Potsdam Germany

Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas suddenly turn out inappropriate or the interplay of objects turns out more complex than initially expected before making changes. Programmers would benefit from tool support that provides immediate access to source code and run-time of previous development states of interest. We present IDE extensions, implemented for Squeak/Smalltalk, to preserve, retrieve, and work with this information. With such tool support, programmers can work without worries because they can rely on tools that help them with whatever their explorations will reveal. they no longer have to follow certain best practices only to avoid undesired consequences of changing code.

关键词： Design Experimentation Human Factors Continuous Testing Continuous Versioning Debugging Evolution Explore-first programming Fault Localization Prototyping

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：