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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

50 篇 会议
2 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

47 篇 工学
- 44 篇 计算机科学与技术...
- 35 篇 软件工程
- 5 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 信息与通信工程
- 1 篇 电子科学与技术（可...
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
13 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 化学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
5 篇 教育学
- 5 篇 教育学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

30 篇 object oriented ...
2 篇 object-oriented ...
1 篇 interactive simu...
1 篇 circuit simulati...
1 篇 nesting models
1 篇 computational ca...
1 篇 clonig
1 篇 biology
1 篇 health sciences
1 篇 simulating agent...
1 篇 sensitivity anal...
1 篇 hybrid-models
1 篇 delegation
1 篇 reflectivity
1 篇 automatic differ...
1 篇 software enginee...
1 篇 devs
1 篇 gui
1 篇 self
1 篇 model wrapping

机构

2 篇 indiana universi...
1 篇 1015 lausanne
1 篇 nicta nsw
1 篇 epfl lausanne
1 篇 computer science...
1 篇 docomo communica...
1 篇 vrije universite...
1 篇 university of wi...
1 篇 microsoft uk ltd...
1 篇 teleplace united...
1 篇 adobe systems
1 篇 ibm corp tj wats...
1 篇 ecole polytech f...
1 篇 dipartimento di ...
1 篇 university of ka...
1 篇 trinity college ...
1 篇 dublin city univ...
1 篇 swiss fed inst t...
1 篇 department of co...
1 篇 nvidia seattle w...

作者

2 篇 noble james
2 篇 de meuter wolfga...
1 篇 martin carla
1 篇 mostrous dimitri...
1 篇 flatt matthew
1 篇 ciatto giovanni
1 篇 liu xu tony
1 篇 szyperski clemen...
1 篇 mcmillan scott
1 篇 gibbs celina
1 篇 maddox william
1 篇 gybels kris
1 篇 zhao tian
1 篇 miranda eliot
1 篇 kruger u
1 篇 sahraoui houari
1 篇 zenger m
1 篇 kiessling h
1 篇 weck wolfgang
1 篇 murphy james t.

语言

52 篇 英文
1 篇 中文

检索条件"任意字段=20th European Conference on Object-Oriented Programming, ECOOP 2006"

共 53 条记录，以下是41-50 订阅

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

详细简洁

排序：

Implementation of exact sensitivities in a circuit simulator using automatic differentiation

Implementation of exact sensitivities in a circuit simulator...

引用

20th european conference on Modelling and Simulation

作者： Christoffersen, Carlos E. Lakehead Univ Dept Elect Engn Thunder Bay ON P7B 5E1 Canada

ISBN: (纸本)0955301807

Sensitivities are very important in electronic circuit analysis and design. this paper presents a general circuit simulation programme that calculates analytical sensitivities with respect to any parameter using automatic differentiation. A novel aspect of this implementation is that C++ templates are used along with automatic differentiation libraries to produce (at compilation time) different versions of the model evaluation functions, each optimised for a specific purpose. this results in a good compromise between the time to develop and maintain device models and execution efficiency. Algorithms and software design aspects of the circuit simulator are described. Sensitivities of a bipolar self-biasing current source are used to demonstrate the approach.

关键词： circuit simulation sensitivity analysis automatic differentiation object-oriented design

来源：评论

学校读者我要写书评

暂无评论

On object extension 12th

On object extension

引用

12th european conference on object-oriented programming, ecoop 1998

作者： Liquori, Luigi DIMI Dip Matematica ed Informatica Università di Udine Via delle Scienze 206 UdineI-33100 Italy

ISBN: (纸本)3540647376

the last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of objects of Fisher, Hon-sell, and Mitchell [15], and the object Calculus of Abadi and Cardelli [2], have focused the attention of the scientific community on object calculi, as a foundation for the more traditional class-based calculi and as an original and safe style of programming. In this paper, we apply four type systems to the functional Lambda Calculus of objects: (a) the Original type system [15];(b) the Fisher's Ph.D type system [14];(c) the Bruce's Matching-based type systems of Bono and Bugliesi [4], and (d) of Liquori [20]. We then compare these type systems with respect to the following points: – small-step versus big-step semantics;– implicit versus explicit polymorphism;– Curry style versus Church style;– static type checking versus run-time type checking;– object extension and/or binary methods versus object subsumption (short account). © Springer-Verlag Berlin Heidelberg 1998.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

Bond graph modelling and simulation of mechatronic systems - An introduction into the methodology

Bond graph modelling and simulation of mechatronic systems -...

引用

20th european conference on Modelling and Simulation

作者： Borutzky, W. Bonn Rhein Seig Univ Appl Sci D-53754 St Augustin Germany

ISBN: (纸本)0955301807

this paper introduces into a graphical, computer aided modelling methodology that is particularly suited for the concurrent design of mechatronic systems, viz. of engineering systems with mechanical, electrical, hydraulic or pneumatic components including interactions of physical effects from various energy domains. Beyond the introduction, bond graph modelling of multibody systems, as an example of an advanced topic, is briefly addressed in order to demonstrate the potential of this powerful approach to modelling mechatronic systems. It is outlined how models of multibody systems including flexible bodies can be build in a systematic manner.

关键词： bond graph modelling object-oriented physical systems modelling computational causalities forms of mathematical models mechatronic systems multibody systems

来源：评论

学校读者我要写书评

暂无评论

Architecture-centric evolution: New issues and trends

Architecture-centric evolution: New issues and trends

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Avgeriou, Paris Zdun, Uwe Borne, Isabelle Department of Mathematics and Computing Science University of Groningen Netherlands Distributed Systems Group Vienna University of Technology Austria VALORIA Laboratory University of South-Brittany France

ISBN: (纸本)9783540717720

Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric evolution techniques have not managed to effectively solve the problems that software evolution entails. Instead a paradigm shift is emerging, where the evolution approaches put software architecture on the spotlight. this shift focuses on effectively documenting and modifying the architectural design decisions during system evolution, while synchronizing them with both the requirements and the implementation. the second workshop on the theme of Architecture-Centric Evolution attempted to explore the issues that such evolution approaches are dealing with, as well as the trends that emerge in this area. the workshop delved into this field, by presenting the latest research advances and by facilitating discussions between experts. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

20th Workshop on Logic programming 2006, WLP 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th Workshop on Logic programming, WLP 2006

the proceedings contain 24 papers. the special focus in this conference is on Logic programming. the topics include: Tableaux calculi for answer set programming;algorithmic aspects of model representations;object-oriented constraint programming in java using the library firstcs;causal theories as logic programs;voting theory in answer set programming;evaluating ASP and commercial solvers on the CSPLib (preliminary work);dynamic logic programming and world state evaluation in computer games;executable denotations for concurrent languages using concurrent transaction logic;adding constraint handling rules to curry;INCLP(R) - interval-based nonlinear constraint logic programming over the reals;non-monotonic integrity constraints;complete first-order axiomatization of finite or infinite m-extended trees;many-valued logic programming and fixpoint semantics for higher-order herbrand models;logic programs with contextually scoped negation;declarative web data extraction and annotation;replacements in non-ground answer-set programming;weak order equivalence for logic programs with preferences;decomposition of nonmonotone aggregates in answer set programming;fine-grained parallel implementation of the preflow-push algorithm in CHR;Dijkstra's algorithm with fibonacci heaps;towards a CHR-based model-driven framework of reusable reasoning components;a tool for advanced correspondence checking in answer-set programming and a system for integrating multiple semantics in an answer-set programming framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th Workshop on Logic programming 2006, WLP 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th Workshop on Logic programming, WLP 2006

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exploratory modeling with smalldevs

Exploratory modeling with smalldevs

引用

20th european Simulation and Modelling conference (ESM 2006)

作者： Janousek, Vladimir Kironsky, Elod Brno Univ Technol Fac Informat Technol Bozetechova 2 Brno 61266 Czech Republic

ISBN: (纸本)9789077381304

this paper is an introduction to the simulation and modeling framework and tool SmallDEVS. It is a new modeling and simulation framework for Smalltalk. SmallDEVS is different from other tools of its category, because of its openness and reflective features. It supports class-based as well as prototype-based object-oriented model construction. Its meta-object protocol allows the models to be constructed from scratch and inspected and edited during run-time. Interactive modeling and simulation is supported by a graphical user interface which has been highly influenced by the user interface of Self.

关键词： DEVS prototype object trait delegation clonig reflectivity Smalltalk Self GUI

来源：评论

学校读者我要写书评

暂无评论

JaKtA: BDI Agent-oriented programming in Pure Kotlin 20th

JaKtA: BDI Agent-Oriented Programming in Pure Kotlin

引用

Proceedings of the 20th european conference on Multi-Agent Systems, EUMAS 2023

作者： Baiardi, Martina Burattini, Samuele Ciatto, Giovanni Pianini, Danilo Cesena47522 Italy

ISBN: (纸本)9783031432637

Multi-paradigm languages are becoming more and more popular, as they allow developers to choose the most suitable paradigm for each task. Most commonly, we observe the combination of object-oriented (OOP) and functional programming (FP), however, in principle, other paradigms could be hybridised. In this paper, we present JaKtA, an internal DSL adding support for the definition of belief-desire-intention (BDI) agents in Kotlin. We believe is a first step to investigate the blending of Agent-oriented programming (AOP) with other popular paradigms and we discuss the opportunity and value of doing so with an internal DSLs. Finally, through JaKtA, we show how this can already lead to compactly and expressively create BDI agents that smoothly interoperate with the host language, its libraries and tooling. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Blending

来源：评论

学校读者我要写书评

暂无评论

Micro-gen: An agent-based model of bacteria-antibiotic interactions in batch culture.

Micro-gen: An agent-based model of bacteria-antibiotic inter...

引用

20th european Simulation and Modelling conference (ESM 2006)

作者： Murphy, James T. Walshe, Ray Dublin City Univ Sch Comp Biocomputat Res Lab Dublin 9 Ireland

ISBN: (纸本)9789077381304

the software model 'Micro-Gen' simulates the growth and development of cultured bacterial cells and their interactions with antimicrobial drugs. It uses an agent-based modelling approach, which means that pre-defined rules and parameters for each bacterium can be set, and emergent properties of the colony examined, without the need for population-level laws. the model reproduces accurately the standard growth curve characteristic of bacterial colonies grown in batch culture in the laboratory. It also successfully reproduces the effects of bacteriostatic and bactericidal antibiotics on the growth of the bacterial colony. the model provides a robust platform for incorporating knowledge of the cellular mechanics of individual bacterial cells into an overall model of heterogeneous bacterial population dynamics.

关键词： biology simulator object-oriented health sciences

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an object-oriented framework for dynamic partial reconfiguration

Design and implementation of an object-oriented framework fo...

引用

20th International conference on Field Programmable Logic and Applications, FPL 2010

作者： Abel, Norbert Kirchhoff Institute for Physics Heidelberg University INF 227 69120 Heidelberg Germany

ISBN: (纸本)9780769541792

Although both DPR (dynamic partial reconfiguration) and HLS (high level synthesis) are important future trends regarding hardware design, they develop quite independently. Today's software-to-hardware compilers focus on conventional hardware and therefore have to remove dynamic aspects such as the instantiation of calculating modules at runtime. On the other hand, DPR tools are working on the lowest possible layer regarding FPGAs: the bitfile level. this paper focuses on the design and the implementation of a Framework combining the two technologies, since this has the potential to kill two birds with one stone. Firstly, DPR can change the programming paradigm in future HDLs regarding dynamic instantiations. Dynamic parts would not have to be removed any longer but could be realized on the target FPGA using DPR. Secondly, a high-level language support of DPR technologies could help end its shadowy existence and turn it into a commonly used method © 2010 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：