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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

590 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

438 篇 工学
- 383 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

608 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 613 条记录，以下是11-20 订阅

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

详细简洁

排序：

Students' Perceptions and Use of Generative AI Tools for programming Across Different Computing Courses 24

Students' Perceptions and Use of Generative AI Tools for Pro...

引用

24th Koli Calling

作者： Keuning, Hieke Alpizar-Chacon, Isaac Lykourentzou, Ioanna Beehler, Lauren Koppe, Christian de Jong, Imke Sosnovsky, Sergey Univ Utrecht Utrecht Netherlands

ISBN: (纸本)9798400710384

Investigation of students' perceptions and opinions on the use of generative artificial intelligence (GenAI) in education is a topic gaining much interest. Studies addressing this are typically conducted with large heterogeneous groups, at one moment in time. However, how students perceive and use GenAI tools can potentially depend on many factors, including their background knowledge, familiarity with the tools, and the learning goals and policies of the courses they are taking. In this study we explore how students following computing courses use GenAI for programming-related tasks across different programs and courses: Bachelor and Master, in courses in which learning programming is the learning goal, courses that require programming as a means to achieve another goal, and in courses in which programming is optional, but can be useful. We are also interested in changes over time, since GenAI capabilities are changing at a fast pace, and users are adopting GenAI increasingly. We conducted three consecutive surveys (fall '23, winter '23, and spring '24) among students of all computing programs of a large european research university. We asked questions on the use in education, ethics, and job prospects, and we included specific questions on the (dis)allowed use of GenAI tools in the courses they were taking at the time. We received 264 responses, which we quantitatively and qualitatively analyzed, to find out how students have employed GenAI tools across 59 different computing courses, and whether the opinion of an average student about these tools evolves over time. Our study contributes to the emerging discussion of how to differentiate GenAI use across different courses, and how to align its use with the learning goals of a computing course.

关键词： Generative AI Large Language Models Computing Education programming Courses

来源：评论

学校读者我要写书评

暂无评论

Flexibility Activation from Multi-Energy Systems Controlled by Timed Automata 24

Flexibility Activation from Multi-Energy Systems Controlled ...

引用

24th EEEIC International conference on Environment and Electrical Engineering and 8th I and CPS Industrial and Commercial Power Systems Europe, EEEIC/I and CPS Europe 2024

作者： Corsetti, Edoardo Casamassima, Vincenzo Rse Generation Technologies Dept. Milan Italy

ISBN: (纸本)9798350355185

this paper proposes the simulation of the ancillary service provision by a multi-energy system (MES), modelled by timed automata (TA). Ancillary services are the mean electrical grid system operators adopt to face events or criticalities at different levels of power system. Multi-energy systems operate across several energy carriers. MESs are even more a precious resource for providing flexibility as ancillary services to system operators. the simulations proposed in the paper regard the provision of several (and contemporary) ancillary services by multiple devices of a MES requiring high real-time constraints and coordination among devices. Simulations are performed running several automata each one modelling a device in the MES. Automata are endowed by dynamics states linked by timed transitions that support the representation of dynamic behaviours of devices. the set of automata simulating the MES behaviours are supervised by suitable coordination strategies. these strategies keep balanced the energy carriers and manage the ancillary service provision when these are activated by system operator. Each coordination strategy is coded by mixed-integer quadratic programming. © 2024 IEEE.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types 38

Formalizing, Mechanizing, and Verifying Class-Based Refineme...

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Sun, Ke Wang, Di Chen, Sheng Wang, Meng Hao, Dan MOE School of Computer Science Peking University Beijing China The Center for Advanced Computer Studies University of Louisiana LafayetteLA United States University of Bristol United Kingdom

ISBN: (纸本)9783959773416

Refinement types have been extensively used in class-based languages to specify and verify fine-grained logical specifications. Despite the advances in practical aspects such as applicability and usability, two fundamental issues persist. First, the soundness of existing class-based refinement type systems is inadequately explored, casting doubts on their reliability. Second, the expressiveness of existing systems is limited, restricting the depiction of semantic properties related to object-oriented constructs. this work tackles these issues through a systematic framework. We formalize a declarative class-based refinement type calculus (named RFJ), that is expressive and concise. We rigorously develop the soundness meta-theory of this calculus, followed by its mechanization in Coq. Finally, to ensure the calculus’s verifiability, we propose an algorithmic verification approach based on a fragment of first-order logic (named LFJ), and implement this approach as a type checker. © Ke Sun, Di Wang, Sheng Chen, Meng Wang, and Dan Hao

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

JavaBench: A Benchmark of object-oriented Code Generation for Evaluating Large Language Models 24

JavaBench: A Benchmark of Object-Oriented Code Generation fo...

引用

39th ACM/IEEE International conference on Automated Software Engineering (ASE)

作者： Cao, Jialun Chen, Zhiyong Wu, Jiarong Cheung, Shing-Chi Xu, Chang Hong Kong Univ Sci & Technol Hong Kong Peoples R China Guangzhou HKUST Fok Ying Tung Res Inst Guangzhou Peoples R China Nanjing Univ Nanjing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Code generation benchmarks such as HumanEval are widely adopted to evaluate LLMs' capabilities. However, after consolidating the latest 24 benchmarks, we noticed three significant imbalances. First, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java, resulting in an insufficient understanding of LLMs' capability to generate Java code. Second, imbalanced code granularity. Function-/statementlevel benchmarks account for over 83.3% of benchmarks. Only a mere handful extends to class-/project-levels, and all are limited to Python. third, lacking advanced features. Existing benchmarks primarily assess basic coding skills (e.g., variables, operators, and control structures), while overlooking advanced object-oriented programming (OOP) features (i.e., encapsulation, inheritance, and polymorphism). Considering the prevalence of these advanced features in real-world Java project development, constructing benchmarks to test LLMs on handling OOP features is necessary. To fill these gaps, we propose JavaBench, a project-level Java benchmark that exercises OOP features. It comprises four Java projects with 389 methods in 106 Java classes. the test coverage is up to 92%, and JavaBench is attested by 282 undergraduate students, reaching a 90.93/100 average score (i.e., pass rate against the test suite), ensuring the quality of documentation, code skeleton, and tests. To better evaluate LLM's capability against JavaBench, we introduce a systematic evaluation design covering three context settings and five synthesis strategies at two granularities using three hierarchical metrics. Our extensive experiment yields several interesting findings. First, we noticed that regarding project-level Java programming, LLMs are far behind undergraduate students (no project can be correctly completed by any studied LLMs, and at most 48.24% Pass@5 in a more relaxed evaluation). Second, using method signature as prompt context may strike an idea

关键词： Large Language Model Program Synthesis object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Optimal Operation of PV-integrated Reconfigurable Microgrids and Computational Burden 24

Optimal Operation of PV-integrated Reconfigurable Microgrids...

引用

24th EEEIC International conference on Environment and Electrical Engineering and 8th I and CPS Industrial and Commercial Power Systems Europe, EEEIC/I and CPS Europe 2024

作者： Zandrazavi, Seyed Farhad Shafie-Khah, Miadreza School of Technology and Innovations University of Vaasa Vaasa Finland

ISBN: (纸本)9798350355185

this paper addresses the significant potential of reconfiguration in renewable-based microgrids (MGs), emphasizing not only its practical benefits but also the computational challenges involved. Firstly, a nonlinear non-convex model developed for the optimal operation of photovoltaic (PV)-integrated reconfigurable microgrids (RMGs). To guarantee the optimality of the solutions, we further refine the model by extracting a mixed-integer linear programming model, achieved through the implementation of piecewise linearization technique and approximation. To substantiate the efficacy and importance of reconfiguration in MGs, comparative analyses of two distinct case studies-one with reconfiguration and one without are presented. these comparisons not only highlight the operational improvements afforded by reconfiguration but also shed light on the computational complexities encountered. Moreover, the impact of different radiality method selections on the computational time is explored. Our findings validate the significant role of reconfiguration in enhancing the performance of renewable-based MGs while also emphasizing the critical consideration of computational burden in the design and implementation of such systems. © 2024 IEEE.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Constrictor: Immutability as a Design Concept 38

Constrictor: Immutability as a Design Concept

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Kinsbruner, Elad Itzhaky, Shachar Peleg, Hila Technion Haifa Israel

ISBN: (纸本)9783959773416

Many object-oriented applications in algorithm design rely on objects never changing during their lifetime. this is often tackled by marking object references as read-only, e.g., using the const keyword in C++. In other languages like Python or Java where such a concept does not exist, programmers rely on best practices that are entirely unenforced. While reliance on best practices is obviously too permissive, const-checking is too restrictive: it is possible for a method to mutate the internal state while still satisfying the property we expect from an "immutable" object in this setting. We would therefore like to enforce the immutability of an object’s abstract state. We check an object’s immutability through a view of its abstract state: for instances of an immutable class, the view does not change when running any of the class’s methods, even if some of the internal state does change. If all methods of a class are verified as non-mutating, we can deem the entire class view-immutable. We present an SMT-based algorithm to check view-immutability, and implement it in our linter/verifier, Constrictor. We evaluate Constrictor on 51 examples of immutability-related design violations. Our evaluation shows that Constrictor is effective at catching a variety of prototypical design violations, and does so in seconds. We also explore Constrictor with two real-world case studies. © Elad Kinsbruner, Shachar Itzhaky, and Hila Peleg

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Pure Methods for roDOT 38

Pure Methods for roDOT

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Dort, Vlastimil Li, Yufeng Lhoták, Ondřej Parízek, Pavel Charles University Prague Czech Republic University of Cambridge United Kingdom University of Waterloo Canada

ISBN: (纸本)9783959773416

object-oriented programming languages typically allow mutation of objects, but pure methods are common too. there is great interest in recognizing which methods are pure, because it eases analysis of program behavior and allows modifying the program without changing its behavior. the roDOT calculus is a formal calculus extending DOT with reference mutability. In this paper, we explore purity conditions in roDOT and pose a SEF guarantee, by which the type system guarantees that methods of certain types are side-effect free. We use the idea from ReIm to detect pure methods by argument types. Applying this idea to roDOT required just a few changes to the type system, but necessitated re-working a significant part of the soundness proof. In addition, we state a transformation guarantee, which states that in a roDOT program, calls to SEF methods can be safely reordered without changing the outcome of the program. We proved type soundness of the updated roDOT calculus, using multiple layers of typing judgments. We proved the SEF guarantee by applying the Immutability guarantee, and the transformation guarantee by applying the SEF guarantee within a framework for reasoning about safe transformations of roDOT programs. All proofs are mechanized in Coq. © Vlastimil Dort, Yufeng Li, Ondřej Lhoták, and Pavel Parízek

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Logic for Symbolic Execution for the Smart Contract programming Language Michelson 38

A Dynamic Logic for Symbolic Execution for the Smart Contrac...

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Arvay, Barnabas Doan, thi thu Ha thiemann, Peter University of Freiburg Germany

ISBN: (纸本)9783959773416

Verification of smart contracts is an important topic in the context of blockchain technology. We study an approach to verification that is based on symbolic execution. As a formal basis for symbolic execution, we design a dynamic logic for Michelson, the smart contract language of the Tezos blockchain, and prove its soundness in the proof assistant Agda. Towards the soundness proof we formalize the concrete semantics as well as its symbolic counterpart in a unified setting. the logic encompasses single contract runs as well as inter-contract runs chained in a single transaction. © Barnabas Arvay, thi thu Ha Doan, and Peter thiemann

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

A Sound Type System for Secure Currency Flow 38

A Sound Type System for Secure Currency Flow

引用

38th european conference on object-oriented programming, ECOOP 2024

作者： Aceto, Luca Gorla, Daniele Lybech, Stian Reykjavík University Iceland Sapienza Università di Roma Italy

ISBN: (纸本)9783959773416

In this paper we focus on TinySol, a minimal calculus for Solidity smart contracts, introduced by Bartoletti et al. We start by rephrasing its syntax (to emphasise its object-oriented flavour) and give a new big-step operational semantics. We then use it to define two security properties, namely call integrity and noninterference. these two properties have some similarities in their definition, in that they both require that some part of a program is not influenced by the other part. However, we show that the two properties are actually incomparable. Nevertheless, we provide a type system for noninterference and show that well-typed programs satisfy call integrity as well;hence, programs that are accepted by our type system satisfy both properties. We finally discuss the practical usability of the type system and its limitations by means of some simple examples. © Luca Aceto, Daniele Gorla, and Stian Lybech

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Task-oriented Hierarchical object Decomposition for Visuomotor Control 8

Task-Oriented Hierarchical Object Decomposition for Visuomot...

引用

8th conference on Robot Learning, CoRL 2024

作者： Qian, Jianing Li, Yunshuang Bucher, Bernadette Jayaraman, Dinesh University of Pennsylvania United States University of Southern California United States University of Michigan United States

Good pre-trained visual representations could enable robots to learn visuomotor policy efficiently. Still, existing representations take a one-size-fits-all-tasks approach that comes with two important drawbacks: (1) Being completely task-agnostic, these representations cannot effectively ignore any task-irrelevant information in the scene, and (2) they often lack the representational capacity to handle unconstrained/complex real-world scenes. Instead, we propose to train a large combinatorial family of representations organized by scene entities: objects and object parts. this hierarchical object decomposition for task-oriented representations (HODOR) permits selectively assembling different representations specific to each task while scaling in representational capacity with the complexity of the scene and the task. In our experiments, we find that HODOR outperforms prior pre-trained representations, both scene vector representations and object-centric representations, for sample-efficient imitation learning across 5 simulated and 5 real-world manipulation tasks. We further find that the invariances captured in HODOR are inherited into downstream policies, which can robustly generalize to out-of-distribution test conditions, permitting zero-shot skill chaining. Appendix, code and videos: https://***/view/hodor-corl24. © 2024 proceedings of Machine Learning Research.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：